0.00/0.00 c 2016-06-18T07:00:07+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-4101665-1466226007.opb"]
0.00/0.01 c use --random-gen="90045784 2574150921 2140168803 1976683237 2892112329 3506402759 3591791833 697276991 1720426170 3358653625 962856344 2542258802 4222941700 2632511828 3428033672 3730596433 2822611545 1791051422 1115799203 3344656126 1111124639 4028863506 1810420909 1615240680 394069928 2339844712 2981736000 4276346974 810888222 2980365271 2046374749 68730332 293683276 935337707 793544533 3843719402 2731866334 620560652 734086270 778638519 471457025 1560646519 1953878042 912376725 3113559477 1621325990 2328732382 1095961556 2233123889 2173409976 2269811857 3812136159 3682973721 976419752 1015607820 1511056475 4263161654 2887302868 2854622722 2345825014 105181031 987041859 1337043351 766264497 2603208645 1549452307 3401215824 1258569659 297058541 335113405 1551903758 2817811443 4027411144 4042648827 2354947674 2828774894 2380397013 1125108245 1086364536 148752504 3520447727 764002822 3318865162 1470140829 1156058768 3861293579 4028509494 4046011170 4020903428 2023382591 2836984098 2015672761 2250572710 214268749 372524727 159993723 1970570102 3042181236 1367072745 949618242 2899778191 2737535561 2242253460 4172319613 2657868404 868982688 1176288298 2643020548 1149901773 1152615923 3132247559 933548104 3690769074 3884074436 2853216546 117660261 3062064250 1009449166 997207783 3597144407 3382401488 846940379 2465365328 2302075880 793500158 4278604335 4200576264 447342031 3289080168 1548520886 1941500942 2420357298 2110023665 291545232 405958087 402237716 495255856 1365710850 3293180946 1992747475 2020967049 3675265492 3849371242 1048510450 3005032058 1170455005 1266356703 3287136479 208834431 3281144438 2857416384 3075221506 1112367006 3483605241 323289851 1747394607 349735514 897561257 1092014052 985979904 3828869572 1036897325 4176882987 3163686422 2445955988 3159838235 3439943392 412188406 1527002701 3064272796 1019062331 824250327 3831392640 3782105214 2220084957 3580600019 3496423916 3469183910 2086498348 3213464066 3472543377 3457291263 3495701396 1861530697 1499319015 2139188048 3434620442 4166219602 183330229 3333085225 944059523 1990526684 832044828 2741256484 1830269988 2291494854 421391516 3995718844 2578025501 2975669109 3571831907 1731698522 976279116 870235506 1038161055 1963638847 1383993027 3426826697 2290967025 3521706478 1502862064 1756682097 2502252734 3246110682 858508694 565393476 1467497222 1254291778 1646380033 1689612912 825544775 2189736086 570389826 3287750446 783876427 758072293 1972041858 3318955925 1055139979 4004354414 158935707 2907008806 1131552750 2653362420 1300213442 3589372631 2929078809 4109346688 3656820221 2888552131 2344604696 2956385398 1836999522 844721776 2370536776 2437341727 424906195 2230681708 3995264501 767247221 3001435386 81060371 85764757 37137542 3645038174 859423562 255 362436" option to reproduce the execution
0.09/0.13 c #vars 7195
0.09/0.13 c #constraints 426
0.29/0.37 c BCD2: Hardening is enabled.
0.29/0.37 c BCD2: BiasedSearch is enabled.
0.29/0.37 c Solving starts ...
0.29/0.37 c ============================[ Search Statistics ]============================
0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.37 c | | | | Limit GC | Var | Constra
0.29/0.37 c =============================================================================
0.29/0.37 c 0.0s | 0 | 0 | 0 | 2682 0 | 0 | 0
0.49/0.55 c 0.2s | 1 | 1037 | 100 | 2682 0 | 0 | 0
0.59/0.60 c 0.2s | 1 | 2468 | 117 | 2951 0 | 0 | 0
0.59/0.60 c #cpu_time = 0.228s
0.59/0.60 c #wall_clock_time = 0.229s
0.59/0.60 c #decision = 2468
0.59/0.60 c #random_decision = 5
0.59/0.60 c #conflict = 117
0.59/0.60 c #restart = 1
0.59/0.60 o 6038
0.59/0.61 c BCD2: updating upper bound: 527812 -> 6037
0.59/0.64 c BCD2: 0 <= obj <= 6037
0.59/0.64 c BCD2: #cores=0, #unrelaxed=7195, #relaxed=0, #hardened=0
0.59/0.64 c BCD2: #sat=1 #unsat=1 bias=1/2
0.59/0.64 c Solving starts ...
0.59/0.64 c ============================[ Search Statistics ]============================
0.59/0.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.64 c | | | | Limit GC | Var | Constra
0.59/0.64 c =============================================================================
0.59/0.64 c 0.0s | 0 | 0 | 0 | 2951 0 | 0 | 0
0.59/0.65 c 0.0s | 0 | 3666 | 1 | 2951 0 | 0 | 0
0.59/0.65 c #cpu_time = 0.017s
0.59/0.65 c #wall_clock_time = 0.017s
0.59/0.65 c #decision = 3666
0.59/0.65 c #random_decision = 0
0.59/0.65 c #conflict = 1
0.59/0.65 c #restart = 0
0.59/0.65 c BCD2: found a new core of size 163: cost of the new core is >=6
0.59/0.65 c lower bound updated to 6
0.59/0.66 c BCD2: 6 <= obj <= 6037
0.59/0.66 c BCD2: #cores=1, #unrelaxed=7032, #relaxed=163, #hardened=0
0.59/0.66 c BCD2: #sat=1 #unsat=2 bias=2/3
0.59/0.66 c Solving starts ...
0.59/0.66 c ============================[ Search Statistics ]============================
0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.66 c | | | | Limit GC | Var | Constra
0.59/0.66 c =============================================================================
0.59/0.67 c 0.0s | 0 | 0 | 0 | 2951 0 | 0 | 0
0.59/0.69 c 0.0s | 0 | 3957 | 0 | 2951 0 | 0 | 0
0.59/0.69 c #cpu_time = 0.016s
0.59/0.69 c #wall_clock_time = 0.016s
0.59/0.69 c #decision = 3957
0.59/0.69 c #random_decision = 0
0.59/0.69 c #conflict = 0
0.59/0.69 c #restart = 0
0.59/0.69 c BCD2: found a new core of size 19: cost of the new core is >=51
0.59/0.69 c lower bound updated to 57
0.59/0.69 c BCD2: 57 <= obj <= 6037
0.59/0.69 c BCD2: #cores=2, #unrelaxed=7013, #relaxed=182, #hardened=0
0.59/0.69 c BCD2: #sat=1 #unsat=3 bias=3/4
0.59/0.69 c Solving starts ...
0.59/0.69 c ============================[ Search Statistics ]============================
0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.69 c | | | | Limit GC | Var | Constra
0.59/0.69 c =============================================================================
0.59/0.69 c 0.0s | 0 | 0 | 0 | 2951 0 | 0 | 4
0.69/0.71 c 0.0s | 0 | 5013 | 0 | 2951 0 | 0 | 4
0.69/0.71 c #cpu_time = 0.016s
0.69/0.71 c #wall_clock_time = 0.016s
0.69/0.71 c #decision = 5013
0.69/0.71 c #random_decision = 0
0.69/0.71 c #conflict = 0
0.69/0.71 c #restart = 0
0.69/0.71 c BCD2: found a new core of size 16: cost of the new core is >=30
0.69/0.71 c lower bound updated to 87
0.69/0.71 c BCD2: 87 <= obj <= 6037
0.69/0.71 c BCD2: #cores=3, #unrelaxed=6997, #relaxed=198, #hardened=0
0.69/0.71 c BCD2: #sat=1 #unsat=4 bias=4/5
0.69/0.71 c Solving starts ...
0.69/0.71 c ============================[ Search Statistics ]============================
0.69/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.71 c | | | | Limit GC | Var | Constra
0.69/0.71 c =============================================================================
0.69/0.71 c 0.0s | 0 | 0 | 0 | 2951 0 | 0 | 5
0.69/0.73 c 0.0s | 0 | 5006 | 0 | 2951 0 | 0 | 5
0.69/0.73 c #cpu_time = 0.016s
0.69/0.73 c #wall_clock_time = 0.016s
0.69/0.73 c #decision = 5006
0.69/0.73 c #random_decision = 0
0.69/0.73 c #conflict = 0
0.69/0.73 c #restart = 0
0.69/0.73 c BCD2: relaxing 24 and merging with 1 cores into a new core of size 40: cost of the new core is >=39
0.69/0.73 c lower bound updated to 96
0.69/0.73 c BCD2: 96 <= obj <= 6037
0.69/0.73 c BCD2: #cores=3, #unrelaxed=6973, #relaxed=222, #hardened=0
0.69/0.73 c BCD2: #sat=1 #unsat=5 bias=5/6
0.69/0.74 c Solving starts ...
0.69/0.74 c ============================[ Search Statistics ]============================
0.69/0.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.74 c | | | | Limit GC | Var | Constra
0.69/0.74 c =============================================================================
0.69/0.74 c 0.0s | 0 | 0 | 0 | 2951 0 | 1 | 5
0.69/0.76 c 0.0s | 0 | 5186 | 0 | 2951 0 | 1 | 6
0.69/0.76 c #cpu_time = 0.016s
0.69/0.76 c #wall_clock_time = 0.016s
0.69/0.76 c #decision = 5186
0.69/0.76 c #random_decision = 0
0.69/0.76 c #conflict = 0
0.69/0.76 c #restart = 0
0.69/0.76 c BCD2: relaxing 10 and merging with 1 cores into a new core of size 29: cost of the new core is >=52
0.69/0.76 c lower bound updated to 97
0.69/0.76 c BCD2: 97 <= obj <= 6037
0.69/0.76 c BCD2: #cores=3, #unrelaxed=6963, #relaxed=232, #hardened=0
0.69/0.76 c BCD2: #sat=1 #unsat=6 bias=6/7
0.69/0.77 c Solving starts ...
0.69/0.77 c ============================[ Search Statistics ]============================
0.69/0.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.77 c | | | | Limit GC | Var | Constra
0.69/0.77 c =============================================================================
0.69/0.77 c 0.0s | 0 | 0 | 0 | 2951 0 | 2 | 6
0.69/0.79 c 0.0s | 0 | 5330 | 1 | 2951 0 | 2 | 7
0.69/0.79 c #cpu_time = 0.016s
0.69/0.79 c #wall_clock_time = 0.016s
0.69/0.79 c #decision = 5330
0.69/0.79 c #random_decision = 0
0.69/0.79 c #conflict = 1
0.69/0.79 c #restart = 0
0.69/0.79 c BCD2: relaxing 49 and merging with 1 cores into a new core of size 89: cost of the new core is >=54
0.69/0.79 c lower bound updated to 112
0.69/0.79 c BCD2: 112 <= obj <= 6037
0.69/0.79 c BCD2: #cores=3, #unrelaxed=6914, #relaxed=281, #hardened=0
0.69/0.79 c BCD2: #sat=1 #unsat=7 bias=7/8
0.79/0.80 c Solving starts ...
0.79/0.80 c ============================[ Search Statistics ]============================
0.79/0.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.80 c | | | | Limit GC | Var | Constra
0.79/0.80 c =============================================================================
0.79/0.80 c 0.0s | 0 | 0 | 0 | 2951 0 | 4 | 7
0.79/0.82 c 0.0s | 0 | 5416 | 0 | 2951 0 | 4 | 10
0.79/0.82 c #cpu_time = 0.016s
0.79/0.82 c #wall_clock_time = 0.016s
0.79/0.82 c #decision = 5416
0.79/0.82 c #random_decision = 0
0.79/0.82 c #conflict = 0
0.79/0.82 c #restart = 0
0.79/0.82 c BCD2: found a new core of size 28: cost of the new core is >=30
0.79/0.82 c lower bound updated to 142
0.79/0.82 c BCD2: 142 <= obj <= 6037
0.79/0.82 c BCD2: #cores=4, #unrelaxed=6886, #relaxed=309, #hardened=0
0.79/0.82 c BCD2: #sat=1 #unsat=8 bias=8/9
0.79/0.83 c Solving starts ...
0.79/0.83 c ============================[ Search Statistics ]============================
0.79/0.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.83 c | | | | Limit GC | Var | Constra
0.79/0.83 c =============================================================================
0.79/0.83 c 0.0s | 0 | 0 | 0 | 2951 0 | 4 | 11
0.79/0.85 c 0.0s | 0 | 5408 | 0 | 2951 0 | 4 | 11
0.79/0.85 c #cpu_time = 0.016s
0.79/0.85 c #wall_clock_time = 0.016s
0.79/0.85 c #decision = 5408
0.79/0.85 c #random_decision = 0
0.79/0.85 c #conflict = 0
0.79/0.85 c #restart = 0
0.79/0.85 c BCD2: found a new core of size 108: cost of the new core is >=28
0.79/0.85 c lower bound updated to 170
0.79/0.85 c BCD2: 170 <= obj <= 6037
0.79/0.85 c BCD2: #cores=5, #unrelaxed=6778, #relaxed=417, #hardened=0
0.79/0.85 c BCD2: #sat=1 #unsat=9 bias=9/10
0.79/0.87 c Solving starts ...
0.79/0.87 c ============================[ Search Statistics ]============================
0.79/0.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.87 c | | | | Limit GC | Var | Constra
0.79/0.87 c =============================================================================
0.79/0.87 c 0.0s | 0 | 0 | 0 | 2951 0 | 4 | 12
0.79/0.88 c 0.0s | 0 | 2329 | 0 | 2951 0 | 4 | 12
0.79/0.88 c #cpu_time = 0.015s
0.79/0.88 c #wall_clock_time = 0.015s
0.79/0.88 c #decision = 2329
0.79/0.88 c #random_decision = 0
0.79/0.88 c #conflict = 0
0.79/0.88 c #restart = 0
0.79/0.88 c BCD2: relaxing 22 and merging with 1 cores into a new core of size 130: cost of the new core is >=31
0.79/0.88 c BCD2: refineLB: 29 -> 31
0.79/0.88 c lower bound updated to 173
0.79/0.88 c BCD2: 173 <= obj <= 6037
0.79/0.88 c BCD2: #cores=5, #unrelaxed=6756, #relaxed=439, #hardened=0
0.79/0.88 c BCD2: #sat=1 #unsat=10 bias=10/11
0.79/0.89 c Solving starts ...
0.79/0.89 c ============================[ Search Statistics ]============================
0.79/0.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.89 c | | | | Limit GC | Var | Constra
0.79/0.89 c =============================================================================
0.79/0.89 c 0.0s | 0 | 0 | 0 | 2951 0 | 5 | 12
0.89/0.91 c 0.0s | 0 | 5418 | 0 | 2951 0 | 5 | 13
0.89/0.91 c #cpu_time = 0.018s
0.89/0.91 c #wall_clock_time = 0.018s
0.89/0.91 c #decision = 5418
0.89/0.91 c #random_decision = 0
0.89/0.91 c #conflict = 0
0.89/0.91 c #restart = 0
0.89/0.91 c BCD2: found a new core of size 17: cost of the new core is >=34
0.89/0.91 c lower bound updated to 207
0.89/0.91 c BCD2: 207 <= obj <= 6037
0.89/0.91 c BCD2: #cores=6, #unrelaxed=6739, #relaxed=456, #hardened=0
0.89/0.91 c BCD2: #sat=1 #unsat=11 bias=11/12
0.89/0.91 c Solving starts ...
0.89/0.91 c ============================[ Search Statistics ]============================
0.89/0.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.91 c | | | | Limit GC | Var | Constra
0.89/0.91 c =============================================================================
0.89/0.91 c 0.0s | 0 | 0 | 0 | 2951 0 | 5 | 15
0.89/0.93 c 0.0s | 0 | 6362 | 2 | 2951 0 | 5 | 15
0.89/0.93 c #cpu_time = 0.017s
0.89/0.93 c #wall_clock_time = 0.017s
0.89/0.93 c #decision = 6362
0.89/0.93 c #random_decision = 0
0.89/0.93 c #conflict = 2
0.89/0.93 c #restart = 0
0.89/0.93 c BCD2: found a new core of size 41: cost of the new core is >=6
0.89/0.93 c lower bound updated to 213
0.89/0.93 c BCD2: 213 <= obj <= 6037
0.89/0.93 c BCD2: #cores=7, #unrelaxed=6698, #relaxed=497, #hardened=0
0.89/0.93 c BCD2: #sat=1 #unsat=12 bias=12/13
0.89/0.94 c Solving starts ...
0.89/0.94 c ============================[ Search Statistics ]============================
0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.94 c | | | | Limit GC | Var | Constra
0.89/0.94 c =============================================================================
0.89/0.94 c 0.0s | 0 | 0 | 0 | 2951 0 | 5 | 15
0.89/0.96 c 0.0s | 0 | 5844 | 1 | 2951 0 | 5 | 15
0.89/0.96 c #cpu_time = 0.018s
0.89/0.96 c #wall_clock_time = 0.018s
0.89/0.96 c #decision = 5844
0.89/0.96 c #random_decision = 0
0.89/0.96 c #conflict = 1
0.89/0.96 c #restart = 0
0.89/0.96 c BCD2: found a new core of size 246: cost of the new core is >=11
0.89/0.96 c lower bound updated to 224
0.89/0.96 c BCD2: 224 <= obj <= 6037
0.89/0.96 c BCD2: #cores=8, #unrelaxed=6452, #relaxed=743, #hardened=0
0.89/0.96 c BCD2: #sat=1 #unsat=13 bias=13/14
0.89/0.98 c Solving starts ...
0.89/0.98 c ============================[ Search Statistics ]============================
0.89/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.98 c | | | | Limit GC | Var | Constra
0.89/0.98 c =============================================================================
0.89/0.98 c 0.0s | 0 | 0 | 0 | 2951 0 | 5 | 15
0.99/1.00 c 0.0s | 0 | 5639 | 1 | 2951 0 | 5 | 15
0.99/1.00 c #cpu_time = 0.018s
0.99/1.00 c #wall_clock_time = 0.018s
0.99/1.00 c #decision = 5639
0.99/1.00 c #random_decision = 0
0.99/1.00 c #conflict = 1
0.99/1.00 c #restart = 0
0.99/1.00 c BCD2: relaxing 142 and merging with 1 cores into a new core of size 388: cost of the new core is >=16
0.99/1.00 c lower bound updated to 229
0.99/1.01 c BCD2: 229 <= obj <= 6037
0.99/1.01 c BCD2: #cores=8, #unrelaxed=6310, #relaxed=885, #hardened=0
0.99/1.01 c BCD2: #sat=1 #unsat=14 bias=14/15
0.99/1.02 c Solving starts ...
0.99/1.02 c ============================[ Search Statistics ]============================
0.99/1.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.02 c | | | | Limit GC | Var | Constra
0.99/1.02 c =============================================================================
0.99/1.02 c 0.0s | 0 | 0 | 0 | 2951 0 | 6 | 15
0.99/1.04 c 0.0s | 0 | 5651 | 1 | 2951 0 | 6 | 16
0.99/1.04 c #cpu_time = 0.019s
0.99/1.04 c #wall_clock_time = 0.019s
0.99/1.04 c #decision = 5651
0.99/1.04 c #random_decision = 0
0.99/1.04 c #conflict = 1
0.99/1.04 c #restart = 0
0.99/1.04 c BCD2: relaxing 107 and merging with 2 cores into a new core of size 298: cost of the new core is >=47
0.99/1.04 c lower bound updated to 240
0.99/1.04 c BCD2: 240 <= obj <= 6037
0.99/1.04 c BCD2: #cores=7, #unrelaxed=6203, #relaxed=992, #hardened=0
0.99/1.04 c BCD2: #sat=1 #unsat=15 bias=15/16
0.99/1.04 c Solving starts ...
0.99/1.04 c ============================[ Search Statistics ]============================
0.99/1.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.04 c | | | | Limit GC | Var | Constra
0.99/1.04 c =============================================================================
0.99/1.05 c 0.0s | 0 | 0 | 0 | 2951 0 | 22 | 16
0.99/1.07 c 0.0s | 0 | 5583 | 0 | 2951 0 | 22 | 46
0.99/1.07 c #cpu_time = 0.018s
0.99/1.07 c #wall_clock_time = 0.018s
0.99/1.07 c #decision = 5583
0.99/1.07 c #random_decision = 0
0.99/1.07 c #conflict = 0
0.99/1.07 c #restart = 0
0.99/1.07 c BCD2: found a new core of size 40: cost of the new core is >=26
0.99/1.07 c lower bound updated to 266
0.99/1.07 c BCD2: 266 <= obj <= 6037
0.99/1.07 c BCD2: #cores=8, #unrelaxed=6163, #relaxed=1032, #hardened=0
0.99/1.07 c BCD2: #sat=1 #unsat=16 bias=16/17
0.99/1.08 c Solving starts ...
0.99/1.08 c ============================[ Search Statistics ]============================
0.99/1.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.08 c | | | | Limit GC | Var | Constra
0.99/1.08 c =============================================================================
0.99/1.08 c 0.0s | 0 | 0 | 0 | 2951 0 | 22 | 47
1.09/1.11 c 0.0s | 0 | 5684 | 5 | 2951 0 | 22 | 47
1.09/1.11 c #cpu_time = 0.024s
1.09/1.11 c #wall_clock_time = 0.024s
1.09/1.11 c #decision = 5684
1.09/1.11 c #random_decision = 0
1.09/1.11 c #conflict = 5
1.09/1.11 c #restart = 0
1.09/1.11 c BCD2: relaxing 381 and merging with 2 cores into a new core of size 551: cost of the new core is >=63
1.09/1.11 c lower bound updated to 272
1.09/1.11 c BCD2: 272 <= obj <= 6037
1.09/1.11 c BCD2: #cores=7, #unrelaxed=5782, #relaxed=1413, #hardened=0
1.09/1.11 c BCD2: #sat=1 #unsat=17 bias=17/18
1.09/1.12 c Solving starts ...
1.09/1.12 c ============================[ Search Statistics ]============================
1.09/1.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.12 c | | | | Limit GC | Var | Constra
1.09/1.12 c =============================================================================
1.09/1.12 c 0.0s | 0 | 0 | 0 | 2951 0 | 28 | 47
1.09/1.14 c 0.0s | 0 | 5305 | 1 | 2951 0 | 28 | 57
1.09/1.14 c #cpu_time = 0.019s
1.09/1.14 c #wall_clock_time = 0.019s
1.09/1.14 c #decision = 5305
1.09/1.14 c #random_decision = 0
1.09/1.14 c #conflict = 1
1.09/1.14 c #restart = 0
1.09/1.14 c BCD2: found a new core of size 340: cost of the new core is >=10
1.09/1.14 c lower bound updated to 282
1.09/1.15 c BCD2: 282 <= obj <= 6037
1.09/1.15 c BCD2: #cores=8, #unrelaxed=5442, #relaxed=1753, #hardened=0
1.09/1.15 c BCD2: #sat=1 #unsat=18 bias=18/19
1.09/1.15 c Solving starts ...
1.09/1.15 c ============================[ Search Statistics ]============================
1.09/1.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.15 c | | | | Limit GC | Var | Constra
1.09/1.15 c =============================================================================
1.09/1.15 c 0.0s | 0 | 0 | 0 | 2951 0 | 28 | 57
1.09/1.18 c 0.0s | 0 | 5496 | 4 | 2951 0 | 28 | 57
1.09/1.18 c #cpu_time = 0.021s
1.09/1.18 c #wall_clock_time = 0.021s
1.09/1.18 c #decision = 5496
1.09/1.18 c #random_decision = 0
1.09/1.18 c #conflict = 4
1.09/1.18 c #restart = 0
1.09/1.18 c BCD2: found a new core of size 595: cost of the new core is >=26
1.09/1.18 c lower bound updated to 308
1.09/1.18 c BCD2: 308 <= obj <= 6037
1.09/1.18 c BCD2: #cores=9, #unrelaxed=4847, #relaxed=2348, #hardened=0
1.09/1.18 c BCD2: #sat=1 #unsat=19 bias=19/20
1.09/1.19 c Solving starts ...
1.09/1.19 c ============================[ Search Statistics ]============================
1.09/1.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.19 c | | | | Limit GC | Var | Constra
1.09/1.19 c =============================================================================
1.09/1.19 c 0.0s | 0 | 0 | 0 | 2951 0 | 28 | 57
1.19/1.21 c 0.0s | 0 | 4715 | 0 | 2951 0 | 28 | 57
1.19/1.21 c #cpu_time = 0.018s
1.19/1.21 c #wall_clock_time = 0.018s
1.19/1.21 c #decision = 4715
1.19/1.21 c #random_decision = 0
1.19/1.21 c #conflict = 0
1.19/1.21 c #restart = 0
1.19/1.21 c BCD2: found a new core of size 27: cost of the new core is >=34
1.19/1.21 c lower bound updated to 342
1.19/1.22 c BCD2: 342 <= obj <= 6037
1.19/1.22 c BCD2: #cores=10, #unrelaxed=4820, #relaxed=2375, #hardened=0
1.19/1.22 c BCD2: #sat=1 #unsat=20 bias=20/21
1.19/1.23 c Solving starts ...
1.19/1.23 c ============================[ Search Statistics ]============================
1.19/1.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.23 c | | | | Limit GC | Var | Constra
1.19/1.23 c =============================================================================
1.19/1.23 c 0.0s | 0 | 0 | 0 | 2951 0 | 28 | 60
1.19/1.26 c 0.0s | 0 | 6140 | 13 | 2951 0 | 28 | 60
1.19/1.26 c #cpu_time = 0.027s
1.19/1.26 c #wall_clock_time = 0.027s
1.19/1.26 c #decision = 6140
1.19/1.26 c #random_decision = 0
1.19/1.26 c #conflict = 13
1.19/1.26 c #restart = 0
1.19/1.26 c BCD2: relaxing 425 and merging with 1 cores into a new core of size 452: cost of the new core is >=40
1.19/1.26 c lower bound updated to 348
1.19/1.26 c BCD2: 348 <= obj <= 6037
1.19/1.26 c BCD2: #cores=10, #unrelaxed=4395, #relaxed=2800, #hardened=0
1.19/1.26 c BCD2: #sat=1 #unsat=21 bias=21/22
1.19/1.27 c Solving starts ...
1.19/1.27 c ============================[ Search Statistics ]============================
1.19/1.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.27 c | | | | Limit GC | Var | Constra
1.19/1.27 c =============================================================================
1.19/1.27 c 0.0s | 0 | 0 | 0 | 2951 0 | 29 | 60
1.29/1.38 c 0.1s | 1 | 6062 | 100 | 2951 0 | 29 | 61
1.49/1.55 c 0.3s | 2 | 18679 | 250 | 3247 0 | 29 | 61
1.69/1.79 c 0.5s | 2 | 24954 | 471 | 3572 0 | 29 | 61
1.69/1.79 c #cpu_time = 0.511s
1.69/1.79 c #wall_clock_time = 0.512s
1.69/1.79 c #decision = 24954
1.69/1.79 c #random_decision = 6
1.69/1.79 c #conflict = 471
1.69/1.79 c #restart = 2
1.69/1.79 c BCD2: relaxing 1631 and merging with 7 cores into a new core of size 3130: cost of the new core is >=203
1.69/1.79 c lower bound updated to 353
1.79/1.81 c BCD2: 353 <= obj <= 6037
1.79/1.81 c BCD2: #cores=4, #unrelaxed=2764, #relaxed=4431, #hardened=0
1.79/1.81 c BCD2: #sat=1 #unsat=22 bias=22/23
1.79/1.83 c Solving starts ...
1.79/1.83 c ============================[ Search Statistics ]============================
1.79/1.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.79/1.83 c | | | | Limit GC | Var | Constra
1.79/1.83 c =============================================================================
1.79/1.83 c 0.0s | 0 | 0 | 0 | 3572 0 | 66 | 61
1.99/2.02 c 0.2s | 1 | 7074 | 100 | 3572 0 | 66 | 128
2.29/2.31 c 0.5s | 2 | 13096 | 250 | 3930 0 | 66 | 128
2.59/2.63 c 0.8s | 3 | 17473 | 475 | 3930 0 | 66 | 128
3.09/3.16 c 1.3s | 4 | 22269 | 813 | 4323 0 | 66 | 128
3.89/3.98 c 2.1s | 5 | 26038 | 1320 | 4323 0 | 66 | 128
5.39/5.46 c 3.6s | 6 | 30153 | 2081 | 4756 0 | 66 | 128
7.48/7.54 c 5.7s | 6 | 35039 | 3081 | 5232 0 | 66 | 128
7.79/7.84 c 6.0s | 7 | 35429 | 3223 | 5232 0 | 66 | 128
9.78/9.86 c 8.0s | 7 | 40647 | 4223 | 5232 0 | 66 | 128
11.38/11.47 c 9.6s | 8 | 41948 | 4936 | 5756 0 | 66 | 128
13.49/13.55 c 11.7s | 8 | 52060 | 6136 | 5756 0 | 66 | 128
15.59/15.62 c 13.8s | 9 | 58681 | 7506 | 6332 0 | 66 | 128
17.60/17.68 c 15.9s | 9 | 70268 | 8506 | 6332 1 | 67 | 128
19.80/19.85 c 18.0s | 9 | 72302 | 9206 | 6332 1 | 67 | 128
21.79/21.86 c 20.0s | 9 | 73947 | 9706 | 6332 1 | 67 | 128
23.89/23.92 c 22.1s | 9 | 74670 | 10006 | 6332 1 | 67 | 128
25.88/25.99 c 24.2s | 9 | 75537 | 10406 | 6332 1 | 67 | 128
28.28/28.37 c 26.5s | 9 | 77290 | 11106 | 6966 1 | 67 | 128
30.28/30.35 c 28.5s | 10 | 77872 | 11361 | 6966 1 | 67 | 128
32.38/32.41 c 30.6s | 10 | 86639 | 11961 | 6966 2 | 68 | 128
34.49/34.56 c 32.7s | 10 | 92344 | 12961 | 6966 2 | 68 | 128
36.48/36.56 c 34.7s | 10 | 93939 | 13561 | 6966 2 | 68 | 128
38.68/38.71 c 36.9s | 10 | 101002 | 14461 | 6966 2 | 68 | 128
40.79/40.87 c 39.0s | 10 | 108783 | 15561 | 6966 2 | 68 | 128
43.19/43.22 c 41.4s | 10 | 114572 | 16861 | 7663 2 | 68 | 128
43.99/44.07 c 42.2s | 11 | 115156 | 17144 | 7663 2 | 68 | 128
46.08/46.15 c 44.3s | 11 | 124027 | 17744 | 7663 3 | 68 | 128
48.08/48.18 c 46.4s | 11 | 135586 | 18844 | 7663 3 | 69 | 128
50.18/50.20 c 48.4s | 11 | 144801 | 19844 | 7663 3 | 69 | 128
52.28/52.34 c 50.5s | 11 | 153682 | 21044 | 7663 3 | 69 | 128
54.28/54.39 c 52.6s | 11 | 161524 | 22044 | 7663 3 | 69 | 128
56.48/56.52 c 54.7s | 11 | 163623 | 22644 | 7663 3 | 69 | 128
58.58/58.61 c 56.8s | 11 | 175098 | 23244 | 7663 4 | 70 | 128
60.59/60.67 c 58.8s | 11 | 182545 | 24444 | 7663 4 | 70 | 128
62.58/62.68 c 60.8s | 11 | 191361 | 25644 | 8430 4 | 70 | 128
62.88/62.95 c 61.1s | 12 | 194560 | 25819 | 8430 4 | 70 | 128
65.18/65.21 c 63.4s | 12 | 204805 | 26619 | 8430 4 | 70 | 128
67.18/67.24 c 65.4s | 12 | 208667 | 27619 | 8430 4 | 70 | 128
69.28/69.32 c 67.5s | 12 | 217367 | 28319 | 8430 5 | 71 | 128
71.28/71.36 c 69.5s | 12 | 221883 | 29219 | 8430 5 | 71 | 128
73.48/73.51 c 71.7s | 12 | 222872 | 29819 | 8430 5 | 71 | 128
75.48/75.54 c 73.7s | 12 | 227631 | 30719 | 8430 5 | 71 | 128
77.68/77.73 c 75.9s | 12 | 234137 | 31819 | 8430 5 | 71 | 128
79.68/79.76 c 77.9s | 12 | 241480 | 33019 | 8430 5 | 71 | 128
82.28/82.38 c 80.6s | 12 | 251885 | 34219 | 8430 6 | 71 | 128
84.38/84.43 c 82.6s | 12 | 258271 | 35219 | 8430 6 | 71 | 128
86.47/86.58 c 84.8s | 12 | 266344 | 36419 | 8430 6 | 71 | 128
88.67/88.74 c 86.9s | 12 | 267933 | 37419 | 8430 6 | 71 | 128
90.88/90.96 c 89.1s | 12 | 269280 | 38319 | 9273 6 | 71 | 128
92.38/92.43 c 90.6s | 13 | 270037 | 38832 | 9273 6 | 71 | 128
94.48/94.55 c 92.7s | 13 | 274316 | 39432 | 9273 7 | 71 | 128
96.48/96.55 c 94.7s | 13 | 275857 | 40132 | 9273 7 | 71 | 128
98.57/98.65 c 96.8s | 13 | 276986 | 40732 | 9273 7 | 71 | 128
100.87/100.97 c 99.1s | 13 | 278468 | 41432 | 9273 7 | 71 | 128
102.97/103.00 c 101s | 13 | 288312 | 42332 | 9273 7 | 72 | 128
105.07/105.12 c 103s | 13 | 302227 | 43432 | 9273 7 | 73 | 128
107.07/107.18 c 105s | 13 | 306442 | 44332 | 9273 7 | 73 | 128
109.18/109.23 c 107s | 13 | 315204 | 45332 | 9273 7 | 73 | 128
111.18/111.26 c 109s | 13 | 320465 | 46232 | 9273 7 | 73 | 128
113.68/113.78 c 111s | 13 | 325260 | 47032 | 9273 8 | 73 | 128
116.27/116.31 c 114s | 13 | 334054 | 47832 | 9273 8 | 75 | 128
118.27/118.32 c 116s | 13 | 338577 | 48732 | 9273 8 | 75 | 128
120.37/120.45 c 118s | 13 | 350822 | 49532 | 9273 8 | 77 | 128
122.78/122.88 c 121s | 13 | 359623 | 50632 | 9273 8 | 77 | 128
124.87/124.93 c 123s | 13 | 363704 | 51132 | 9273 8 | 77 | 128
127.27/127.38 c 125s | 13 | 365745 | 51432 | 9273 8 | 77 | 128
129.57/129.64 c 127s | 13 | 366435 | 51632 | 9273 8 | 77 | 128
131.87/131.96 c 130s | 13 | 367036 | 51832 | 9273 8 | 77 | 128
133.97/134.04 c 132s | 13 | 373673 | 52632 | 9273 8 | 77 | 128
136.47/136.54 c 134s | 13 | 376341 | 53132 | 9273 9 | 77 | 128
138.57/138.67 c 136s | 13 | 381075 | 54132 | 9273 9 | 77 | 128
140.67/140.72 c 138s | 13 | 381746 | 54532 | 9273 9 | 77 | 128
142.97/143.09 c 141s | 13 | 386143 | 54932 | 9273 9 | 78 | 128
145.06/145.11 c 143s | 13 | 398059 | 56132 | 9273 9 | 78 | 128
148.06/148.19 c 146s | 13 | 408042 | 57332 | 9273 10 | 79 | 128
150.68/150.71 c 148s | 13 | 414243 | 58132 | 10201 10 | 79 | 128
151.27/151.34 c 149s | 14 | 416110 | 58352 | 10201 10 | 79 | 128
153.37/153.48 c 151s | 14 | 424855 | 59252 | 10201 10 | 79 | 128
155.46/155.58 c 153s | 14 | 429490 | 60052 | 10201 10 | 79 | 128
157.57/157.65 c 155s | 14 | 431449 | 60652 | 10201 10 | 79 | 128
159.57/159.69 c 157s | 14 | 435138 | 61252 | 10201 10 | 79 | 128
161.57/161.69 c 159s | 14 | 441578 | 62052 | 10201 10 | 79 | 128
164.36/164.44 c 162s | 14 | 443089 | 62552 | 10201 10 | 79 | 128
166.76/166.87 c 165s | 14 | 443591 | 62852 | 10201 10 | 79 | 128
169.26/169.36 c 167s | 14 | 443988 | 63052 | 10201 10 | 79 | 128
171.57/171.61 c 169s | 14 | 444532 | 63252 | 10201 10 | 79 | 128
173.57/173.68 c 171s | 14 | 446807 | 63852 | 10201 10 | 79 | 128
175.66/175.77 c 173s | 14 | 448266 | 64452 | 10201 10 | 79 | 128
177.86/177.96 c 176s | 14 | 449298 | 65052 | 10201 10 | 79 | 128
180.86/180.98 c 179s | 14 | 450163 | 65452 | 10201 10 | 79 | 128
183.26/183.30 c 181s | 14 | 450543 | 65752 | 10201 10 | 79 | 128
185.76/185.82 c 183s | 14 | 451079 | 66052 | 10201 10 | 79 | 128
187.87/187.98 c 186s | 14 | 452192 | 66552 | 10201 10 | 79 | 128
189.96/190.04 c 188s | 14 | 455079 | 67252 | 10201 10 | 79 | 128
193.06/193.12 c 191s | 14 | 456398 | 67752 | 10201 11 | 79 | 128
195.26/195.37 c 193s | 14 | 458032 | 68252 | 10201 11 | 79 | 128
197.65/197.77 c 195s | 14 | 458922 | 68652 | 10201 11 | 79 | 128
199.76/199.84 c 198s | 14 | 459406 | 68952 | 10201 11 | 79 | 128
201.86/201.95 c 200s | 14 | 467087 | 69852 | 10201 11 | 79 | 128
203.86/203.96 c 202s | 14 | 470774 | 70652 | 10201 11 | 79 | 128
205.96/206.08 c 204s | 14 | 474157 | 71452 | 10201 11 | 79 | 128
208.05/208.10 c 206s | 14 | 474785 | 71852 | 10201 11 | 79 | 128
210.17/210.22 c 208s | 14 | 475595 | 72252 | 10201 11 | 79 | 128
212.36/212.45 c 210s | 14 | 476751 | 72752 | 10201 11 | 79 | 128
214.75/214.82 c 212s | 14 | 477882 | 73052 | 10201 11 | 79 | 128
216.85/216.96 c 215s | 14 | 481192 | 73752 | 10201 11 | 79 | 128
219.15/219.21 c 217s | 14 | 484256 | 74552 | 10201 11 | 79 | 128
221.76/221.84 c 220s | 14 | 485362 | 74952 | 10201 12 | 79 | 128
224.05/224.10 c 222s | 14 | 491109 | 76052 | 10201 12 | 79 | 128
226.15/226.25 c 224s | 14 | 497175 | 76852 | 10201 12 | 79 | 128
228.36/228.40 c 226s | 14 | 511492 | 77552 | 10201 12 | 81 | 128
230.46/230.50 c 228s | 14 | 519005 | 78552 | 10201 12 | 81 | 128
233.06/233.15 c 231s | 14 | 529741 | 79152 | 10201 13 | 82 | 128
235.05/235.19 c 233s | 14 | 544700 | 80052 | 10201 13 | 84 | 128
237.15/237.27 c 235s | 14 | 560042 | 81152 | 10201 13 | 89 | 128
239.35/239.48 c 237s | 14 | 564104 | 81952 | 10201 13 | 89 | 128
241.46/241.54 c 239s | 14 | 572216 | 82852 | 10201 13 | 90 | 128
243.86/243.94 c 242s | 14 | 579553 | 84152 | 10201 13 | 90 | 128
245.85/245.97 c 244s | 14 | 587468 | 85152 | 10201 13 | 90 | 128
247.95/248.02 c 246s | 14 | 598662 | 85852 | 10201 14 | 93 | 128
249.95/250.04 c 248s | 14 | 608645 | 86852 | 11222 14 | 93 | 128
251.75/251.85 c 250s | 15 | 612682 | 87632 | 11222 14 | 93 | 128
254.06/254.18 c 252s | 15 | 630097 | 88532 | 11222 14 | 96 | 128
256.15/256.23 c 254s | 15 | 634492 | 89432 | 11222 14 | 96 | 128
258.25/258.34 c 256s | 15 | 646443 | 90432 | 11222 14 | 97 | 128
260.55/260.67 c 258s | 15 | 649811 | 91032 | 11222 14 | 97 | 128
262.75/262.86 c 261s | 15 | 656235 | 91732 | 11222 15 | 98 | 128
264.85/264.97 c 263s | 15 | 667130 | 92932 | 11222 15 | 98 | 128
266.95/267.02 c 265s | 15 | 675949 | 94032 | 11222 15 | 98 | 128
268.95/269.05 c 267s | 15 | 680759 | 94932 | 11222 15 | 98 | 128
271.05/271.17 c 269s | 15 | 682068 | 95532 | 11222 15 | 98 | 128
273.25/273.33 c 271s | 15 | 686090 | 96432 | 11222 15 | 98 | 128
275.55/275.66 c 273s | 15 | 688900 | 97132 | 11222 15 | 98 | 128
277.75/277.80 c 275s | 15 | 692652 | 97732 | 11222 15 | 98 | 128
279.75/279.84 c 278s | 15 | 697081 | 98632 | 11222 15 | 98 | 128
281.75/281.89 c 280s | 15 | 700861 | 99432 | 11222 15 | 98 | 128
283.85/283.95 c 282s | 15 | 707596 | 100432 | 11222 15 | 98 | 128
285.95/286.07 c 284s | 15 | 714649 | 101032 | 11222 16 | 99 | 128
288.75/288.89 c 287s | 15 | 719874 | 101832 | 11222 16 | 99 | 128
291.64/291.78 c 289s | 15 | 720553 | 102132 | 11222 16 | 99 | 128
294.55/294.69 c 292s | 15 | 721096 | 102432 | 11222 16 | 99 | 128
296.64/296.72 c 294s | 15 | 721498 | 102632 | 11222 16 | 99 | 128
299.04/299.12 c 297s | 15 | 723287 | 102932 | 11222 16 | 99 | 128
301.04/301.18 c 299s | 15 | 729918 | 103832 | 11222 16 | 99 | 128
303.84/303.95 c 302s | 15 | 738517 | 104732 | 11222 17 | 100 | 128
305.85/305.99 c 304s | 15 | 746539 | 105932 | 11222 17 | 100 | 128
307.95/308.06 c 306s | 15 | 755210 | 107132 | 11222 17 | 100 | 128
310.04/310.18 c 308s | 15 | 764859 | 108132 | 11222 17 | 101 | 128
312.14/312.29 c 310s | 15 | 767186 | 108732 | 11222 17 | 101 | 128
314.25/314.36 c 312s | 15 | 768088 | 109132 | 11222 17 | 101 | 128
316.25/316.39 c 314s | 15 | 768595 | 109432 | 11222 17 | 101 | 128
318.44/318.57 c 316s | 15 | 776491 | 110032 | 11222 17 | 102 | 128
320.74/320.81 c 318s | 15 | 778773 | 110632 | 11222 17 | 102 | 128
323.64/323.78 c 321s | 15 | 779878 | 111032 | 11222 17 | 102 | 128
327.64/327.71 c 325s | 15 | 784600 | 111532 | 11222 18 | 103 | 128
329.74/329.87 c 328s | 15 | 800197 | 112232 | 11222 18 | 106 | 128
332.14/332.29 c 330s | 15 | 807298 | 113132 | 11222 18 | 107 | 128
334.24/334.38 c 332s | 15 | 813821 | 113932 | 11222 18 | 107 | 128
336.34/336.46 c 334s | 15 | 816413 | 114732 | 11222 18 | 107 | 128
338.44/338.57 c 336s | 15 | 817574 | 115232 | 11222 18 | 107 | 128
340.54/340.67 c 338s | 15 | 823559 | 116032 | 11222 18 | 108 | 128
342.84/342.90 c 341s | 15 | 825371 | 116732 | 11222 18 | 108 | 128
344.94/345.05 c 343s | 15 | 829190 | 117632 | 11222 18 | 108 | 128
347.14/347.27 c 345s | 15 | 833188 | 118432 | 11222 18 | 108 | 128
349.34/349.46 c 347s | 15 | 836576 | 119232 | 11222 18 | 108 | 128
351.63/351.79 c 349s | 15 | 838532 | 119832 | 11222 18 | 108 | 128
355.24/355.30 c 353s | 15 | 843133 | 120332 | 11222 19 | 109 | 128
357.34/357.44 c 355s | 15 | 845859 | 121132 | 11222 19 | 109 | 128
359.33/359.45 c 357s | 15 | 852386 | 121832 | 11222 19 | 110 | 128
361.33/361.48 c 359s | 15 | 860095 | 123032 | 11222 19 | 110 | 128
363.84/363.90 c 362s | 15 | 862013 | 123532 | 11222 19 | 110 | 128
366.03/366.10 c 364s | 15 | 863415 | 123932 | 11222 19 | 110 | 128
368.13/368.24 c 366s | 15 | 865592 | 124632 | 11222 19 | 110 | 128
370.34/370.45 c 368s | 15 | 868782 | 125432 | 11222 19 | 110 | 128
372.43/372.55 c 370s | 15 | 870819 | 126032 | 11222 19 | 110 | 128
374.63/374.72 c 372s | 15 | 872865 | 126632 | 11222 19 | 110 | 128
376.83/376.96 c 375s | 15 | 876550 | 127532 | 11222 19 | 110 | 128
379.13/379.26 c 377s | 15 | 879063 | 128232 | 11222 19 | 110 | 128
381.54/381.61 c 379s | 15 | 881247 | 128932 | 11222 19 | 110 | 128
383.94/384.04 c 382s | 15 | 882155 | 129232 | 11222 20 | 110 | 128
386.04/386.17 c 384s | 15 | 885319 | 130032 | 12345 20 | 110 | 128
388.03/388.19 c 386s | 15 | 888458 | 130832 | 12345 20 | 110 | 128
389.83/389.92 c 388s | 16 | 892916 | 131552 | 12345 20 | 110 | 128
391.83/391.99 c 390s | 16 | 902732 | 132352 | 12345 20 | 110 | 128
394.03/394.11 c 392s | 16 | 907452 | 133152 | 12345 20 | 110 | 128
396.03/396.13 c 394s | 16 | 913592 | 134052 | 12345 20 | 110 | 128
398.13/398.21 c 396s | 16 | 921450 | 135052 | 12345 20 | 110 | 128
400.13/400.24 c 398s | 16 | 926149 | 135752 | 12345 20 | 110 | 128
402.22/402.32 c 400s | 16 | 933305 | 136552 | 12345 20 | 110 | 128
405.33/405.43 c 403s | 16 | 936007 | 137052 | 12345 21 | 110 | 128
407.53/407.63 c 405s | 16 | 942960 | 138052 | 12345 21 | 110 | 128
409.53/409.64 c 407s | 16 | 947728 | 138652 | 12345 21 | 111 | 128
411.73/411.86 c 410s | 16 | 951112 | 139652 | 12345 21 | 111 | 128
413.83/413.91 c 412s | 16 | 954389 | 140552 | 12345 21 | 111 | 128
416.02/416.12 c 414s | 16 | 958073 | 141552 | 12345 21 | 111 | 128
418.03/418.12 c 416s | 16 | 962540 | 142352 | 12345 21 | 111 | 128
420.23/420.30 c 418s | 16 | 963458 | 142852 | 12345 21 | 111 | 128
422.63/422.71 c 420s | 16 | 964007 | 143252 | 12345 21 | 111 | 128
424.63/424.75 c 422s | 16 | 964828 | 143752 | 12345 21 | 111 | 128
426.73/426.83 c 424s | 16 | 965375 | 144152 | 12345 21 | 111 | 128
428.72/428.86 c 427s | 16 | 966148 | 144552 | 12345 21 | 111 | 128
431.73/431.89 c 430s | 16 | 966735 | 144952 | 12345 21 | 111 | 128
434.62/434.75 c 432s | 16 | 967271 | 145252 | 12345 21 | 111 | 128
437.02/437.17 c 435s | 16 | 967634 | 145452 | 12345 21 | 111 | 128
439.22/439.37 c 437s | 16 | 967993 | 145652 | 12345 21 | 111 | 128
441.43/441.57 c 439s | 16 | 971735 | 146552 | 12345 21 | 111 | 128
443.63/443.78 c 441s | 16 | 972311 | 146852 | 12345 22 | 111 | 128
445.93/446.04 c 444s | 16 | 976447 | 147752 | 12345 22 | 111 | 128
447.92/448.05 c 446s | 16 | 981917 | 148652 | 12345 22 | 111 | 128
450.12/450.22 c 448s | 16 | 985225 | 149552 | 12345 22 | 111 | 128
452.92/453.03 c 451s | 16 | 992388 | 150252 | 12345 22 | 112 | 128
455.22/455.36 c 453s | 16 | 998807 | 151152 | 12345 22 | 112 | 128
457.32/457.41 c 455s | 16 | 1001960 | 152052 | 12345 22 | 112 | 128
459.42/459.53 c 457s | 16 | 1003915 | 152952 | 12345 22 | 112 | 128
461.52/461.69 c 459s | 16 | 1006073 | 153752 | 12345 22 | 112 | 128
463.72/463.81 c 461s | 16 | 1009412 | 154552 | 12345 22 | 112 | 128
466.02/466.19 c 464s | 16 | 1014296 | 155452 | 12345 22 | 112 | 128
468.12/468.29 c 466s | 16 | 1019246 | 155952 | 12345 23 | 112 | 128
470.22/470.37 c 468s | 16 | 1027585 | 156952 | 12345 23 | 112 | 128
472.32/472.43 c 470s | 16 | 1035925 | 158052 | 12345 23 | 112 | 128
474.42/474.59 c 472s | 16 | 1045696 | 159052 | 12345 23 | 112 | 128
476.62/476.77 c 474s | 16 | 1050569 | 159952 | 12345 23 | 112 | 128
478.72/478.80 c 476s | 16 | 1054403 | 160552 | 12345 23 | 112 | 128
481.02/481.10 c 479s | 16 | 1055460 | 160952 | 12345 23 | 112 | 128
483.32/483.42 c 481s | 16 | 1056514 | 161252 | 12345 23 | 112 | 128
485.91/486.00 c 484s | 16 | 1057652 | 161752 | 12345 23 | 112 | 128
488.01/488.15 c 486s | 16 | 1058221 | 161952 | 12345 23 | 112 | 128
491.32/491.44 c 489s | 16 | 1058659 | 162152 | 12345 23 | 112 | 128
495.11/495.25 c 493s | 16 | 1059130 | 162352 | 12345 23 | 112 | 128
497.91/498.01 c 496s | 16 | 1059493 | 162552 | 12345 23 | 112 | 128
501.02/501.13 c 499s | 16 | 1060130 | 162752 | 12345 23 | 112 | 128
503.22/503.37 c 501s | 16 | 1060605 | 162952 | 12345 23 | 112 | 128
505.51/505.65 c 503s | 16 | 1061254 | 163252 | 12345 23 | 112 | 128
507.51/507.66 c 505s | 16 | 1064556 | 163652 | 12345 24 | 112 | 128
509.71/509.82 c 507s | 16 | 1070021 | 164652 | 12345 24 | 112 | 128
511.71/511.83 c 510s | 16 | 1076277 | 165452 | 12345 24 | 112 | 128
514.11/514.25 c 512s | 16 | 1082062 | 166252 | 12345 24 | 112 | 128
516.31/516.49 c 514s | 16 | 1083002 | 166652 | 12345 24 | 112 | 128
518.51/518.65 c 516s | 16 | 1087533 | 167452 | 12345 24 | 112 | 128
520.71/520.86 c 519s | 16 | 1089166 | 168252 | 12345 24 | 112 | 128
523.01/523.16 c 521s | 16 | 1090785 | 169052 | 12345 24 | 112 | 128
525.51/525.68 c 523s | 16 | 1092125 | 169752 | 12345 24 | 112 | 128
527.91/528.06 c 526s | 16 | 1093086 | 170252 | 12345 24 | 112 | 128
530.12/530.23 c 528s | 16 | 1093703 | 170652 | 12345 24 | 112 | 128
532.21/532.34 c 530s | 16 | 1094175 | 170952 | 12345 24 | 112 | 128
534.21/534.34 c 532s | 16 | 1095044 | 171352 | 12345 24 | 112 | 128
536.20/536.34 c 534s | 16 | 1095808 | 171652 | 12345 24 | 112 | 128
538.80/538.93 c 537s | 16 | 1099478 | 172252 | 12345 25 | 112 | 128
540.91/541.06 c 539s | 16 | 1101217 | 172652 | 12345 25 | 112 | 128
543.21/543.37 c 541s | 16 | 1106349 | 173652 | 12345 25 | 112 | 128
545.41/545.51 c 543s | 16 | 1107007 | 174052 | 12345 25 | 112 | 128
547.50/547.67 c 545s | 16 | 1108340 | 174552 | 12345 25 | 112 | 128
550.51/550.67 c 548s | 16 | 1108818 | 174852 | 12345 25 | 112 | 128
552.60/552.70 c 550s | 16 | 1109663 | 175252 | 12345 25 | 112 | 128
554.90/555.07 c 553s | 16 | 1110826 | 175652 | 12345 25 | 112 | 128
557.41/557.55 c 555s | 16 | 1111846 | 176052 | 12345 25 | 112 | 128
559.71/559.84 c 558s | 16 | 1115779 | 176852 | 12345 25 | 112 | 128
561.81/561.95 c 560s | 16 | 1119671 | 177552 | 12345 25 | 112 | 128
563.90/564.00 c 562s | 16 | 1123585 | 178452 | 12345 25 | 112 | 128
566.60/566.70 c 564s | 16 | 1129113 | 178752 | 12345 26 | 113 | 128
568.71/568.82 c 566s | 16 | 1136635 | 179752 | 12345 26 | 113 | 128
570.81/570.96 c 569s | 16 | 1144307 | 180752 | 12345 26 | 113 | 128
573.01/573.16 c 571s | 16 | 1149292 | 181652 | 12345 26 | 113 | 128
575.21/575.39 c 573s | 16 | 1151799 | 182552 | 12345 26 | 113 | 128
577.51/577.67 c 575s | 16 | 1154596 | 183152 | 12345 26 | 113 | 128
580.40/580.50 c 578s | 16 | 1161104 | 183852 | 12345 27 | 114 | 128
582.50/582.64 c 580s | 16 | 1172350 | 184652 | 12345 27 | 116 | 128
584.60/584.74 c 582s | 16 | 1173814 | 185152 | 12345 27 | 116 | 128
586.70/586.89 c 585s | 16 | 1174978 | 185652 | 12345 27 | 116 | 128
589.00/589.16 c 587s | 16 | 1176268 | 186052 | 12345 27 | 116 | 128
591.50/591.63 c 589s | 16 | 1177032 | 186452 | 12345 27 | 116 | 128
594.01/594.12 c 592s | 16 | 1177860 | 186852 | 12345 27 | 116 | 128
596.70/596.86 c 595s | 16 | 1178993 | 187152 | 12345 27 | 116 | 128
599.30/599.48 c 597s | 16 | 1179873 | 187452 | 12345 27 | 116 | 128
601.50/601.70 c 599s | 16 | 1180233 | 187652 | 12345 27 | 116 | 128
604.50/604.66 c 602s | 16 | 1180588 | 187852 | 12345 27 | 116 | 128
606.49/606.68 c 604s | 16 | 1180940 | 187952 | 12345 27 | 116 | 128
609.20/609.32 c 607s | 16 | 1182208 | 188252 | 12345 27 | 116 | 128
611.29/611.40 c 609s | 16 | 1184651 | 188652 | 12345 27 | 116 | 128
614.81/614.94 c 613s | 16 | 1185629 | 188952 | 12345 27 | 116 | 128
618.40/618.52 c 616s | 16 | 1186069 | 189152 | 12345 27 | 116 | 128
622.00/622.10 c 620s | 16 | 1186353 | 189352 | 12345 27 | 116 | 128
624.09/624.20 c 622s | 16 | 1186534 | 189452 | 12345 27 | 116 | 128
626.90/627.03 c 625s | 16 | 1187172 | 189652 | 12345 27 | 116 | 128
631.30/631.44 c 629s | 16 | 1187510 | 189852 | 12345 27 | 116 | 128
633.29/633.44 c 631s | 16 | 1192810 | 190052 | 12345 27 | 117 | 128
635.29/635.46 c 633s | 16 | 1197585 | 191052 | 12345 27 | 117 | 128
637.39/637.50 c 635s | 16 | 1201964 | 191952 | 12345 27 | 117 | 128
639.49/639.62 c 637s | 16 | 1207359 | 192952 | 12345 27 | 117 | 128
641.60/641.72 c 639s | 16 | 1215465 | 194152 | 12345 27 | 117 | 128
643.60/643.75 c 641s | 16 | 1219295 | 194652 | 12345 28 | 117 | 128
645.99/646.13 c 644s | 16 | 1229862 | 195852 | 13580 28 | 117 | 128
648.19/648.30 c 646s | 16 | 1234687 | 196752 | 13580 28 | 117 | 128
650.39/650.58 c 648s | 16 | 1236017 | 197252 | 13580 28 | 117 | 128
650.99/651.20 c 649s | 17 | 1236374 | 197432 | 13580 28 | 117 | 128
653.09/653.21 c 651s | 17 | 1245737 | 198432 | 13580 28 | 117 | 128
655.19/655.35 c 653s | 17 | 1254132 | 199232 | 13580 28 | 118 | 128
657.29/657.46 c 655s | 17 | 1256558 | 199932 | 13580 28 | 118 | 128
659.69/659.85 c 658s | 17 | 1257656 | 200432 | 13580 28 | 118 | 128
662.09/662.27 c 660s | 17 | 1259453 | 201132 | 13580 28 | 118 | 128
664.78/664.99 c 663s | 17 | 1260878 | 201732 | 13580 28 | 118 | 128
667.60/667.76 c 665s | 17 | 1261339 | 202032 | 13580 28 | 118 | 128
669.69/669.88 c 668s | 17 | 1262404 | 202432 | 13580 28 | 118 | 128
671.88/672.08 c 670s | 17 | 1264473 | 203032 | 13580 28 | 118 | 128
674.20/674.31 c 672s | 17 | 1265294 | 203432 | 13580 28 | 118 | 128
676.39/676.60 c 674s | 17 | 1267309 | 204032 | 13580 28 | 118 | 128
678.59/678.74 c 676s | 17 | 1269370 | 204632 | 13580 28 | 118 | 128
681.58/681.79 c 679s | 17 | 1270283 | 205032 | 13580 29 | 118 | 128
683.68/683.86 c 682s | 17 | 1275609 | 205832 | 13580 29 | 118 | 128
685.98/686.13 c 684s | 17 | 1278911 | 206632 | 13580 29 | 118 | 128
688.68/688.83 c 686s | 17 | 1290354 | 207732 | 13580 29 | 119 | 128
690.98/691.12 c 689s | 17 | 1295576 | 208632 | 13580 29 | 119 | 128
694.77/694.94 c 693s | 17 | 1306038 | 209432 | 13580 30 | 120 | 128
696.88/697.08 c 695s | 17 | 1311080 | 210332 | 13580 30 | 120 | 128
699.17/699.36 c 697s | 17 | 1312193 | 210832 | 13580 30 | 120 | 128
701.18/701.37 c 699s | 17 | 1313392 | 211232 | 13580 30 | 120 | 128
703.18/703.39 c 701s | 17 | 1316719 | 212032 | 13580 30 | 120 | 128
705.47/705.65 c 703s | 17 | 1318252 | 212632 | 13580 30 | 120 | 128
707.67/707.89 c 706s | 17 | 1319901 | 213332 | 13580 30 | 120 | 128
709.97/710.11 c 708s | 17 | 1321645 | 213932 | 13580 30 | 120 | 128
712.36/712.55 c 710s | 17 | 1323965 | 214632 | 13580 30 | 120 | 128
714.57/714.77 c 712s | 17 | 1325584 | 215232 | 13580 30 | 120 | 128
716.76/716.94 c 715s | 17 | 1327537 | 215732 | 13580 30 | 120 | 128
719.56/719.78 c 717s | 17 | 1328558 | 216132 | 13580 30 | 120 | 128
722.05/722.21 c 720s | 17 | 1329074 | 216432 | 13580 30 | 120 | 128
724.26/724.40 c 722s | 17 | 1330940 | 217032 | 13580 30 | 120 | 128
726.25/726.48 c 724s | 17 | 1335273 | 218032 | 13580 30 | 120 | 128
728.55/728.79 c 726s | 17 | 1339020 | 218932 | 13580 30 | 120 | 128
730.75/730.92 c 729s | 17 | 1341480 | 219532 | 13580 31 | 120 | 128
732.85/733.06 c 731s | 17 | 1346429 | 220632 | 13580 31 | 120 | 128
734.95/735.17 c 733s | 17 | 1350727 | 221632 | 13580 31 | 120 | 128
737.05/737.23 c 735s | 17 | 1352494 | 222232 | 13580 31 | 120 | 128
739.15/739.33 c 737s | 17 | 1354598 | 222932 | 13580 31 | 120 | 128
741.25/741.46 c 739s | 17 | 1361580 | 223932 | 13580 31 | 120 | 128
743.25/743.48 c 741s | 17 | 1369429 | 224732 | 13580 31 | 121 | 128
745.34/745.51 c 743s | 17 | 1374749 | 225032 | 13580 32 | 122 | 128
747.33/747.51 c 745s | 17 | 1377818 | 225932 | 13580 32 | 122 | 128
749.33/749.58 c 747s | 17 | 1379388 | 226632 | 13580 32 | 122 | 128
751.44/751.63 c 749s | 17 | 1380637 | 227132 | 13580 32 | 122 | 128
753.54/753.70 c 751s | 17 | 1389429 | 227832 | 13580 32 | 123 | 128
755.73/755.91 c 754s | 17 | 1390840 | 228332 | 13580 32 | 123 | 128
758.03/758.25 c 756s | 17 | 1391866 | 228732 | 13580 32 | 123 | 128
760.23/760.40 c 758s | 17 | 1394355 | 229332 | 13580 32 | 123 | 128
762.33/762.50 c 760s | 17 | 1402361 | 230232 | 13580 32 | 123 | 128
764.53/764.72 c 762s | 17 | 1405923 | 230832 | 13580 32 | 123 | 128
766.83/767.03 c 765s | 17 | 1409760 | 231632 | 13580 32 | 123 | 128
769.13/769.30 c 767s | 17 | 1411197 | 232232 | 13580 32 | 123 | 128
771.42/771.64 c 769s | 17 | 1413209 | 232732 | 13580 32 | 123 | 128
773.63/773.80 c 771s | 17 | 1417240 | 233532 | 13580 32 | 123 | 128
775.72/775.91 c 774s | 17 | 1421585 | 234532 | 13580 32 | 123 | 128
778.02/778.22 c 776s | 17 | 1423831 | 235332 | 13580 32 | 123 | 128
780.52/780.75 c 778s | 17 | 1424929 | 235832 | 13580 32 | 123 | 128
782.52/782.76 c 780s | 17 | 1426530 | 236132 | 13580 32 | 123 | 128
785.12/785.32 c 783s | 17 | 1430355 | 236832 | 13580 33 | 123 | 128
787.11/787.33 c 785s | 17 | 1435730 | 237732 | 13580 33 | 123 | 128
789.52/789.79 c 787s | 17 | 1436681 | 238232 | 13580 33 | 123 | 128
791.71/791.94 c 790s | 17 | 1444800 | 238932 | 13580 33 | 124 | 128
793.81/794.03 c 792s | 17 | 1449554 | 239632 | 13580 33 | 124 | 128
795.81/796.06 c 794s | 17 | 1455243 | 240332 | 13580 33 | 124 | 128
797.90/798.10 c 796s | 17 | 1462218 | 241032 | 13580 33 | 125 | 128
800.00/800.24 c 798s | 17 | 1464838 | 241732 | 13580 33 | 125 | 128
802.10/802.32 c 800s | 17 | 1470468 | 242032 | 13580 34 | 126 | 128
804.20/804.47 c 802s | 17 | 1473414 | 242832 | 13580 34 | 126 | 128
806.40/806.63 c 804s | 17 | 1474377 | 243232 | 13580 34 | 126 | 128
808.50/808.70 c 806s | 17 | 1475807 | 243732 | 13580 34 | 126 | 128
810.80/811.07 c 809s | 17 | 1477437 | 244232 | 13580 34 | 126 | 128
812.90/813.10 c 811s | 17 | 1478398 | 244632 | 13580 34 | 126 | 128
815.10/815.31 c 813s | 17 | 1483573 | 245832 | 13580 34 | 126 | 128
817.10/817.36 c 815s | 17 | 1487509 | 246732 | 13580 34 | 126 | 128
819.09/819.37 c 817s | 17 | 1493734 | 247632 | 13580 34 | 126 | 128
821.29/821.55 c 819s | 17 | 1498166 | 248532 | 13580 34 | 126 | 128
823.59/823.83 c 822s | 17 | 1501817 | 249232 | 13580 34 | 126 | 128
825.69/825.99 c 824s | 17 | 1504382 | 249932 | 13580 34 | 126 | 128
828.09/828.32 c 826s | 17 | 1506656 | 250532 | 13580 34 | 126 | 128
830.08/830.37 c 828s | 17 | 1508606 | 251132 | 13580 34 | 126 | 128
832.18/832.47 c 830s | 17 | 1513894 | 252032 | 13580 34 | 126 | 128
834.28/834.58 c 832s | 17 | 1514875 | 252532 | 13580 34 | 126 | 128
836.47/836.75 c 834s | 17 | 1516792 | 253132 | 13580 34 | 126 | 128
838.98/839.24 c 837s | 17 | 1518447 | 253632 | 13580 34 | 126 | 128
841.08/841.33 c 839s | 17 | 1519142 | 253832 | 13580 35 | 126 | 128
843.48/843.76 c 841s | 17 | 1521173 | 254432 | 13580 35 | 126 | 128
845.97/846.23 c 844s | 17 | 1522156 | 254832 | 13580 35 | 126 | 128
848.17/848.40 c 846s | 17 | 1525535 | 255532 | 13580 35 | 126 | 128
850.27/850.59 c 848s | 17 | 1527032 | 256032 | 13580 35 | 126 | 128
852.37/852.63 c 850s | 17 | 1528794 | 256632 | 13580 35 | 126 | 128
854.48/854.70 c 852s | 17 | 1529683 | 257032 | 13580 35 | 126 | 128
856.46/856.80 c 854s | 17 | 1531401 | 257632 | 13580 35 | 126 | 128
858.76/859.02 c 857s | 17 | 1532301 | 258132 | 13580 35 | 126 | 128
861.07/861.31 c 859s | 17 | 1533350 | 258532 | 13580 35 | 126 | 128
863.27/863.55 c 861s | 17 | 1535903 | 259332 | 13580 35 | 126 | 128
865.85/866.18 c 864s | 17 | 1536873 | 259932 | 13580 35 | 126 | 128
867.95/868.24 c 866s | 17 | 1540257 | 260532 | 13580 35 | 126 | 128
870.05/870.37 c 868s | 17 | 1547417 | 261532 | 13580 35 | 126 | 128
872.75/873.07 c 871s | 17 | 1550370 | 262032 | 13580 36 | 126 | 128
874.96/875.21 c 873s | 17 | 1552409 | 262632 | 13580 36 | 126 | 128
877.05/877.35 c 875s | 17 | 1555076 | 263332 | 13580 36 | 126 | 128
879.55/879.81 c 877s | 17 | 1558781 | 264132 | 13580 36 | 126 | 128
881.64/881.92 c 880s | 17 | 1560086 | 264532 | 13580 36 | 126 | 128
883.64/883.99 c 882s | 17 | 1561998 | 265232 | 13580 36 | 126 | 128
885.84/886.19 c 884s | 17 | 1564559 | 266032 | 13580 36 | 126 | 128
887.94/888.20 c 886s | 17 | 1569523 | 266932 | 13580 36 | 126 | 128
890.14/890.41 c 888s | 17 | 1571118 | 267432 | 13580 36 | 126 | 128
892.14/892.48 c 890s | 17 | 1573305 | 267932 | 13580 36 | 126 | 128
894.44/894.73 c 892s | 17 | 1578787 | 268832 | 13580 36 | 126 | 128
896.44/896.76 c 894s | 17 | 1580136 | 269332 | 13580 36 | 126 | 128
898.54/898.88 c 897s | 17 | 1582864 | 269932 | 13580 36 | 126 | 128
901.84/902.19 c 900s | 17 | 1589231 | 270832 | 13580 37 | 126 | 128
904.04/904.33 c 902s | 17 | 1597069 | 271632 | 13580 37 | 126 | 128
906.02/906.33 c 904s | 17 | 1607512 | 272632 | 13580 37 | 126 | 128
908.53/908.88 c 907s | 17 | 1614364 | 273332 | 13580 37 | 128 | 128
911.22/911.56 c 909s | 17 | 1622536 | 274132 | 13580 37 | 129 | 128
913.32/913.61 c 911s | 17 | 1624669 | 274832 | 13580 37 | 129 | 128
915.41/915.79 c 913s | 17 | 1625860 | 275332 | 13580 37 | 129 | 128
917.81/918.18 c 916s | 17 | 1626787 | 275832 | 13580 37 | 129 | 128
920.12/920.47 c 918s | 17 | 1627352 | 276232 | 13580 37 | 129 | 128
922.51/922.86 c 921s | 17 | 1627966 | 276632 | 13580 37 | 129 | 128
924.71/925.04 c 923s | 17 | 1628806 | 276932 | 13580 37 | 129 | 128
927.02/927.37 c 925s | 17 | 1629279 | 277232 | 13580 37 | 129 | 128
929.22/929.52 c 927s | 17 | 1629693 | 277432 | 13580 37 | 129 | 128
931.52/931.86 c 930s | 17 | 1632995 | 278432 | 13580 37 | 129 | 128
934.51/934.82 c 932s | 17 | 1640562 | 279032 | 13580 38 | 130 | 128
936.50/936.88 c 935s | 17 | 1645458 | 279832 | 13580 38 | 130 | 128
938.80/939.17 c 937s | 17 | 1654722 | 280532 | 13580 38 | 131 | 128
940.90/941.23 c 939s | 17 | 1657784 | 281232 | 13580 38 | 131 | 128
942.90/943.27 c 941s | 17 | 1661051 | 281932 | 13580 38 | 131 | 128
945.09/945.41 c 943s | 17 | 1665033 | 282732 | 13580 38 | 131 | 128
947.10/947.45 c 945s | 17 | 1669264 | 283632 | 13580 38 | 131 | 128
949.39/949.77 c 947s | 17 | 1674666 | 284532 | 13580 38 | 131 | 128
951.59/951.92 c 950s | 17 | 1675787 | 285032 | 13580 38 | 131 | 128
953.79/954.14 c 952s | 17 | 1676739 | 285432 | 13580 38 | 131 | 128
955.98/956.38 c 954s | 17 | 1679788 | 286032 | 13580 38 | 131 | 128
958.29/958.66 c 956s | 17 | 1680480 | 286432 | 13580 38 | 131 | 128
960.49/960.89 c 959s | 17 | 1680972 | 286732 | 13580 38 | 131 | 128
962.69/963.09 c 961s | 17 | 1682149 | 287132 | 13580 38 | 131 | 128
964.89/965.23 c 963s | 17 | 1685607 | 287832 | 13580 38 | 131 | 128
966.98/967.32 c 965s | 17 | 1686682 | 288132 | 13580 39 | 131 | 128
969.08/969.46 c 967s | 17 | 1690062 | 289132 | 13580 39 | 131 | 128
971.38/971.72 c 969s | 17 | 1692401 | 289932 | 13580 39 | 131 | 128
973.38/973.76 c 971s | 17 | 1694286 | 290532 | 13580 39 | 131 | 128
975.78/976.14 c 974s | 17 | 1696460 | 291232 | 13580 39 | 131 | 128
978.38/978.77 c 976s | 17 | 1697539 | 291732 | 13580 39 | 131 | 128
980.47/980.80 c 978s | 17 | 1698089 | 292032 | 13580 39 | 131 | 128
982.58/982.94 c 981s | 17 | 1698807 | 292432 | 13580 39 | 131 | 128
984.98/985.30 c 983s | 17 | 1700793 | 293132 | 13580 39 | 131 | 128
987.07/987.47 c 985s | 17 | 1702374 | 293632 | 14939 39 | 131 | 128
989.17/989.59 c 987s | 17 | 1704935 | 294232 | 14939 39 | 131 | 128
991.37/991.73 c 989s | 17 | 1709918 | 295132 | 14939 39 | 131 | 128
993.87/994.21 c 992s | 17 | 1712425 | 295832 | 14939 39 | 131 | 128
994.87/995.28 c 993s | 18 | 1713623 | 296252 | 14939 39 | 131 | 128
997.06/997.43 c 995s | 18 | 1717269 | 296352 | 14939 40 | 131 | 128
999.06/999.48 c 997s | 18 | 1722746 | 297352 | 14939 40 | 131 | 128
1001.26/1001.61 c 999s | 18 | 1727265 | 298252 | 14939 40 | 131 | 128
1003.36/1003.72 c 1001s | 18 | 1730204 | 298952 | 14939 40 | 131 | 128
1005.56/1005.95 c 1004s | 18 | 1733262 | 299652 | 14939 40 | 131 | 128
1007.76/1008.18 c 1006s | 18 | 1735235 | 300252 | 14939 40 | 131 | 128
1009.96/1010.37 c 1008s | 18 | 1736819 | 300952 | 14939 40 | 131 | 128
1012.07/1012.45 c 1010s | 18 | 1738146 | 301552 | 14939 40 | 131 | 128
1014.26/1014.60 c 1012s | 18 | 1741046 | 302352 | 14939 40 | 131 | 128
1016.56/1016.90 c 1015s | 18 | 1742924 | 302952 | 14939 40 | 131 | 128
1018.96/1019.31 c 1017s | 18 | 1743861 | 303252 | 14939 40 | 131 | 128
1021.26/1021.63 c 1019s | 18 | 1744719 | 303652 | 14939 40 | 131 | 128
1023.87/1024.22 c 1022s | 18 | 1745997 | 304152 | 14939 40 | 131 | 128
1026.76/1027.17 c 1025s | 18 | 1746702 | 304452 | 14939 40 | 131 | 128
1028.96/1029.35 c 1027s | 18 | 1747237 | 304652 | 14939 40 | 131 | 128
1031.36/1031.70 c 1029s | 18 | 1747936 | 304952 | 14939 40 | 131 | 128
1033.46/1033.88 c 1032s | 18 | 1748421 | 305152 | 14939 40 | 131 | 128
1035.76/1036.16 c 1034s | 18 | 1751168 | 305652 | 14939 40 | 131 | 128
1037.96/1038.31 c 1036s | 18 | 1752258 | 305952 | 14939 41 | 131 | 128
1040.06/1040.41 c 1038s | 18 | 1753387 | 306452 | 14939 41 | 131 | 128
1042.15/1042.58 c 1040s | 18 | 1755788 | 307152 | 14939 41 | 131 | 128
1044.26/1044.62 c 1042s | 18 | 1758340 | 307852 | 14939 41 | 131 | 128
1046.56/1046.95 c 1045s | 18 | 1761303 | 308552 | 14939 41 | 131 | 128
1048.86/1049.25 c 1047s | 18 | 1763294 | 309152 | 14939 41 | 131 | 128
1050.86/1051.25 c 1049s | 18 | 1765321 | 309752 | 14939 41 | 131 | 128
1053.16/1053.59 c 1051s | 18 | 1767848 | 310452 | 14939 41 | 131 | 128
1055.25/1055.61 c 1053s | 18 | 1768942 | 310852 | 14939 41 | 131 | 128
1057.26/1057.62 c 1055s | 18 | 1769831 | 311252 | 14939 41 | 131 | 128
1059.26/1059.68 c 1057s | 18 | 1771038 | 311952 | 14939 41 | 131 | 128
1061.45/1061.85 c 1060s | 18 | 1775308 | 312652 | 14939 41 | 131 | 128
1063.55/1063.97 c 1062s | 18 | 1779026 | 313452 | 14939 41 | 131 | 128
1065.85/1066.28 c 1064s | 18 | 1783183 | 314252 | 14939 41 | 131 | 128
1069.55/1069.92 c 1068s | 18 | 1788833 | 315052 | 14939 42 | 131 | 128
1071.55/1071.93 c 1070s | 18 | 1790915 | 315852 | 14939 42 | 131 | 128
1073.65/1074.03 c 1072s | 18 | 1793965 | 316752 | 14939 42 | 131 | 128
1075.75/1076.17 c 1074s | 18 | 1796166 | 317552 | 14939 42 | 131 | 128
1077.95/1078.34 c 1076s | 18 | 1798637 | 318252 | 14939 42 | 131 | 128
1080.25/1080.63 c 1078s | 18 | 1800277 | 318952 | 14939 42 | 131 | 128
1082.36/1082.75 c 1080s | 18 | 1802074 | 319552 | 14939 42 | 131 | 128
1084.46/1084.89 c 1083s | 18 | 1803791 | 320152 | 14939 42 | 131 | 128
1086.65/1087.02 c 1085s | 18 | 1805330 | 320752 | 14939 42 | 131 | 128
1088.95/1089.33 c 1087s | 18 | 1806772 | 321352 | 14939 42 | 131 | 128
1091.15/1091.51 c 1089s | 18 | 1808292 | 321952 | 14939 42 | 131 | 128
1093.35/1093.77 c 1091s | 18 | 1809452 | 322452 | 14939 42 | 131 | 128
1095.45/1095.81 c 1093s | 18 | 1810737 | 322952 | 14939 42 | 131 | 128
1097.65/1098.06 c 1096s | 18 | 1811992 | 323452 | 14939 42 | 131 | 128
1099.66/1100.08 c 1098s | 18 | 1812885 | 323852 | 14939 42 | 131 | 128
1102.15/1102.59 c 1100s | 18 | 1814180 | 324352 | 14939 42 | 131 | 128
1104.65/1105.05 c 1103s | 18 | 1815460 | 324952 | 14939 42 | 131 | 128
1106.75/1107.10 c 1105s | 18 | 1816648 | 325452 | 14939 42 | 131 | 128
1108.85/1109.21 c 1107s | 18 | 1818171 | 325952 | 14939 42 | 131 | 128
1110.95/1111.36 c 1109s | 18 | 1819234 | 326452 | 14939 42 | 131 | 128
1112.95/1113.36 c 1111s | 18 | 1820359 | 326752 | 14939 43 | 131 | 128
1114.95/1115.38 c 1113s | 18 | 1822346 | 327352 | 14939 43 | 131 | 128
1117.15/1117.60 c 1115s | 18 | 1823803 | 328052 | 14939 43 | 131 | 128
1119.35/1119.79 c 1117s | 18 | 1825465 | 328652 | 14939 43 | 131 | 128
1121.45/1121.85 c 1120s | 18 | 1826494 | 329152 | 14939 43 | 131 | 128
1123.55/1123.99 c 1122s | 18 | 1827178 | 329552 | 14939 43 | 131 | 128
1125.74/1126.12 c 1124s | 18 | 1828222 | 330052 | 14939 43 | 131 | 128
1127.94/1128.34 c 1126s | 18 | 1829499 | 330652 | 14939 43 | 131 | 128
1130.14/1130.54 c 1128s | 18 | 1830688 | 331252 | 14939 43 | 131 | 128
1132.44/1132.87 c 1131s | 18 | 1832025 | 331852 | 14939 43 | 131 | 128
1134.64/1135.05 c 1133s | 18 | 1833150 | 332452 | 14939 43 | 131 | 128
1136.74/1137.15 c 1135s | 18 | 1834878 | 333152 | 14939 43 | 131 | 128
1138.85/1139.26 c 1137s | 18 | 1836983 | 333852 | 14939 43 | 131 | 128
1141.05/1141.48 c 1139s | 18 | 1838495 | 334452 | 14939 43 | 131 | 128
1143.14/1143.59 c 1141s | 18 | 1839808 | 334952 | 14939 43 | 131 | 128
1145.64/1146.03 c 1144s | 18 | 1840977 | 335452 | 14939 43 | 131 | 128
1147.94/1148.30 c 1146s | 18 | 1842319 | 335952 | 14939 43 | 131 | 128
1150.25/1150.69 c 1148s | 18 | 1844272 | 336552 | 14939 43 | 131 | 128
1152.54/1152.96 c 1151s | 18 | 1845017 | 336852 | 14939 44 | 131 | 128
1155.04/1155.41 c 1153s | 18 | 1846613 | 337452 | 14939 44 | 131 | 128
1157.14/1157.58 c 1155s | 18 | 1847565 | 337952 | 14939 44 | 131 | 128
1159.34/1159.71 c 1157s | 18 | 1848939 | 338552 | 14939 44 | 131 | 128
1161.35/1161.79 c 1159s | 18 | 1850216 | 339152 | 14939 44 | 131 | 128
1163.54/1163.90 c 1162s | 18 | 1850763 | 339552 | 14939 44 | 131 | 128
1165.65/1166.04 c 1164s | 18 | 1851777 | 340052 | 14939 44 | 131 | 128
1168.14/1168.53 c 1166s | 18 | 1852803 | 340552 | 14939 44 | 131 | 128
1170.44/1170.85 c 1169s | 18 | 1853233 | 340852 | 14939 44 | 131 | 128
1172.73/1173.19 c 1171s | 18 | 1854325 | 341352 | 14939 44 | 131 | 128
1175.55/1175.98 c 1174s | 18 | 1854995 | 341752 | 14939 44 | 131 | 128
1177.64/1178.03 c 1176s | 18 | 1857875 | 342552 | 14939 44 | 131 | 128
1179.84/1180.28 c 1178s | 18 | 1859458 | 343352 | 14939 44 | 131 | 128
1182.04/1182.42 c 1180s | 18 | 1861822 | 344052 | 14939 44 | 131 | 128
1184.24/1184.67 c 1182s | 18 | 1864225 | 344852 | 14939 44 | 131 | 128
1186.43/1186.87 c 1185s | 18 | 1866405 | 345552 | 14939 44 | 131 | 128
1188.53/1188.93 c 1187s | 18 | 1868820 | 346352 | 14939 44 | 131 | 128
1190.73/1191.14 c 1189s | 18 | 1870511 | 347052 | 14939 44 | 131 | 128
1193.63/1194.08 c 1192s | 18 | 1872679 | 347752 | 14939 45 | 131 | 128
1195.83/1196.27 c 1194s | 18 | 1875131 | 348552 | 14939 45 | 131 | 128
1197.93/1198.32 c 1196s | 18 | 1876230 | 349152 | 14939 45 | 131 | 128
1199.94/1200.33 c 1198s | 18 | 1877446 | 349752 | 14939 45 | 131 | 128
1202.04/1202.44 c 1200s | 18 | 1878811 | 350452 | 14939 45 | 131 | 128
1204.03/1204.45 c 1202s | 18 | 1881104 | 351352 | 14939 45 | 131 | 128
1206.13/1206.50 c 1204s | 18 | 1882307 | 352052 | 14939 45 | 131 | 128
1208.23/1208.67 c 1206s | 18 | 1883324 | 352652 | 14939 45 | 131 | 128
1210.53/1210.97 c 1209s | 18 | 1884794 | 353352 | 14939 45 | 131 | 128
1212.83/1213.28 c 1211s | 18 | 1886030 | 353952 | 14939 45 | 131 | 128
1215.03/1215.44 c 1213s | 18 | 1887637 | 354652 | 14939 45 | 131 | 128
1217.34/1217.77 c 1215s | 18 | 1888850 | 355252 | 14939 45 | 131 | 128
1219.63/1220.04 c 1218s | 18 | 1889859 | 355852 | 14939 45 | 131 | 128
1221.73/1222.18 c 1220s | 18 | 1890648 | 356352 | 14939 45 | 131 | 128
1223.94/1224.38 c 1222s | 18 | 1891733 | 356952 | 14939 45 | 131 | 128
1226.03/1226.47 c 1224s | 18 | 1892555 | 357452 | 14939 45 | 131 | 128
1228.23/1228.62 c 1226s | 18 | 1893477 | 357952 | 14939 45 | 131 | 128
1231.43/1231.88 c 1230s | 18 | 1894514 | 358452 | 14939 46 | 131 | 128
1233.53/1233.93 c 1232s | 18 | 1898312 | 359352 | 14939 46 | 131 | 128
1235.83/1236.21 c 1234s | 18 | 1900553 | 360152 | 14939 46 | 131 | 128
1237.83/1238.22 c 1236s | 18 | 1902863 | 361052 | 14939 46 | 131 | 128
1239.92/1240.36 c 1238s | 18 | 1904691 | 361952 | 14939 46 | 131 | 128
1242.12/1242.54 c 1240s | 18 | 1906338 | 362752 | 14939 46 | 131 | 128
1244.33/1244.71 c 1242s | 18 | 1908135 | 363552 | 14939 46 | 131 | 128
1246.53/1246.92 c 1245s | 18 | 1909159 | 364152 | 14939 46 | 131 | 128
1248.63/1249.01 c 1247s | 18 | 1910138 | 364752 | 14939 46 | 131 | 128
1250.82/1251.20 c 1249s | 18 | 1911720 | 365352 | 14939 46 | 131 | 128
1252.92/1253.30 c 1251s | 18 | 1912611 | 365852 | 14939 46 | 131 | 128
1255.22/1255.62 c 1253s | 18 | 1913365 | 366352 | 14939 46 | 131 | 128
1257.33/1257.72 c 1255s | 18 | 1914745 | 366952 | 14939 46 | 131 | 128
1259.52/1260.00 c 1258s | 18 | 1915913 | 367652 | 14939 46 | 131 | 128
1261.82/1262.25 c 1260s | 18 | 1917153 | 368152 | 14939 46 | 131 | 128
1264.02/1264.45 c 1262s | 18 | 1918113 | 368652 | 14939 46 | 131 | 128
1266.22/1266.67 c 1264s | 18 | 1918818 | 368952 | 14939 47 | 131 | 128
1268.62/1269.05 c 1267s | 18 | 1919674 | 369452 | 14939 47 | 131 | 128
1270.92/1271.32 c 1269s | 18 | 1920515 | 369952 | 14939 47 | 131 | 128
1273.22/1273.64 c 1271s | 18 | 1921445 | 370452 | 14939 47 | 131 | 128
1275.42/1275.86 c 1274s | 18 | 1922007 | 370852 | 14939 47 | 131 | 128
1277.51/1277.90 c 1276s | 18 | 1922385 | 371152 | 14939 47 | 131 | 128
1279.82/1280.23 c 1278s | 18 | 1923032 | 371552 | 14939 47 | 131 | 128
1282.42/1282.89 c 1281s | 18 | 1923625 | 371952 | 14939 47 | 131 | 128
1284.62/1285.05 c 1283s | 18 | 1924329 | 372352 | 14939 47 | 131 | 128
1286.62/1287.09 c 1285s | 18 | 1924842 | 372652 | 14939 47 | 131 | 128
1288.83/1289.21 c 1287s | 18 | 1926034 | 373252 | 14939 47 | 131 | 128
1291.13/1291.53 c 1289s | 18 | 1927265 | 373952 | 14939 47 | 131 | 128
1293.32/1293.80 c 1291s | 18 | 1928162 | 374452 | 14939 47 | 131 | 128
1295.52/1295.95 c 1294s | 18 | 1928708 | 374852 | 14939 47 | 131 | 128
1297.72/1298.16 c 1296s | 18 | 1929524 | 375352 | 14939 47 | 131 | 128
1299.83/1300.23 c 1298s | 18 | 1930112 | 375752 | 14939 47 | 131 | 128
1301.92/1302.31 c 1300s | 18 | 1930734 | 376152 | 14939 47 | 131 | 128
1304.22/1304.64 c 1302s | 18 | 1931317 | 376552 | 14939 47 | 131 | 128
1306.82/1307.20 c 1305s | 18 | 1932039 | 376952 | 14939 47 | 131 | 128
1308.91/1309.35 c 1307s | 18 | 1932548 | 377252 | 14939 47 | 131 | 128
1311.01/1311.46 c 1309s | 18 | 1934045 | 377852 | 14939 47 | 131 | 128
1313.31/1313.74 c 1311s | 18 | 1934742 | 378252 | 14939 47 | 131 | 128
1315.71/1316.16 c 1314s | 18 | 1935807 | 378752 | 14939 47 | 131 | 128
1317.82/1318.25 c 1316s | 18 | 1936531 | 379152 | 14939 47 | 131 | 128
1320.62/1321.05 c 1319s | 18 | 1937009 | 379452 | 14939 48 | 131 | 128
1322.72/1323.15 c 1321s | 18 | 1937977 | 379952 | 14939 48 | 131 | 128
1325.12/1325.60 c 1323s | 18 | 1939178 | 380452 | 14939 48 | 131 | 128
1328.21/1328.61 c 1326s | 18 | 1948772 | 381352 | 14939 48 | 132 | 128
1330.31/1330.71 c 1328s | 18 | 1959423 | 382052 | 14939 48 | 133 | 128
1332.31/1332.78 c 1330s | 18 | 1963536 | 382652 | 14939 48 | 133 | 128
1334.51/1334.98 c 1333s | 18 | 1971601 | 383752 | 14939 48 | 133 | 128
1336.91/1337.36 c 1335s | 18 | 1974623 | 384452 | 14939 48 | 133 | 128
1339.11/1339.58 c 1337s | 18 | 1977814 | 385252 | 14939 48 | 133 | 128
1341.21/1341.67 c 1339s | 18 | 1985040 | 386152 | 14939 48 | 133 | 128
1343.51/1343.97 c 1342s | 18 | 1987035 | 386752 | 14939 48 | 133 | 128
1347.22/1347.68 c 1345s | 18 | 1993496 | 387652 | 14939 49 | 133 | 128
1349.71/1350.18 c 1348s | 18 | 1999134 | 388452 | 14939 49 | 133 | 128
1352.31/1352.79 c 1350s | 18 | 2000495 | 388752 | 14939 49 | 133 | 128
1354.50/1354.98 c 1353s | 18 | 2009957 | 389552 | 14939 49 | 134 | 128
1356.71/1357.13 c 1355s | 18 | 2012531 | 390352 | 14939 49 | 134 | 128
1358.71/1359.17 c 1357s | 18 | 2016529 | 391152 | 14939 49 | 134 | 128
1360.91/1361.34 c 1359s | 18 | 2019058 | 391852 | 14939 49 | 134 | 128
1362.91/1363.36 c 1361s | 18 | 2024113 | 392552 | 14939 49 | 134 | 128
1365.11/1365.54 c 1363s | 18 | 2026790 | 393152 | 14939 49 | 134 | 128
1367.41/1367.85 c 1366s | 18 | 2033711 | 394152 | 14939 49 | 134 | 128
1369.80/1370.25 c 1368s | 18 | 2037215 | 395052 | 14939 49 | 134 | 128
1372.00/1372.49 c 1370s | 18 | 2040227 | 395752 | 14939 49 | 134 | 128
1374.10/1374.51 c 1372s | 18 | 2041578 | 396452 | 14939 49 | 134 | 128
1376.31/1376.72 c 1374s | 18 | 2042586 | 397152 | 14939 49 | 134 | 128
1378.51/1378.95 c 1377s | 18 | 2043663 | 397752 | 14939 49 | 134 | 128
1380.80/1381.28 c 1379s | 18 | 2045658 | 398452 | 14939 49 | 134 | 128
1383.00/1383.41 c 1381s | 18 | 2046023 | 398652 | 14939 50 | 134 | 128
1385.11/1385.53 c 1383s | 18 | 2049005 | 399352 | 14939 50 | 134 | 128
1387.20/1387.68 c 1385s | 18 | 2050756 | 400052 | 14939 50 | 134 | 128
1389.50/1389.95 c 1388s | 18 | 2059800 | 400952 | 14939 50 | 134 | 128
1391.70/1392.15 c 1390s | 18 | 2063707 | 401852 | 14939 50 | 134 | 128
1393.80/1394.29 c 1392s | 18 | 2065409 | 402452 | 14939 50 | 134 | 128
1396.10/1396.52 c 1394s | 18 | 2066832 | 402952 | 14939 50 | 134 | 128
1398.41/1398.88 c 1397s | 18 | 2069908 | 403652 | 14939 50 | 134 | 128
1400.50/1400.92 c 1399s | 18 | 2070604 | 404052 | 14939 50 | 134 | 128
1402.60/1403.08 c 1401s | 18 | 2074122 | 404652 | 14939 50 | 134 | 128
1404.70/1405.12 c 1403s | 18 | 2076572 | 405152 | 14939 50 | 134 | 128
1406.80/1407.26 c 1405s | 18 | 2079648 | 405852 | 14939 50 | 134 | 128
1408.90/1409.38 c 1407s | 18 | 2085591 | 406652 | 14939 50 | 134 | 128
1411.20/1411.63 c 1409s | 18 | 2089945 | 406852 | 14939 51 | 135 | 128
1413.21/1413.64 c 1411s | 18 | 2096426 | 407652 | 14939 51 | 135 | 128
1415.20/1415.69 c 1413s | 18 | 2103258 | 408652 | 14939 51 | 135 | 128
1417.51/1417.94 c 1416s | 18 | 2105331 | 409252 | 14939 51 | 135 | 128
1419.60/1420.06 c 1418s | 18 | 2105863 | 409552 | 14939 51 | 135 | 128
1422.10/1422.56 c 1420s | 18 | 2106389 | 409852 | 14939 51 | 135 | 128
1424.10/1424.60 c 1422s | 18 | 2107251 | 410152 | 14939 51 | 135 | 128
1426.19/1426.69 c 1424s | 18 | 2112778 | 410952 | 14939 51 | 135 | 128
1428.29/1428.70 c 1426s | 18 | 2116836 | 411652 | 14939 51 | 135 | 128
1430.29/1430.76 c 1428s | 18 | 2122014 | 412352 | 14939 51 | 135 | 128
1432.49/1432.97 c 1431s | 18 | 2127950 | 413352 | 14939 51 | 135 | 128
1434.59/1435.09 c 1433s | 18 | 2130935 | 414052 | 14939 51 | 135 | 128
1436.69/1437.15 c 1435s | 18 | 2135197 | 414852 | 14939 51 | 135 | 128
1438.80/1439.25 c 1437s | 18 | 2138860 | 415052 | 14939 52 | 136 | 128
1441.00/1441.40 c 1439s | 18 | 2144692 | 416152 | 14939 52 | 136 | 128
1443.10/1443.56 c 1441s | 18 | 2159540 | 417452 | 14939 52 | 136 | 128
1445.30/1445.78 c 1443s | 18 | 2162155 | 418252 | 14939 52 | 136 | 128
1447.30/1447.79 c 1445s | 18 | 2165483 | 419052 | 14939 52 | 136 | 128
1449.50/1449.91 c 1448s | 18 | 2170118 | 419952 | 14939 52 | 136 | 128
1451.60/1452.05 c 1450s | 18 | 2172274 | 420652 | 14939 52 | 136 | 128
1453.90/1454.34 c 1452s | 18 | 2173587 | 421252 | 14939 52 | 136 | 128
1455.89/1456.39 c 1454s | 18 | 2177418 | 421852 | 14939 52 | 136 | 128
1457.99/1458.41 c 1456s | 18 | 2181463 | 422652 | 14939 52 | 136 | 128
1460.70/1461.15 c 1459s | 18 | 2185708 | 423352 | 14939 52 | 136 | 128
1463.09/1463.53 c 1461s | 18 | 2188167 | 423852 | 14939 52 | 136 | 128
1465.09/1465.55 c 1463s | 18 | 2191644 | 424552 | 14939 52 | 136 | 128
1468.79/1469.23 c 1467s | 18 | 2197708 | 425152 | 14939 53 | 137 | 128
1470.99/1471.48 c 1469s | 18 | 2205011 | 425952 | 14939 53 | 137 | 128
1473.29/1473.70 c 1471s | 18 | 2207373 | 426652 | 14939 53 | 137 | 128
1475.39/1475.82 c 1473s | 18 | 2210594 | 427452 | 14939 53 | 137 | 128
1477.39/1477.86 c 1476s | 18 | 2212964 | 428052 | 14939 53 | 137 | 128
1479.59/1480.03 c 1478s | 18 | 2216201 | 428652 | 14939 53 | 137 | 128
1481.59/1482.06 c 1480s | 18 | 2221852 | 429452 | 14939 53 | 137 | 128
1483.68/1484.13 c 1482s | 18 | 2226016 | 430052 | 14939 53 | 137 | 128
1486.09/1486.55 c 1484s | 18 | 2229109 | 430752 | 14939 53 | 137 | 128
1488.29/1488.76 c 1486s | 18 | 2235216 | 431652 | 14939 53 | 137 | 128
1491.49/1491.97 c 1490s | 18 | 2243894 | 432252 | 14939 54 | 138 | 128
1493.79/1494.22 c 1492s | 18 | 2248468 | 433052 | 14939 54 | 138 | 128
1496.08/1496.51 c 1494s | 18 | 2249568 | 433552 | 14939 54 | 138 | 128
1498.79/1499.23 c 1497s | 18 | 2250978 | 434052 | 14939 54 | 138 | 128
1501.09/1501.51 c 1499s | 18 | 2253781 | 434652 | 14939 54 | 138 | 128
1503.69/1504.13 c 1502s | 18 | 2262799 | 435552 | 14939 54 | 139 | 128
1505.99/1506.40 c 1504s | 18 | 2266972 | 436452 | 14939 54 | 139 | 128
1508.09/1508.57 c 1506s | 18 | 2272509 | 437252 | 14939 54 | 139 | 128
1510.28/1510.78 c 1508s | 18 | 2277956 | 438052 | 14939 54 | 139 | 128
1512.68/1513.19 c 1511s | 18 | 2279287 | 438552 | 14939 54 | 139 | 128
1514.79/1515.24 c 1513s | 18 | 2281670 | 439152 | 14939 54 | 139 | 128
1516.98/1517.47 c 1515s | 18 | 2284948 | 439752 | 14939 54 | 139 | 128
1519.18/1519.68 c 1517s | 18 | 2285672 | 440152 | 14939 54 | 139 | 128
1521.88/1522.34 c 1520s | 18 | 2286362 | 440552 | 14939 54 | 139 | 128
1524.68/1525.15 c 1523s | 18 | 2286942 | 440852 | 16433 54 | 139 | 128
1526.88/1527.35 c 1525s | 18 | 2287242 | 441052 | 16433 54 | 139 | 128
1529.59/1530.02 c 1528s | 18 | 2287596 | 441252 | 16433 54 | 139 | 128
1531.78/1532.26 c 1530s | 18 | 2290709 | 441752 | 16433 54 | 139 | 128
1533.88/1534.32 c 1532s | 18 | 2295761 | 442552 | 16433 54 | 139 | 128
1536.29/1536.71 c 1534s | 18 | 2298320 | 443352 | 16433 54 | 139 | 128
1538.38/1538.83 c 1537s | 18 | 2301458 | 443752 | 16433 55 | 139 | 128
1540.48/1540.92 c 1539s | 19 | 2303773 | 444482 | 16433 55 | 139 | 128
1542.68/1543.10 c 1541s | 19 | 2308911 | 444882 | 16433 55 | 139 | 128
1544.68/1545.19 c 1543s | 19 | 2311521 | 445482 | 16433 55 | 139 | 128
1546.78/1547.21 c 1545s | 19 | 2318273 | 446382 | 16433 55 | 139 | 128
1548.88/1549.31 c 1547s | 19 | 2325064 | 447382 | 16433 55 | 139 | 128
1550.88/1551.35 c 1549s | 19 | 2329969 | 448182 | 16433 55 | 139 | 128
1552.88/1553.38 c 1551s | 19 | 2331905 | 448782 | 16433 55 | 139 | 128
1554.98/1555.46 c 1553s | 19 | 2333693 | 449382 | 16433 55 | 139 | 128
1556.97/1557.49 c 1555s | 19 | 2336199 | 450182 | 16433 55 | 139 | 128
1559.28/1559.77 c 1557s | 19 | 2340674 | 450982 | 16433 55 | 139 | 128
1561.48/1561.94 c 1560s | 19 | 2343577 | 451482 | 16433 55 | 139 | 128
1563.68/1564.19 c 1562s | 19 | 2349082 | 452182 | 16433 55 | 139 | 128
1565.98/1566.44 c 1564s | 19 | 2352077 | 452882 | 16433 55 | 139 | 128
1568.07/1568.52 c 1566s | 19 | 2354563 | 453382 | 16433 55 | 139 | 128
1570.27/1570.74 c 1568s | 19 | 2355894 | 453582 | 16433 56 | 139 | 128
1572.47/1572.98 c 1571s | 19 | 2360996 | 454282 | 16433 56 | 139 | 128
1574.67/1575.17 c 1573s | 19 | 2364278 | 454882 | 16433 56 | 139 | 128
1576.78/1577.20 c 1575s | 19 | 2371537 | 455182 | 16433 56 | 141 | 128
1578.78/1579.22 c 1577s | 19 | 2376966 | 455882 | 16433 56 | 141 | 128
1581.08/1581.56 c 1579s | 19 | 2378798 | 456382 | 16433 56 | 141 | 128
1583.97/1584.42 c 1582s | 19 | 2380167 | 456982 | 16433 56 | 141 | 128
1586.07/1586.54 c 1584s | 19 | 2383832 | 457582 | 16433 56 | 141 | 128
1588.27/1588.72 c 1586s | 19 | 2388304 | 458282 | 16433 56 | 141 | 128
1590.77/1591.28 c 1589s | 19 | 2391270 | 459182 | 16433 56 | 141 | 128
1592.77/1593.29 c 1591s | 19 | 2396974 | 459982 | 16433 56 | 141 | 128
1594.97/1595.44 c 1593s | 19 | 2400477 | 460582 | 16433 56 | 141 | 128
1597.07/1597.57 c 1595s | 19 | 2401413 | 460882 | 16433 56 | 141 | 128
1599.37/1599.81 c 1597s | 19 | 2405038 | 461482 | 16433 56 | 141 | 128
1601.47/1601.91 c 1600s | 19 | 2410682 | 462382 | 16433 56 | 141 | 128
1603.87/1604.32 c 1602s | 19 | 2413023 | 463082 | 16433 56 | 141 | 128
1606.07/1606.51 c 1604s | 19 | 2415097 | 463682 | 16433 56 | 141 | 128
1608.17/1608.62 c 1606s | 19 | 2416732 | 464182 | 16433 56 | 141 | 128
1610.66/1611.15 c 1609s | 19 | 2417825 | 464682 | 16433 56 | 141 | 128
1612.97/1613.43 c 1611s | 19 | 2419330 | 465082 | 16433 56 | 141 | 128
1615.27/1615.73 c 1613s | 19 | 2420136 | 465482 | 16433 56 | 141 | 128
1617.47/1617.92 c 1616s | 19 | 2421702 | 465982 | 16433 56 | 141 | 128
1619.57/1620.07 c 1618s | 19 | 2422219 | 466282 | 16433 56 | 141 | 128
1621.87/1622.37 c 1620s | 19 | 2422504 | 466382 | 16433 57 | 141 | 128
1625.07/1625.57 c 1623s | 19 | 2423002 | 466682 | 16433 57 | 141 | 128
1627.37/1627.83 c 1625s | 19 | 2423542 | 466882 | 16433 57 | 141 | 128
1629.77/1630.22 c 1628s | 19 | 2425229 | 467382 | 16433 57 | 141 | 128
1631.77/1632.26 c 1630s | 19 | 2428677 | 467982 | 16433 57 | 141 | 128
1633.77/1634.26 c 1632s | 19 | 2437061 | 468882 | 16433 57 | 141 | 128
1635.87/1636.38 c 1634s | 19 | 2440787 | 469582 | 16433 57 | 141 | 128
1637.97/1638.48 c 1636s | 19 | 2447007 | 470382 | 16433 57 | 141 | 128
1640.46/1640.92 c 1639s | 19 | 2449928 | 470982 | 16433 57 | 141 | 128
1642.86/1643.30 c 1641s | 19 | 2453250 | 471682 | 16433 57 | 141 | 128
1644.96/1645.48 c 1643s | 19 | 2459583 | 472582 | 16433 57 | 141 | 128
1647.56/1648.01 c 1646s | 19 | 2464626 | 473282 | 16433 57 | 141 | 128
1649.67/1650.13 c 1648s | 19 | 2470276 | 474082 | 16433 57 | 141 | 128
1651.96/1652.42 c 1650s | 19 | 2476185 | 474882 | 16433 57 | 141 | 128
1654.06/1654.59 c 1652s | 19 | 2481966 | 475782 | 16433 57 | 141 | 128
1656.36/1656.84 c 1655s | 19 | 2485511 | 476682 | 16433 57 | 141 | 128
1658.47/1658.99 c 1657s | 19 | 2486434 | 476882 | 16433 58 | 141 | 128
1660.86/1661.33 c 1659s | 19 | 2488943 | 477582 | 16433 58 | 141 | 128
1663.06/1663.53 c 1661s | 19 | 2490572 | 478082 | 16433 58 | 141 | 128
1665.16/1665.68 c 1663s | 19 | 2494980 | 478682 | 16433 58 | 141 | 128
1667.36/1667.84 c 1666s | 19 | 2497688 | 479282 | 16433 58 | 141 | 128
1669.47/1669.97 c 1668s | 19 | 2502785 | 480182 | 16433 58 | 141 | 128
1671.67/1672.11 c 1670s | 19 | 2505114 | 480882 | 16433 58 | 141 | 128
1673.66/1674.12 c 1672s | 19 | 2507693 | 481482 | 16433 58 | 141 | 128
1675.97/1676.40 c 1674s | 19 | 2510267 | 482082 | 16433 58 | 141 | 128
1678.66/1679.16 c 1677s | 19 | 2517849 | 482582 | 16433 59 | 142 | 128
1680.86/1681.38 c 1679s | 19 | 2523355 | 483482 | 16433 59 | 142 | 128
1683.45/1683.92 c 1682s | 19 | 2524754 | 483982 | 16433 59 | 142 | 128
1685.55/1686.04 c 1684s | 19 | 2529919 | 484882 | 16433 59 | 142 | 128
1687.55/1688.07 c 1686s | 19 | 2531773 | 485482 | 16433 59 | 142 | 128
1689.96/1690.43 c 1688s | 19 | 2533414 | 486082 | 16433 59 | 142 | 128
1692.16/1692.61 c 1690s | 19 | 2534463 | 486482 | 16433 59 | 142 | 128
1694.66/1695.20 c 1693s | 19 | 2535263 | 486882 | 16433 59 | 142 | 128
1696.86/1697.38 c 1695s | 19 | 2536090 | 487282 | 16433 59 | 142 | 128
1698.96/1699.45 c 1697s | 19 | 2537043 | 487682 | 16433 59 | 142 | 128
1701.05/1701.54 c 1699s | 19 | 2538028 | 488082 | 16433 59 | 142 | 128
1703.15/1703.70 c 1701s | 19 | 2540521 | 488782 | 16433 59 | 142 | 128
1705.46/1705.93 c 1704s | 19 | 2541809 | 489182 | 16433 59 | 142 | 128
1708.56/1709.02 c 1707s | 19 | 2542675 | 489582 | 16433 59 | 142 | 128
1710.56/1711.04 c 1709s | 19 | 2544208 | 490082 | 16433 59 | 142 | 128
1712.75/1713.26 c 1711s | 19 | 2551547 | 490982 | 16433 59 | 142 | 128
1714.75/1715.28 c 1713s | 19 | 2554677 | 491582 | 16433 59 | 142 | 128
1717.16/1717.60 c 1715s | 19 | 2556896 | 492282 | 16433 59 | 142 | 128
1719.26/1719.70 c 1717s | 19 | 2559421 | 492882 | 16433 59 | 142 | 128
1721.46/1721.95 c 1720s | 19 | 2561511 | 493682 | 16433 59 | 142 | 128
1723.65/1724.12 c 1722s | 19 | 2562985 | 494382 | 16433 59 | 142 | 128
1725.75/1726.24 c 1724s | 19 | 2563833 | 494882 | 16433 59 | 142 | 128
1727.95/1728.41 c 1726s | 19 | 2564854 | 495382 | 16433 59 | 142 | 128
1730.15/1730.63 c 1728s | 19 | 2565856 | 495882 | 16433 59 | 142 | 128
1732.25/1732.75 c 1730s | 19 | 2566361 | 496182 | 16433 59 | 142 | 128
1734.36/1734.82 c 1732s | 19 | 2566521 | 496282 | 16433 60 | 142 | 128
1736.46/1736.95 c 1735s | 19 | 2567643 | 496682 | 16433 60 | 142 | 128
1738.55/1739.08 c 1737s | 19 | 2568819 | 497082 | 16433 60 | 142 | 128
1740.64/1741.18 c 1739s | 19 | 2571367 | 497782 | 16433 60 | 142 | 128
1743.06/1743.53 c 1741s | 19 | 2572470 | 498282 | 16433 60 | 142 | 128
1745.15/1745.65 c 1743s | 19 | 2573590 | 498682 | 16433 60 | 142 | 128
1747.46/1747.99 c 1746s | 19 | 2574214 | 499082 | 16433 60 | 142 | 128
1749.75/1750.21 c 1748s | 19 | 2574650 | 499382 | 16433 60 | 142 | 128
1752.35/1752.85 c 1751s | 19 | 2575039 | 499682 | 16433 60 | 142 | 128
1754.74/1755.20 c 1753s | 19 | 2575453 | 499982 | 16433 60 | 142 | 128
1757.15/1757.66 c 1755s | 19 | 2575936 | 500282 | 16433 60 | 142 | 128
1759.35/1759.87 c 1758s | 19 | 2576434 | 500582 | 16433 60 | 142 | 128
1761.55/1762.08 c 1760s | 19 | 2578252 | 501082 | 16433 60 | 142 | 128
1764.05/1764.54 c 1762s | 19 | 2579204 | 501582 | 16433 60 | 142 | 128
1766.15/1766.60 c 1764s | 19 | 2581452 | 502082 | 16433 60 | 142 | 128
1768.35/1768.84 c 1767s | 19 | 2582328 | 502482 | 16433 60 | 142 | 128
1770.44/1770.93 c 1769s | 19 | 2583718 | 502982 | 16433 60 | 142 | 128
1772.75/1773.26 c 1771s | 19 | 2584384 | 503382 | 16433 60 | 142 | 128
1774.95/1775.48 c 1773s | 19 | 2586088 | 503882 | 16433 60 | 142 | 128
1777.44/1777.93 c 1776s | 19 | 2587797 | 504482 | 16433 60 | 142 | 128
1779.45/1779.96 c 1778s | 19 | 2589219 | 504982 | 16433 60 | 142 | 128
1781.55/1782.02 c 1780s | 19 | 2590436 | 505482 | 16433 60 | 142 | 128
1783.85/1784.36 c 1782s | 19 | 2591407 | 505882 | 16433 60 | 142 | 128
1785.95/1786.41 c 1784s | 19 | 2592788 | 506382 | 16433 60 | 142 | 128
1788.15/1788.66 c 1786s | 19 | 2593480 | 506782 | 16433 60 | 142 | 128
1790.34/1790.82 c 1788s | 19 | 2594714 | 507282 | 16433 60 | 142 | 128
1794.04/1794.57 c 1792s | 19 | 2595385 | 507582 | 16433 61 | 142 | 128
1796.44/1796.97 c 1795s | 19 | 2596503 | 508082 | 16433 61 | 142 | 128
1798.44/1798.99 c 1797s | 19 | 2597306 | 508482 | 16433 61 | 142 | 128
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-4101665-1466226007/watcher-4101665-1466226007 -o /tmp/evaluation-result-4101665-1466226007/solver-4101665-1466226007 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101665-1466226007.opb
pid=17826
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.17 2.15 2.10 3/180 17829
/proc/meminfo: memFree=27955264/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 2954 0 0 0 0 0 0 0 20 0 4 0 24647307 806809600 2803 33554432000 4194304 16246674 140735652238880 140735652238304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17829/statm: 197487 2812 441 2943 0 194381 0
[pid=17829/tid=17830] ppid=17826 vsize=805308 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 824635392 2872 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=810428 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 829878272 2891 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=814524 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24647307 834072576 2907 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[startup+0.10015 s]
/proc/loadavg: 2.17 2.15 2.10 3/180 17829
/proc/meminfo: memFree=27955264/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 27715 0 0 0 6 3 0 0 20 0 4 0 24647307 1333334016 27503 33554432000 4194304 16246674 140735652238880 140735652238192 8056990 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17829/statm: 325521 27517 800 2943 0 322415 0
[pid=17829/tid=17830] ppid=17826 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1333334016 27527 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1333334016 27538 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1333334016 27549 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084
[startup+0.20051 s]
/proc/loadavg: 2.17 2.15 2.10 3/180 17829
/proc/meminfo: memFree=27955264/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 48202 0 0 0 14 5 0 0 20 0 4 0 24647307 1342771200 47989 33554432000 4194304 16246674 140735652238880 140735652238192 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17829/statm: 327825 47994 836 2943 0 324719 0
[pid=17829/tid=17830] ppid=17826 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1342771200 47998 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1342771200 48002 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1342771200 48006 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300
[startup+0.30046 s]
/proc/loadavg: 2.17 2.15 2.10 3/180 17829
/proc/meminfo: memFree=27955264/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 52075 0 0 0 23 6 0 0 20 0 4 0 24647307 1345916928 51863 33554432000 4194304 16246674 140735652238880 140735652238192 6769209 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17829/statm: 328593 51874 836 2943 0 325487 0
[pid=17829/tid=17830] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 51882 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 51894 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 51900 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372
[startup+0.700431 s]
/proc/loadavg: 2.17 2.15 2.10 3/180 17829
/proc/meminfo: memFree=27955264/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 96930 0 0 0 58 11 0 0 20 0 4 0 24647307 1345916928 96717 33554432000 4194304 16246674 140735652238880 140735652237976 12997801 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17829/statm: 328593 96717 919 2943 0 325487 0
[pid=17829/tid=17830] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96717 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96717 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96717 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372
[startup+1.50039 s]
/proc/loadavg: 2.17 2.15 2.10 4/184 17833
/proc/meminfo: memFree=27569352/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 96930 0 0 0 138 11 0 0 20 0 4 0 24647307 1345916928 96717 33554432000 4194304 16246674 140735652238880 140735652237976 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17829/statm: 328593 96717 919 2943 0 325487 0
[pid=17829/tid=17830] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96717 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96717 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96717 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372
[startup+3.10039 s]
/proc/loadavg: 2.16 2.14 2.10 4/184 17833
/proc/meminfo: memFree=27568980/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1314372 CPUtime=3.09 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 96930 0 0 0 298 11 0 0 20 0 4 0 24647307 1345916928 96717 33554432000 4194304 16246674 140735652238880 140735652220800 5712622 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17829/statm: 328593 96717 919 2943 0 325487 0
[pid=17829/tid=17830] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96717 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96717 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96717 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372
[startup+6.30039 s]
/proc/loadavg: 2.16 2.14 2.10 4/184 17833
/proc/meminfo: memFree=27568108/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1314372 CPUtime=6.29 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 96930 0 0 0 618 11 0 0 20 0 4 0 24647307 1345916928 96717 33554432000 4194304 16246674 140735652238880 140735652220800 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17829/statm: 328593 96717 919 2943 0 325487 0
[pid=17829/tid=17830] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96717 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96717 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96717 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372
[startup+12.7004 s]
/proc/loadavg: 2.13 2.14 2.09 4/184 17833
/proc/meminfo: memFree=27561352/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1314372 CPUtime=12.68 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 96932 0 0 0 1257 11 0 0 20 0 4 0 24647307 1345916928 96719 33554432000 4194304 16246674 140735652238880 140735652220800 5667556 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17829/statm: 328593 96719 921 2943 0 325487 0
[pid=17829/tid=17830] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96719 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96719 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96719 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1314372
[startup+25.5005 s]
/proc/loadavg: 2.11 2.13 2.09 4/184 17833
/proc/meminfo: memFree=27555728/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1314372 CPUtime=25.48 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 96933 0 0 0 2536 12 0 0 20 0 4 0 24647307 1345916928 96720 33554432000 4194304 16246674 140735652238880 140735652220800 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17829/statm: 328593 96720 922 2943 0 325487 0
[pid=17829/tid=17830] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96720 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96720 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96720 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372
[startup+51.1005 s]
/proc/loadavg: 2.07 2.12 2.09 3/184 17833
/proc/meminfo: memFree=27542680/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1314372 CPUtime=51.08 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 96933 0 0 0 5094 14 0 0 20 0 4 0 24647307 1345916928 96720 33554432000 4194304 16246674 140735652238880 140735652238056 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17829/statm: 328593 96720 922 2943 0 325487 0
[pid=17829/tid=17830] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96720 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96720 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96720 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372
[startup+102.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 17857
/proc/meminfo: memFree=27521276/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 96933 0 0 0 10211 17 0 0 20 0 4 0 24647307 1345916928 96720 33554432000 4194304 16246674 140735652238880 140735652220800 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17829/statm: 328593 96720 922 2943 0 325487 0
[pid=17829/tid=17830] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96720 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96720 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 96720 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372
################
# More data... #
################
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1345916928 269861 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1314372
[startup+1362.3 s]
/proc/loadavg: 2.18 2.16 2.14 4/183 17938
/proc/meminfo: memFree=28334312/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1315396 CPUtime=1361.91 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 143816 0 0 0 136053 138 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 140735652220800 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17829/statm: 328849 270117 923 2943 0 325743 0
[pid=17829/tid=17830] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1315396
[startup+1422.3 s]
/proc/loadavg: 2.11 2.14 2.13 4/183 17939
/proc/meminfo: memFree=28334060/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1315396 CPUtime=1421.9 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 143816 0 0 0 142048 142 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 140735652220800 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17829/statm: 328849 270117 923 2943 0 325743 0
[pid=17829/tid=17830] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1315396
[startup+1482.3 s]
/proc/loadavg: 2.08 2.13 2.12 3/183 17940
/proc/meminfo: memFree=28333972/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1315396 CPUtime=1481.89 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 143816 0 0 0 148044 145 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 140735652220800 6011952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17829/statm: 328849 270117 923 2943 0 325743 0
[pid=17829/tid=17830] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1315396
[startup+1542.31 s]
/proc/loadavg: 2.17 2.13 2.12 3/183 17941
/proc/meminfo: memFree=28333632/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1315396 CPUtime=1541.89 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 143816 0 0 0 154037 152 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 140735652238056 12483562 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17829/statm: 328849 270117 923 2943 0 325743 0
[pid=17829/tid=17830] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1315396
[startup+1602.3 s]
/proc/loadavg: 2.10 2.12 2.12 3/183 17942
/proc/meminfo: memFree=28333420/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1315396 CPUtime=1601.87 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 143816 0 0 0 160032 155 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 140735652220800 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17829/statm: 328849 270117 923 2943 0 325743 0
[pid=17829/tid=17830] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1315396
[startup+1662.3 s]
/proc/loadavg: 2.03 2.10 2.10 3/183 17944
/proc/meminfo: memFree=28333452/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1315396 CPUtime=1661.86 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 143816 0 0 0 166028 158 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 140735652220800 5545724 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17829/statm: 328849 270117 923 2943 0 325743 0
[pid=17829/tid=17830] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1315396
[startup+1722.3 s]
/proc/loadavg: 2.01 2.08 2.09 3/183 17945
/proc/meminfo: memFree=28332956/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1315396 CPUtime=1721.86 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 143816 0 0 0 172022 164 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 140735652220800 12483226 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17829/statm: 328849 270117 923 2943 0 325743 0
[pid=17829/tid=17830] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1315396
[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 2.09 3/183 17946
/proc/meminfo: memFree=28332888/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1315396 CPUtime=1781.85 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 143816 0 0 0 178016 169 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 140735652237976 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17829/statm: 328849 270117 923 2943 0 325743 0
[pid=17829/tid=17830] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1315396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.06 2.08 3/184 17949
/proc/meminfo: memFree=28333224/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1315396 CPUtime=1800.04 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 143816 0 0 0 179834 170 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 140735652220800 5722540 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17829/statm: 328849 270117 923 2943 0 325743 0
[pid=17829/tid=17830] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1315396
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 17829 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.06 2.08 3/184 17949
/proc/meminfo: memFree=28333224/32872528 swapFree=1191052/1305516
[pid=17829] ppid=17826 vsize=1315396 CPUtime=1800.04 cores=1,3,5,7
/proc/17829/stat : 17829 (toysat) R 17826 17829 14522 0 -1 4202496 143816 0 0 0 179834 170 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 140735652220800 5722540 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17829/statm: 328849 270117 923 2943 0 325743 0
[pid=17829/tid=17830] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17830/stat : 17830 (toysat) S 17826 17829 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892320349424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17829/tid=17831] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17831/stat : 17831 (toysat) S 17826 17829 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892309859568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17829/tid=17832] ppid=17826 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17829/task/17832/stat : 17832 (toysat) S 17826 17829 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24647307 1346965504 270117 33554432000 4194304 16246674 140735652238880 139892299386032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1315396
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1798.35
CPU system time (s): 1.70774
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1315396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.35
system time used= 1.70774
maximum resident set size= 1080468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143816
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= 256
involuntary context switches= 2096
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6113 second user time and 6.92695 second system time
The end