0.00/0.00 c 2016-06-08T08:44:54+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-4079031-1465368293.opb"]
0.00/0.01 c use --random-gen="4132684680 3666326136 1133935555 618974870 1319672170 2351777720 1369431616 1997017550 1511916515 306113422 1510581358 903836515 3970706017 352845588 2108427176 2571203174 2926041320 3598922258 350402099 655978414 4293026365 1739138045 662904039 3142838650 181969122 2738813530 3289544871 2469782416 3675019286 2720360414 2955168095 2394063216 1449431583 1242275496 1220973679 3284160844 1402823805 1197635911 587568345 2904716254 1841865288 1176585314 3293849764 3344062332 2988325125 3277179682 2419766720 3000832129 1583359712 1543389923 1080666805 2365489002 880689681 1770623181 2026085514 519683687 4093258365 3053680843 762615541 562759139 3147163496 1661659291 2406566855 3899278868 4145350795 409030710 2246413952 3642241678 3193901532 914814321 202477728 366051902 2863769296 339693514 781347292 3511689592 3087467911 546740332 301062112 705583070 1187644850 1875616296 184459573 945585693 2175968233 2821318112 2768887862 1027918292 2760360856 1365828229 205236975 176448847 408344316 1706024346 3070770948 1350836305 1608380198 963647877 3496212586 3977067603 603608801 1807863174 794410571 2216818468 1179404587 620648096 1935488818 3566319718 1979885942 934760647 848217101 1406336992 556276827 3241270404 1288434686 2266869513 287711160 3922315749 1730119957 4254215261 2665933858 3391353541 1719094997 4212192698 440405916 2557165075 4151596174 2188930055 2707942485 3510648737 4107124081 1555132940 3983404174 2500524767 365664211 2516179843 261976870 1322386755 3638916586 2973557329 3943127409 3964391745 1700961921 1181914586 1666981968 3754656466 4138745576 3407472963 716224180 1574628012 4200882883 1883611742 2162953003 3339803723 2296367876 482224494 491381476 3279775787 2186880528 2462961299 1584888700 2187701461 1183326854 582249845 983841076 3351823543 2861333839 255993232 2298611781 509603522 3709032989 1873190605 3918432821 3164768332 1649141137 2656957159 3761516926 1215927230 3246478672 2862032530 399405900 1481316209 1229892775 3505804799 3625044762 1282958962 1285454070 3906430892 3274883759 1339956142 1045320236 314995184 1146520726 1538232694 2080716593 4120845264 1822479262 2479512128 3396145267 1463453961 458785725 2917921268 1537731428 2669264158 1840236271 1755848868 2882754586 1912855228 3162600943 2183816367 318644271 4126292887 377079308 1629503973 604098894 2505660255 1365298179 916569478 2132307662 1617813566 3394401744 1586038141 970560388 3246879581 3286775678 3648573378 3011925251 1202787461 2245853211 1728056692 875428079 307407646 478741840 944757971 732816566 2369187848 4133872379 310689513 11725105 3234743366 2523818735 1836550419 969061691 2590947441 190414345 1691755538 3149480181 4133264122 1179903473 3747128947 3136637052 2661395297 1435335657 3897364819 286717969 2348009767 255 362436" option to reproduce the execution
5.39/5.45 c #vars 72595
5.39/5.45 c #constraints 951921
13.39/13.42 c BCD2: Hardening is enabled.
13.39/13.42 c BCD2: BiasedSearch is enabled.
13.39/13.42 c Solving starts ...
13.39/13.42 c ============================[ Search Statistics ]============================
13.39/13.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
13.39/13.42 c | | | | Limit GC | Var | Constra
13.39/13.42 c =============================================================================
13.39/13.46 c 0.0s | 0 | 0 | 0 | 193038 0 | 28764 | 0
23.29/23.36 c 9.9s | 0 | 858122 | 25 | 193038 0 | 28802 | 61014
23.29/23.36 c #cpu_time = 9.876s
23.29/23.36 c #wall_clock_time = 9.876s
23.29/23.36 c #decision = 858122
23.29/23.36 c #random_decision = 3920
23.29/23.36 c #conflict = 25
23.29/23.36 c #restart = 0
23.29/23.36 o 1875840
23.29/23.37 c BCD2: updating upper bound: 1875840 -> 1875839
23.89/23.95 c BCD2: 0 <= obj <= 1875839
23.89/23.95 c BCD2: #cores=0, #unrelaxed=5840, #relaxed=0, #hardened=0
23.89/23.96 c BCD2: #sat=1 #unsat=1 bias=1/2
23.89/23.96 c Solving starts ...
23.89/23.96 c ============================[ Search Statistics ]============================
23.89/23.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
23.89/23.96 c | | | | Limit GC | Var | Constra
23.89/23.96 c =============================================================================
23.89/23.96 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
24.09/24.14 c 0.2s | 0 | 169 | 0 | 193038 0 | 28802 | 61014
24.09/24.14 c #cpu_time = 0.187s
24.09/24.14 c #wall_clock_time = 0.187s
24.09/24.14 c #decision = 169
24.09/24.14 c #random_decision = 0
24.09/24.14 c #conflict = 0
24.09/24.14 c #restart = 0
24.09/24.14 c BCD2: found a new core of size 1: cost of the new core is >=1
24.09/24.14 c lower bound updated to 1
24.09/24.17 c BCD2: 1 <= obj <= 1875839
24.09/24.17 c BCD2: #cores=1, #unrelaxed=5839, #relaxed=1, #hardened=0
24.09/24.17 c BCD2: #sat=1 #unsat=2 bias=2/3
24.09/24.19 c Solving starts ...
24.09/24.19 c ============================[ Search Statistics ]============================
24.09/24.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
24.09/24.19 c | | | | Limit GC | Var | Constra
24.09/24.19 c =============================================================================
24.09/24.19 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
24.30/24.36 c 0.2s | 0 | 339 | 0 | 193038 0 | 28802 | 61014
24.30/24.36 c #cpu_time = 0.174s
24.30/24.36 c #wall_clock_time = 0.174s
24.30/24.36 c #decision = 339
24.30/24.36 c #random_decision = 0
24.30/24.36 c #conflict = 0
24.30/24.36 c #restart = 0
24.30/24.36 c BCD2: found a new core of size 1: cost of the new core is >=1
24.30/24.36 c lower bound updated to 2
24.30/24.37 c BCD2: 2 <= obj <= 1875839
24.30/24.37 c BCD2: #cores=2, #unrelaxed=5838, #relaxed=2, #hardened=0
24.30/24.37 c BCD2: #sat=1 #unsat=3 bias=3/4
24.30/24.37 c Solving starts ...
24.30/24.37 c ============================[ Search Statistics ]============================
24.30/24.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
24.30/24.37 c | | | | Limit GC | Var | Constra
24.30/24.37 c =============================================================================
24.30/24.39 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
24.49/24.57 c 0.2s | 0 | 385 | 0 | 193038 0 | 28802 | 61014
24.49/24.57 c #cpu_time = 0.176s
24.49/24.57 c #wall_clock_time = 0.176s
24.49/24.57 c #decision = 385
24.49/24.57 c #random_decision = 0
24.49/24.57 c #conflict = 0
24.49/24.57 c #restart = 0
24.49/24.57 c BCD2: found a new core of size 6: cost of the new core is >=341
24.49/24.57 c lower bound updated to 343
24.49/24.57 c BCD2: 343 <= obj <= 1875839
24.49/24.57 c BCD2: #cores=3, #unrelaxed=5832, #relaxed=8, #hardened=0
24.49/24.57 c BCD2: #sat=1 #unsat=4 bias=4/5
24.49/24.57 c Solving starts ...
24.49/24.57 c ============================[ Search Statistics ]============================
24.49/24.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
24.49/24.57 c | | | | Limit GC | Var | Constra
24.49/24.57 c =============================================================================
24.59/24.60 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
24.69/24.78 c 0.2s | 0 | 2228 | 0 | 193038 0 | 28802 | 61014
24.69/24.78 c #cpu_time = 0.178s
24.69/24.78 c #wall_clock_time = 0.178s
24.69/24.78 c #decision = 2228
24.69/24.78 c #random_decision = 0
24.69/24.78 c #conflict = 0
24.69/24.78 c #restart = 0
24.69/24.78 c BCD2: found a new core of size 3: cost of the new core is >=341
24.69/24.78 c lower bound updated to 684
24.69/24.78 c BCD2: 684 <= obj <= 1875839
24.69/24.78 c BCD2: #cores=4, #unrelaxed=5829, #relaxed=11, #hardened=0
24.69/24.78 c BCD2: #sat=1 #unsat=5 bias=5/6
24.69/24.78 c Solving starts ...
24.69/24.78 c ============================[ Search Statistics ]============================
24.69/24.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
24.69/24.78 c | | | | Limit GC | Var | Constra
24.69/24.78 c =============================================================================
24.79/24.81 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
24.99/25.00 c 0.2s | 0 | 3151 | 0 | 193038 0 | 28802 | 61014
24.99/25.00 c #cpu_time = 0.186s
24.99/25.00 c #wall_clock_time = 0.186s
24.99/25.00 c #decision = 3151
24.99/25.00 c #random_decision = 0
24.99/25.00 c #conflict = 0
24.99/25.00 c #restart = 0
24.99/25.00 c BCD2: found a new core of size 12: cost of the new core is >=341
24.99/25.00 c lower bound updated to 1025
24.99/25.00 c BCD2: 1025 <= obj <= 1875839
24.99/25.00 c BCD2: #cores=5, #unrelaxed=5817, #relaxed=23, #hardened=0
24.99/25.00 c BCD2: #sat=1 #unsat=6 bias=6/7
24.99/25.00 c Solving starts ...
24.99/25.00 c ============================[ Search Statistics ]============================
24.99/25.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
24.99/25.00 c | | | | Limit GC | Var | Constra
24.99/25.00 c =============================================================================
24.99/25.03 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
25.19/25.21 c 0.2s | 0 | 3821 | 2 | 193038 0 | 28802 | 61014
25.19/25.21 c #cpu_time = 0.182s
25.19/25.21 c #wall_clock_time = 0.182s
25.19/25.21 c #decision = 3821
25.19/25.21 c #random_decision = 0
25.19/25.21 c #conflict = 2
25.19/25.21 c #restart = 0
25.19/25.21 c BCD2: found a new core of size 42: cost of the new core is >=341
25.19/25.21 c lower bound updated to 1366
25.19/25.22 c BCD2: 1366 <= obj <= 1875839
25.19/25.22 c BCD2: #cores=6, #unrelaxed=5775, #relaxed=65, #hardened=0
25.19/25.22 c BCD2: #sat=1 #unsat=7 bias=7/8
25.19/25.22 c Solving starts ...
25.19/25.22 c ============================[ Search Statistics ]============================
25.19/25.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
25.19/25.22 c | | | | Limit GC | Var | Constra
25.19/25.22 c =============================================================================
25.19/25.25 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
25.40/25.44 c 0.2s | 0 | 4264 | 0 | 193038 0 | 28802 | 61014
25.40/25.44 c #cpu_time = 0.186s
25.40/25.44 c #wall_clock_time = 0.186s
25.40/25.44 c #decision = 4264
25.40/25.44 c #random_decision = 0
25.40/25.44 c #conflict = 0
25.40/25.44 c #restart = 0
25.40/25.44 c BCD2: found a new core of size 38: cost of the new core is >=341
25.40/25.44 c lower bound updated to 1707
25.40/25.44 c BCD2: 1707 <= obj <= 1875839
25.40/25.44 c BCD2: #cores=7, #unrelaxed=5737, #relaxed=103, #hardened=0
25.40/25.44 c BCD2: #sat=1 #unsat=8 bias=8/9
25.40/25.44 c Solving starts ...
25.40/25.44 c ============================[ Search Statistics ]============================
25.40/25.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
25.40/25.44 c | | | | Limit GC | Var | Constra
25.40/25.44 c =============================================================================
25.40/25.47 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
25.59/25.65 c 0.2s | 0 | 4377 | 0 | 193038 0 | 28802 | 61014
25.59/25.65 c #cpu_time = 0.180s
25.59/25.65 c #wall_clock_time = 0.180s
25.59/25.65 c #decision = 4377
25.59/25.65 c #random_decision = 0
25.59/25.65 c #conflict = 0
25.59/25.65 c #restart = 0
25.59/25.65 c BCD2: found a new core of size 8: cost of the new core is >=341
25.59/25.65 c lower bound updated to 2048
25.59/25.66 c BCD2: 2048 <= obj <= 1875839
25.59/25.66 c BCD2: #cores=8, #unrelaxed=5729, #relaxed=111, #hardened=0
25.59/25.66 c BCD2: #sat=1 #unsat=9 bias=9/10
25.59/25.66 c Solving starts ...
25.59/25.66 c ============================[ Search Statistics ]============================
25.59/25.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
25.59/25.66 c | | | | Limit GC | Var | Constra
25.59/25.66 c =============================================================================
25.59/25.69 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
25.79/25.87 c 0.2s | 0 | 4655 | 0 | 193038 0 | 28802 | 61014
25.79/25.87 c #cpu_time = 0.185s
25.79/25.87 c #wall_clock_time = 0.185s
25.79/25.87 c #decision = 4655
25.79/25.87 c #random_decision = 0
25.79/25.87 c #conflict = 0
25.79/25.87 c #restart = 0
25.79/25.87 c BCD2: found a new core of size 5: cost of the new core is >=341
25.79/25.87 c lower bound updated to 2389
25.79/25.88 c BCD2: 2389 <= obj <= 1875839
25.79/25.88 c BCD2: #cores=9, #unrelaxed=5724, #relaxed=116, #hardened=0
25.79/25.88 c BCD2: #sat=1 #unsat=10 bias=10/11
25.79/25.88 c Solving starts ...
25.79/25.88 c ============================[ Search Statistics ]============================
25.79/25.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
25.79/25.88 c | | | | Limit GC | Var | Constra
25.79/25.88 c =============================================================================
25.89/25.91 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
25.99/26.09 c 0.2s | 0 | 5173 | 0 | 193038 0 | 28802 | 61014
25.99/26.09 c #cpu_time = 0.182s
25.99/26.09 c #wall_clock_time = 0.182s
25.99/26.09 c #decision = 5173
25.99/26.09 c #random_decision = 0
25.99/26.09 c #conflict = 0
25.99/26.09 c #restart = 0
25.99/26.09 c BCD2: found a new core of size 7: cost of the new core is >=341
25.99/26.09 c lower bound updated to 2730
26.09/26.10 c BCD2: 2730 <= obj <= 1875839
26.09/26.10 c BCD2: #cores=10, #unrelaxed=5717, #relaxed=123, #hardened=0
26.09/26.10 c BCD2: #sat=1 #unsat=11 bias=11/12
26.09/26.10 c Solving starts ...
26.09/26.10 c ============================[ Search Statistics ]============================
26.09/26.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
26.09/26.10 c | | | | Limit GC | Var | Constra
26.09/26.10 c =============================================================================
26.09/26.13 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
26.29/26.32 c 0.2s | 0 | 5214 | 0 | 193038 0 | 28802 | 61014
26.29/26.32 c #cpu_time = 0.185s
26.29/26.32 c #wall_clock_time = 0.185s
26.29/26.32 c #decision = 5214
26.29/26.32 c #random_decision = 0
26.29/26.32 c #conflict = 0
26.29/26.32 c #restart = 0
26.29/26.32 c BCD2: found a new core of size 52: cost of the new core is >=341
26.29/26.32 c lower bound updated to 3071
26.29/26.32 c BCD2: 3071 <= obj <= 1875839
26.29/26.32 c BCD2: #cores=11, #unrelaxed=5665, #relaxed=175, #hardened=0
26.29/26.32 c BCD2: #sat=1 #unsat=12 bias=12/13
26.29/26.32 c Solving starts ...
26.29/26.32 c ============================[ Search Statistics ]============================
26.29/26.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
26.29/26.32 c | | | | Limit GC | Var | Constra
26.29/26.32 c =============================================================================
26.29/26.35 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
26.50/26.54 c 0.2s | 0 | 5214 | 0 | 193038 0 | 28802 | 61014
26.50/26.54 c #cpu_time = 0.187s
26.50/26.54 c #wall_clock_time = 0.187s
26.50/26.54 c #decision = 5214
26.50/26.54 c #random_decision = 0
26.50/26.54 c #conflict = 0
26.50/26.54 c #restart = 0
26.50/26.54 c BCD2: found a new core of size 14: cost of the new core is >=341
26.50/26.54 c lower bound updated to 3412
26.50/26.54 c BCD2: 3412 <= obj <= 1875839
26.50/26.54 c BCD2: #cores=12, #unrelaxed=5651, #relaxed=189, #hardened=0
26.50/26.54 c BCD2: #sat=1 #unsat=13 bias=13/14
26.50/26.55 c Solving starts ...
26.50/26.55 c ============================[ Search Statistics ]============================
26.50/26.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
26.50/26.55 c | | | | Limit GC | Var | Constra
26.50/26.55 c =============================================================================
26.50/26.58 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
26.69/26.77 c 0.2s | 0 | 5402 | 0 | 193038 0 | 28802 | 61014
26.69/26.77 c #cpu_time = 0.189s
26.69/26.77 c #wall_clock_time = 0.189s
26.69/26.77 c #decision = 5402
26.69/26.77 c #random_decision = 0
26.69/26.77 c #conflict = 0
26.69/26.77 c #restart = 0
26.69/26.77 c BCD2: found a new core of size 13: cost of the new core is >=341
26.69/26.77 c lower bound updated to 3753
26.69/26.77 c BCD2: 3753 <= obj <= 1875839
26.69/26.77 c BCD2: #cores=13, #unrelaxed=5638, #relaxed=202, #hardened=0
26.69/26.77 c BCD2: #sat=1 #unsat=14 bias=14/15
26.69/26.77 c Solving starts ...
26.69/26.77 c ============================[ Search Statistics ]============================
26.69/26.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
26.69/26.77 c | | | | Limit GC | Var | Constra
26.69/26.77 c =============================================================================
26.79/26.81 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
26.89/26.99 c 0.2s | 0 | 5490 | 0 | 193038 0 | 28802 | 61014
26.89/26.99 c #cpu_time = 0.185s
26.89/26.99 c #wall_clock_time = 0.185s
26.89/26.99 c #decision = 5490
26.89/26.99 c #random_decision = 0
26.89/26.99 c #conflict = 0
26.89/26.99 c #restart = 0
26.89/26.99 c BCD2: found a new core of size 7: cost of the new core is >=341
26.89/26.99 c lower bound updated to 4094
26.99/27.00 c BCD2: 4094 <= obj <= 1875839
26.99/27.00 c BCD2: #cores=14, #unrelaxed=5631, #relaxed=209, #hardened=0
26.99/27.00 c BCD2: #sat=1 #unsat=15 bias=15/16
26.99/27.00 c Solving starts ...
26.99/27.00 c ============================[ Search Statistics ]============================
26.99/27.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
26.99/27.00 c | | | | Limit GC | Var | Constra
26.99/27.00 c =============================================================================
26.99/27.03 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
27.19/27.23 c 0.2s | 0 | 5692 | 3 | 193038 0 | 28802 | 61014
27.19/27.23 c #cpu_time = 0.197s
27.19/27.23 c #wall_clock_time = 0.197s
27.19/27.23 c #decision = 5692
27.19/27.23 c #random_decision = 0
27.19/27.23 c #conflict = 3
27.19/27.23 c #restart = 0
27.19/27.23 c BCD2: found a new core of size 26: cost of the new core is >=341
27.19/27.23 c lower bound updated to 4435
27.19/27.23 c BCD2: 4435 <= obj <= 1875839
27.19/27.23 c BCD2: #cores=15, #unrelaxed=5605, #relaxed=235, #hardened=0
27.19/27.23 c BCD2: #sat=1 #unsat=16 bias=16/17
27.19/27.23 c Solving starts ...
27.19/27.23 c ============================[ Search Statistics ]============================
27.19/27.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.19/27.23 c | | | | Limit GC | Var | Constra
27.19/27.23 c =============================================================================
27.19/27.27 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
27.39/27.46 c 0.2s | 0 | 6537 | 1 | 193038 0 | 28802 | 61014
27.39/27.46 c #cpu_time = 0.195s
27.39/27.46 c #wall_clock_time = 0.198s
27.39/27.46 c #decision = 6537
27.39/27.46 c #random_decision = 2
27.39/27.46 c #conflict = 1
27.39/27.46 c #restart = 0
27.39/27.46 c BCD2: found a new core of size 3: cost of the new core is >=1
27.39/27.46 c lower bound updated to 4436
27.39/27.47 c BCD2: 4436 <= obj <= 1875839
27.39/27.47 c BCD2: #cores=16, #unrelaxed=5602, #relaxed=238, #hardened=0
27.39/27.47 c BCD2: #sat=1 #unsat=17 bias=17/18
27.39/27.47 c Solving starts ...
27.39/27.47 c ============================[ Search Statistics ]============================
27.39/27.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.39/27.47 c | | | | Limit GC | Var | Constra
27.39/27.47 c =============================================================================
27.39/27.50 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
27.69/27.70 c 0.2s | 0 | 5853 | 1 | 193038 0 | 28802 | 61014
27.69/27.70 c #cpu_time = 0.196s
27.69/27.70 c #wall_clock_time = 0.196s
27.69/27.70 c #decision = 5853
27.69/27.70 c #random_decision = 0
27.69/27.70 c #conflict = 1
27.69/27.70 c #restart = 0
27.69/27.70 c BCD2: found a new core of size 2: cost of the new core is >=1
27.69/27.70 c lower bound updated to 4437
27.69/27.70 c BCD2: 4437 <= obj <= 1875839
27.69/27.70 c BCD2: #cores=17, #unrelaxed=5600, #relaxed=240, #hardened=0
27.69/27.70 c BCD2: #sat=1 #unsat=18 bias=18/19
27.69/27.70 c Solving starts ...
27.69/27.70 c ============================[ Search Statistics ]============================
27.69/27.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.69/27.70 c | | | | Limit GC | Var | Constra
27.69/27.70 c =============================================================================
27.69/27.74 c 0.0s | 0 | 0 | 0 | 193038 0 | 28802 | 61014
27.89/27.94 c 0.2s | 0 | 5875 | 4 | 193038 0 | 28802 | 61014
27.89/27.94 c #cpu_time = 0.198s
27.89/27.94 c #wall_clock_time = 0.198s
27.89/27.94 c #decision = 5875
27.89/27.94 c #random_decision = 1
27.89/27.94 c #conflict = 4
27.89/27.94 c #restart = 0
27.89/27.94 c BCD2: relaxing 88 and merging with 1 cores into a new core of size 90: cost of the new core is >=2
27.89/27.94 c lower bound updated to 4438
27.89/27.94 c BCD2: 4438 <= obj <= 1875839
27.89/27.94 c BCD2: #cores=17, #unrelaxed=5512, #relaxed=328, #hardened=0
27.89/27.94 c BCD2: #sat=1 #unsat=19 bias=19/20
27.89/27.94 c Solving starts ...
27.89/27.94 c ============================[ Search Statistics ]============================
27.89/27.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.89/27.94 c | | | | Limit GC | Var | Constra
27.89/27.94 c =============================================================================
27.89/27.98 c 0.0s | 0 | 0 | 0 | 193038 0 | 28803 | 61014
28.09/28.17 c 0.2s | 0 | 6660 | 4 | 193038 0 | 28803 | 61015
28.09/28.17 c #cpu_time = 0.192s
28.09/28.17 c #wall_clock_time = 0.192s
28.09/28.17 c #decision = 6660
28.09/28.17 c #random_decision = 0
28.09/28.17 c #conflict = 4
28.09/28.17 c #restart = 0
28.09/28.17 c BCD2: found a new core of size 28: cost of the new core is >=1
28.09/28.17 c lower bound updated to 4439
28.09/28.18 c BCD2: 4439 <= obj <= 1875839
28.09/28.18 c BCD2: #cores=18, #unrelaxed=5484, #relaxed=356, #hardened=0
28.09/28.18 c BCD2: #sat=1 #unsat=20 bias=20/21
28.09/28.18 c Solving starts ...
28.09/28.18 c ============================[ Search Statistics ]============================
28.09/28.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.09/28.18 c | | | | Limit GC | Var | Constra
28.09/28.18 c =============================================================================
28.19/28.21 c 0.0s | 0 | 0 | 0 | 193038 0 | 28803 | 61015
28.39/28.41 c 0.2s | 0 | 7617 | 9 | 193038 0 | 28803 | 61015
28.39/28.41 c #cpu_time = 0.204s
28.39/28.41 c #wall_clock_time = 0.204s
28.39/28.41 c #decision = 7617
28.39/28.41 c #random_decision = 6
28.39/28.41 c #conflict = 9
28.39/28.41 c #restart = 0
28.39/28.41 c BCD2: found a new core of size 12: cost of the new core is >=341
28.39/28.41 c lower bound updated to 4780
28.39/28.42 c BCD2: 4780 <= obj <= 1875839
28.39/28.42 c BCD2: #cores=19, #unrelaxed=5472, #relaxed=368, #hardened=0
28.39/28.42 c BCD2: #sat=1 #unsat=21 bias=21/22
28.39/28.42 c Solving starts ...
28.39/28.42 c ============================[ Search Statistics ]============================
28.39/28.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.39/28.42 c | | | | Limit GC | Var | Constra
28.39/28.42 c =============================================================================
28.39/28.45 c 0.0s | 0 | 0 | 0 | 193038 0 | 28803 | 61015
28.59/28.65 c 0.2s | 0 | 5564 | 2 | 193038 0 | 28803 | 61015
28.59/28.65 c #cpu_time = 0.194s
28.59/28.65 c #wall_clock_time = 0.194s
28.59/28.65 c #decision = 5564
28.59/28.65 c #random_decision = 1
28.59/28.65 c #conflict = 2
28.59/28.65 c #restart = 0
28.59/28.65 c BCD2: found a new core of size 40: cost of the new core is >=341
28.59/28.65 c lower bound updated to 5121
28.59/28.65 c BCD2: 5121 <= obj <= 1875839
28.59/28.65 c BCD2: #cores=20, #unrelaxed=5432, #relaxed=408, #hardened=0
28.59/28.65 c BCD2: #sat=1 #unsat=22 bias=22/23
28.59/28.65 c Solving starts ...
28.59/28.65 c ============================[ Search Statistics ]============================
28.59/28.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.59/28.65 c | | | | Limit GC | Var | Constra
28.59/28.65 c =============================================================================
28.59/28.68 c 0.0s | 0 | 0 | 0 | 193038 0 | 28803 | 61015
28.89/28.91 c 0.2s | 0 | 16112 | 8 | 193038 0 | 28803 | 61015
28.89/28.91 c #cpu_time = 0.227s
28.89/28.91 c #wall_clock_time = 0.227s
28.89/28.91 c #decision = 16112
28.89/28.91 c #random_decision = 1
28.89/28.91 c #conflict = 8
28.89/28.91 c #restart = 0
28.89/28.91 c BCD2: found a new core of size 2: cost of the new core is >=1
28.89/28.91 c lower bound updated to 5122
28.89/28.92 c BCD2: 5122 <= obj <= 1875839
28.89/28.92 c BCD2: #cores=21, #unrelaxed=5430, #relaxed=410, #hardened=0
28.89/28.92 c BCD2: #sat=1 #unsat=23 bias=23/24
28.89/28.92 c Solving starts ...
28.89/28.92 c ============================[ Search Statistics ]============================
28.89/28.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.89/28.92 c | | | | Limit GC | Var | Constra
28.89/28.92 c =============================================================================
28.89/28.95 c 0.0s | 0 | 0 | 0 | 193038 0 | 28803 | 61015
29.09/29.17 c 0.2s | 0 | 5591 | 11 | 193038 0 | 28803 | 61015
29.09/29.17 c #cpu_time = 0.215s
29.09/29.17 c #wall_clock_time = 0.215s
29.09/29.17 c #decision = 5591
29.09/29.17 c #random_decision = 0
29.09/29.17 c #conflict = 11
29.09/29.17 c #restart = 0
29.09/29.17 c BCD2: found a new core of size 121: cost of the new core is >=341
29.09/29.17 c lower bound updated to 5463
29.09/29.17 c BCD2: 5463 <= obj <= 1875839
29.09/29.17 c BCD2: #cores=22, #unrelaxed=5309, #relaxed=531, #hardened=0
29.09/29.17 c BCD2: #sat=1 #unsat=24 bias=24/25
29.09/29.18 c Solving starts ...
29.09/29.18 c ============================[ Search Statistics ]============================
29.09/29.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.09/29.18 c | | | | Limit GC | Var | Constra
29.09/29.18 c =============================================================================
29.19/29.21 c 0.0s | 0 | 0 | 0 | 193038 0 | 28803 | 61015
29.39/29.45 c 0.2s | 0 | 11524 | 19 | 193038 0 | 28803 | 61015
29.39/29.45 c #cpu_time = 0.238s
29.39/29.45 c #wall_clock_time = 0.238s
29.39/29.45 c #decision = 11524
29.39/29.45 c #random_decision = 3
29.39/29.45 c #conflict = 19
29.39/29.45 c #restart = 0
29.39/29.45 c BCD2: found a new core of size 4: cost of the new core is >=1
29.39/29.45 c lower bound updated to 5464
29.39/29.46 c BCD2: 5464 <= obj <= 1875839
29.39/29.46 c BCD2: #cores=23, #unrelaxed=5305, #relaxed=535, #hardened=0
29.39/29.46 c BCD2: #sat=1 #unsat=25 bias=25/26
29.39/29.46 c Solving starts ...
29.39/29.46 c ============================[ Search Statistics ]============================
29.39/29.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.39/29.46 c | | | | Limit GC | Var | Constra
29.39/29.46 c =============================================================================
29.49/29.50 c 0.0s | 0 | 0 | 0 | 193038 0 | 28803 | 61015
29.69/29.79 c 0.3s | 0 | 6497 | 54 | 212342 0 | 28803 | 61015
29.69/29.79 c #cpu_time = 0.288s
29.69/29.79 c #wall_clock_time = 0.288s
29.69/29.79 c #decision = 6497
29.69/29.79 c #random_decision = 1
29.69/29.79 c #conflict = 54
29.69/29.79 c #restart = 0
29.69/29.79 c BCD2: found a new core of size 63: cost of the new core is >=1
29.69/29.79 c lower bound updated to 5465
29.69/29.79 c BCD2: 5465 <= obj <= 1875839
29.69/29.79 c BCD2: #cores=24, #unrelaxed=5242, #relaxed=598, #hardened=0
29.69/29.79 c BCD2: #sat=1 #unsat=26 bias=26/27
29.69/29.79 c Solving starts ...
29.69/29.79 c ============================[ Search Statistics ]============================
29.69/29.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.69/29.79 c | | | | Limit GC | Var | Constra
29.69/29.79 c =============================================================================
29.79/29.84 c 0.0s | 0 | 0 | 0 | 212342 0 | 28803 | 61015
30.19/30.20 c 0.4s | 0 | 14622 | 89 | 212342 0 | 28803 | 61015
30.19/30.20 c #cpu_time = 0.365s
30.19/30.20 c #wall_clock_time = 0.365s
30.19/30.20 c #decision = 14622
30.19/30.20 c #random_decision = 2
30.19/30.20 c #conflict = 89
30.19/30.20 c #restart = 0
30.19/30.20 c BCD2: found a new core of size 74: cost of the new core is >=1
30.19/30.20 c lower bound updated to 5466
30.19/30.21 c BCD2: 5466 <= obj <= 1875839
30.19/30.21 c BCD2: #cores=25, #unrelaxed=5168, #relaxed=672, #hardened=0
30.19/30.21 c BCD2: #sat=1 #unsat=27 bias=27/28
30.19/30.21 c Solving starts ...
30.19/30.21 c ============================[ Search Statistics ]============================
30.19/30.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
30.19/30.21 c | | | | Limit GC | Var | Constra
30.19/30.21 c =============================================================================
30.19/30.25 c 0.0s | 0 | 0 | 0 | 212342 0 | 28803 | 61015
30.49/30.55 c 0.3s | 0 | 12676 | 59 | 233577 0 | 28803 | 61015
30.49/30.55 c #cpu_time = 0.295s
30.49/30.55 c #wall_clock_time = 0.295s
30.49/30.55 c #decision = 12676
30.49/30.55 c #random_decision = 2
30.49/30.55 c #conflict = 59
30.49/30.55 c #restart = 0
30.49/30.55 c BCD2: relaxing 70 and merging with 1 cores into a new core of size 74: cost of the new core is >=2
30.49/30.55 c lower bound updated to 5467
30.49/30.55 c BCD2: 5467 <= obj <= 1875839
30.49/30.55 c BCD2: #cores=25, #unrelaxed=5098, #relaxed=742, #hardened=0
30.49/30.55 c BCD2: #sat=1 #unsat=28 bias=28/29
30.49/30.56 c Solving starts ...
30.49/30.56 c ============================[ Search Statistics ]============================
30.49/30.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
30.49/30.56 c | | | | Limit GC | Var | Constra
30.49/30.56 c =============================================================================
30.49/30.59 c 0.0s | 0 | 0 | 0 | 233577 0 | 28806 | 61015
30.79/30.89 c 0.3s | 1 | 5366 | 100 | 233577 0 | 28806 | 61020
31.19/31.29 c 0.7s | 2 | 11255 | 250 | 256935 0 | 28806 | 61020
31.89/31.97 c 1.4s | 3 | 45912 | 475 | 256935 0 | 28806 | 61020
32.69/32.72 c 2.1s | 4 | 53509 | 813 | 282629 0 | 28806 | 61020
32.89/32.99 c 2.4s | 4 | 58998 | 856 | 282629 0 | 28806 | 61020
32.89/32.99 c #cpu_time = 2.402s
32.89/32.99 c #wall_clock_time = 2.402s
32.89/32.99 c #decision = 58998
32.89/32.99 c #random_decision = 13
32.89/32.99 c #conflict = 856
32.89/32.99 c #restart = 4
32.89/32.99 c BCD2: found a new core of size 29: cost of the new core is >=341
32.89/32.99 c lower bound updated to 5808
32.89/33.00 c BCD2: 5808 <= obj <= 1875839
32.89/33.00 c BCD2: #cores=26, #unrelaxed=5069, #relaxed=771, #hardened=0
32.89/33.00 c BCD2: #sat=1 #unsat=29 bias=29/30
32.89/33.00 c Solving starts ...
32.89/33.00 c ============================[ Search Statistics ]============================
32.89/33.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
32.89/33.00 c | | | | Limit GC | Var | Constra
32.89/33.00 c =============================================================================
32.99/33.04 c 0.0s | 0 | 0 | 0 | 282629 0 | 28806 | 61020
33.39/33.44 c 0.4s | 1 | 7270 | 100 | 282629 0 | 28806 | 61020
33.89/33.93 c 0.9s | 2 | 15654 | 250 | 310892 0 | 28806 | 61020
34.29/34.39 c 1.3s | 2 | 29960 | 426 | 310892 0 | 28806 | 61020
34.29/34.39 c #cpu_time = 1.347s
34.29/34.39 c #wall_clock_time = 1.347s
34.29/34.39 c #decision = 29960
34.29/34.39 c #random_decision = 6
34.29/34.39 c #conflict = 426
34.29/34.39 c #restart = 2
34.29/34.39 c BCD2: relaxing 318 and merging with 1 cores into a new core of size 320: cost of the new core is >=2
34.29/34.39 c lower bound updated to 5809
34.29/34.39 c BCD2: 5809 <= obj <= 1875839
34.29/34.39 c BCD2: #cores=26, #unrelaxed=4751, #relaxed=1089, #hardened=0
34.29/34.39 c BCD2: #sat=1 #unsat=30 bias=30/31
34.39/34.40 c Solving starts ...
34.39/34.40 c ============================[ Search Statistics ]============================
34.39/34.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
34.39/34.40 c | | | | Limit GC | Var | Constra
34.39/34.40 c =============================================================================
34.39/34.44 c 0.0s | 0 | 0 | 0 | 310892 0 | 28807 | 61020
34.79/34.88 c 0.4s | 1 | 7648 | 100 | 310892 0 | 28807 | 61021
35.09/35.17 c 0.7s | 1 | 15751 | 112 | 310892 0 | 28807 | 61021
35.09/35.17 c #cpu_time = 0.735s
35.09/35.17 c #wall_clock_time = 0.735s
35.09/35.17 c #decision = 15751
35.09/35.17 c #random_decision = 29
35.09/35.17 c #conflict = 112
35.09/35.17 c #restart = 1
35.09/35.17 c BCD2: found a new core of size 48: cost of the new core is >=341
35.09/35.17 c lower bound updated to 6150
35.09/35.18 c BCD2: 6150 <= obj <= 1875839
35.09/35.18 c BCD2: #cores=27, #unrelaxed=4703, #relaxed=1137, #hardened=0
35.09/35.18 c BCD2: #sat=1 #unsat=31 bias=31/32
35.09/35.18 c Solving starts ...
35.09/35.18 c ============================[ Search Statistics ]============================
35.09/35.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
35.09/35.18 c | | | | Limit GC | Var | Constra
35.09/35.18 c =============================================================================
35.19/35.23 c 0.0s | 0 | 0 | 0 | 310892 0 | 28807 | 61021
35.39/35.43 c 0.2s | 0 | 4750 | 2 | 310892 0 | 28807 | 61021
35.39/35.43 c #cpu_time = 0.194s
35.39/35.43 c #wall_clock_time = 0.194s
35.39/35.43 c #decision = 4750
35.39/35.43 c #random_decision = 0
35.39/35.43 c #conflict = 2
35.39/35.43 c #restart = 0
35.39/35.43 c BCD2: found a new core of size 42: cost of the new core is >=341
35.39/35.43 c lower bound updated to 6491
35.39/35.43 c BCD2: 6491 <= obj <= 1875839
35.39/35.43 c BCD2: #cores=28, #unrelaxed=4661, #relaxed=1179, #hardened=0
35.39/35.43 c BCD2: #sat=1 #unsat=32 bias=32/33
35.39/35.44 c Solving starts ...
35.39/35.44 c ============================[ Search Statistics ]============================
35.39/35.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
35.39/35.44 c | | | | Limit GC | Var | Constra
35.39/35.44 c =============================================================================
35.39/35.47 c 0.0s | 0 | 0 | 0 | 310892 0 | 28807 | 61021
35.99/36.03 c 0.6s | 1 | 9703 | 100 | 310892 0 | 28807 | 61021
36.99/37.08 c 1.6s | 2 | 28107 | 250 | 310892 0 | 28808 | 61069
38.08/38.17 c 2.7s | 2 | 52175 | 422 | 341982 0 | 28817 | 61396
38.08/38.17 c #cpu_time = 2.690s
38.08/38.17 c #wall_clock_time = 2.695s
38.08/38.17 c #decision = 52175
38.08/38.17 c #random_decision = 52
38.08/38.17 c #conflict = 422
38.08/38.17 c #restart = 2
38.08/38.17 c BCD2: found a new core of size 133: cost of the new core is >=1
38.08/38.17 c lower bound updated to 6492
38.08/38.17 c BCD2: 6492 <= obj <= 1875839
38.08/38.17 c BCD2: #cores=29, #unrelaxed=4528, #relaxed=1312, #hardened=0
38.08/38.17 c BCD2: #sat=1 #unsat=33 bias=33/34
38.08/38.18 c Solving starts ...
38.08/38.18 c ============================[ Search Statistics ]============================
38.08/38.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
38.08/38.18 c | | | | Limit GC | Var | Constra
38.08/38.18 c =============================================================================
38.18/38.24 c 0.0s | 0 | 0 | 0 | 341982 0 | 28817 | 61396
39.18/39.25 c 1.0s | 1 | 14729 | 100 | 341982 0 | 28818 | 61477
40.28/40.32 c 2.1s | 2 | 39931 | 250 | 341982 0 | 28818 | 61477
41.18/41.27 c 3.0s | 3 | 75302 | 475 | 341982 0 | 28818 | 61477
42.58/42.68 c 4.4s | 3 | 105757 | 761 | 341982 0 | 28818 | 61477
42.58/42.68 c #cpu_time = 4.442s
42.58/42.68 c #wall_clock_time = 4.442s
42.58/42.68 c #decision = 105757
42.58/42.68 c #random_decision = 77
42.58/42.68 c #conflict = 761
42.58/42.68 c #restart = 3
42.58/42.68 c BCD2: found a new core of size 28: cost of the new core is >=341
42.58/42.68 c lower bound updated to 6833
42.58/42.69 c BCD2: 6833 <= obj <= 1875839
42.58/42.69 c BCD2: #cores=30, #unrelaxed=4500, #relaxed=1340, #hardened=0
42.58/42.69 c BCD2: #sat=1 #unsat=34 bias=34/35
42.58/42.69 c Solving starts ...
42.58/42.69 c ============================[ Search Statistics ]============================
42.58/42.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
42.58/42.69 c | | | | Limit GC | Var | Constra
42.58/42.69 c =============================================================================
42.68/42.72 c 0.0s | 0 | 0 | 0 | 341982 0 | 28818 | 61477
43.18/43.28 c 0.6s | 1 | 5655 | 100 | 341982 0 | 28818 | 61477
43.88/43.90 c 1.2s | 2 | 11706 | 250 | 341982 0 | 28818 | 61477
44.78/44.87 c 2.1s | 3 | 34922 | 475 | 376181 0 | 28818 | 61477
46.08/46.12 c 3.4s | 4 | 48353 | 813 | 376181 0 | 28818 | 61477
47.77/47.85 c 5.1s | 4 | 77202 | 1143 | 376181 0 | 28818 | 61477
47.77/47.85 c #cpu_time = 5.116s
47.77/47.85 c #wall_clock_time = 5.121s
47.77/47.85 c #decision = 77202
47.77/47.85 c #random_decision = 56
47.77/47.85 c #conflict = 1143
47.77/47.85 c #restart = 4
47.77/47.85 c BCD2: found a new core of size 4: cost of the new core is >=341
47.77/47.85 c lower bound updated to 7174
47.77/47.85 c BCD2: 7174 <= obj <= 1875839
47.77/47.85 c BCD2: #cores=31, #unrelaxed=4496, #relaxed=1344, #hardened=0
47.77/47.85 c BCD2: #sat=1 #unsat=35 bias=35/36
47.77/47.86 c Solving starts ...
47.77/47.86 c ============================[ Search Statistics ]============================
47.77/47.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
47.77/47.86 c | | | | Limit GC | Var | Constra
47.77/47.86 c =============================================================================
47.77/47.88 c 0.0s | 0 | 0 | 0 | 376181 0 | 28818 | 61477
48.57/48.60 c 0.7s | 1 | 9280 | 100 | 376181 0 | 28818 | 61477
49.48/49.57 c 1.7s | 2 | 14984 | 250 | 376181 0 | 28818 | 61477
50.27/50.35 c 2.5s | 3 | 21014 | 475 | 376181 0 | 28818 | 61477
51.47/51.57 c 3.7s | 4 | 37917 | 813 | 376181 0 | 28818 | 61477
52.97/53.00 c 5.1s | 5 | 44605 | 1320 | 413800 0 | 28818 | 61477
55.08/55.18 c 7.3s | 5 | 53718 | 1920 | 413800 0 | 28818 | 61477
55.67/55.72 c 7.8s | 6 | 54012 | 2081 | 413800 0 | 28818 | 61477
57.77/57.81 c 9.9s | 6 | 65946 | 2681 | 413800 0 | 28818 | 61477
59.87/59.93 c 12.0s | 7 | 72624 | 3223 | 413800 0 | 28820 | 61497
61.97/62.05 c 14.2s | 7 | 79860 | 3823 | 455181 0 | 28820 | 61497
64.17/64.27 c 16.4s | 7 | 86769 | 4323 | 455181 0 | 28820 | 61497
65.98/66.06 c 18.2s | 8 | 109002 | 4936 | 455181 0 | 28820 | 61497
68.07/68.16 c 20.3s | 8 | 126738 | 5636 | 455181 0 | 28820 | 61497
70.17/70.25 c 22.4s | 8 | 127926 | 6636 | 455181 0 | 28820 | 61497
72.17/72.27 c 24.4s | 8 | 134404 | 7436 | 500700 0 | 28820 | 61497
72.37/72.44 c 24.6s | 9 | 134522 | 7506 | 500700 0 | 28820 | 61497
74.36/74.46 c 26.6s | 9 | 147780 | 8006 | 500700 0 | 28820 | 61497
76.66/76.73 c 28.8s | 9 | 158090 | 8806 | 500700 0 | 28820 | 61497
78.86/78.92 c 31.0s | 9 | 168300 | 9506 | 500700 0 | 28820 | 61497
80.96/81.09 c 33.2s | 9 | 169069 | 10106 | 500700 0 | 28820 | 61497
83.26/83.38 c 35.5s | 9 | 174195 | 10806 | 500700 0 | 28820 | 61497
84.96/85.08 c 37.2s | 10 | 183595 | 11361 | 500700 0 | 28820 | 61497
87.16/87.25 c 39.4s | 10 | 205104 | 11961 | 500700 0 | 28820 | 61497
89.45/89.57 c 41.7s | 10 | 209888 | 12661 | 500700 0 | 28820 | 61497
91.55/91.66 c 43.8s | 10 | 222907 | 13261 | 550770 0 | 28820 | 61497
93.85/93.93 c 46.0s | 10 | 241889 | 13761 | 550770 0 | 28820 | 61497
96.15/96.21 c 48.3s | 10 | 265578 | 14261 | 550770 0 | 28820 | 61497
98.15/98.26 c 50.4s | 10 | 269523 | 14861 | 550770 0 | 28820 | 61497
100.25/100.39 c 52.5s | 10 | 270564 | 15561 | 550770 0 | 28820 | 61497
102.45/102.59 c 54.7s | 10 | 285324 | 16261 | 550770 0 | 28820 | 61497
104.74/104.89 c 57.0s | 10 | 294773 | 16961 | 550770 0 | 28820 | 61497
105.44/105.50 c 57.6s | 11 | 296213 | 17144 | 550770 0 | 28820 | 61497
107.64/107.72 c 59.8s | 11 | 303388 | 17644 | 550770 0 | 28820 | 61497
109.95/110.02 c 62.1s | 11 | 306127 | 18344 | 550770 0 | 28820 | 61497
112.15/112.29 c 64.4s | 11 | 324086 | 18844 | 550770 0 | 28820 | 61497
114.24/114.33 c 66.4s | 11 | 328559 | 19444 | 550770 0 | 28820 | 61497
116.54/116.62 c 68.7s | 11 | 339347 | 19944 | 550770 0 | 28820 | 61497
118.63/118.75 c 70.9s | 11 | 342958 | 20444 | 550770 0 | 28820 | 61497
121.04/121.12 c 73.2s | 11 | 344228 | 21044 | 550770 0 | 28820 | 61497
123.03/123.16 c 75.3s | 11 | 348662 | 21544 | 550770 0 | 28820 | 61497
125.34/125.46 c 77.6s | 11 | 356947 | 22144 | 605847 0 | 28820 | 61497
127.43/127.59 c 79.7s | 11 | 357860 | 22844 | 605847 0 | 28820 | 61497
129.83/129.91 c 82.0s | 11 | 364684 | 23444 | 605847 0 | 28820 | 61497
132.12/132.24 c 84.4s | 11 | 373873 | 24044 | 605847 0 | 28820 | 61497
134.23/134.31 c 86.4s | 11 | 375778 | 24544 | 605847 0 | 28820 | 61497
136.43/136.54 c 88.7s | 11 | 382791 | 25144 | 605847 0 | 28820 | 61497
138.52/138.66 c 90.8s | 11 | 383512 | 25644 | 605847 0 | 28820 | 61497
139.32/139.48 c 91.6s | 12 | 388465 | 25819 | 605847 0 | 28820 | 61497
141.51/141.61 c 93.7s | 12 | 398341 | 26319 | 605847 0 | 28820 | 61497
143.51/143.69 c 95.8s | 12 | 399845 | 27119 | 605847 0 | 28820 | 61497
145.61/145.75 c 97.9s | 12 | 400960 | 28019 | 605847 0 | 28820 | 61497
147.71/147.89 c 100s | 12 | 402067 | 28919 | 605847 0 | 28820 | 61497
149.81/149.93 c 102s | 12 | 403220 | 29819 | 605847 0 | 28820 | 61497
152.01/152.10 c 104s | 12 | 404176 | 30619 | 605847 0 | 28820 | 61497
154.11/154.27 c 106s | 12 | 405074 | 31419 | 605847 0 | 28820 | 61497
156.11/156.27 c 108s | 12 | 406131 | 32219 | 605847 0 | 28820 | 61497
158.20/158.38 c 110s | 12 | 406782 | 32819 | 605847 0 | 28820 | 61497
160.40/160.51 c 112s | 12 | 407571 | 33519 | 605847 0 | 28820 | 61497
162.60/162.71 c 114s | 12 | 408372 | 34219 | 605847 0 | 28820 | 61497
164.60/164.71 c 116s | 12 | 414052 | 34819 | 666432 0 | 28820 | 61497
167.40/167.57 c 119s | 12 | 415029 | 35419 | 666432 0 | 28820 | 61497
169.60/169.76 c 121s | 12 | 415866 | 36019 | 666432 0 | 28820 | 61497
171.90/172.02 c 124s | 12 | 416559 | 36619 | 666432 0 | 28820 | 61497
173.90/174.04 c 126s | 12 | 417179 | 37119 | 666432 0 | 28820 | 61497
176.10/176.25 c 128s | 12 | 417764 | 37619 | 666432 0 | 28820 | 61497
178.29/178.43 c 130s | 12 | 418386 | 38119 | 666432 0 | 28820 | 61497
180.59/180.74 c 132s | 12 | 419721 | 38619 | 666432 0 | 28820 | 61497
181.29/181.40 c 133s | 13 | 419988 | 38832 | 666432 0 | 28820 | 61497
183.29/183.42 c 135s | 13 | 429522 | 39132 | 666432 0 | 28820 | 61497
185.29/185.49 c 137s | 13 | 431364 | 39732 | 666432 0 | 28820 | 61497
187.49/187.68 c 139s | 13 | 431924 | 40132 | 666432 0 | 28820 | 61497
189.99/190.13 c 142s | 13 | 432880 | 40732 | 666432 0 | 28820 | 61497
192.29/192.42 c 144s | 13 | 433565 | 41232 | 666432 0 | 28820 | 61497
194.69/194.82 c 146s | 13 | 434566 | 41732 | 666432 0 | 28820 | 61497
196.69/196.85 c 148s | 13 | 435933 | 42232 | 666432 0 | 28820 | 61497
198.99/199.15 c 151s | 13 | 436590 | 42732 | 666432 0 | 28820 | 61497
201.38/201.55 c 153s | 13 | 437207 | 43232 | 666432 0 | 28820 | 61497
203.39/203.58 c 155s | 13 | 437898 | 43732 | 666432 0 | 28820 | 61497
205.48/205.61 c 157s | 13 | 438535 | 44232 | 666432 0 | 28820 | 61497
207.67/207.90 c 160s | 13 | 439108 | 44732 | 666432 0 | 28820 | 61497
210.08/210.21 c 162s | 13 | 439693 | 45232 | 666432 0 | 28820 | 61497
212.47/212.64 c 164s | 13 | 441351 | 45732 | 666432 0 | 28820 | 61497
214.77/214.92 c 167s | 13 | 443937 | 46232 | 666432 0 | 28820 | 61497
216.97/217.19 c 169s | 13 | 454880 | 46632 | 666432 0 | 28820 | 61497
219.17/219.31 c 171s | 13 | 455338 | 47032 | 666432 0 | 28820 | 61497
221.37/221.58 c 173s | 13 | 455863 | 47432 | 666432 0 | 28820 | 61497
224.07/224.20 c 176s | 13 | 456466 | 47932 | 666432 0 | 28820 | 61497
226.47/226.66 c 178s | 13 | 457120 | 48432 | 666432 0 | 28820 | 61497
228.86/229.00 c 181s | 13 | 457619 | 48832 | 666432 0 | 28820 | 61497
230.97/231.18 c 183s | 13 | 458178 | 49232 | 666432 0 | 28820 | 61497
233.07/233.22 c 185s | 13 | 458675 | 49632 | 666432 0 | 28820 | 61497
235.46/235.64 c 187s | 13 | 462894 | 50132 | 666432 0 | 28820 | 61497
237.86/238.01 c 190s | 13 | 467213 | 50532 | 666432 0 | 28820 | 61497
240.36/240.52 c 192s | 13 | 472640 | 50932 | 666432 0 | 28820 | 61497
242.46/242.62 c 194s | 13 | 477750 | 51332 | 666432 0 | 28820 | 61497
244.66/244.89 c 197s | 13 | 486377 | 51632 | 666432 0 | 28820 | 61497
246.86/247.04 c 199s | 13 | 491596 | 52032 | 666432 0 | 28820 | 61497
249.25/249.43 c 201s | 13 | 492865 | 52432 | 666432 0 | 28820 | 61497
251.55/251.70 c 203s | 13 | 493547 | 52832 | 666432 0 | 28820 | 61497
253.65/253.80 c 205s | 13 | 493992 | 53132 | 666432 0 | 28820 | 61497
256.16/256.33 c 208s | 13 | 494621 | 53532 | 666432 0 | 28820 | 61497
258.65/258.88 c 211s | 13 | 495147 | 53932 | 666432 0 | 28820 | 61497
261.05/261.20 c 213s | 13 | 495486 | 54232 | 733076 0 | 28820 | 61497
263.35/263.56 c 215s | 13 | 495841 | 54532 | 733076 0 | 28820 | 61497
265.55/265.70 c 217s | 13 | 496391 | 54932 | 733076 0 | 28820 | 61497
267.64/267.83 c 219s | 13 | 496894 | 55332 | 733076 0 | 28820 | 61497
269.74/269.99 c 222s | 13 | 497415 | 55732 | 733076 0 | 28820 | 61497
272.04/272.29 c 224s | 13 | 497924 | 56132 | 733076 0 | 28820 | 61497
274.44/274.66 c 226s | 13 | 498712 | 56732 | 733076 0 | 28820 | 61497
276.44/276.68 c 228s | 13 | 499489 | 57332 | 733076 0 | 28820 | 61497
278.54/278.76 c 230s | 13 | 500396 | 57832 | 733076 0 | 28820 | 61497
280.94/281.19 c 233s | 13 | 501729 | 58232 | 733076 0 | 28820 | 61497
281.84/282.04 c 234s | 14 | 505892 | 58352 | 733076 0 | 28820 | 61497
284.04/284.20 c 236s | 14 | 511644 | 58552 | 733076 0 | 28820 | 61497
286.24/286.49 c 238s | 14 | 517623 | 59052 | 733076 0 | 28820 | 61497
288.54/288.71 c 240s | 14 | 521782 | 59552 | 733076 0 | 28820 | 61497
291.13/291.33 c 243s | 14 | 523823 | 60052 | 733076 0 | 28820 | 61497
293.33/293.53 c 245s | 14 | 524598 | 60352 | 733076 0 | 28820 | 61497
295.63/295.83 c 247s | 14 | 524989 | 60652 | 733076 0 | 28820 | 61497
297.63/297.86 c 249s | 14 | 525606 | 60952 | 733076 0 | 28820 | 61497
300.23/300.48 c 252s | 14 | 526145 | 61352 | 733076 0 | 28820 | 61497
302.33/302.51 c 254s | 14 | 526795 | 61652 | 733076 0 | 28820 | 61497
304.42/304.60 c 256s | 14 | 527247 | 61952 | 733076 0 | 28820 | 61497
306.93/307.11 c 259s | 14 | 527646 | 62252 | 733076 0 | 28820 | 61497
308.94/309.20 c 261s | 14 | 528147 | 62552 | 733076 0 | 28820 | 61497
311.63/311.88 c 263s | 14 | 528828 | 62952 | 733076 0 | 28820 | 61497
314.03/314.27 c 266s | 14 | 529483 | 63252 | 733076 0 | 28820 | 61497
316.23/316.48 c 268s | 14 | 529940 | 63552 | 733076 0 | 28820 | 61497
318.72/318.91 c 271s | 14 | 530450 | 63952 | 733076 0 | 28820 | 61497
321.13/321.36 c 273s | 14 | 530876 | 64252 | 733076 0 | 28820 | 61497
323.23/323.44 c 275s | 14 | 531131 | 64452 | 733076 0 | 28820 | 61497
326.63/326.85 c 278s | 14 | 531519 | 64752 | 733076 0 | 28820 | 61497
328.92/329.13 c 281s | 14 | 532409 | 65052 | 733076 0 | 28820 | 61497
331.02/331.29 c 283s | 14 | 533515 | 65452 | 733076 0 | 28820 | 61497
333.91/334.16 c 286s | 14 | 533991 | 65752 | 733076 0 | 28820 | 61497
336.42/336.68 c 288s | 14 | 534457 | 66052 | 733076 0 | 28820 | 61497
338.51/338.80 c 290s | 14 | 535721 | 66352 | 733076 0 | 28820 | 61497
340.92/341.18 c 293s | 14 | 536803 | 66852 | 733076 0 | 28820 | 61497
343.02/343.22 c 295s | 14 | 537502 | 67352 | 733076 0 | 28820 | 61497
345.01/345.24 c 297s | 14 | 538036 | 67752 | 733076 0 | 28820 | 61497
347.31/347.53 c 299s | 14 | 538713 | 68252 | 733076 0 | 28820 | 61497
349.61/349.89 c 302s | 14 | 541264 | 68752 | 733076 0 | 28820 | 61497
352.11/352.37 c 304s | 14 | 541979 | 69252 | 733076 0 | 28820 | 61497
354.21/354.40 c 306s | 14 | 542529 | 69652 | 733076 0 | 28820 | 61497
356.31/356.52 c 308s | 14 | 543425 | 70052 | 733076 0 | 28820 | 61497
358.51/358.78 c 310s | 14 | 544233 | 70452 | 733076 0 | 28820 | 61497
361.00/361.21 c 313s | 14 | 544954 | 70852 | 733076 0 | 28820 | 61497
363.00/363.29 c 315s | 14 | 545407 | 71152 | 733076 0 | 28820 | 61497
365.60/365.84 c 317s | 14 | 546095 | 71552 | 733076 0 | 28820 | 61497
367.70/367.98 c 320s | 14 | 546504 | 71852 | 733076 0 | 28820 | 61497
369.80/370.02 c 322s | 14 | 546933 | 72152 | 733076 0 | 28820 | 61497
372.10/372.34 c 324s | 14 | 547477 | 72552 | 733076 0 | 28820 | 61497
374.10/374.35 c 326s | 14 | 547847 | 72852 | 733076 0 | 28820 | 61497
376.19/376.46 c 328s | 14 | 548225 | 73152 | 733076 0 | 28820 | 61497
378.59/378.80 c 330s | 14 | 548830 | 73552 | 733076 0 | 28820 | 61497
380.79/381.05 c 333s | 14 | 549435 | 73952 | 733076 0 | 28820 | 61497
383.09/383.36 c 335s | 14 | 550011 | 74352 | 733076 0 | 28820 | 61497
385.69/385.97 c 338s | 14 | 550580 | 74752 | 733076 0 | 28820 | 61497
388.20/388.44 c 340s | 14 | 551160 | 75152 | 733076 0 | 28820 | 61497
390.39/390.66 c 342s | 14 | 551814 | 75552 | 733076 0 | 28820 | 61497
392.89/393.14 c 345s | 14 | 552501 | 75952 | 733076 0 | 28820 | 61497
395.09/395.34 c 347s | 14 | 552895 | 76252 | 733076 0 | 28820 | 61497
397.38/397.69 c 349s | 14 | 553353 | 76552 | 733076 0 | 28820 | 61497
399.68/399.98 c 352s | 14 | 553724 | 76852 | 733076 0 | 28820 | 61497
402.29/402.60 c 354s | 14 | 554234 | 77252 | 733076 0 | 28820 | 61497
404.59/404.88 c 356s | 14 | 554629 | 77552 | 733076 0 | 28820 | 61497
406.79/407.05 c 359s | 14 | 555043 | 77852 | 733076 0 | 28820 | 61497
409.78/410.08 c 362s | 14 | 555442 | 78152 | 733076 0 | 28820 | 61497
412.08/412.35 c 364s | 14 | 555892 | 78452 | 733076 0 | 28820 | 61497
414.68/414.92 c 367s | 14 | 556261 | 78752 | 733076 0 | 28820 | 61497
417.38/417.63 c 369s | 14 | 556597 | 79052 | 733076 0 | 28820 | 61497
419.99/420.27 c 372s | 14 | 556988 | 79352 | 733076 0 | 28820 | 61497
422.08/422.30 c 374s | 14 | 557236 | 79552 | 733076 0 | 28820 | 61497
424.58/424.83 c 376s | 14 | 557577 | 79852 | 733076 0 | 28820 | 61497
427.38/427.64 c 379s | 14 | 557972 | 80152 | 733076 0 | 28820 | 61497
429.57/429.82 c 381s | 14 | 558426 | 80452 | 733076 0 | 28820 | 61497
431.97/432.26 c 384s | 14 | 563756 | 80952 | 733076 0 | 28820 | 61497
434.28/434.53 c 386s | 14 | 564315 | 81352 | 733076 0 | 28820 | 61497
436.27/436.54 c 388s | 14 | 565073 | 81752 | 733076 0 | 28820 | 61497
438.67/438.99 c 391s | 14 | 566984 | 82152 | 733076 0 | 28820 | 61497
441.36/441.66 c 393s | 14 | 568610 | 82552 | 733076 0 | 28820 | 61497
443.56/443.85 c 395s | 14 | 569420 | 82852 | 733076 0 | 28820 | 61497
446.26/446.50 c 398s | 14 | 577493 | 83252 | 806384 0 | 28820 | 61497
448.26/448.50 c 400s | 14 | 578076 | 83552 | 806384 0 | 28820 | 61497
450.26/450.52 c 402s | 14 | 579005 | 83952 | 806384 0 | 28820 | 61497
452.76/453.03 c 405s | 14 | 586308 | 84352 | 806384 0 | 28820 | 61497
454.96/455.28 c 407s | 14 | 587631 | 84752 | 806384 0 | 28820 | 61497
457.26/457.58 c 409s | 14 | 589397 | 85152 | 806384 0 | 28820 | 61497
459.66/459.91 c 412s | 14 | 595257 | 85552 | 806384 0 | 28820 | 61497
461.86/462.11 c 414s | 14 | 598395 | 85852 | 806384 0 | 28820 | 61497
463.96/464.30 c 416s | 14 | 607312 | 86152 | 806384 0 | 28820 | 61497
466.75/467.07 c 419s | 14 | 607857 | 86452 | 806384 0 | 28820 | 61497
469.05/469.34 c 421s | 14 | 608093 | 86652 | 806384 0 | 28820 | 61497
471.85/472.15 c 424s | 14 | 608595 | 86952 | 806384 0 | 28820 | 61497
473.85/474.17 c 426s | 14 | 609918 | 87152 | 806384 0 | 28820 | 61497
475.94/476.29 c 428s | 14 | 610426 | 87452 | 806384 0 | 28820 | 61497
477.34/477.61 c 429s | 15 | 610943 | 87632 | 806384 0 | 28820 | 61497
479.94/480.21 c 432s | 15 | 616316 | 87732 | 806384 0 | 28820 | 61497
482.45/482.79 c 434s | 15 | 622153 | 88032 | 806384 0 | 28820 | 61497
484.65/484.95 c 437s | 15 | 623147 | 88332 | 806384 0 | 28820 | 61497
486.85/487.12 c 439s | 15 | 624512 | 88732 | 806384 0 | 28820 | 61497
489.04/489.30 c 441s | 15 | 626253 | 89132 | 806384 0 | 28820 | 61497
491.24/491.58 c 443s | 15 | 627428 | 89632 | 806384 0 | 28820 | 61497
493.44/493.79 c 445s | 15 | 628320 | 90032 | 806384 0 | 28820 | 61497
495.44/495.79 c 447s | 15 | 630640 | 90332 | 806384 0 | 28820 | 61497
497.94/498.21 c 450s | 15 | 631072 | 90632 | 806384 0 | 28820 | 61497
500.35/500.62 c 452s | 15 | 631786 | 90932 | 806384 0 | 28820 | 61497
502.34/502.70 c 454s | 15 | 632474 | 91232 | 806384 0 | 28820 | 61497
504.75/505.02 c 457s | 15 | 633424 | 91532 | 806384 0 | 28820 | 61497
506.74/507.06 c 459s | 15 | 633850 | 91832 | 806384 0 | 28820 | 61497
509.04/509.31 c 461s | 15 | 634356 | 92132 | 806384 0 | 28820 | 61497
511.53/511.81 c 463s | 15 | 641822 | 92532 | 806384 0 | 28820 | 61497
513.93/514.25 c 466s | 15 | 649266 | 92932 | 806384 0 | 28820 | 61497
516.13/516.46 c 468s | 15 | 649613 | 93232 | 806384 0 | 28820 | 61497
518.73/519.04 c 471s | 15 | 670655 | 93632 | 806384 0 | 28820 | 61497
520.83/521.17 c 473s | 15 | 671202 | 93932 | 806384 0 | 28820 | 61497
523.03/523.31 c 475s | 15 | 671809 | 94232 | 806384 0 | 28820 | 61497
525.33/525.64 c 477s | 15 | 672201 | 94532 | 806384 0 | 28820 | 61497
527.92/528.20 c 480s | 15 | 672524 | 94832 | 806384 0 | 28820 | 61497
530.03/530.33 c 482s | 15 | 677657 | 95132 | 806384 0 | 28820 | 61497
532.13/532.49 c 484s | 15 | 678908 | 95532 | 806384 0 | 28820 | 61497
534.52/534.83 c 486s | 15 | 679382 | 95932 | 806384 0 | 28820 | 61497
536.63/536.99 c 489s | 15 | 679891 | 96332 | 806384 0 | 28820 | 61497
538.72/539.01 c 491s | 15 | 680356 | 96632 | 806384 0 | 28820 | 61497
541.11/541.46 c 493s | 15 | 681213 | 97032 | 806384 0 | 28820 | 61497
543.12/543.47 c 495s | 15 | 681637 | 97332 | 806384 0 | 28820 | 61497
545.61/545.95 c 498s | 15 | 682145 | 97732 | 806384 0 | 28820 | 61497
548.01/548.32 c 500s | 15 | 683144 | 98132 | 806384 0 | 28820 | 61497
550.11/550.49 c 502s | 15 | 683526 | 98432 | 806384 0 | 28820 | 61497
552.51/552.81 c 504s | 15 | 684006 | 98832 | 806384 0 | 28820 | 61497
555.01/555.33 c 507s | 15 | 684534 | 99232 | 806384 0 | 28820 | 61497
557.31/557.65 c 509s | 15 | 685009 | 99632 | 806384 0 | 28820 | 61497
559.71/560.05 c 512s | 15 | 685493 | 100032 | 806384 0 | 28820 | 61497
562.01/562.36 c 514s | 15 | 685970 | 100432 | 806384 0 | 28820 | 61497
564.01/564.37 c 516s | 15 | 686321 | 100732 | 806384 0 | 28820 | 61497
566.60/566.90 c 519s | 15 | 686773 | 101132 | 806384 0 | 28820 | 61497
569.10/569.47 c 521s | 15 | 687256 | 101532 | 806384 0 | 28820 | 61497
571.80/572.18 c 524s | 15 | 687705 | 101932 | 806384 0 | 28820 | 61497
574.50/574.89 c 527s | 15 | 698254 | 102332 | 806384 0 | 28820 | 61497
577.10/577.43 c 529s | 15 | 701341 | 102632 | 806384 0 | 28820 | 61497
579.19/579.51 c 531s | 15 | 701867 | 102932 | 806384 0 | 28820 | 61497
581.19/581.53 c 533s | 15 | 702391 | 103232 | 806384 0 | 28820 | 61497
583.49/583.81 c 535s | 15 | 702957 | 103532 | 806384 0 | 28820 | 61497
585.69/586.09 c 538s | 15 | 703378 | 103832 | 806384 0 | 28820 | 61497
587.98/588.35 c 540s | 15 | 703843 | 104132 | 806384 0 | 28820 | 61497
590.28/590.63 c 542s | 15 | 704305 | 104432 | 806384 0 | 28820 | 61497
592.98/593.31 c 545s | 15 | 704753 | 104732 | 806384 0 | 28820 | 61497
595.18/595.59 c 547s | 15 | 705267 | 105032 | 806384 0 | 28820 | 61497
597.48/597.86 c 549s | 15 | 705728 | 105332 | 806384 0 | 28820 | 61497
599.58/599.91 c 552s | 15 | 706196 | 105632 | 806384 0 | 28820 | 61497
601.78/602.19 c 554s | 15 | 706698 | 105932 | 806384 0 | 28820 | 61497
604.28/604.62 c 556s | 15 | 707120 | 106232 | 806384 0 | 28820 | 61497
606.48/606.80 c 558s | 15 | 707621 | 106532 | 806384 0 | 28820 | 61497
609.37/609.74 c 561s | 15 | 708417 | 106832 | 806384 0 | 28820 | 61497
611.38/611.78 c 563s | 15 | 709400 | 107132 | 806384 0 | 28820 | 61497
613.87/614.24 c 566s | 15 | 709937 | 107432 | 806384 0 | 28820 | 61497
615.97/616.33 c 568s | 15 | 710394 | 107732 | 806384 0 | 28820 | 61497
618.27/618.69 c 570s | 15 | 710901 | 108032 | 806384 0 | 28820 | 61497
621.06/621.41 c 573s | 15 | 711327 | 108332 | 806384 0 | 28820 | 61497
623.86/624.22 c 576s | 15 | 711743 | 108632 | 806384 0 | 28820 | 61497
626.26/626.66 c 578s | 15 | 712399 | 109032 | 806384 0 | 28820 | 61497
628.36/628.79 c 580s | 15 | 712829 | 109332 | 806384 0 | 28820 | 61497
630.56/630.98 c 583s | 15 | 713198 | 109632 | 806384 0 | 28820 | 61497
632.76/633.14 c 585s | 15 | 713662 | 109932 | 806384 0 | 28820 | 61497
635.36/635.77 c 587s | 15 | 714103 | 110232 | 806384 0 | 28820 | 61497
637.85/638.25 c 590s | 15 | 714588 | 110532 | 806384 0 | 28820 | 61497
640.25/640.64 c 592s | 15 | 715102 | 110832 | 806384 0 | 28820 | 61497
643.16/643.53 c 595s | 15 | 715518 | 111132 | 806384 0 | 28820 | 61497
645.95/646.30 c 598s | 15 | 716025 | 111432 | 806384 0 | 28820 | 61497
648.15/648.56 c 600s | 15 | 716417 | 111732 | 806384 0 | 28820 | 61497
650.45/650.88 c 602s | 15 | 716815 | 112032 | 806384 0 | 28820 | 61497
652.65/653.00 c 605s | 15 | 717324 | 112332 | 806384 0 | 28820 | 61497
654.95/655.34 c 607s | 15 | 723030 | 112732 | 806384 0 | 28820 | 61497
657.64/658.05 c 610s | 15 | 732310 | 113132 | 806384 0 | 28820 | 61497
659.75/660.14 c 612s | 15 | 732857 | 113432 | 806384 0 | 28820 | 61497
662.44/662.85 c 614s | 15 | 735165 | 113832 | 806384 0 | 28820 | 61497
664.74/665.16 c 617s | 15 | 741290 | 114232 | 806384 0 | 28820 | 61497
667.14/667.56 c 619s | 15 | 743163 | 114532 | 806384 0 | 28820 | 61497
669.54/669.94 c 622s | 15 | 743662 | 114832 | 806384 0 | 28820 | 61497
671.63/672.08 c 624s | 15 | 744062 | 115132 | 806384 0 | 28820 | 61497
673.94/674.36 c 626s | 15 | 744668 | 115432 | 806384 0 | 28820 | 61497
676.63/677.05 c 629s | 15 | 746408 | 115832 | 806384 0 | 28820 | 61497
678.93/679.34 c 631s | 15 | 748135 | 116232 | 806384 0 | 28820 | 61497
681.43/681.89 c 634s | 15 | 749915 | 116532 | 806384 0 | 28820 | 61497
683.93/684.37 c 636s | 15 | 751715 | 116932 | 806384 0 | 28820 | 61497
686.53/686.92 c 639s | 15 | 755633 | 117232 | 806384 0 | 28820 | 61497
688.93/689.37 c 641s | 15 | 756774 | 117532 | 806384 0 | 28820 | 61497
691.13/691.51 c 643s | 15 | 757316 | 117832 | 806384 0 | 28820 | 61497
693.52/693.90 c 646s | 15 | 761982 | 118132 | 806384 0 | 28820 | 61497
695.52/695.95 c 648s | 15 | 762501 | 118432 | 806384 0 | 28820 | 61497
697.62/698.02 c 650s | 15 | 763681 | 118732 | 806384 0 | 28820 | 61497
700.22/700.60 c 652s | 15 | 764382 | 119232 | 806384 0 | 28820 | 61497
703.02/703.41 c 655s | 15 | 765481 | 119632 | 806384 0 | 28820 | 61497
705.93/706.33 c 658s | 15 | 765894 | 119932 | 806384 0 | 28820 | 61497
708.03/708.48 c 660s | 15 | 766126 | 120132 | 806384 0 | 28820 | 61497
710.33/710.75 c 662s | 15 | 766488 | 120432 | 806384 0 | 28820 | 61497
712.72/713.15 c 665s | 15 | 766830 | 120732 | 806384 0 | 28820 | 61497
714.92/715.35 c 667s | 15 | 767210 | 121032 | 806384 0 | 28820 | 61497
717.42/717.87 c 669s | 15 | 767704 | 121432 | 806384 0 | 28820 | 61497
719.42/719.89 c 672s | 15 | 768029 | 121732 | 806384 0 | 28820 | 61497
721.52/721.97 c 674s | 15 | 768348 | 122032 | 806384 0 | 28820 | 61497
724.12/724.58 c 676s | 15 | 768800 | 122432 | 806384 0 | 28820 | 61497
726.31/726.73 c 678s | 15 | 769016 | 122632 | 806384 0 | 28820 | 61497
728.71/729.12 c 681s | 15 | 769451 | 123032 | 806384 0 | 28820 | 61497
731.22/731.65 c 683s | 15 | 779563 | 123332 | 806384 0 | 28820 | 61497
733.91/734.33 c 686s | 15 | 780440 | 123632 | 806384 0 | 28820 | 61497
737.11/737.54 c 689s | 15 | 781183 | 123932 | 806384 0 | 28820 | 61497
739.12/739.56 c 691s | 15 | 781581 | 124132 | 806384 0 | 28820 | 61497
742.02/742.50 c 694s | 15 | 782749 | 124432 | 806384 0 | 28820 | 61497
744.52/744.97 c 697s | 15 | 784349 | 124732 | 806384 0 | 28820 | 61497
747.12/747.58 c 699s | 15 | 792330 | 125132 | 806384 0 | 28820 | 61497
749.42/749.81 c 701s | 15 | 793287 | 125532 | 806384 0 | 28820 | 61497
751.92/752.32 c 704s | 15 | 793761 | 125932 | 806384 0 | 28820 | 61497
754.33/754.72 c 706s | 15 | 794266 | 126332 | 806384 0 | 28820 | 61497
756.72/757.10 c 709s | 15 | 794772 | 126732 | 887023 0 | 28820 | 61497
758.92/759.35 c 711s | 15 | 801397 | 127132 | 887023 0 | 28820 | 61497
761.32/761.72 c 713s | 15 | 811706 | 127432 | 887023 0 | 28820 | 61497
763.82/764.21 c 716s | 15 | 813145 | 127732 | 887023 0 | 28820 | 61497
766.22/766.68 c 718s | 15 | 814730 | 128232 | 887023 0 | 28820 | 61497
768.92/769.30 c 721s | 15 | 815667 | 128632 | 887023 0 | 28820 | 61497
771.01/771.47 c 723s | 15 | 816193 | 128932 | 887023 0 | 28820 | 61497
773.51/773.98 c 726s | 15 | 816664 | 129232 | 887023 0 | 28820 | 61497
775.91/776.38 c 728s | 15 | 825556 | 129632 | 887023 0 | 28820 | 61497
778.31/778.78 c 730s | 15 | 828231 | 130032 | 887023 0 | 28820 | 61497
781.11/781.56 c 733s | 15 | 830365 | 130432 | 887023 0 | 28820 | 61497
783.21/783.63 c 735s | 15 | 842070 | 130584 | 887023 0 | 28820 | 61497
783.21/783.63 c #cpu_time = 735.456s
783.21/783.63 c #wall_clock_time = 735.704s
783.21/783.63 c #decision = 842070
783.21/783.63 c #random_decision = 1387
783.21/783.63 c #conflict = 130584
783.21/783.63 c #restart = 15
783.21/783.63 c BCD2: found a new core of size 29: cost of the new core is >=341
783.21/783.63 c lower bound updated to 7515
783.21/783.64 c BCD2: 7515 <= obj <= 1875839
783.21/783.64 c BCD2: #cores=32, #unrelaxed=4467, #relaxed=1373, #hardened=0
783.21/783.64 c BCD2: #sat=1 #unsat=36 bias=36/37
783.21/783.64 c Solving starts ...
783.21/783.64 c ============================[ Search Statistics ]============================
783.21/783.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
783.21/783.64 c | | | | Limit GC | Var | Constra
783.21/783.64 c =============================================================================
783.21/783.67 c 0.0s | 0 | 0 | 0 | 887023 0 | 28820 | 61497
786.51/786.93 c 3.3s | 0 | 9379 | 8 | 887023 0 | 28820 | 61497
786.51/786.93 c #cpu_time = 3.258s
786.51/786.93 c #wall_clock_time = 3.258s
786.51/786.93 c #decision = 9379
786.51/786.93 c #random_decision = 0
786.51/786.93 c #conflict = 8
786.51/786.93 c #restart = 0
786.51/786.93 c BCD2: found a new core of size 103: cost of the new core is >=341
786.51/786.93 c lower bound updated to 7856
786.51/786.93 c BCD2: 7856 <= obj <= 1875839
786.51/786.93 c BCD2: #cores=33, #unrelaxed=4364, #relaxed=1476, #hardened=0
786.51/786.93 c BCD2: #sat=1 #unsat=37 bias=37/38
786.51/786.94 c Solving starts ...
786.51/786.94 c ============================[ Search Statistics ]============================
786.51/786.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
786.51/786.94 c | | | | Limit GC | Var | Constra
786.51/786.94 c =============================================================================
786.51/786.95 c 0.0s | 0 | 0 | 0 | 887023 0 | 28820 | 61497
790.52/790.96 c 4.0s | 0 | 8514 | 100 | 887023 0 | 28820 | 61497
790.52/790.98 c 4.0s | 1 | 8514 | 100 | 887023 0 | 28820 | 61497
794.61/795.07 c 8.1s | 1 | 13953 | 200 | 887023 0 | 28820 | 61497
795.02/795.49 c 8.5s | 2 | 14010 | 250 | 887023 0 | 28820 | 61497
798.81/799.29 c 12.3s | 2 | 19009 | 350 | 887023 0 | 28820 | 61497
800.01/800.43 c 13.5s | 3 | 21168 | 475 | 887023 0 | 28820 | 61497
803.91/804.35 c 17.4s | 3 | 26031 | 575 | 887023 0 | 28820 | 61497
805.81/806.21 c 19.3s | 4 | 29585 | 813 | 887023 0 | 28820 | 61497
810.10/810.55 c 23.6s | 4 | 34359 | 913 | 887023 0 | 28820 | 61497
812.80/813.23 c 26.3s | 4 | 34929 | 1213 | 887023 0 | 28820 | 61497
813.61/814.06 c 27.1s | 5 | 36176 | 1320 | 887023 0 | 28820 | 61497
817.90/818.35 c 31.4s | 5 | 41550 | 1420 | 887023 0 | 28820 | 61497
820.30/820.77 c 33.8s | 5 | 41839 | 1620 | 887023 0 | 28820 | 61497
822.70/823.14 c 36.2s | 5 | 42083 | 1820 | 887023 0 | 28820 | 61497
824.79/825.21 c 38.3s | 5 | 42403 | 2020 | 887023 0 | 28820 | 61497
825.39/825.83 c 38.9s | 6 | 42471 | 2081 | 887023 0 | 28820 | 61497
828.49/828.99 c 42.0s | 6 | 47314 | 2181 | 887023 0 | 28820 | 61497
830.59/831.07 c 44.1s | 6 | 48087 | 2481 | 887023 0 | 28820 | 61497
832.78/833.22 c 46.3s | 6 | 48564 | 2681 | 887023 0 | 28820 | 61497
835.18/835.69 c 48.7s | 6 | 49386 | 3081 | 887023 0 | 28820 | 61497
836.08/836.55 c 49.6s | 7 | 49791 | 3223 | 887023 0 | 28820 | 61497
839.99/840.49 c 53.5s | 7 | 54403 | 3323 | 887023 0 | 28820 | 61497
842.38/842.87 c 55.9s | 7 | 55011 | 3723 | 887023 0 | 28820 | 61497
844.78/845.28 c 58.3s | 7 | 56764 | 4123 | 887023 0 | 28820 | 61497
847.18/847.67 c 60.7s | 7 | 57357 | 4523 | 887023 0 | 28820 | 61497
849.67/850.17 c 63.2s | 7 | 57864 | 4923 | 887023 0 | 28820 | 61497
849.77/850.29 c 63.3s | 8 | 57874 | 4936 | 887023 0 | 28820 | 61497
853.87/854.31 c 67.4s | 8 | 62680 | 5036 | 887023 0 | 28820 | 61497
855.97/856.41 c 69.5s | 8 | 63338 | 5336 | 887023 0 | 28820 | 61497
857.97/858.48 c 71.5s | 8 | 63912 | 5636 | 887023 0 | 28820 | 61497
860.88/861.32 c 74.4s | 8 | 65149 | 6036 | 887023 0 | 28820 | 61497
862.87/863.34 c 76.4s | 8 | 65355 | 6236 | 887023 0 | 28820 | 61497
865.37/865.89 c 78.9s | 8 | 67192 | 6536 | 887023 0 | 28820 | 61497
867.77/868.25 c 81.3s | 8 | 69134 | 6936 | 887023 0 | 28820 | 61497
870.06/870.57 c 83.6s | 8 | 73384 | 7336 | 887023 0 | 28820 | 61497
871.76/872.22 c 85.3s | 9 | 76630 | 7506 | 887023 0 | 28820 | 61497
876.16/876.66 c 89.7s | 9 | 82212 | 7606 | 887023 0 | 28820 | 61497
878.16/878.69 c 91.7s | 9 | 83012 | 7906 | 887023 0 | 28820 | 61497
880.47/880.91 c 94.0s | 9 | 83493 | 8206 | 887023 0 | 28820 | 61497
882.77/883.24 c 96.3s | 9 | 84022 | 8506 | 887023 0 | 28820 | 61497
884.97/885.43 c 98.5s | 9 | 84549 | 8806 | 887023 0 | 28820 | 61497
886.97/887.49 c 100s | 9 | 85028 | 9106 | 887023 0 | 28820 | 61497
889.16/889.63 c 102s | 9 | 85515 | 9406 | 887023 0 | 28820 | 61497
891.56/892.00 c 105s | 9 | 85999 | 9706 | 887023 0 | 28820 | 61497
894.26/894.71 c 107s | 9 | 87585 | 10106 | 887023 0 | 28820 | 61497
896.96/897.45 c 110s | 9 | 88258 | 10406 | 887023 0 | 28820 | 61497
899.47/899.92 c 112s | 9 | 88877 | 10706 | 887023 0 | 28820 | 61497
901.96/902.49 c 115s | 9 | 89253 | 11006 | 887023 0 | 28820 | 61497
904.56/905.06 c 118s | 9 | 89621 | 11306 | 887023 0 | 28820 | 61497
905.06/905.52 c 118s | 10 | 89694 | 11361 | 887023 0 | 28820 | 61497
909.26/909.73 c 122s | 10 | 94301 | 11461 | 887023 0 | 28820 | 61497
911.35/911.88 c 124s | 10 | 94979 | 11661 | 887023 0 | 28820 | 61497
913.86/914.37 c 127s | 10 | 101282 | 11961 | 887023 0 | 28820 | 61497
916.25/916.79 c 129s | 10 | 106937 | 12361 | 887023 0 | 28820 | 61497
918.55/919.09 c 132s | 10 | 108293 | 12661 | 887023 0 | 28820 | 61497
920.95/921.43 c 134s | 10 | 108680 | 12961 | 887023 0 | 28820 | 61497
923.45/923.91 c 136s | 10 | 109014 | 13261 | 887023 0 | 28820 | 61497
925.65/926.14 c 139s | 10 | 109373 | 13561 | 887023 0 | 28820 | 61497
927.75/928.21 c 141s | 10 | 109740 | 13861 | 887023 0 | 28820 | 61497
929.85/930.39 c 143s | 10 | 110107 | 14161 | 887023 0 | 28820 | 61497
932.15/932.69 c 145s | 10 | 110590 | 14461 | 887023 0 | 28820 | 61497
934.45/934.90 c 147s | 10 | 111521 | 14761 | 887023 0 | 28820 | 61497
936.95/937.49 c 150s | 10 | 112009 | 15161 | 887023 0 | 28820 | 61497
939.35/939.86 c 152s | 10 | 112966 | 15461 | 887023 0 | 28820 | 61497
941.75/942.20 c 155s | 10 | 113815 | 15761 | 887023 0 | 28820 | 61497
943.85/944.37 c 157s | 10 | 114070 | 15961 | 887023 0 | 28820 | 61497
946.25/946.76 c 159s | 10 | 114584 | 16361 | 887023 0 | 28820 | 61497
948.64/949.11 c 162s | 10 | 115172 | 16761 | 887023 0 | 28820 | 61497
950.84/951.37 c 164s | 10 | 118567 | 17061 | 887023 0 | 28820 | 61497
951.44/951.95 c 165s | 11 | 118782 | 17144 | 887023 0 | 28820 | 61497
955.84/956.39 c 169s | 11 | 127928 | 17244 | 887023 0 | 28820 | 61497
958.74/959.22 c 172s | 11 | 131052 | 17544 | 887023 0 | 28820 | 61497
961.43/961.97 c 175s | 11 | 131421 | 17844 | 887023 0 | 28820 | 61497
964.13/964.61 c 177s | 11 | 135881 | 18144 | 887023 0 | 28820 | 61497
966.13/966.64 c 179s | 11 | 137816 | 18444 | 887023 0 | 28820 | 61497
968.64/969.16 c 182s | 11 | 139728 | 18844 | 887023 0 | 28820 | 61497
970.63/971.19 c 184s | 11 | 140164 | 19044 | 887023 0 | 28820 | 61497
972.93/973.46 c 186s | 11 | 143467 | 19344 | 887023 0 | 28820 | 61497
976.03/976.56 c 189s | 11 | 148509 | 19644 | 887023 0 | 28820 | 61497
978.33/978.88 c 191s | 11 | 150306 | 19944 | 887023 0 | 28820 | 61497
980.74/981.26 c 194s | 11 | 154482 | 20144 | 887023 0 | 28820 | 61497
983.13/983.65 c 196s | 11 | 154866 | 20344 | 887023 0 | 28820 | 61497
985.63/986.16 c 199s | 11 | 155100 | 20544 | 887023 0 | 28820 | 61497
987.93/988.42 c 201s | 11 | 155433 | 20744 | 887023 0 | 28820 | 61497
990.03/990.55 c 203s | 11 | 155844 | 20944 | 887023 0 | 28820 | 61497
992.03/992.58 c 205s | 11 | 156203 | 21144 | 887023 0 | 28820 | 61497
994.83/995.38 c 208s | 11 | 156955 | 21444 | 887023 0 | 28820 | 61497
997.63/998.16 c 211s | 11 | 157257 | 21744 | 887023 0 | 28820 | 61497
1000.43/1000.95 c 214s | 11 | 157639 | 22044 | 887023 0 | 28820 | 61497
1002.42/1002.99 c 216s | 11 | 157968 | 22244 | 887023 0 | 28820 | 61497
1005.32/1005.87 c 218s | 11 | 158413 | 22544 | 887023 0 | 28820 | 61497
1007.42/1007.97 c 221s | 11 | 158703 | 22744 | 887023 0 | 28820 | 61497
1009.62/1010.15 c 223s | 11 | 159124 | 23044 | 887023 0 | 28820 | 61497
1012.02/1012.52 c 225s | 11 | 159507 | 23344 | 887023 0 | 28820 | 61497
1014.72/1015.23 c 228s | 11 | 159943 | 23644 | 887023 0 | 28820 | 61497
1017.53/1018.03 c 231s | 11 | 160355 | 23944 | 887023 0 | 28820 | 61497
1019.83/1020.35 c 233s | 11 | 160749 | 24244 | 887023 0 | 28820 | 61497
1021.83/1022.36 c 235s | 11 | 161050 | 24444 | 887023 0 | 28820 | 61497
1024.23/1024.75 c 237s | 11 | 161456 | 24744 | 887023 0 | 28820 | 61497
1026.94/1027.50 c 240s | 11 | 161856 | 25044 | 887023 0 | 28820 | 61497
1029.14/1029.62 c 242s | 11 | 162088 | 25244 | 887023 0 | 28820 | 61497
1031.92/1032.49 c 245s | 11 | 162437 | 25544 | 887023 0 | 28820 | 61497
1034.12/1034.69 c 247s | 11 | 162687 | 25744 | 887023 0 | 28820 | 61497
1034.92/1035.48 c 248s | 12 | 162790 | 25819 | 887023 0 | 28820 | 61497
1040.52/1041.02 c 254s | 12 | 171101 | 25919 | 887023 0 | 28820 | 61497
1042.52/1043.02 c 256s | 12 | 172048 | 26319 | 887023 0 | 28820 | 61497
1045.02/1045.59 c 258s | 12 | 173101 | 26819 | 887023 0 | 28820 | 61497
1047.12/1047.65 c 260s | 12 | 174903 | 27119 | 887023 0 | 28820 | 61497
1049.52/1050.05 c 263s | 12 | 175432 | 27519 | 887023 0 | 28820 | 61497
1051.52/1052.10 c 265s | 12 | 177281 | 27819 | 887023 0 | 28820 | 61497
1053.72/1054.21 c 267s | 12 | 177570 | 28019 | 887023 0 | 28820 | 61497
1055.72/1056.26 c 269s | 12 | 177821 | 28219 | 887023 0 | 28820 | 61497
1058.52/1059.10 c 272s | 12 | 178072 | 28419 | 887023 0 | 28820 | 61497
1060.92/1061.50 c 274s | 12 | 178301 | 28619 | 887023 0 | 28820 | 61497
1063.52/1064.08 c 277s | 12 | 183056 | 28919 | 887023 0 | 28820 | 61497
1065.72/1066.21 c 279s | 12 | 183826 | 29219 | 887023 0 | 28820 | 61497
1068.52/1069.06 c 282s | 12 | 193122 | 29519 | 887023 0 | 28820 | 61497
1070.62/1071.17 c 284s | 12 | 193391 | 29719 | 887023 0 | 28820 | 61497
1072.82/1073.33 c 286s | 12 | 193755 | 30019 | 887023 0 | 28820 | 61497
1075.22/1075.75 c 288s | 12 | 194102 | 30319 | 887023 0 | 28820 | 61497
1077.52/1078.09 c 291s | 12 | 194421 | 30619 | 887023 0 | 28820 | 61497
1080.01/1080.50 c 293s | 12 | 194816 | 30919 | 887023 0 | 28820 | 61497
1082.71/1083.21 c 296s | 12 | 195293 | 31219 | 887023 0 | 28820 | 61497
1085.22/1085.75 c 298s | 12 | 196046 | 31519 | 887023 0 | 28820 | 61497
1088.01/1088.50 c 301s | 12 | 196439 | 31819 | 887023 0 | 28820 | 61497
1090.82/1091.30 c 304s | 12 | 196834 | 32119 | 887023 0 | 28820 | 61497
1092.81/1093.37 c 306s | 12 | 197048 | 32319 | 887023 0 | 28820 | 61497
1095.31/1095.80 c 308s | 12 | 197399 | 32619 | 887023 0 | 28820 | 61497
1097.81/1098.39 c 311s | 12 | 197823 | 32919 | 887023 0 | 28820 | 61497
1100.51/1101.01 c 314s | 12 | 198252 | 33219 | 887023 0 | 28820 | 61497
1103.41/1103.90 c 316s | 12 | 199091 | 33519 | 887023 0 | 28820 | 61497
1105.41/1105.99 c 319s | 12 | 199359 | 33719 | 887023 0 | 28820 | 61497
1107.90/1108.47 c 321s | 12 | 199634 | 33919 | 887023 0 | 28820 | 61497
1110.51/1111.01 c 324s | 12 | 199995 | 34119 | 887023 0 | 28820 | 61497
1113.20/1113.79 c 326s | 12 | 200425 | 34419 | 887023 0 | 28820 | 61497
1116.20/1116.75 c 329s | 12 | 200813 | 34719 | 887023 0 | 28820 | 61497
1119.00/1119.53 c 332s | 12 | 201245 | 35019 | 887023 0 | 28820 | 61497
1121.00/1121.58 c 334s | 12 | 201516 | 35219 | 887023 0 | 28820 | 61497
1123.60/1124.16 c 337s | 12 | 201896 | 35519 | 887023 0 | 28820 | 61497
1125.60/1126.19 c 339s | 12 | 202155 | 35719 | 887023 0 | 28820 | 61497
1127.80/1128.30 c 341s | 12 | 202422 | 35919 | 887023 0 | 28820 | 61497
1130.40/1130.96 c 344s | 12 | 202786 | 36219 | 887023 0 | 28820 | 61497
1132.80/1133.30 c 346s | 12 | 203038 | 36419 | 887023 0 | 28820 | 61497
1134.90/1135.42 c 348s | 12 | 203272 | 36619 | 887023 0 | 28820 | 61497
1137.69/1138.23 c 351s | 12 | 203715 | 36919 | 887023 0 | 28820 | 61497
1140.00/1140.56 c 353s | 12 | 203957 | 37119 | 887023 0 | 28820 | 61497
1142.00/1142.59 c 355s | 12 | 204333 | 37419 | 887023 0 | 28820 | 61497
1144.49/1145.02 c 358s | 12 | 204766 | 37719 | 887023 0 | 28820 | 61497
1147.29/1147.84 c 360s | 12 | 205312 | 38019 | 887023 0 | 28820 | 61497
1150.29/1150.83 c 363s | 12 | 205753 | 38319 | 887023 0 | 28820 | 61497
1153.19/1153.79 c 366s | 12 | 206351 | 38619 | 887023 0 | 28820 | 61497
1155.49/1156.03 c 369s | 12 | 206613 | 38819 | 887023 0 | 28820 | 61497
1155.60/1156.15 c 369s | 13 | 206623 | 38832 | 887023 0 | 28820 | 61497
1160.48/1161.04 c 374s | 13 | 211419 | 38932 | 887023 0 | 28820 | 61497
1162.68/1163.22 c 376s | 13 | 222286 | 39132 | 887023 0 | 28820 | 61497
1165.28/1165.86 c 378s | 13 | 232776 | 39432 | 887023 0 | 28820 | 61497
1167.98/1168.53 c 381s | 13 | 233269 | 39732 | 887023 0 | 28820 | 61497
1170.08/1170.66 c 383s | 13 | 237466 | 39932 | 887023 0 | 28820 | 61497
1172.38/1172.94 c 385s | 13 | 237971 | 40132 | 887023 0 | 28820 | 61497
1174.68/1175.25 c 388s | 13 | 238286 | 40332 | 887023 0 | 28820 | 61497
1177.08/1177.61 c 390s | 13 | 238647 | 40532 | 887023 0 | 28820 | 61497
1179.78/1180.38 c 393s | 13 | 238937 | 40732 | 887023 0 | 28820 | 61497
1182.17/1182.71 c 395s | 13 | 239339 | 41032 | 887023 0 | 28820 | 61497
1184.18/1184.75 c 397s | 13 | 239631 | 41232 | 887023 0 | 28820 | 61497
1186.38/1186.99 c 400s | 13 | 240004 | 41432 | 887023 0 | 28820 | 61497
1189.37/1189.91 c 402s | 13 | 240415 | 41732 | 887023 0 | 28820 | 61497
1191.57/1192.12 c 405s | 13 | 240736 | 41932 | 887023 0 | 28820 | 61497
1194.37/1194.94 c 407s | 13 | 241318 | 42232 | 887023 0 | 28820 | 61497
1197.47/1198.09 c 411s | 13 | 241894 | 42532 | 887023 0 | 28820 | 61497
1199.67/1200.23 c 413s | 13 | 242181 | 42732 | 887023 0 | 28820 | 61497
1202.27/1202.80 c 415s | 13 | 242575 | 43032 | 887023 0 | 28820 | 61497
1204.26/1204.87 c 417s | 13 | 242986 | 43232 | 887023 0 | 28820 | 61497
1206.66/1207.24 c 420s | 13 | 247153 | 43532 | 887023 0 | 28820 | 61497
1208.96/1209.52 c 422s | 13 | 247985 | 43832 | 887023 0 | 28820 | 61497
1211.68/1212.26 c 425s | 13 | 248825 | 44132 | 887023 0 | 28820 | 61497
1213.77/1214.30 c 427s | 13 | 249607 | 44332 | 887023 0 | 28820 | 61497
1216.26/1216.87 c 429s | 13 | 251234 | 44632 | 887023 0 | 28820 | 61497
1218.86/1219.41 c 432s | 13 | 252071 | 44932 | 887023 0 | 28820 | 61497
1221.37/1221.98 c 435s | 13 | 252991 | 45232 | 887023 0 | 28820 | 61497
1224.07/1224.65 c 437s | 13 | 253359 | 45432 | 887023 0 | 28820 | 61497
1226.37/1226.93 c 439s | 13 | 253829 | 45732 | 887023 0 | 28820 | 61497
1228.47/1229.09 c 442s | 13 | 254160 | 46032 | 887023 0 | 28820 | 61497
1230.97/1231.55 c 444s | 13 | 254635 | 46332 | 887023 0 | 28820 | 61497
1232.97/1233.58 c 446s | 13 | 256735 | 46532 | 887023 0 | 28820 | 61497
1234.97/1235.59 c 448s | 13 | 257081 | 46732 | 887023 0 | 28820 | 61497
1238.07/1238.67 c 451s | 13 | 257447 | 47032 | 887023 0 | 28820 | 61497
1240.27/1240.83 c 453s | 13 | 257666 | 47232 | 887023 0 | 28820 | 61497
1242.67/1243.21 c 456s | 13 | 257874 | 47432 | 887023 0 | 28820 | 61497
1244.87/1245.46 c 458s | 13 | 258095 | 47632 | 887023 0 | 28820 | 61497
1247.17/1247.73 c 460s | 13 | 258313 | 47832 | 887023 0 | 28820 | 61497
1249.37/1249.95 c 463s | 13 | 258527 | 48032 | 887023 0 | 28820 | 61497
1251.57/1252.12 c 465s | 13 | 258757 | 48232 | 887023 0 | 28820 | 61497
1254.17/1254.77 c 467s | 13 | 259120 | 48532 | 887023 0 | 28820 | 61497
1256.37/1256.92 c 469s | 13 | 259418 | 48732 | 887023 0 | 28820 | 61497
1258.36/1258.98 c 472s | 13 | 259660 | 48932 | 887023 0 | 28820 | 61497
1260.46/1261.03 c 474s | 13 | 259892 | 49132 | 887023 0 | 28820 | 61497
1262.76/1263.39 c 476s | 13 | 260120 | 49332 | 887023 0 | 28820 | 61497
1265.36/1265.91 c 478s | 13 | 260348 | 49532 | 887023 0 | 28820 | 61497
1267.46/1268.08 c 481s | 13 | 260614 | 49732 | 887023 0 | 28820 | 61497
1269.76/1270.32 c 483s | 13 | 260902 | 49932 | 887023 0 | 28820 | 61497
1272.46/1273.00 c 486s | 13 | 261119 | 50132 | 887023 0 | 28820 | 61497
1275.16/1275.73 c 488s | 13 | 261346 | 50332 | 887023 0 | 28820 | 61497
1277.36/1277.93 c 490s | 13 | 261597 | 50532 | 887023 0 | 28820 | 61497
1279.66/1280.20 c 493s | 13 | 261841 | 50732 | 887023 0 | 28820 | 61497
1281.96/1282.50 c 495s | 13 | 262063 | 50932 | 887023 0 | 28820 | 61497
1284.06/1284.60 c 497s | 13 | 262310 | 51132 | 887023 0 | 28820 | 61497
1286.57/1287.13 c 500s | 13 | 262540 | 51332 | 887023 0 | 28820 | 61497
1288.96/1289.52 c 502s | 13 | 262769 | 51532 | 887023 0 | 28820 | 61497
1291.26/1291.81 c 504s | 13 | 262981 | 51732 | 887023 0 | 28820 | 61497
1293.66/1294.21 c 507s | 13 | 263211 | 51932 | 887023 0 | 28820 | 61497
1296.26/1296.80 c 509s | 13 | 263433 | 52132 | 887023 0 | 28820 | 61497
1299.16/1299.79 c 512s | 13 | 263887 | 52432 | 887023 0 | 28820 | 61497
1301.26/1301.88 c 514s | 13 | 264174 | 52632 | 887023 0 | 28820 | 61497
1303.66/1304.24 c 517s | 13 | 264436 | 52832 | 887023 0 | 28820 | 61497
1306.06/1306.64 c 519s | 13 | 264686 | 53032 | 887023 0 | 28820 | 61497
1308.16/1308.79 c 521s | 13 | 264957 | 53232 | 887023 0 | 28820 | 61497
1310.25/1310.86 c 523s | 13 | 265181 | 53432 | 887023 0 | 28820 | 61497
1313.15/1313.78 c 526s | 13 | 265600 | 53732 | 887023 0 | 28820 | 61497
1315.65/1316.21 c 529s | 13 | 265846 | 53932 | 887023 0 | 28820 | 61497
1317.85/1318.44 c 531s | 13 | 266053 | 54132 | 887023 0 | 28820 | 61497
1320.76/1321.30 c 534s | 13 | 266288 | 54332 | 887023 0 | 28820 | 61497
1323.25/1323.89 c 536s | 13 | 267184 | 54632 | 887023 0 | 28820 | 61497
1325.35/1325.99 c 539s | 13 | 267649 | 54932 | 887023 0 | 28820 | 61497
1327.65/1328.20 c 541s | 13 | 270786 | 55232 | 887023 0 | 28820 | 61497
1330.05/1330.63 c 543s | 13 | 271520 | 55632 | 887023 0 | 28820 | 61497
1332.45/1333.07 c 546s | 13 | 272748 | 55932 | 887023 0 | 28820 | 61497
1334.86/1335.48 c 548s | 13 | 273573 | 56232 | 887023 0 | 28820 | 61497
1337.45/1338.01 c 551s | 13 | 274238 | 56532 | 887023 0 | 28820 | 61497
1340.25/1340.80 c 553s | 13 | 274883 | 56832 | 887023 0 | 28820 | 61497
1342.35/1342.96 c 556s | 13 | 276868 | 57032 | 887023 0 | 28820 | 61497
1344.95/1345.53 c 558s | 13 | 278023 | 57332 | 887023 0 | 28820 | 61497
1347.65/1348.23 c 561s | 13 | 279169 | 57632 | 887023 0 | 28820 | 61497
1349.65/1350.26 c 563s | 13 | 279493 | 57832 | 887023 0 | 28820 | 61497
1351.85/1352.47 c 565s | 13 | 280336 | 58032 | 887023 0 | 28820 | 61497
1354.25/1354.85 c 567s | 13 | 283591 | 58232 | 887023 0 | 28820 | 61497
1355.55/1356.11 c 569s | 14 | 283880 | 58352 | 887023 0 | 28820 | 61497
1360.85/1361.44 c 574s | 14 | 288559 | 58452 | 887023 0 | 28820 | 61497
1363.65/1364.27 c 577s | 14 | 289023 | 58752 | 887023 0 | 28820 | 61497
1366.34/1366.97 c 580s | 14 | 289483 | 59052 | 887023 0 | 28820 | 61497
1368.55/1369.15 c 582s | 14 | 289905 | 59252 | 887023 0 | 28820 | 61497
1370.65/1371.21 c 584s | 14 | 290129 | 59452 | 887023 0 | 28820 | 61497
1373.35/1373.94 c 586s | 14 | 290501 | 59752 | 887023 0 | 28820 | 61497
1375.65/1376.21 c 589s | 14 | 290887 | 60052 | 887023 0 | 28820 | 61497
1378.04/1378.63 c 591s | 14 | 291233 | 60352 | 887023 0 | 28820 | 61497
1380.24/1380.85 c 593s | 14 | 291445 | 60552 | 887023 0 | 28820 | 61497
1382.64/1383.26 c 596s | 14 | 291800 | 60852 | 887023 0 | 28820 | 61497
1385.04/1385.68 c 598s | 14 | 292203 | 61152 | 887023 0 | 28820 | 61497
1387.24/1387.87 c 600s | 14 | 292625 | 61452 | 975726 0 | 28820 | 61497
1389.84/1390.43 c 603s | 14 | 293296 | 61852 | 975726 0 | 28820 | 61497
1392.34/1392.98 c 606s | 14 | 293794 | 62252 | 975726 0 | 28820 | 61497
1394.54/1395.13 c 608s | 14 | 294149 | 62552 | 975726 0 | 28820 | 61497
1397.24/1397.89 c 610s | 14 | 294991 | 62952 | 975726 0 | 28820 | 61497
1399.64/1400.25 c 613s | 14 | 295392 | 63252 | 975726 0 | 28820 | 61497
1401.84/1402.46 c 615s | 14 | 295800 | 63552 | 975726 0 | 28820 | 61497
1404.33/1404.95 c 618s | 14 | 296421 | 63952 | 975726 0 | 28820 | 61497
1406.73/1407.39 c 620s | 14 | 296918 | 64352 | 975726 0 | 28820 | 61497
1409.33/1409.97 c 623s | 14 | 297443 | 64752 | 975726 0 | 28820 | 61497
1411.53/1412.16 c 625s | 14 | 297833 | 65052 | 975726 0 | 28820 | 61497
1413.63/1414.28 c 627s | 14 | 298350 | 65352 | 975726 0 | 28820 | 61497
1416.43/1417.08 c 630s | 14 | 304816 | 65752 | 975726 0 | 28820 | 61497
1419.13/1419.74 c 632s | 14 | 305292 | 66052 | 975726 0 | 28820 | 61497
1421.43/1422.06 c 635s | 14 | 305643 | 66352 | 975726 0 | 28820 | 61497
1423.94/1424.55 c 637s | 14 | 306050 | 66652 | 975726 0 | 28820 | 61497
1426.53/1427.17 c 640s | 14 | 306430 | 66952 | 975726 0 | 28820 | 61497
1428.73/1429.35 c 642s | 14 | 306764 | 67252 | 975726 0 | 28820 | 61497
1430.83/1431.44 c 644s | 14 | 307135 | 67552 | 975726 0 | 28820 | 61497
1433.13/1433.72 c 646s | 14 | 307505 | 67852 | 975726 0 | 28820 | 61497
1435.83/1436.40 c 649s | 14 | 307902 | 68152 | 975726 0 | 28820 | 61497
1438.63/1439.25 c 652s | 14 | 308235 | 68452 | 975726 0 | 28820 | 61497
1441.43/1442.10 c 655s | 14 | 308561 | 68752 | 975726 0 | 28820 | 61497
1444.13/1444.78 c 657s | 14 | 309317 | 69052 | 975726 0 | 28820 | 61497
1447.13/1447.77 c 660s | 14 | 310097 | 69352 | 975726 0 | 28820 | 61497
1449.23/1449.89 c 662s | 14 | 317316 | 69552 | 975726 0 | 28820 | 61497
1452.23/1452.80 c 665s | 14 | 318206 | 69852 | 975726 0 | 28820 | 61497
1454.73/1455.39 c 668s | 14 | 319498 | 70152 | 975726 0 | 28820 | 61497
1458.04/1458.64 c 671s | 14 | 321139 | 70452 | 975726 0 | 28820 | 61497
1460.43/1461.00 c 674s | 14 | 321871 | 70652 | 975726 0 | 28820 | 61497
1463.13/1463.79 c 676s | 14 | 322995 | 70952 | 975726 0 | 28820 | 61497
1465.74/1466.33 c 679s | 14 | 323823 | 71252 | 975726 0 | 28820 | 61497
1468.13/1468.71 c 681s | 14 | 324493 | 71552 | 975726 0 | 28820 | 61497
1470.53/1471.12 c 684s | 14 | 325314 | 71852 | 975726 0 | 28820 | 61497
1473.13/1473.78 c 686s | 14 | 325867 | 72052 | 975726 0 | 28820 | 61497
1475.33/1475.96 c 689s | 14 | 326833 | 72252 | 975726 0 | 28820 | 61497
1478.23/1478.87 c 691s | 14 | 330282 | 72552 | 975726 0 | 28820 | 61497
1480.43/1481.05 c 694s | 14 | 334378 | 72752 | 975726 0 | 28820 | 61497
1483.03/1483.69 c 696s | 14 | 335259 | 72952 | 975726 0 | 28820 | 61497
1485.53/1486.13 c 699s | 14 | 335522 | 73152 | 975726 0 | 28820 | 61497
1487.53/1488.17 c 701s | 14 | 335800 | 73352 | 975726 0 | 28820 | 61497
1489.53/1490.17 c 703s | 14 | 336319 | 73552 | 975726 0 | 28820 | 61497
1491.63/1492.25 c 705s | 14 | 336905 | 73852 | 975726 0 | 28820 | 61497
1494.03/1494.62 c 707s | 14 | 337430 | 74052 | 975726 0 | 28820 | 61497
1496.72/1497.36 c 710s | 14 | 338553 | 74252 | 975726 0 | 28820 | 61497
1499.93/1500.55 c 713s | 14 | 339902 | 74552 | 975726 0 | 28820 | 61497
1501.92/1502.57 c 715s | 14 | 340404 | 74752 | 975726 0 | 28820 | 61497
1504.12/1504.79 c 717s | 14 | 343865 | 74952 | 975726 0 | 28820 | 61497
1506.43/1507.07 c 720s | 14 | 348403 | 75152 | 975726 0 | 28820 | 61497
1509.12/1509.70 c 722s | 14 | 348997 | 75352 | 975726 0 | 28820 | 61497
1512.03/1512.64 c 725s | 14 | 349354 | 75552 | 975726 0 | 28820 | 61497
1514.92/1515.58 c 728s | 14 | 351263 | 75752 | 975726 0 | 28820 | 61497
1517.32/1517.90 c 730s | 14 | 360392 | 75952 | 975726 0 | 28820 | 61497
1520.22/1520.84 c 733s | 14 | 360624 | 76152 | 975726 0 | 28820 | 61497
1522.32/1522.99 c 736s | 14 | 361213 | 76352 | 975726 0 | 28820 | 61497
1525.82/1526.42 c 739s | 14 | 365997 | 76652 | 975726 0 | 28820 | 61497
1528.21/1528.86 c 741s | 14 | 366429 | 76852 | 975726 0 | 28820 | 61497
1530.82/1531.40 c 744s | 14 | 366643 | 77052 | 975726 0 | 28820 | 61497
1533.22/1533.82 c 746s | 14 | 367455 | 77252 | 975726 0 | 28820 | 61497
1535.52/1536.11 c 749s | 14 | 368109 | 77352 | 975726 0 | 28820 | 61497
1537.52/1538.15 c 751s | 14 | 369727 | 77552 | 975726 0 | 28820 | 61497
1539.72/1540.36 c 753s | 14 | 374039 | 77752 | 975726 0 | 28820 | 61497
1542.22/1542.84 c 755s | 14 | 377158 | 78052 | 975726 0 | 28820 | 61497
1544.72/1545.34 c 758s | 14 | 381188 | 78352 | 975726 0 | 28820 | 61497
1547.02/1547.68 c 760s | 14 | 382937 | 78652 | 975726 0 | 28820 | 61497
1549.62/1550.29 c 763s | 14 | 383525 | 78852 | 975726 0 | 28820 | 61497
1552.42/1553.00 c 766s | 14 | 384368 | 79152 | 975726 0 | 28820 | 61497
1554.72/1555.38 c 768s | 14 | 385225 | 79352 | 975726 0 | 28820 | 61497
1557.42/1558.00 c 771s | 14 | 385853 | 79552 | 975726 0 | 28820 | 61497
1559.62/1560.20 c 773s | 14 | 386129 | 79752 | 975726 0 | 28820 | 61497
1562.21/1562.82 c 775s | 14 | 386386 | 79952 | 975726 0 | 28820 | 61497
1564.51/1565.16 c 778s | 14 | 386647 | 80152 | 975726 0 | 28820 | 61497
1566.61/1567.21 c 780s | 14 | 387709 | 80352 | 975726 0 | 28820 | 61497
1569.12/1569.77 c 782s | 14 | 389013 | 80552 | 975726 0 | 28820 | 61497
1571.32/1571.94 c 784s | 14 | 389426 | 80752 | 975726 0 | 28820 | 61497
1573.91/1574.53 c 787s | 14 | 389982 | 80952 | 975726 0 | 28820 | 61497
1576.31/1576.91 c 789s | 14 | 393593 | 81152 | 975726 0 | 28820 | 61497
1579.21/1579.80 c 792s | 14 | 394452 | 81452 | 975726 0 | 28820 | 61497
1581.71/1582.35 c 795s | 14 | 395380 | 81652 | 975726 0 | 28820 | 61497
1584.91/1585.50 c 798s | 14 | 395772 | 81852 | 975726 0 | 28820 | 61497
1587.51/1588.10 c 801s | 14 | 396271 | 82052 | 975726 0 | 28820 | 61497
1590.60/1591.28 c 804s | 14 | 396494 | 82252 | 975726 0 | 28820 | 61497
1593.42/1594.08 c 807s | 14 | 396995 | 82452 | 975726 0 | 28820 | 61497
1597.01/1597.63 c 810s | 14 | 397285 | 82652 | 975726 0 | 28820 | 61497
1599.91/1600.60 c 813s | 14 | 398713 | 82952 | 975726 0 | 28820 | 61497
1603.11/1603.78 c 816s | 14 | 402282 | 83252 | 975726 0 | 28820 | 61497
1605.61/1606.26 c 819s | 14 | 402516 | 83452 | 975726 0 | 28820 | 61497
1607.71/1608.33 c 821s | 14 | 402792 | 83652 | 975726 0 | 28820 | 61497
1609.81/1610.44 c 823s | 14 | 403084 | 83852 | 975726 0 | 28820 | 61497
1612.01/1612.68 c 825s | 14 | 403305 | 84052 | 975726 0 | 28820 | 61497
1614.21/1614.87 c 827s | 14 | 403536 | 84252 | 975726 0 | 28820 | 61497
1616.70/1617.35 c 830s | 14 | 403840 | 84452 | 975726 0 | 28820 | 61497
1618.80/1619.42 c 832s | 14 | 404071 | 84652 | 975726 0 | 28820 | 61497
1621.10/1621.70 c 834s | 14 | 404337 | 84852 | 975726 0 | 28820 | 61497
1623.31/1623.92 c 836s | 14 | 404579 | 85052 | 975726 0 | 28820 | 61497
1625.51/1626.11 c 839s | 14 | 404834 | 85252 | 975726 0 | 28820 | 61497
1628.00/1628.62 c 841s | 14 | 405344 | 85452 | 975726 0 | 28820 | 61497
1630.71/1631.34 c 844s | 14 | 405743 | 85652 | 975726 0 | 28820 | 61497
1633.61/1634.20 c 847s | 14 | 408568 | 85852 | 975726 0 | 28820 | 61497
1635.90/1636.55 c 849s | 14 | 409056 | 86052 | 975726 0 | 28820 | 61497
1638.10/1638.79 c 851s | 14 | 409629 | 86252 | 975726 0 | 28820 | 61497
1640.20/1640.83 c 853s | 14 | 409943 | 86452 | 975726 0 | 28820 | 61497
1642.20/1642.90 c 855s | 14 | 410087 | 86552 | 975726 0 | 28820 | 61497
1644.50/1645.19 c 858s | 14 | 410345 | 86752 | 975726 0 | 28820 | 61497
1647.50/1648.13 c 861s | 14 | 410593 | 86952 | 975726 0 | 28820 | 61497
1650.10/1650.73 c 863s | 14 | 410816 | 87152 | 975726 0 | 28820 | 61497
1652.10/1652.73 c 865s | 14 | 411063 | 87352 | 975726 0 | 28820 | 61497
1654.90/1655.59 c 868s | 15 | 411414 | 87632 | 975726 0 | 28820 | 61497
1661.80/1662.49 c 875s | 15 | 417146 | 87732 | 975726 0 | 28820 | 61497
1664.29/1664.95 c 878s | 15 | 418768 | 88132 | 975726 0 | 28820 | 61497
1666.59/1667.28 c 880s | 15 | 420139 | 88532 | 975726 0 | 28820 | 61497
1668.99/1669.63 c 882s | 15 | 424471 | 88732 | 975726 0 | 28820 | 61497
1671.30/1671.92 c 884s | 15 | 425063 | 88932 | 975726 0 | 28820 | 61497
1673.61/1674.21 c 887s | 15 | 425564 | 89132 | 975726 0 | 28820 | 61497
1676.00/1676.63 c 889s | 15 | 426620 | 89432 | 975726 0 | 28820 | 61497
1678.29/1678.97 c 892s | 15 | 427309 | 89732 | 975726 0 | 28820 | 61497
1680.49/1681.11 c 894s | 15 | 428160 | 90032 | 975726 0 | 28820 | 61497
1683.20/1683.86 c 896s | 15 | 428916 | 90332 | 975726 0 | 28820 | 61497
1685.59/1686.22 c 899s | 15 | 429179 | 90532 | 975726 0 | 28820 | 61497
1687.90/1688.54 c 901s | 15 | 429496 | 90732 | 975726 0 | 28820 | 61497
1690.49/1691.10 c 904s | 15 | 429766 | 90932 | 975726 0 | 28820 | 61497
1692.79/1693.44 c 906s | 15 | 430201 | 91232 | 975726 0 | 28820 | 61497
1695.89/1696.50 c 909s | 15 | 430588 | 91532 | 975726 0 | 28820 | 61497
1697.90/1698.53 c 911s | 15 | 430859 | 91732 | 975726 0 | 28820 | 61497
1700.49/1701.15 c 914s | 15 | 431289 | 92032 | 975726 0 | 28820 | 61497
1703.30/1703.96 c 917s | 15 | 431686 | 92332 | 975726 0 | 28820 | 61497
1705.50/1706.20 c 919s | 15 | 432843 | 92532 | 975726 0 | 28820 | 61497
1707.89/1708.53 c 921s | 15 | 434649 | 92732 | 975726 0 | 28820 | 61497
1711.49/1712.17 c 925s | 15 | 438482 | 92932 | 975726 0 | 28820 | 61497
1713.99/1714.68 c 927s | 15 | 445231 | 93232 | 975726 0 | 28820 | 61497
1717.19/1717.82 c 930s | 15 | 448967 | 93532 | 975726 0 | 28820 | 61497
1719.99/1720.65 c 933s | 15 | 449469 | 93732 | 975726 0 | 28820 | 61497
1722.38/1723.00 c 936s | 15 | 449743 | 93932 | 975726 0 | 28820 | 61497
1724.58/1725.28 c 938s | 15 | 452679 | 94132 | 975726 0 | 28820 | 61497
1727.59/1728.28 c 941s | 15 | 457078 | 94432 | 975726 0 | 28820 | 61497
1730.28/1730.98 c 944s | 15 | 465138 | 94632 | 975726 0 | 28820 | 61497
1733.09/1733.77 c 946s | 15 | 466652 | 94932 | 975726 0 | 28820 | 61497
1735.79/1736.41 c 949s | 15 | 468405 | 95232 | 975726 0 | 28820 | 61497
1738.18/1738.81 c 951s | 15 | 473826 | 95432 | 975726 0 | 28820 | 61497
1740.49/1741.19 c 954s | 15 | 473983 | 95532 | 975726 0 | 28820 | 61497
1743.79/1744.45 c 957s | 15 | 474306 | 95732 | 975726 0 | 28820 | 61497
1746.89/1747.50 c 960s | 15 | 474604 | 95932 | 975726 0 | 28820 | 61497
1750.39/1751.04 c 964s | 15 | 474863 | 96132 | 975726 0 | 28820 | 61497
1754.19/1754.81 c 967s | 15 | 475104 | 96332 | 975726 0 | 28820 | 61497
1757.09/1757.79 c 970s | 15 | 475410 | 96532 | 975726 0 | 28820 | 61497
1759.49/1760.15 c 973s | 15 | 475923 | 96732 | 975726 0 | 28820 | 61497
1762.08/1762.72 c 975s | 15 | 476174 | 96932 | 975726 0 | 28820 | 61497
1764.38/1765.06 c 978s | 15 | 476707 | 97132 | 975726 0 | 28820 | 61497
1766.38/1767.09 c 980s | 15 | 477068 | 97332 | 975726 0 | 28820 | 61497
1768.49/1769.18 c 982s | 15 | 477541 | 97532 | 975726 0 | 28820 | 61497
1770.88/1771.58 c 984s | 15 | 477833 | 97732 | 975726 0 | 28820 | 61497
1773.39/1774.06 c 987s | 15 | 478165 | 97932 | 975726 0 | 28820 | 61497
1775.68/1776.33 c 989s | 15 | 478415 | 98132 | 975726 0 | 28820 | 61497
1777.78/1778.40 c 991s | 15 | 478533 | 98232 | 975726 0 | 28820 | 61497
1779.88/1780.53 c 993s | 15 | 478977 | 98432 | 975726 0 | 28820 | 61497
1782.78/1783.41 c 996s | 15 | 479627 | 98732 | 975726 0 | 28820 | 61497
1785.08/1785.74 c 998s | 15 | 479887 | 98932 | 975726 0 | 28820 | 61497
1787.48/1788.19 c 1001s | 15 | 480140 | 99132 | 975726 0 | 28820 | 61497
1789.88/1790.58 c 1003s | 15 | 480401 | 99332 | 975726 0 | 28820 | 61497
1792.38/1793.02 c 1006s | 15 | 480684 | 99532 | 975726 0 | 28820 | 61497
1794.78/1795.47 c 1008s | 15 | 480936 | 99732 | 975726 0 | 28820 | 61497
1797.27/1797.93 c 1010s | 15 | 481183 | 99932 | 975726 0 | 28820 | 61497
1799.78/1800.44 c 1013s | 15 | 481510 | 100132 | 975726 0 | 28820 | 61497
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-4079031-1465368293/watcher-4079031-1465368293 -o /tmp/evaluation-result-4079031-1465368293/solver-4079031-1465368293 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465366490-29198 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079031-1465368293.opb
pid=29357
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.00 2.00 1.81 3/172 29360
/proc/meminfo: memFree=31369120/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=807356 CPUtime=0 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 3028 0 0 0 0 0 0 0 20 0 4 0 118760554 826732544 2878 33554432000 4194304 16246674 140736909797968 140736909797392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 202607 2887 441 2943 0 199501 0
[pid=29360/tid=29361] ppid=29357 vsize=825788 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 845606912 2950 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=829884 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 849801216 2966 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=835004 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 118760554 855044096 2983 33554432000 4194304 16246674 140736909797968 140311067086000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100168 s]
/proc/loadavg: 2.00 2.00 1.81 3/172 29360
/proc/meminfo: memFree=31369120/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 27780 0 0 0 6 3 0 0 20 0 4 0 118760554 1333334016 27567 33554432000 4194304 16246674 140736909797968 140736909797280 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 325521 27582 799 2943 0 322415 0
[pid=29360/tid=29361] ppid=29357 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 1333334016 27592 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 1333334016 27604 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 1333334016 27615 33554432000 4194304 16246674 140736909797968 140311067086000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084
[startup+0.20051 s]
/proc/loadavg: 2.00 2.00 1.81 3/172 29360
/proc/meminfo: memFree=31369120/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 44512 0 0 0 13 6 0 0 20 0 4 0 118760554 1344868352 44810 33554432000 4194304 16246674 140736909797968 140736909780960 7440008 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 328337 44810 800 2943 0 325231 0
[pid=29360/tid=29361] ppid=29357 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 1344868352 44810 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 1344868352 44810 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 1344868352 44810 33554432000 4194304 16246674 140736909797968 140311067086000 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) 1313348
[startup+0.30051 s]
/proc/loadavg: 2.00 2.00 1.81 3/172 29360
/proc/meminfo: memFree=31369120/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 56795 0 0 0 22 7 0 0 20 0 4 0 118760554 1344868352 57093 33554432000 4194304 16246674 140736909797968 140736909780960 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 328337 57093 800 2943 0 325231 0
[pid=29360/tid=29361] ppid=29357 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 1344868352 57093 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 1344868352 57093 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 1344868352 57093 33554432000 4194304 16246674 140736909797968 140311067086000 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) 1313348
[startup+0.700405 s]
/proc/loadavg: 2.00 2.00 1.81 3/172 29360
/proc/meminfo: memFree=31369120/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 68856 0 0 0 60 9 0 0 20 0 4 0 118760554 1344868352 69154 33554432000 4194304 16246674 140736909797968 140736909780960 7364408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 328337 69154 801 2943 0 325231 0
[pid=29360/tid=29361] ppid=29357 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 1344868352 69154 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 1344868352 69154 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 1344868352 69154 33554432000 4194304 16246674 140736909797968 140311067086000 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) 1313348
[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 1.81 3/183 29378
/proc/meminfo: memFree=30771364/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 85236 0 0 0 138 11 0 0 20 0 4 0 118760554 1344868352 85534 33554432000 4194304 16246674 140736909797968 140736909795776 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 328337 85534 801 2943 0 325231 0
[pid=29360/tid=29361] ppid=29357 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 1344868352 85534 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 1344868352 85534 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 1344868352 85534 33554432000 4194304 16246674 140736909797968 140311067086000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348
[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 1.82 3/183 29378
/proc/meminfo: memFree=30423704/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 125146 0 0 0 292 17 0 0 20 0 4 0 118760554 1370034176 129532 33554432000 4194304 16246674 140736909797968 140736909795776 8058254 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 334481 129532 801 2943 0 331375 0
[pid=29360/tid=29361] ppid=29357 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 1370034176 129532 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 1370034176 129532 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 1370034176 129532 33554432000 4194304 16246674 140736909797968 140311067086000 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) 1337924
[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 1.82 3/183 29378
/proc/meminfo: memFree=29681416/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=1387076 CPUtime=6.28 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 269735 0 0 0 589 39 0 0 20 0 4 0 118760554 1420365824 282808 33554432000 4194304 16246674 140736909797968 140736909779840 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 346769 282808 839 2943 0 343663 0
[pid=29360/tid=29361] ppid=29357 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 1420365824 282808 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 1420365824 282808 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 1420365824 282808 33554432000 4194304 16246674 140736909797968 140311067086000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1387076
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.82 3/183 29378
/proc/meminfo: memFree=28911100/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=1387076 CPUtime=12.69 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 270017 0 0 0 1229 40 0 0 20 0 4 0 118760554 1420365824 287689 33554432000 4194304 16246674 140736909797968 140736909779840 6761835 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 346769 287689 840 2943 0 343663 0
[pid=29360/tid=29361] ppid=29357 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 1420365824 287689 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 1420365824 287689 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 1420365824 287689 33554432000 4194304 16246674 140736909797968 140311067086000 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) 1387076
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.82 3/183 29378
/proc/meminfo: memFree=28482300/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=1387076 CPUtime=25.49 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 270097 0 0 0 2509 40 0 0 20 0 4 0 118760554 1420365824 287769 33554432000 4194304 16246674 140736909797968 140736909779840 5991144 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 346769 287769 914 2943 0 343663 0
[pid=29360/tid=29361] ppid=29357 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 1420365824 287769 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 1420365824 287769 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 1420365824 287769 33554432000 4194304 16246674 140736909797968 140311067086000 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) 1387076
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.82 3/183 29378
/proc/meminfo: memFree=28481208/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=1387076 CPUtime=51.07 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 270116 0 0 0 5067 40 0 0 20 0 4 0 118760554 1420365824 287771 33554432000 4194304 16246674 140736909797968 140736909779840 5522909 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 346769 287771 915 2943 0 343663 0
[pid=29360/tid=29361] ppid=29357 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 1420365824 287771 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 1420365824 287771 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 1420365824 287771 33554432000 4194304 16246674 140736909797968 140311067086000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1387076
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/183 29379
/proc/meminfo: memFree=28481868/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=1387076 CPUtime=102.25 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 270152 0 0 0 10185 40 0 0 20 0 4 0 118760554 1420365824 287775 33554432000 4194304 16246674 140736909797968 140736909779840 13820875 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 346769 287775 919 2943 0 343663 0
[pid=29360/tid=29361] ppid=29357 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 1420365824 287775 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 1420365824 287775 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 1420365824 287775 33554432000 4194304 16246674 140736909797968 140311067086000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1387076
################
# More data... #
################
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 2234948
[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 1.95 3/183 29434
/proc/meminfo: memFree=26996604/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=2303556 CPUtime=1361.75 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 499751 0 0 0 136089 86 0 0 20 0 4 0 118760554 2358841344 516833 33554432000 4194304 16246674 140736909797968 140736909779840 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 575889 516833 921 2943 0 572783 0
[pid=29360/tid=29361] ppid=29357 vsize=2303556 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 2358841344 516833 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=2303556 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 2358841344 516833 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=2303556 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 2358841344 516833 33554432000 4194304 16246674 140736909797968 140311067086000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 2303556
[startup+1422.3 s]
/proc/loadavg: 2.06 2.05 1.95 3/183 29436
/proc/meminfo: memFree=26933884/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=2366020 CPUtime=1421.74 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 515406 0 0 0 142084 90 0 0 20 0 4 0 118760554 2422804480 532488 33554432000 4194304 16246674 140736909797968 140736909797144 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 591505 532488 921 2943 0 588399 0
[pid=29360/tid=29361] ppid=29357 vsize=2366020 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 2422804480 532488 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=2366020 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 2422804480 532488 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=2366020 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 2422804480 532488 33554432000 4194304 16246674 140736909797968 140311067086000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 2366020
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 1.95 3/183 29437
/proc/meminfo: memFree=26875016/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=2425412 CPUtime=1481.73 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 530112 0 0 0 148078 95 0 0 20 0 4 0 118760554 2483621888 547194 33554432000 4194304 16246674 140736909797968 140736909779840 5822171 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 606353 547194 921 2943 0 603247 0
[pid=29360/tid=29361] ppid=29357 vsize=2425412 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 2483621888 547194 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=2425412 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 2483621888 547194 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=2425412 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 2483621888 547194 33554432000 4194304 16246674 140736909797968 140311067086000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 2425412
[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 1.95 3/184 29441
/proc/meminfo: memFree=26807516/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=2491972 CPUtime=1541.73 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 546831 0 0 0 154072 101 0 0 20 0 4 0 118760554 2551779328 563913 33554432000 4194304 16246674 140736909797968 140736909779840 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 622993 563913 921 2943 0 619887 0
[pid=29360/tid=29361] ppid=29357 vsize=2491972 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 2551779328 563913 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=2491972 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 2551779328 563913 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=2491972 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 2551779328 563913 33554432000 4194304 16246674 140736909797968 140311067086000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 2491972
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/183 29442
/proc/meminfo: memFree=26765512/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=2533956 CPUtime=1601.71 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 557412 0 0 0 160067 104 0 0 20 0 4 0 118760554 2594770944 574494 33554432000 4194304 16246674 140736909797968 140736909779840 5828996 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 633489 574494 921 2943 0 630383 0
[pid=29360/tid=29361] ppid=29357 vsize=2533956 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 2594770944 574494 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=2533956 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 2594770944 574494 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=2533956 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 2594770944 574494 33554432000 4194304 16246674 140736909797968 140311067086000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 2533956
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/183 29443
/proc/meminfo: memFree=26728460/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=2571844 CPUtime=1661.7 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 566641 0 0 0 166062 108 0 0 20 0 4 0 118760554 2633568256 583723 33554432000 4194304 16246674 140736909797968 140736909779840 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 642961 583723 921 2943 0 639855 0
[pid=29360/tid=29361] ppid=29357 vsize=2571844 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 2633568256 583723 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=2571844 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 2633568256 583723 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=2571844 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 2633568256 583723 33554432000 4194304 16246674 140736909797968 140311067086000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 2571844
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/182 29444
/proc/meminfo: memFree=26687824/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=2611780 CPUtime=1721.68 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 576746 0 0 0 172056 112 0 0 20 0 4 0 118760554 2674462720 593828 33554432000 4194304 16246674 140736909797968 140736909797144 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 652945 593828 921 2943 0 649839 0
[pid=29360/tid=29361] ppid=29357 vsize=2611780 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 2674462720 593828 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=2611780 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 2674462720 593828 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=2611780 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 2674462720 593828 33554432000 4194304 16246674 140736909797968 140311067086000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 2611780
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 29446
/proc/meminfo: memFree=26623372/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=2675268 CPUtime=1781.68 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 592663 0 0 0 178048 120 0 0 20 0 4 0 118760554 2739474432 609745 33554432000 4194304 16246674 140736909797968 140736909779840 13191752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 668817 609745 921 2943 0 665711 0
[pid=29360/tid=29361] ppid=29357 vsize=2675268 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 2739474432 609745 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=2675268 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 2739474432 609745 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=2675268 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 2739474432 609745 33554432000 4194304 16246674 140736909797968 140311067086000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 2675268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 29446
/proc/meminfo: memFree=26623712/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=2675268 CPUtime=1800.08 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 592663 0 0 0 179887 121 0 0 20 0 4 0 118760554 2739474432 609745 33554432000 4194304 16246674 140736909797968 140736909797144 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 668817 609745 921 2943 0 665711 0
[pid=29360/tid=29361] ppid=29357 vsize=2675268 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 2739474432 609745 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=2675268 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 2739474432 609745 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=2675268 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 2739474432 609745 33554432000 4194304 16246674 140736909797968 140311067086000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2675268
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 29360 sig 9
??? kill -29360 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 29446
/proc/meminfo: memFree=26623712/32872528 swapFree=9100/9100
[pid=29360] ppid=29357 vsize=2675268 CPUtime=1800.08 cores=0,2,4,6
/proc/29360/stat : 29360 (toysat) R 29357 29360 29182 0 -1 4202496 592663 0 0 0 179887 121 0 0 20 0 4 0 118760554 2739474432 609745 33554432000 4194304 16246674 140736909797968 140736909797144 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29360/statm: 668817 609745 921 2943 0 665711 0
[pid=29360/tid=29361] ppid=29357 vsize=2675268 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29361/stat : 29361 (toysat) S 29357 29360 29182 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 118760554 2739474432 609745 33554432000 4194304 16246674 140736909797968 140311088049392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29360/tid=29362] ppid=29357 vsize=2675268 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29362/stat : 29362 (toysat) S 29357 29360 29182 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 118760554 2739474432 609745 33554432000 4194304 16246674 140736909797968 140311077559536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29360/tid=29363] ppid=29357 vsize=2675268 CPUtime=0 cores=0,2,4,6
/proc/29360/task/29363/stat : 29363 (toysat) S 29357 29360 29182 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 118760554 2739474432 609745 33554432000 4194304 16246674 140736909797968 140311067086000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2675268
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.75
CPU time (s): 1800.13
CPU user time (s): 1798.88
CPU system time (s): 1.24681
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 2675268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.24681
maximum resident set size= 2438980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 592663
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= 680
involuntary context switches= 1819
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6414 second user time and 10.1565 second system time
The end