0.00/0.00 c 2016-06-18T01:59:03+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-4099785-1466207942.opb"]
0.00/0.01 c use --random-gen="759058281 564621658 2274257179 443697297 3348744292 1765755645 3395433992 869668634 1403272968 2135172147 2044631583 3153609032 3749170697 1761409748 277082863 1285814188 2259175694 1471351642 907317413 1190170456 1936470735 46791812 3784873476 3485651019 1346072609 549817502 2379192503 1198550014 1611108790 2164289260 3316942511 2958997718 3518352625 360229038 851641484 1382333848 937141079 360640046 2708614901 3933941849 1091384256 2142231406 2768438053 1756100383 3169970297 291660400 1413816215 1117774062 4016421079 2956712027 1167158051 3481306809 2511916675 1429356685 82829684 857745618 243230773 935735703 3432598194 3362714940 2518169596 3111863431 2872148488 3493362707 2685330598 1994871161 4109207621 1845517078 466978354 1803693422 684057139 3191265881 33762225 1557951781 3961164694 1468668989 1150424976 107021477 3890430285 908251387 3348910262 3221782648 3498797962 742323577 1561774858 1036573494 788465759 3256483704 2686839425 817512586 3512436157 1768577302 3393544920 252783706 3269125793 4170050854 848282881 1499589661 15625407 2682127312 241113447 2603304418 3141023513 3204533284 1708401714 3398064846 3648282598 3090014276 3056488190 3231294173 2540085865 3838408191 731444848 462930768 107257379 4217355132 2523537992 1479070424 363336619 2274876618 4034544369 2070525739 28540717 1663299970 4275538567 4011092387 3178091970 804252967 3739692387 2392041466 2842256667 2809431036 563977089 1630303293 1941145167 1599097792 3257198897 2992671057 1205431723 2031328051 935164265 1917989919 453758273 1762486106 2593335339 2466721058 1945749851 1448255820 1205784990 2785578608 4271937011 2831245518 3678601072 2762079026 2663047234 879809863 523498754 1023090208 4211136081 602753739 730034778 3088171700 2256016667 2442164026 3453781576 1323841173 3242957672 2449656340 3914779767 3955207835 3846284231 342465365 212302880 1487380560 3776461362 1133472376 2881623793 332237514 1009373969 2035600196 2112584758 4243344601 448597479 3777127367 1289343539 883169867 2064468810 2788280368 1193048034 4143856582 2007063513 1788334164 3671115021 342554916 3237616275 1126826899 3945629554 1271076240 4226856969 1085955638 3682569982 477680026 847514027 1180680110 1368596986 3738896216 1315572053 1764880994 2883977945 1927686218 2020390351 731423965 1432359664 4189263453 980715937 1423565707 4172538540 2433720405 359651210 2449121019 213909593 3876329420 1072186710 622739732 2674021319 293628997 605326123 805284449 3772737543 1718398074 1208492062 3257985632 1307821639 2023582344 348093583 3313848241 1856665945 1469848369 3443777588 3713644268 3515408605 1388457774 3020672013 1832195286 4000779013 2528745512 3022768902 1752591960 54072557 1738374209 2877361072 75832629 3635327675 2731600265 3510774773 63736985 255 362436" option to reproduce the execution
0.09/0.14 c #vars 7195
0.09/0.14 c #constraints 426
0.29/0.38 c BCD2: Hardening is enabled.
0.29/0.38 c BCD2: BiasedSearch is enabled.
0.29/0.38 c Solving starts ...
0.29/0.38 c ============================[ Search Statistics ]============================
0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.38 c | | | | Limit GC | Var | Constra
0.29/0.38 c =============================================================================
0.29/0.38 c 0.0s | 0 | 0 | 0 | 2682 0 | 0 | 0
0.49/0.56 c 0.2s | 1 | 1040 | 100 | 2682 0 | 0 | 0
0.69/0.72 c 0.3s | 2 | 6102 | 250 | 2951 0 | 0 | 0
0.99/1.03 c 0.7s | 3 | 10800 | 475 | 3247 0 | 1 | 0
1.19/1.24 c 0.9s | 3 | 13534 | 614 | 3572 0 | 1 | 0
1.19/1.24 c #cpu_time = 0.853s
1.19/1.24 c #wall_clock_time = 0.855s
1.19/1.24 c #decision = 13534
1.19/1.24 c #random_decision = 34
1.19/1.24 c #conflict = 614
1.19/1.24 c #restart = 3
1.19/1.24 o 49674
1.19/1.24 c BCD2: updating upper bound: 3908448 -> 49673
1.19/1.28 c BCD2: 0 <= obj <= 49673
1.19/1.28 c BCD2: #cores=0, #unrelaxed=7195, #relaxed=0, #hardened=0
1.19/1.28 c BCD2: #sat=1 #unsat=1 bias=1/2
1.19/1.28 c Solving starts ...
1.19/1.28 c ============================[ Search Statistics ]============================
1.19/1.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.28 c | | | | Limit GC | Var | Constra
1.19/1.28 c =============================================================================
1.19/1.28 c 0.0s | 0 | 0 | 0 | 3572 0 | 1 | 0
1.29/1.30 c 0.0s | 0 | 3665 | 1 | 3572 0 | 1 | 0
1.29/1.30 c #cpu_time = 0.023s
1.29/1.30 c #wall_clock_time = 0.023s
1.29/1.30 c #decision = 3665
1.29/1.30 c #random_decision = 0
1.29/1.30 c #conflict = 1
1.29/1.30 c #restart = 0
1.29/1.30 c BCD2: found a new core of size 163: cost of the new core is >=41
1.29/1.30 c lower bound updated to 41
1.29/1.31 c BCD2: 41 <= obj <= 49673
1.29/1.31 c BCD2: #cores=1, #unrelaxed=7032, #relaxed=163, #hardened=0
1.29/1.31 c BCD2: #sat=1 #unsat=2 bias=2/3
1.29/1.31 c Solving starts ...
1.29/1.31 c ============================[ Search Statistics ]============================
1.29/1.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.29/1.31 c | | | | Limit GC | Var | Constra
1.29/1.31 c =============================================================================
1.29/1.31 c 0.0s | 0 | 0 | 0 | 3572 0 | 1 | 0
1.29/1.34 c 0.0s | 0 | 3956 | 0 | 3572 0 | 1 | 0
1.29/1.34 c #cpu_time = 0.023s
1.29/1.34 c #wall_clock_time = 0.023s
1.29/1.34 c #decision = 3956
1.29/1.34 c #random_decision = 0
1.29/1.34 c #conflict = 0
1.29/1.34 c #restart = 0
1.29/1.34 c BCD2: found a new core of size 19: cost of the new core is >=374
1.29/1.34 c lower bound updated to 415
1.29/1.34 c BCD2: 415 <= obj <= 49673
1.29/1.34 c BCD2: #cores=2, #unrelaxed=7013, #relaxed=182, #hardened=0
1.29/1.34 c BCD2: #sat=1 #unsat=3 bias=3/4
1.29/1.39 c Solving starts ...
1.29/1.39 c ============================[ Search Statistics ]============================
1.29/1.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.29/1.39 c | | | | Limit GC | Var | Constra
1.29/1.39 c =============================================================================
1.29/1.39 c 0.0s | 0 | 0 | 0 | 3572 0 | 1 | 4
1.38/1.41 c 0.0s | 0 | 5013 | 0 | 3572 0 | 1 | 4
1.38/1.41 c #cpu_time = 0.023s
1.38/1.41 c #wall_clock_time = 0.023s
1.38/1.41 c #decision = 5013
1.38/1.41 c #random_decision = 0
1.38/1.41 c #conflict = 0
1.38/1.41 c #restart = 0
1.38/1.41 c BCD2: found a new core of size 16: cost of the new core is >=223
1.38/1.41 c lower bound updated to 638
1.38/1.42 c BCD2: 638 <= obj <= 49673
1.38/1.42 c BCD2: #cores=3, #unrelaxed=6997, #relaxed=198, #hardened=0
1.38/1.42 c BCD2: #sat=1 #unsat=4 bias=4/5
1.48/1.50 c Solving starts ...
1.48/1.50 c ============================[ Search Statistics ]============================
1.48/1.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.48/1.50 c | | | | Limit GC | Var | Constra
1.48/1.50 c =============================================================================
1.48/1.50 c 0.0s | 0 | 0 | 0 | 3572 0 | 1 | 5
1.48/1.52 c 0.0s | 0 | 5006 | 0 | 3572 0 | 1 | 5
1.48/1.52 c #cpu_time = 0.022s
1.48/1.52 c #wall_clock_time = 0.022s
1.48/1.52 c #decision = 5006
1.48/1.52 c #random_decision = 0
1.48/1.52 c #conflict = 0
1.48/1.52 c #restart = 0
1.48/1.52 c BCD2: relaxing 24 and merging with 1 cores into a new core of size 40: cost of the new core is >=267
1.48/1.52 c BCD2: refineLB: 259 -> 267
1.48/1.52 c lower bound updated to 682
1.48/1.53 c BCD2: 682 <= obj <= 49673
1.48/1.53 c BCD2: #cores=3, #unrelaxed=6973, #relaxed=222, #hardened=0
1.48/1.53 c BCD2: #sat=1 #unsat=5 bias=5/6
1.58/1.62 c Solving starts ...
1.58/1.62 c ============================[ Search Statistics ]============================
1.58/1.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.58/1.62 c | | | | Limit GC | Var | Constra
1.58/1.62 c =============================================================================
1.58/1.62 c 0.0s | 0 | 0 | 0 | 3572 0 | 2 | 5
1.58/1.64 c 0.0s | 0 | 5186 | 0 | 3572 0 | 2 | 6
1.58/1.64 c #cpu_time = 0.022s
1.58/1.64 c #wall_clock_time = 0.022s
1.58/1.64 c #decision = 5186
1.58/1.64 c #random_decision = 0
1.58/1.64 c #conflict = 0
1.58/1.64 c #restart = 0
1.58/1.64 c BCD2: relaxing 10 and merging with 1 cores into a new core of size 29: cost of the new core is >=387
1.58/1.64 c BCD2: refineLB: 375 -> 387
1.58/1.64 c lower bound updated to 695
1.58/1.65 c BCD2: 695 <= obj <= 49673
1.58/1.65 c BCD2: #cores=3, #unrelaxed=6963, #relaxed=232, #hardened=0
1.58/1.65 c BCD2: #sat=1 #unsat=6 bias=6/7
1.68/1.73 c Solving starts ...
1.68/1.73 c ============================[ Search Statistics ]============================
1.68/1.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.68/1.73 c | | | | Limit GC | Var | Constra
1.68/1.73 c =============================================================================
1.68/1.73 c 0.0s | 0 | 0 | 0 | 3572 0 | 3 | 6
1.68/1.76 c 0.0s | 0 | 5329 | 1 | 3572 0 | 3 | 7
1.68/1.76 c #cpu_time = 0.022s
1.68/1.76 c #wall_clock_time = 0.022s
1.68/1.76 c #decision = 5329
1.68/1.76 c #random_decision = 0
1.68/1.76 c #conflict = 1
1.68/1.76 c #restart = 0
1.68/1.76 c BCD2: relaxing 49 and merging with 1 cores into a new core of size 89: cost of the new core is >=325
1.68/1.76 c BCD2: refineLB: 324 -> 325
1.68/1.76 c lower bound updated to 753
1.68/1.76 c BCD2: 753 <= obj <= 49673
1.68/1.76 c BCD2: #cores=3, #unrelaxed=6914, #relaxed=281, #hardened=0
1.68/1.76 c BCD2: #sat=1 #unsat=7 bias=7/8
1.68/1.79 c Solving starts ...
1.68/1.79 c ============================[ Search Statistics ]============================
1.68/1.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.68/1.79 c | | | | Limit GC | Var | Constra
1.68/1.79 c =============================================================================
1.68/1.79 c 0.0s | 0 | 0 | 0 | 3572 0 | 5 | 7
1.78/1.82 c 0.0s | 0 | 5415 | 0 | 3572 0 | 5 | 10
1.78/1.82 c #cpu_time = 0.022s
1.78/1.82 c #wall_clock_time = 0.022s
1.78/1.82 c #decision = 5415
1.78/1.82 c #random_decision = 0
1.78/1.82 c #conflict = 0
1.78/1.82 c #restart = 0
1.78/1.82 c BCD2: found a new core of size 28: cost of the new core is >=217
1.78/1.82 c lower bound updated to 970
1.78/1.82 c BCD2: 970 <= obj <= 49673
1.78/1.82 c BCD2: #cores=4, #unrelaxed=6886, #relaxed=309, #hardened=0
1.78/1.82 c BCD2: #sat=1 #unsat=8 bias=8/9
1.78/1.87 c Solving starts ...
1.78/1.87 c ============================[ Search Statistics ]============================
1.78/1.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.78/1.87 c | | | | Limit GC | Var | Constra
1.78/1.87 c =============================================================================
1.78/1.87 c 0.0s | 0 | 0 | 0 | 3572 0 | 5 | 11
1.78/1.89 c 0.0s | 0 | 5407 | 0 | 3572 0 | 5 | 11
1.78/1.89 c #cpu_time = 0.022s
1.78/1.89 c #wall_clock_time = 0.022s
1.78/1.89 c #decision = 5407
1.78/1.89 c #random_decision = 0
1.78/1.89 c #conflict = 0
1.78/1.89 c #restart = 0
1.78/1.89 c BCD2: found a new core of size 121: cost of the new core is >=199
1.78/1.89 c lower bound updated to 1169
1.78/1.89 c BCD2: 1169 <= obj <= 49673
1.78/1.89 c BCD2: #cores=5, #unrelaxed=6765, #relaxed=430, #hardened=0
1.78/1.89 c BCD2: #sat=1 #unsat=9 bias=9/10
1.88/1.98 c Solving starts ...
1.88/1.98 c ============================[ Search Statistics ]============================
1.88/1.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.88/1.98 c | | | | Limit GC | Var | Constra
1.88/1.98 c =============================================================================
1.88/1.98 c 0.0s | 0 | 0 | 0 | 3572 0 | 5 | 12
1.98/2.00 c 0.0s | 0 | 5426 | 0 | 3572 0 | 5 | 12
1.98/2.00 c #cpu_time = 0.022s
1.98/2.00 c #wall_clock_time = 0.022s
1.98/2.00 c #decision = 5426
1.98/2.00 c #random_decision = 0
1.98/2.00 c #conflict = 0
1.98/2.00 c #restart = 0
1.98/2.00 c BCD2: found a new core of size 20: cost of the new core is >=68
1.98/2.00 c lower bound updated to 1237
1.98/2.00 c BCD2: 1237 <= obj <= 49673
1.98/2.00 c BCD2: #cores=6, #unrelaxed=6745, #relaxed=450, #hardened=0
1.98/2.00 c BCD2: #sat=1 #unsat=10 bias=10/11
2.08/2.12 c Solving starts ...
2.08/2.12 c ============================[ Search Statistics ]============================
2.08/2.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.08/2.12 c | | | | Limit GC | Var | Constra
2.08/2.12 c =============================================================================
2.08/2.12 c 0.0s | 0 | 0 | 0 | 3572 0 | 5 | 13
2.08/2.14 c 0.0s | 0 | 6365 | 2 | 3572 0 | 5 | 13
2.08/2.14 c #cpu_time = 0.023s
2.08/2.14 c #wall_clock_time = 0.023s
2.08/2.14 c #decision = 6365
2.08/2.14 c #random_decision = 0
2.08/2.14 c #conflict = 2
2.08/2.14 c #restart = 0
2.08/2.14 c BCD2: found a new core of size 40: cost of the new core is >=43
2.08/2.14 c lower bound updated to 1280
2.08/2.15 c BCD2: 1280 <= obj <= 49673
2.08/2.15 c BCD2: #cores=7, #unrelaxed=6705, #relaxed=490, #hardened=0
2.08/2.15 c BCD2: #sat=1 #unsat=11 bias=11/12
2.69/2.73 c Solving starts ...
2.69/2.73 c ============================[ Search Statistics ]============================
2.69/2.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.73 c | | | | Limit GC | Var | Constra
2.69/2.73 c =============================================================================
2.69/2.73 c 0.0s | 0 | 0 | 0 | 3572 0 | 5 | 13
2.69/2.76 c 0.0s | 0 | 5850 | 1 | 3572 0 | 5 | 13
2.69/2.76 c #cpu_time = 0.034s
2.69/2.76 c #wall_clock_time = 0.034s
2.69/2.76 c #decision = 5850
2.69/2.76 c #random_decision = 0
2.69/2.76 c #conflict = 1
2.69/2.76 c #restart = 0
2.69/2.77 c BCD2: found a new core of size 246: cost of the new core is >=75
2.69/2.77 c lower bound updated to 1355
2.69/2.77 c BCD2: 1355 <= obj <= 49673
2.69/2.77 c BCD2: #cores=8, #unrelaxed=6459, #relaxed=736, #hardened=0
2.69/2.77 c BCD2: #sat=1 #unsat=12 bias=12/13
2.89/2.94 c Solving starts ...
2.89/2.94 c ============================[ Search Statistics ]============================
2.89/2.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.89/2.94 c | | | | Limit GC | Var | Constra
2.89/2.94 c =============================================================================
2.89/2.94 c 0.0s | 0 | 0 | 0 | 3572 0 | 5 | 13
2.89/2.97 c 0.0s | 0 | 5645 | 1 | 3572 0 | 5 | 13
2.89/2.97 c #cpu_time = 0.033s
2.89/2.97 c #wall_clock_time = 0.034s
2.89/2.97 c #decision = 5645
2.89/2.97 c #random_decision = 0
2.89/2.97 c #conflict = 1
2.89/2.97 c #restart = 0
2.89/2.97 c BCD2: found a new core of size 142: cost of the new core is >=35
2.89/2.97 c lower bound updated to 1390
2.89/2.98 c BCD2: 1390 <= obj <= 49673
2.89/2.98 c BCD2: #cores=9, #unrelaxed=6317, #relaxed=878, #hardened=0
2.89/2.98 c BCD2: #sat=1 #unsat=13 bias=13/14
3.19/3.22 c Solving starts ...
3.19/3.22 c ============================[ Search Statistics ]============================
3.19/3.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.19/3.22 c | | | | Limit GC | Var | Constra
3.19/3.22 c =============================================================================
3.19/3.22 c 0.0s | 0 | 0 | 0 | 3572 0 | 5 | 13
3.19/3.25 c 0.0s | 0 | 5689 | 0 | 3572 0 | 5 | 13
3.19/3.25 c #cpu_time = 0.024s
3.19/3.25 c #wall_clock_time = 0.024s
3.19/3.25 c #decision = 5689
3.19/3.25 c #random_decision = 0
3.19/3.25 c #conflict = 0
3.19/3.25 c #restart = 0
3.19/3.25 c BCD2: found a new core of size 40: cost of the new core is >=193
3.19/3.25 c lower bound updated to 1583
3.19/3.25 c BCD2: 1583 <= obj <= 49673
3.19/3.25 c BCD2: #cores=10, #unrelaxed=6277, #relaxed=918, #hardened=0
3.19/3.25 c BCD2: #sat=1 #unsat=14 bias=14/15
3.40/3.48 c Solving starts ...
3.40/3.48 c ============================[ Search Statistics ]============================
3.40/3.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.40/3.48 c | | | | Limit GC | Var | Constra
3.40/3.48 c =============================================================================
3.40/3.48 c 0.0s | 0 | 0 | 0 | 3572 0 | 5 | 14
3.49/3.51 c 0.0s | 0 | 5652 | 0 | 3572 0 | 5 | 14
3.49/3.51 c #cpu_time = 0.024s
3.49/3.51 c #wall_clock_time = 0.024s
3.49/3.51 c #decision = 5652
3.49/3.51 c #random_decision = 0
3.49/3.51 c #conflict = 0
3.49/3.51 c #restart = 0
3.49/3.51 c BCD2: relaxing 146 and merging with 1 cores into a new core of size 309: cost of the new core is >=119
3.49/3.51 c lower bound updated to 1661
3.49/3.51 c BCD2: 1661 <= obj <= 49673
3.49/3.51 c BCD2: #cores=10, #unrelaxed=6131, #relaxed=1064, #hardened=0
3.49/3.51 c BCD2: #sat=1 #unsat=15 bias=15/16
3.59/3.66 c Solving starts ...
3.59/3.66 c ============================[ Search Statistics ]============================
3.59/3.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.59/3.66 c | | | | Limit GC | Var | Constra
3.59/3.66 c =============================================================================
3.59/3.66 c 0.0s | 0 | 0 | 0 | 3572 0 | 18 | 14
3.59/3.69 c 0.0s | 0 | 5745 | 3 | 3572 0 | 18 | 39
3.59/3.69 c #cpu_time = 0.026s
3.59/3.69 c #wall_clock_time = 0.026s
3.59/3.69 c #decision = 5745
3.59/3.69 c #random_decision = 0
3.59/3.69 c #conflict = 3
3.59/3.69 c #restart = 0
3.59/3.69 c BCD2: relaxing 163 and merging with 1 cores into a new core of size 191: cost of the new core is >=260
3.59/3.69 c lower bound updated to 1704
3.59/3.69 c BCD2: 1704 <= obj <= 49673
3.59/3.69 c BCD2: #cores=10, #unrelaxed=5968, #relaxed=1227, #hardened=0
3.59/3.69 c BCD2: #sat=1 #unsat=16 bias=16/17
4.09/4.17 c Solving starts ...
4.09/4.17 c ============================[ Search Statistics ]============================
4.09/4.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
4.09/4.17 c | | | | Limit GC | Var | Constra
4.09/4.17 c =============================================================================
4.09/4.17 c 0.0s | 0 | 0 | 0 | 3572 0 | 26 | 39
4.19/4.20 c 0.0s | 0 | 5598 | 1 | 3572 0 | 26 | 54
4.19/4.20 c #cpu_time = 0.025s
4.19/4.20 c #wall_clock_time = 0.025s
4.19/4.20 c #decision = 5598
4.19/4.20 c #random_decision = 0
4.19/4.20 c #conflict = 1
4.19/4.20 c #restart = 0
4.19/4.20 c BCD2: found a new core of size 348: cost of the new core is >=209
4.19/4.20 c lower bound updated to 1913
4.19/4.21 c BCD2: 1913 <= obj <= 49673
4.19/4.21 c BCD2: #cores=11, #unrelaxed=5620, #relaxed=1575, #hardened=0
4.19/4.21 c BCD2: #sat=1 #unsat=17 bias=17/18
4.29/4.37 c Solving starts ...
4.29/4.37 c ============================[ Search Statistics ]============================
4.29/4.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
4.29/4.37 c | | | | Limit GC | Var | Constra
4.29/4.37 c =============================================================================
4.29/4.37 c 0.0s | 0 | 0 | 0 | 3572 0 | 26 | 54
4.29/4.40 c 0.0s | 0 | 5294 | 0 | 3572 0 | 26 | 54
4.29/4.40 c #cpu_time = 0.023s
4.29/4.40 c #wall_clock_time = 0.024s
4.29/4.40 c #decision = 5294
4.29/4.40 c #random_decision = 0
4.29/4.40 c #conflict = 0
4.29/4.40 c #restart = 0
4.29/4.40 c BCD2: found a new core of size 66: cost of the new core is >=35
4.29/4.40 c lower bound updated to 1948
4.29/4.40 c BCD2: 1948 <= obj <= 49673
4.29/4.40 c BCD2: #cores=12, #unrelaxed=5554, #relaxed=1641, #hardened=0
4.29/4.40 c BCD2: #sat=1 #unsat=18 bias=18/19
4.79/4.80 c Solving starts ...
4.79/4.80 c ============================[ Search Statistics ]============================
4.79/4.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
4.79/4.80 c | | | | Limit GC | Var | Constra
4.79/4.80 c =============================================================================
4.79/4.80 c 0.0s | 0 | 0 | 0 | 3572 0 | 26 | 55
4.79/4.82 c 0.0s | 0 | 6082 | 1 | 3572 0 | 26 | 55
4.79/4.82 c #cpu_time = 0.025s
4.79/4.82 c #wall_clock_time = 0.025s
4.79/4.82 c #decision = 6082
4.79/4.82 c #random_decision = 0
4.79/4.82 c #conflict = 1
4.79/4.82 c #restart = 0
4.79/4.83 c BCD2: relaxing 168 and merging with 2 cores into a new core of size 274: cost of the new core is >=230
4.79/4.83 c BCD2: refineLB: 229 -> 230
4.79/4.83 c lower bound updated to 1950
4.79/4.83 c BCD2: 1950 <= obj <= 49673
4.79/4.83 c BCD2: #cores=11, #unrelaxed=5386, #relaxed=1809, #hardened=0
4.79/4.83 c BCD2: #sat=1 #unsat=19 bias=19/20
5.39/5.45 c Solving starts ...
5.39/5.45 c ============================[ Search Statistics ]============================
5.39/5.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
5.39/5.45 c | | | | Limit GC | Var | Constra
5.39/5.45 c =============================================================================
5.39/5.45 c 0.0s | 0 | 0 | 0 | 3572 0 | 32 | 55
5.69/5.73 c 0.0s | 0 | 6023 | 8 | 3572 0 | 32 | 65
5.69/5.73 c #cpu_time = 0.033s
5.69/5.73 c #wall_clock_time = 0.033s
5.69/5.73 c #decision = 6023
5.69/5.73 c #random_decision = 0
5.69/5.73 c #conflict = 8
5.69/5.73 c #restart = 0
5.69/5.73 c BCD2: found a new core of size 595: cost of the new core is >=191
5.69/5.73 c lower bound updated to 2141
5.69/5.73 c BCD2: 2141 <= obj <= 49673
5.69/5.73 c BCD2: #cores=12, #unrelaxed=4791, #relaxed=2404, #hardened=0
5.69/5.73 c BCD2: #sat=1 #unsat=20 bias=20/21
5.69/5.73 c Solving starts ...
5.69/5.73 c ============================[ Search Statistics ]============================
5.69/5.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
5.69/5.73 c | | | | Limit GC | Var | Constra
5.69/5.73 c =============================================================================
5.69/5.73 c 0.0s | 0 | 0 | 0 | 3572 0 | 32 | 65
5.69/5.73 c 0.1s | 0 | 11944 | 57 | 3572 0 | 32 | 65
5.69/5.73 c #cpu_time = 0.086s
5.69/5.73 c #wall_clock_time = 0.086s
5.69/5.73 c #decision = 11944
5.69/5.73 c #random_decision = 4
5.69/5.73 c #conflict = 57
5.69/5.73 c #restart = 0
5.69/5.73 c BCD2: relaxing 966 and merging with 3 cores into a new core of size 1147: cost of the new core is >=351
5.69/5.73 c lower bound updated to 2182
5.69/5.73 c BCD2: 2182 <= obj <= 49673
5.69/5.73 c BCD2: #cores=10, #unrelaxed=3825, #relaxed=3370, #hardened=0
5.69/5.73 c BCD2: #sat=1 #unsat=21 bias=21/22
5.69/5.75 c Solving starts ...
5.69/5.75 c ============================[ Search Statistics ]============================
5.69/5.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
5.69/5.75 c | | | | Limit GC | Var | Constra
5.69/5.75 c =============================================================================
5.69/5.75 c 0.0s | 0 | 0 | 0 | 3572 0 | 65 | 65
5.79/5.89 c 0.1s | 1 | 5779 | 100 | 3572 0 | 65 | 128
5.99/6.05 c 0.3s | 2 | 15281 | 250 | 3930 0 | 65 | 128
6.39/6.43 c 0.7s | 3 | 20788 | 475 | 3930 0 | 65 | 128
6.79/6.87 c 1.1s | 4 | 34563 | 813 | 4323 0 | 65 | 128
7.39/7.42 c 1.7s | 5 | 46425 | 1320 | 4323 0 | 65 | 128
8.59/8.60 c 2.8s | 6 | 76417 | 2081 | 4756 0 | 67 | 128
10.49/10.59 c 4.8s | 7 | 109588 | 3223 | 5232 0 | 68 | 128
12.78/12.82 c 7.1s | 7 | 131994 | 4423 | 5756 0 | 70 | 128
13.78/13.81 c 8.1s | 8 | 147513 | 4936 | 5756 0 | 71 | 128
15.78/15.87 c 10.1s | 8 | 164901 | 6036 | 5756 1 | 72 | 128
17.89/17.99 c 12.2s | 8 | 179507 | 7036 | 6332 1 | 73 | 128
18.79/18.83 c 13.1s | 9 | 186999 | 7506 | 6332 1 | 74 | 128
20.89/20.97 c 15.2s | 9 | 216932 | 8406 | 6332 1 | 76 | 128
22.98/23.04 c 17.3s | 9 | 235638 | 9606 | 6332 2 | 76 | 128
25.18/25.20 c 19.5s | 9 | 250117 | 10606 | 6332 2 | 76 | 128
26.28/26.39 c 20.6s | 10 | 258251 | 11361 | 6966 2 | 76 | 128
28.39/28.40 c 22.6s | 10 | 264294 | 12061 | 6966 2 | 76 | 128
30.39/30.43 c 24.7s | 10 | 272211 | 12961 | 6966 2 | 76 | 128
32.49/32.51 c 26.8s | 10 | 279244 | 13561 | 6966 3 | 77 | 128
34.48/34.54 c 28.8s | 10 | 294213 | 14361 | 6966 3 | 79 | 128
36.68/36.77 c 31.0s | 10 | 304406 | 15561 | 6966 3 | 79 | 128
38.98/39.01 c 33.3s | 10 | 311670 | 16161 | 6966 3 | 80 | 128
40.69/40.76 c 35.0s | 11 | 320262 | 17144 | 7663 3 | 80 | 128
42.99/43.01 c 37.3s | 11 | 332943 | 18044 | 7663 3 | 80 | 128
45.09/45.11 c 39.4s | 11 | 345234 | 18744 | 7663 4 | 80 | 128
47.18/47.25 c 41.5s | 11 | 359167 | 19844 | 7663 4 | 80 | 128
49.28/49.34 c 43.6s | 11 | 378225 | 20844 | 7663 4 | 81 | 128
51.58/51.67 c 45.9s | 11 | 383778 | 21744 | 7663 4 | 81 | 128
53.68/53.78 c 48.0s | 11 | 386765 | 22444 | 7663 4 | 81 | 128
55.88/55.95 c 50.2s | 11 | 388499 | 23044 | 7663 4 | 81 | 128
58.08/58.13 c 52.4s | 11 | 394568 | 23544 | 7663 5 | 81 | 128
60.08/60.14 c 54.4s | 11 | 400552 | 24344 | 7663 5 | 81 | 128
62.38/62.41 c 56.7s | 11 | 401156 | 24644 | 7663 5 | 81 | 128
64.47/64.57 c 58.8s | 11 | 402274 | 24944 | 7663 5 | 81 | 128
66.68/66.73 c 61.0s | 12 | 408603 | 25819 | 8430 5 | 81 | 128
68.68/68.76 c 63.0s | 12 | 422631 | 26619 | 8430 5 | 81 | 128
71.08/71.17 c 65.4s | 12 | 424429 | 27219 | 8430 5 | 81 | 128
73.79/73.82 c 68.1s | 12 | 445375 | 27819 | 8430 6 | 81 | 128
75.78/75.85 c 70.1s | 12 | 451306 | 28619 | 8430 6 | 81 | 128
77.78/77.88 c 72.1s | 12 | 463447 | 29419 | 8430 6 | 81 | 128
79.97/80.00 c 74.3s | 12 | 469324 | 30219 | 8430 6 | 81 | 128
82.18/82.25 c 76.5s | 12 | 480998 | 30919 | 8430 6 | 81 | 128
84.28/84.33 c 78.6s | 12 | 484475 | 31619 | 8430 6 | 81 | 128
86.98/87.03 c 81.3s | 12 | 485426 | 31919 | 8430 6 | 81 | 128
88.98/89.07 c 83.3s | 12 | 486395 | 32319 | 8430 6 | 81 | 128
91.08/91.17 c 85.4s | 12 | 489435 | 32919 | 8430 6 | 81 | 128
93.17/93.20 c 87.4s | 12 | 492835 | 33619 | 8430 6 | 81 | 128
95.27/95.39 c 89.6s | 12 | 496403 | 34419 | 8430 6 | 81 | 128
97.37/97.49 c 91.7s | 12 | 499024 | 34919 | 8430 6 | 81 | 128
99.57/99.63 c 93.9s | 12 | 502707 | 35619 | 8430 6 | 81 | 128
101.97/102.00 c 96.2s | 12 | 504307 | 36019 | 8430 6 | 81 | 128
104.17/104.28 c 98.5s | 12 | 506496 | 36419 | 8430 7 | 81 | 128
106.57/106.64 c 100s | 12 | 511155 | 36819 | 8430 7 | 81 | 128
109.07/109.10 c 103s | 12 | 511966 | 37119 | 8430 7 | 81 | 128
111.37/111.41 c 105s | 12 | 520457 | 37819 | 8430 7 | 82 | 128
113.57/113.65 c 107s | 12 | 526367 | 38419 | 9273 7 | 83 | 128
114.77/114.82 c 109s | 13 | 528181 | 38832 | 9273 7 | 83 | 128
116.87/116.91 c 111s | 13 | 533171 | 39332 | 9273 7 | 83 | 128
118.97/119.06 c 113s | 13 | 534217 | 39732 | 9273 7 | 83 | 128
120.98/121.08 c 115s | 13 | 537258 | 40532 | 9273 7 | 83 | 128
123.28/123.36 c 117s | 13 | 542225 | 40932 | 9273 8 | 83 | 128
125.38/125.45 c 119s | 13 | 554648 | 41932 | 9273 8 | 83 | 128
127.47/127.58 c 121s | 13 | 561011 | 42732 | 9273 8 | 83 | 128
129.66/129.76 c 124s | 13 | 566987 | 43732 | 9273 8 | 83 | 128
131.87/131.93 c 126s | 13 | 569471 | 44432 | 9273 8 | 83 | 128
133.87/133.94 c 128s | 13 | 572549 | 45032 | 9273 8 | 83 | 128
136.16/136.26 c 130s | 13 | 577075 | 45732 | 9273 8 | 83 | 128
138.47/138.57 c 132s | 13 | 579722 | 46432 | 9273 8 | 83 | 128
140.97/141.02 c 135s | 13 | 581044 | 46932 | 9273 8 | 83 | 128
143.37/143.42 c 137s | 13 | 582695 | 47232 | 9273 8 | 83 | 128
145.47/145.53 c 139s | 13 | 583470 | 47532 | 9273 8 | 83 | 128
147.86/147.91 c 142s | 13 | 588723 | 47932 | 9273 9 | 83 | 128
149.96/150.02 c 144s | 13 | 592967 | 48832 | 9273 9 | 83 | 128
151.96/152.05 c 146s | 13 | 600413 | 49832 | 9273 9 | 83 | 128
153.98/154.08 c 148s | 13 | 602322 | 50532 | 9273 9 | 83 | 128
156.46/156.51 c 150s | 13 | 604941 | 51032 | 9273 9 | 83 | 128
158.66/158.78 c 153s | 13 | 607306 | 51632 | 9273 9 | 83 | 128
160.67/160.79 c 155s | 13 | 609119 | 52132 | 9273 9 | 83 | 128
162.87/162.92 c 157s | 13 | 611357 | 52832 | 9273 9 | 83 | 128
164.86/164.96 c 159s | 13 | 615848 | 53132 | 9273 10 | 83 | 128
166.96/167.05 c 161s | 13 | 620492 | 53932 | 9273 10 | 83 | 128
168.96/169.08 c 163s | 13 | 623708 | 54632 | 9273 10 | 83 | 128
171.57/171.68 c 165s | 13 | 625369 | 55132 | 9273 10 | 83 | 128
173.66/173.71 c 167s | 13 | 626552 | 55532 | 9273 10 | 83 | 128
175.87/175.99 c 170s | 13 | 635712 | 56232 | 9273 10 | 84 | 128
178.27/178.39 c 172s | 13 | 637340 | 56732 | 9273 10 | 84 | 128
180.66/180.75 c 175s | 13 | 638788 | 57132 | 9273 10 | 84 | 128
182.76/182.84 c 177s | 13 | 641860 | 57732 | 10201 10 | 84 | 128
185.06/185.18 c 179s | 13 | 644331 | 58232 | 10201 10 | 84 | 128
185.66/185.76 c 180s | 14 | 644522 | 58352 | 10201 10 | 84 | 128
187.96/188.02 c 182s | 14 | 655020 | 58752 | 10201 11 | 84 | 128
190.06/190.17 c 184s | 14 | 670311 | 59552 | 10201 11 | 85 | 128
192.26/192.38 c 186s | 14 | 673255 | 60252 | 10201 11 | 85 | 128
194.35/194.49 c 188s | 14 | 685686 | 61452 | 10201 11 | 85 | 128
196.66/196.72 c 190s | 14 | 701997 | 62452 | 10201 11 | 85 | 128
198.86/198.90 c 193s | 14 | 714208 | 63252 | 10201 11 | 85 | 128
200.86/200.96 c 195s | 14 | 717689 | 63852 | 10201 11 | 85 | 128
202.96/203.09 c 197s | 14 | 719965 | 64552 | 10201 11 | 85 | 128
205.16/205.22 c 199s | 14 | 723299 | 65152 | 10201 11 | 85 | 128
207.35/207.48 c 201s | 14 | 724024 | 65552 | 10201 11 | 85 | 128
209.36/209.49 c 203s | 14 | 727716 | 66152 | 10201 11 | 85 | 128
211.45/211.59 c 205s | 14 | 729376 | 66652 | 10201 11 | 85 | 128
213.55/213.69 c 207s | 14 | 731880 | 67252 | 10201 11 | 85 | 128
215.75/215.85 c 210s | 14 | 733241 | 67652 | 10201 12 | 85 | 128
217.86/217.97 c 212s | 14 | 736317 | 68352 | 10201 12 | 85 | 128
220.06/220.15 c 214s | 14 | 740702 | 69052 | 10201 12 | 85 | 128
222.36/222.41 c 216s | 14 | 745163 | 69852 | 10201 12 | 85 | 128
224.66/224.77 c 219s | 14 | 748474 | 70652 | 10201 12 | 85 | 128
226.75/226.84 c 221s | 14 | 751171 | 71152 | 10201 12 | 85 | 128
229.05/229.11 c 223s | 14 | 753501 | 71652 | 10201 12 | 85 | 128
231.06/231.14 c 225s | 14 | 754888 | 72052 | 10201 12 | 85 | 128
233.45/233.56 c 227s | 14 | 760014 | 72452 | 10201 13 | 85 | 128
235.65/235.73 c 229s | 14 | 770997 | 73452 | 10201 13 | 85 | 128
238.26/238.32 c 232s | 14 | 777949 | 74052 | 10201 13 | 85 | 128
240.96/241.05 c 235s | 14 | 778961 | 74352 | 10201 13 | 85 | 128
243.16/243.21 c 237s | 14 | 791332 | 75152 | 10201 13 | 85 | 128
245.15/245.22 c 239s | 14 | 794973 | 75652 | 10201 13 | 85 | 128
247.35/247.40 c 241s | 14 | 797370 | 76052 | 10201 13 | 85 | 128
249.45/249.50 c 243s | 14 | 798963 | 76652 | 10201 13 | 85 | 128
251.55/251.67 c 245s | 14 | 799691 | 77052 | 10201 13 | 85 | 128
253.65/253.75 c 248s | 14 | 801978 | 77552 | 10201 13 | 85 | 128
255.95/256.00 c 250s | 14 | 804316 | 78152 | 10201 13 | 85 | 128
258.46/258.58 c 252s | 14 | 805774 | 78552 | 10201 13 | 85 | 128
260.85/260.91 c 255s | 14 | 809085 | 79252 | 10201 13 | 85 | 128
263.05/263.12 c 257s | 14 | 809764 | 79552 | 10201 13 | 85 | 128
265.24/265.37 c 259s | 14 | 810401 | 79852 | 10201 13 | 85 | 128
267.55/267.69 c 261s | 14 | 810738 | 80052 | 10201 13 | 85 | 128
270.15/270.20 c 264s | 14 | 811087 | 80252 | 10201 13 | 85 | 128
272.76/272.83 c 267s | 14 | 811698 | 80552 | 10201 13 | 85 | 128
275.35/275.42 c 269s | 14 | 814586 | 81052 | 10201 14 | 85 | 128
277.64/277.75 c 272s | 14 | 816776 | 81652 | 10201 14 | 85 | 128
279.95/280.00 c 274s | 14 | 817441 | 81952 | 10201 14 | 85 | 128
282.04/282.13 c 276s | 14 | 818493 | 82352 | 10201 14 | 85 | 128
284.14/284.26 c 278s | 14 | 819921 | 82852 | 10201 14 | 85 | 128
286.14/286.29 c 280s | 14 | 820651 | 83152 | 10201 14 | 85 | 128
288.25/288.36 c 282s | 14 | 821684 | 83552 | 10201 14 | 85 | 128
290.35/290.42 c 284s | 14 | 822271 | 83852 | 10201 14 | 85 | 128
292.55/292.61 c 286s | 14 | 822683 | 84052 | 10201 14 | 85 | 128
295.04/295.11 c 289s | 14 | 823992 | 84552 | 10201 14 | 85 | 128
297.55/297.61 c 291s | 14 | 824780 | 84952 | 10201 14 | 85 | 128
300.04/300.18 c 294s | 14 | 825434 | 85152 | 10201 14 | 85 | 128
302.04/302.19 c 296s | 14 | 826877 | 85552 | 10201 14 | 85 | 128
304.44/304.53 c 298s | 14 | 828247 | 86052 | 10201 14 | 85 | 128
306.64/306.77 c 301s | 14 | 829187 | 86452 | 11222 14 | 85 | 128
308.84/308.98 c 303s | 14 | 829784 | 86752 | 11222 14 | 85 | 128
311.04/311.17 c 305s | 14 | 830862 | 87152 | 11222 14 | 85 | 128
313.64/313.72 c 307s | 14 | 831782 | 87452 | 11222 14 | 85 | 128
314.54/314.64 c 308s | 15 | 832102 | 87632 | 11222 14 | 85 | 128
317.14/317.23 c 311s | 15 | 837163 | 87732 | 11222 15 | 85 | 128
319.24/319.30 c 313s | 15 | 838981 | 88232 | 11222 15 | 85 | 128
321.25/321.33 c 315s | 15 | 840259 | 88632 | 11222 15 | 85 | 128
323.35/323.45 c 317s | 15 | 841307 | 89032 | 11222 15 | 85 | 128
325.54/325.68 c 319s | 15 | 841824 | 89332 | 11222 15 | 85 | 128
327.74/327.83 c 322s | 15 | 851385 | 90132 | 11222 15 | 85 | 128
330.14/330.23 c 324s | 15 | 853093 | 90632 | 11222 15 | 85 | 128
332.73/332.82 c 327s | 15 | 854038 | 91132 | 11222 15 | 85 | 128
335.04/335.18 c 329s | 15 | 854822 | 91532 | 11222 15 | 85 | 128
337.44/337.59 c 331s | 15 | 856137 | 91932 | 11222 15 | 85 | 128
339.73/339.85 c 334s | 15 | 861618 | 92532 | 11222 15 | 85 | 128
342.04/342.13 c 336s | 15 | 866078 | 93332 | 11222 15 | 85 | 128
344.24/344.36 c 338s | 15 | 869946 | 93532 | 11222 16 | 85 | 128
346.44/346.57 c 340s | 15 | 882687 | 94432 | 11222 16 | 85 | 128
348.74/348.81 c 343s | 15 | 883859 | 94832 | 11222 16 | 85 | 128
351.43/351.58 c 345s | 15 | 884825 | 95232 | 11222 16 | 85 | 128
354.14/354.26 c 348s | 15 | 885363 | 95532 | 11222 16 | 85 | 128
356.34/356.44 c 350s | 15 | 886341 | 95932 | 11222 16 | 85 | 128
358.44/358.59 c 352s | 15 | 891141 | 96632 | 11222 16 | 85 | 128
360.74/360.82 c 355s | 15 | 893508 | 97332 | 11222 16 | 85 | 128
362.73/362.88 c 357s | 15 | 894706 | 97732 | 11222 16 | 85 | 128
364.83/364.96 c 359s | 15 | 906077 | 98232 | 11222 16 | 85 | 128
367.03/367.14 c 361s | 15 | 907025 | 98732 | 11222 16 | 85 | 128
369.23/369.36 c 363s | 15 | 909744 | 99432 | 11222 16 | 85 | 128
371.53/371.61 c 365s | 15 | 910423 | 99832 | 11222 16 | 85 | 128
373.63/373.71 c 367s | 15 | 913804 | 100532 | 11222 16 | 85 | 128
375.73/375.85 c 370s | 15 | 915787 | 101132 | 11222 16 | 85 | 128
378.44/378.51 c 372s | 15 | 917029 | 101632 | 11222 16 | 85 | 128
381.02/381.11 c 375s | 15 | 917807 | 102032 | 11222 16 | 85 | 128
383.12/383.21 c 377s | 15 | 918325 | 102332 | 11222 16 | 85 | 128
385.83/385.94 c 380s | 15 | 918735 | 102632 | 11222 16 | 85 | 128
388.23/388.32 c 382s | 15 | 919816 | 103032 | 11222 16 | 85 | 128
390.44/390.52 c 384s | 15 | 921104 | 103432 | 11222 16 | 85 | 128
392.73/392.83 c 387s | 15 | 922380 | 103832 | 11222 16 | 85 | 128
394.72/394.84 c 389s | 15 | 922995 | 103932 | 11222 17 | 85 | 128
396.72/396.89 c 391s | 15 | 925376 | 104632 | 11222 17 | 85 | 128
398.82/398.97 c 393s | 15 | 929335 | 105332 | 11222 17 | 85 | 128
400.91/401.01 c 395s | 15 | 932267 | 105932 | 11222 17 | 85 | 128
403.11/403.21 c 397s | 15 | 932602 | 106132 | 11222 17 | 85 | 128
405.51/405.62 c 399s | 15 | 933514 | 106432 | 11222 17 | 85 | 128
408.21/408.40 c 402s | 15 | 934459 | 106732 | 11222 17 | 85 | 128
411.11/411.28 c 405s | 15 | 934924 | 106932 | 11222 17 | 85 | 128
416.31/416.40 c 410s | 15 | 939345 | 107232 | 11222 18 | 86 | 128
418.31/418.44 c 412s | 15 | 950992 | 107832 | 11222 18 | 86 | 128
420.40/420.50 c 414s | 15 | 963367 | 108532 | 11222 18 | 86 | 128
422.41/422.55 c 416s | 15 | 971656 | 109032 | 11222 18 | 86 | 128
424.51/424.64 c 418s | 15 | 977527 | 110032 | 11222 18 | 86 | 128
426.60/426.79 c 421s | 15 | 987104 | 110732 | 11222 18 | 86 | 128
429.31/429.42 c 423s | 15 | 988043 | 111132 | 11222 18 | 86 | 128
431.79/431.96 c 426s | 15 | 988802 | 111432 | 11222 18 | 86 | 128
434.20/434.33 c 428s | 15 | 991904 | 112132 | 11222 18 | 86 | 128
436.40/436.54 c 430s | 15 | 993113 | 112632 | 11222 18 | 86 | 128
438.59/438.74 c 432s | 15 | 993581 | 112932 | 11222 18 | 86 | 128
440.70/440.80 c 435s | 15 | 994167 | 113232 | 11222 18 | 86 | 128
442.89/443.06 c 437s | 15 | 1003133 | 113632 | 11222 19 | 86 | 128
445.19/445.39 c 439s | 15 | 1006564 | 114432 | 11222 19 | 86 | 128
447.30/447.48 c 441s | 15 | 1008621 | 115032 | 11222 19 | 86 | 128
449.39/449.51 c 443s | 15 | 1014482 | 115932 | 11222 19 | 86 | 128
451.79/451.97 c 446s | 15 | 1017402 | 116532 | 11222 19 | 86 | 128
453.99/454.18 c 448s | 15 | 1020633 | 117232 | 11222 19 | 86 | 128
456.19/456.34 c 450s | 15 | 1021850 | 117732 | 11222 19 | 86 | 128
458.78/458.94 c 453s | 15 | 1023106 | 118232 | 11222 19 | 86 | 128
461.19/461.31 c 455s | 15 | 1024845 | 118632 | 11222 19 | 86 | 128
463.39/463.59 c 457s | 15 | 1028240 | 119232 | 11222 19 | 86 | 128
465.79/465.99 c 460s | 15 | 1031249 | 119732 | 11222 19 | 86 | 128
467.88/468.00 c 462s | 15 | 1031781 | 120032 | 11222 19 | 86 | 128
469.99/470.18 c 464s | 15 | 1033869 | 120632 | 11222 19 | 86 | 128
472.38/472.58 c 466s | 15 | 1036303 | 121332 | 11222 19 | 86 | 128
474.58/474.77 c 469s | 15 | 1037915 | 121832 | 11222 19 | 86 | 128
476.87/477.06 c 471s | 15 | 1039559 | 122432 | 11222 19 | 86 | 128
479.98/480.11 c 474s | 15 | 1042765 | 122932 | 11222 20 | 86 | 128
482.47/482.66 c 476s | 15 | 1044261 | 123432 | 11222 20 | 86 | 128
484.87/485.09 c 479s | 15 | 1047654 | 124132 | 11222 20 | 86 | 128
486.97/487.12 c 481s | 15 | 1051190 | 124632 | 11222 20 | 86 | 128
489.07/489.22 c 483s | 15 | 1054053 | 125132 | 11222 20 | 86 | 128
491.17/491.31 c 485s | 15 | 1055899 | 125732 | 11222 20 | 86 | 128
493.36/493.52 c 487s | 15 | 1061736 | 126432 | 11222 20 | 86 | 128
495.57/495.71 c 489s | 15 | 1066544 | 127132 | 11222 20 | 86 | 128
497.67/497.80 c 492s | 15 | 1072038 | 127532 | 11222 21 | 86 | 128
499.77/499.92 c 494s | 15 | 1076495 | 128532 | 11222 21 | 86 | 128
502.26/502.40 c 496s | 15 | 1079585 | 129332 | 11222 21 | 86 | 128
504.26/504.42 c 498s | 15 | 1086173 | 129832 | 11222 21 | 87 | 128
506.26/506.43 c 500s | 15 | 1095518 | 130532 | 12345 21 | 87 | 128
508.46/508.60 c 502s | 15 | 1097902 | 131232 | 12345 21 | 87 | 128
509.86/510.03 c 504s | 16 | 1098813 | 131552 | 12345 21 | 87 | 128
511.96/512.16 c 506s | 16 | 1105758 | 132152 | 12345 21 | 87 | 128
514.26/514.43 c 508s | 16 | 1112098 | 132752 | 12345 21 | 87 | 128
516.65/516.87 c 511s | 16 | 1114530 | 133352 | 12345 21 | 87 | 128
518.95/519.14 c 513s | 16 | 1120222 | 133952 | 12345 21 | 87 | 128
521.55/521.71 c 515s | 16 | 1121402 | 134452 | 12345 21 | 87 | 128
523.56/523.77 c 518s | 16 | 1122258 | 134752 | 12345 21 | 87 | 128
525.85/526.06 c 520s | 16 | 1122590 | 134952 | 12345 21 | 87 | 128
528.75/528.96 c 523s | 16 | 1122968 | 135152 | 12345 21 | 87 | 128
530.95/531.15 c 525s | 16 | 1123785 | 135552 | 12345 21 | 87 | 128
533.64/533.86 c 528s | 16 | 1124733 | 136052 | 12345 21 | 87 | 128
536.44/536.60 c 530s | 16 | 1125739 | 136452 | 12345 21 | 87 | 128
538.54/538.74 c 532s | 16 | 1127037 | 136852 | 12345 21 | 87 | 128
540.74/540.92 c 535s | 16 | 1127664 | 137152 | 12345 21 | 87 | 128
542.94/543.10 c 537s | 16 | 1128287 | 137452 | 12345 21 | 87 | 128
545.44/545.61 c 539s | 16 | 1128886 | 137752 | 12345 21 | 87 | 128
548.64/548.90 c 543s | 16 | 1129416 | 138052 | 12345 21 | 87 | 128
550.83/551.03 c 545s | 16 | 1130114 | 138252 | 12345 21 | 87 | 128
553.62/553.84 c 548s | 16 | 1132106 | 138652 | 12345 22 | 87 | 128
555.73/555.91 c 550s | 16 | 1134449 | 139152 | 12345 22 | 87 | 128
557.83/558.07 c 552s | 16 | 1135431 | 139552 | 12345 22 | 87 | 128
560.33/560.59 c 554s | 16 | 1136863 | 140052 | 12345 22 | 87 | 128
562.72/562.99 c 557s | 16 | 1137745 | 140452 | 12345 22 | 87 | 128
564.93/565.18 c 559s | 16 | 1138415 | 140752 | 12345 22 | 87 | 128
567.53/567.73 c 561s | 16 | 1138988 | 141052 | 12345 22 | 87 | 128
569.73/569.97 c 564s | 16 | 1139586 | 141352 | 12345 22 | 87 | 128
572.11/572.38 c 566s | 16 | 1140626 | 141652 | 12345 22 | 87 | 128
574.42/574.60 c 568s | 16 | 1141511 | 142052 | 12345 22 | 87 | 128
576.52/576.71 c 570s | 16 | 1142602 | 142452 | 12345 22 | 87 | 128
578.81/579.08 c 573s | 16 | 1145107 | 142852 | 12345 22 | 87 | 128
580.92/581.18 c 575s | 16 | 1147536 | 143352 | 12345 22 | 87 | 128
583.01/583.23 c 577s | 16 | 1150017 | 143852 | 12345 22 | 87 | 128
585.21/585.48 c 579s | 16 | 1154023 | 144452 | 12345 22 | 87 | 128
587.81/588.05 c 582s | 16 | 1155233 | 144752 | 12345 22 | 87 | 128
589.81/590.08 c 584s | 16 | 1157800 | 145152 | 12345 22 | 87 | 128
592.52/592.72 c 586s | 16 | 1159630 | 145752 | 12345 22 | 87 | 128
594.61/594.81 c 589s | 16 | 1161328 | 146252 | 12345 22 | 87 | 128
597.12/597.32 c 591s | 16 | 1162621 | 146452 | 12345 23 | 87 | 128
599.41/599.61 c 593s | 16 | 1164864 | 147152 | 12345 23 | 87 | 128
601.41/601.63 c 595s | 16 | 1165995 | 147552 | 12345 23 | 87 | 128
603.90/604.16 c 598s | 16 | 1167941 | 148252 | 12345 23 | 87 | 128
606.20/606.49 c 600s | 16 | 1168758 | 148652 | 12345 23 | 87 | 128
609.41/609.68 c 603s | 16 | 1169194 | 148952 | 12345 23 | 87 | 128
612.00/612.23 c 606s | 16 | 1170490 | 149452 | 12345 23 | 87 | 128
614.20/614.43 c 608s | 16 | 1171881 | 149952 | 12345 23 | 87 | 128
616.70/616.94 c 611s | 16 | 1172836 | 150352 | 12345 23 | 87 | 128
619.10/619.37 c 613s | 16 | 1173968 | 150752 | 12345 23 | 87 | 128
621.30/621.57 c 615s | 16 | 1175103 | 151152 | 12345 23 | 87 | 128
623.80/624.07 c 618s | 16 | 1175737 | 151452 | 12345 23 | 87 | 128
626.39/626.62 c 620s | 16 | 1176721 | 151852 | 12345 23 | 87 | 128
629.39/629.67 c 623s | 16 | 1177429 | 152152 | 12345 23 | 87 | 128
632.19/632.41 c 626s | 16 | 1177736 | 152352 | 12345 23 | 87 | 128
634.19/634.46 c 628s | 16 | 1178087 | 152552 | 12345 23 | 87 | 128
636.89/637.11 c 631s | 16 | 1178605 | 152752 | 12345 23 | 87 | 128
639.59/639.82 c 634s | 16 | 1179266 | 153052 | 12345 23 | 87 | 128
642.08/642.36 c 636s | 16 | 1179661 | 153252 | 12345 23 | 87 | 128
645.59/645.89 c 640s | 16 | 1180009 | 153452 | 12345 23 | 87 | 128
649.38/649.67 c 643s | 16 | 1180281 | 153652 | 12345 23 | 87 | 128
652.78/653.01 c 647s | 16 | 1180711 | 153852 | 12345 23 | 87 | 128
655.18/655.40 c 649s | 16 | 1181071 | 154052 | 12345 23 | 87 | 128
657.17/657.41 c 651s | 16 | 1181235 | 154152 | 12345 23 | 87 | 128
659.97/660.25 c 654s | 16 | 1182989 | 154452 | 12345 24 | 87 | 128
662.57/662.89 c 657s | 16 | 1186159 | 155052 | 12345 24 | 87 | 128
664.67/664.91 c 659s | 16 | 1188195 | 155652 | 12345 24 | 87 | 128
666.96/667.22 c 661s | 16 | 1192875 | 156452 | 12345 24 | 87 | 128
669.17/669.42 c 663s | 16 | 1196828 | 157052 | 12345 24 | 87 | 128
671.46/671.72 c 665s | 16 | 1200238 | 157652 | 12345 24 | 87 | 128
673.86/674.10 c 668s | 16 | 1205161 | 157952 | 12345 24 | 88 | 128
676.06/676.38 c 670s | 16 | 1205574 | 158152 | 12345 24 | 88 | 128
678.36/678.60 c 672s | 16 | 1211286 | 158552 | 12345 24 | 88 | 128
680.95/681.28 c 675s | 16 | 1212339 | 158952 | 12345 24 | 88 | 128
683.05/683.39 c 677s | 16 | 1216805 | 159652 | 12345 24 | 88 | 128
685.26/685.53 c 679s | 16 | 1219799 | 160352 | 12345 24 | 88 | 128
687.37/687.63 c 681s | 16 | 1221059 | 160852 | 12345 24 | 88 | 128
689.47/689.73 c 683s | 16 | 1221992 | 161252 | 12345 24 | 88 | 128
691.85/692.18 c 686s | 16 | 1222886 | 161652 | 12345 24 | 88 | 128
693.97/694.24 c 688s | 16 | 1225147 | 162152 | 12345 24 | 88 | 128
696.06/696.31 c 690s | 16 | 1226047 | 162452 | 12345 24 | 88 | 128
698.37/698.69 c 692s | 16 | 1227137 | 162952 | 12345 24 | 88 | 128
701.95/702.21 c 696s | 16 | 1229138 | 163352 | 12345 25 | 88 | 128
703.95/704.22 c 698s | 16 | 1231473 | 163852 | 12345 25 | 88 | 128
706.06/706.33 c 700s | 16 | 1232126 | 164152 | 12345 25 | 88 | 128
708.45/708.73 c 702s | 16 | 1233054 | 164552 | 12345 25 | 88 | 128
710.46/710.79 c 705s | 16 | 1236824 | 165252 | 12345 25 | 88 | 128
712.56/712.85 c 707s | 16 | 1238005 | 165752 | 12345 25 | 88 | 128
715.06/715.32 c 709s | 16 | 1239781 | 166252 | 12345 25 | 88 | 128
717.35/717.62 c 711s | 16 | 1240612 | 166652 | 12345 25 | 88 | 128
719.45/719.73 c 713s | 16 | 1243354 | 167152 | 12345 25 | 88 | 128
721.95/722.25 c 716s | 16 | 1245174 | 167652 | 12345 25 | 88 | 128
724.05/724.39 c 718s | 16 | 1246566 | 168052 | 12345 25 | 88 | 128
726.26/726.52 c 720s | 16 | 1247921 | 168552 | 12345 25 | 88 | 128
728.65/728.91 c 723s | 16 | 1251532 | 169252 | 12345 25 | 88 | 128
730.75/731.07 c 725s | 16 | 1252803 | 169752 | 12345 25 | 88 | 128
733.45/733.79 c 728s | 16 | 1254095 | 170252 | 12345 25 | 88 | 128
736.05/736.31 c 730s | 16 | 1255225 | 170752 | 12345 25 | 88 | 128
738.75/739.06 c 733s | 16 | 1255939 | 171152 | 12345 25 | 88 | 128
740.95/741.27 c 735s | 16 | 1258328 | 171352 | 12345 26 | 88 | 128
743.05/743.33 c 737s | 16 | 1259912 | 171952 | 12345 26 | 88 | 128
745.15/745.43 c 739s | 16 | 1261372 | 172452 | 12345 26 | 88 | 128
747.45/747.70 c 741s | 16 | 1263635 | 173052 | 12345 26 | 88 | 128
749.45/749.75 c 743s | 16 | 1264729 | 173452 | 12345 26 | 88 | 128
751.65/751.92 c 746s | 16 | 1268469 | 173952 | 12345 26 | 88 | 128
753.85/754.11 c 748s | 16 | 1279401 | 174852 | 12345 26 | 88 | 128
755.85/756.14 c 750s | 16 | 1281428 | 175352 | 12345 26 | 88 | 128
758.15/758.41 c 752s | 16 | 1282596 | 175752 | 12345 26 | 88 | 128
760.64/760.90 c 755s | 16 | 1283955 | 176252 | 12345 26 | 88 | 128
762.64/762.90 c 757s | 16 | 1285596 | 176652 | 12345 26 | 88 | 128
764.95/765.24 c 759s | 16 | 1289017 | 177352 | 12345 26 | 88 | 128
767.15/767.46 c 761s | 16 | 1291698 | 178052 | 12345 26 | 88 | 128
769.35/769.62 c 763s | 16 | 1294193 | 178652 | 12345 26 | 88 | 128
771.95/772.22 c 766s | 16 | 1295866 | 179152 | 12345 26 | 88 | 128
774.25/774.52 c 768s | 16 | 1296808 | 179352 | 12345 27 | 88 | 128
776.25/776.59 c 770s | 16 | 1298400 | 179852 | 12345 27 | 88 | 128
778.55/778.81 c 773s | 16 | 1301853 | 180552 | 12345 27 | 88 | 128
780.75/781.10 c 775s | 16 | 1304514 | 181152 | 12345 27 | 88 | 128
782.84/783.15 c 777s | 16 | 1305561 | 181552 | 12345 27 | 88 | 128
785.74/786.10 c 780s | 16 | 1306220 | 181952 | 12345 27 | 88 | 128
787.84/788.19 c 782s | 16 | 1306809 | 182252 | 12345 27 | 88 | 128
790.34/790.70 c 784s | 16 | 1308109 | 182752 | 12345 27 | 88 | 128
793.14/793.46 c 787s | 16 | 1308878 | 183152 | 12345 27 | 88 | 128
795.44/795.76 c 790s | 16 | 1309491 | 183452 | 12345 27 | 88 | 128
797.44/797.79 c 792s | 16 | 1309790 | 183652 | 12345 27 | 88 | 128
799.94/800.21 c 794s | 16 | 1310265 | 183952 | 12345 27 | 88 | 128
802.54/802.83 c 797s | 16 | 1310754 | 184252 | 12345 27 | 88 | 128
804.74/805.07 c 799s | 16 | 1311076 | 184452 | 12345 27 | 88 | 128
806.84/807.11 c 801s | 16 | 1311857 | 184652 | 12345 27 | 88 | 128
809.14/809.42 c 803s | 16 | 1314035 | 185252 | 12345 27 | 88 | 128
811.74/812.08 c 806s | 16 | 1316258 | 185852 | 12345 27 | 88 | 128
814.13/814.49 c 808s | 16 | 1317156 | 186252 | 12345 27 | 88 | 128
816.64/816.94 c 811s | 16 | 1319235 | 186852 | 12345 27 | 88 | 128
819.14/819.45 c 813s | 16 | 1320156 | 187252 | 12345 27 | 88 | 128
821.54/821.88 c 816s | 16 | 1322654 | 187952 | 12345 27 | 88 | 128
825.03/825.32 c 819s | 16 | 1326872 | 188352 | 12345 28 | 88 | 128
827.34/827.65 c 821s | 16 | 1333411 | 189152 | 12345 28 | 88 | 128
829.44/829.78 c 824s | 16 | 1337079 | 189852 | 12345 28 | 88 | 128
831.54/831.87 c 826s | 16 | 1338223 | 190352 | 12345 28 | 88 | 128
833.84/834.19 c 828s | 16 | 1340302 | 190952 | 12345 28 | 88 | 128
836.73/837.09 c 831s | 16 | 1341202 | 191352 | 12345 28 | 88 | 128
838.83/839.15 c 833s | 16 | 1341673 | 191552 | 12345 28 | 88 | 128
841.24/841.60 c 835s | 16 | 1342261 | 191852 | 12345 28 | 88 | 128
843.54/843.81 c 838s | 16 | 1342839 | 192152 | 12345 28 | 88 | 128
845.64/845.91 c 840s | 16 | 1343373 | 192452 | 12345 28 | 88 | 128
848.03/848.33 c 842s | 16 | 1343985 | 192752 | 12345 28 | 88 | 128
850.63/850.94 c 845s | 16 | 1344858 | 193152 | 12345 28 | 88 | 128
852.93/853.22 c 847s | 16 | 1345502 | 193452 | 12345 28 | 88 | 128
855.14/855.48 c 849s | 16 | 1347616 | 193952 | 12345 28 | 88 | 128
857.13/857.48 c 851s | 16 | 1349055 | 194452 | 12345 28 | 88 | 128
859.53/859.80 c 854s | 16 | 1350891 | 194952 | 12345 28 | 88 | 128
862.04/862.30 c 856s | 16 | 1351993 | 195352 | 12345 28 | 88 | 128
864.13/864.49 c 858s | 16 | 1352803 | 195652 | 13580 28 | 88 | 128
866.64/866.96 c 861s | 16 | 1353389 | 195952 | 13580 28 | 88 | 128
869.03/869.30 c 863s | 16 | 1354077 | 196252 | 13580 28 | 88 | 128
871.53/871.85 c 866s | 16 | 1355041 | 196652 | 13580 28 | 88 | 128
874.43/874.72 c 868s | 16 | 1355941 | 197052 | 13580 28 | 88 | 128
877.33/877.67 c 871s | 16 | 1356242 | 197252 | 13580 28 | 88 | 128
879.84/880.19 c 874s | 17 | 1356611 | 197432 | 13580 28 | 88 | 128
883.33/883.60 c 877s | 17 | 1364966 | 197532 | 13580 29 | 88 | 128
885.53/885.82 c 880s | 17 | 1376394 | 198232 | 13580 29 | 88 | 128
887.72/888.02 c 882s | 17 | 1381233 | 198632 | 13580 29 | 88 | 128
889.82/890.12 c 884s | 17 | 1388160 | 199532 | 13580 29 | 88 | 128
892.03/892.35 c 886s | 17 | 1391659 | 200332 | 13580 29 | 88 | 128
894.14/894.41 c 888s | 17 | 1399139 | 200932 | 13580 29 | 88 | 128
896.13/896.44 c 890s | 17 | 1402419 | 201532 | 13580 29 | 88 | 128
898.72/899.00 c 893s | 17 | 1403383 | 202032 | 13580 29 | 88 | 128
900.93/901.24 c 895s | 17 | 1404180 | 202432 | 13580 29 | 88 | 128
903.62/903.99 c 898s | 17 | 1405734 | 202832 | 13580 29 | 88 | 128
905.83/906.12 c 900s | 17 | 1406465 | 203032 | 13580 29 | 88 | 128
909.32/909.65 c 903s | 17 | 1411947 | 203332 | 13580 30 | 88 | 128
911.73/912.05 c 906s | 17 | 1412903 | 203632 | 13580 30 | 88 | 128
913.73/914.07 c 908s | 17 | 1417588 | 204332 | 13580 30 | 88 | 128
915.82/916.17 c 910s | 17 | 1424277 | 205032 | 13580 30 | 88 | 128
917.92/918.28 c 912s | 17 | 1426028 | 205532 | 13580 30 | 88 | 128
920.12/920.46 c 914s | 17 | 1430735 | 206132 | 13580 30 | 88 | 128
922.53/922.80 c 917s | 17 | 1433344 | 206632 | 13580 30 | 88 | 128
924.72/925.06 c 919s | 17 | 1435344 | 207232 | 13580 30 | 88 | 128
926.92/927.20 c 921s | 17 | 1440401 | 207832 | 13580 30 | 88 | 128
929.12/929.47 c 923s | 17 | 1442688 | 208332 | 13580 30 | 88 | 128
931.32/931.70 c 925s | 17 | 1444288 | 208832 | 13580 30 | 88 | 128
933.42/933.75 c 927s | 17 | 1446289 | 209332 | 13580 30 | 88 | 128
936.21/936.57 c 930s | 17 | 1450591 | 209732 | 13580 30 | 88 | 128
938.52/938.87 c 933s | 17 | 1451301 | 210132 | 13580 30 | 88 | 128
940.92/941.27 c 935s | 17 | 1452115 | 210432 | 13580 30 | 88 | 128
943.32/943.68 c 937s | 17 | 1453559 | 210932 | 13580 30 | 88 | 128
945.72/946.04 c 940s | 17 | 1454388 | 211332 | 13580 30 | 88 | 128
948.12/948.47 c 942s | 17 | 1455320 | 211732 | 13580 30 | 88 | 128
950.32/950.64 c 944s | 17 | 1456912 | 212132 | 13580 30 | 88 | 128
952.42/952.75 c 946s | 17 | 1458297 | 212432 | 13580 30 | 88 | 128
954.92/955.25 c 949s | 17 | 1458678 | 212632 | 13580 30 | 88 | 128
957.11/957.49 c 951s | 17 | 1459343 | 212832 | 13580 30 | 88 | 128
959.32/959.62 c 953s | 17 | 1460146 | 213232 | 13580 30 | 88 | 128
961.52/961.89 c 956s | 17 | 1460945 | 213532 | 13580 30 | 88 | 128
964.81/965.17 c 959s | 17 | 1461492 | 213832 | 13580 30 | 88 | 128
969.01/969.37 c 963s | 17 | 1462213 | 214132 | 13580 31 | 88 | 128
971.82/972.18 c 966s | 17 | 1463114 | 214532 | 13580 31 | 88 | 128
973.92/974.25 c 968s | 17 | 1463824 | 214832 | 13580 31 | 88 | 128
976.52/976.88 c 971s | 17 | 1464418 | 215132 | 13580 31 | 88 | 128
980.21/980.52 c 974s | 17 | 1464771 | 215332 | 13580 31 | 88 | 128
983.31/983.69 c 977s | 17 | 1465098 | 215532 | 13580 31 | 88 | 128
985.42/985.78 c 980s | 17 | 1465886 | 215732 | 13580 31 | 88 | 128
988.01/988.39 c 982s | 17 | 1466336 | 215932 | 13580 31 | 88 | 128
990.41/990.71 c 984s | 17 | 1466854 | 216132 | 13580 31 | 88 | 128
992.91/993.25 c 987s | 17 | 1468125 | 216532 | 13580 31 | 88 | 128
995.32/995.66 c 989s | 17 | 1469724 | 217032 | 13580 31 | 88 | 128
997.71/998.01 c 992s | 17 | 1470392 | 217332 | 13580 31 | 88 | 128
999.81/1000.17 c 994s | 17 | 1471485 | 217732 | 13580 31 | 88 | 128
1001.91/1002.26 c 996s | 17 | 1472698 | 218132 | 13580 31 | 88 | 128
1003.91/1004.28 c 998s | 17 | 1473635 | 218432 | 13580 31 | 88 | 128
1006.01/1006.34 c 1000s | 17 | 1475695 | 219032 | 13580 31 | 88 | 128
1008.31/1008.70 c 1002s | 17 | 1477264 | 219632 | 13580 31 | 88 | 128
1010.71/1011.02 c 1005s | 17 | 1478143 | 220032 | 13580 31 | 88 | 128
1012.71/1013.05 c 1007s | 17 | 1478744 | 220332 | 13580 31 | 88 | 128
1014.81/1015.14 c 1009s | 17 | 1479192 | 220632 | 13580 31 | 88 | 128
1017.00/1017.32 c 1011s | 17 | 1480199 | 220932 | 13580 31 | 88 | 128
1019.61/1019.98 c 1014s | 17 | 1480983 | 221232 | 13580 31 | 88 | 128
1021.91/1022.27 c 1016s | 17 | 1481294 | 221432 | 13580 31 | 88 | 128
1024.01/1024.31 c 1018s | 17 | 1481868 | 221732 | 13580 31 | 88 | 128
1026.01/1026.39 c 1020s | 17 | 1482248 | 221932 | 13580 31 | 88 | 128
1028.41/1028.72 c 1022s | 17 | 1482961 | 222232 | 13580 31 | 88 | 128
1030.51/1030.85 c 1025s | 17 | 1483553 | 222532 | 13580 31 | 88 | 128
1032.90/1033.25 c 1027s | 17 | 1484434 | 222832 | 13580 31 | 88 | 128
1035.01/1035.35 c 1029s | 17 | 1485457 | 223132 | 13580 31 | 88 | 128
1039.50/1039.89 c 1034s | 17 | 1486325 | 223432 | 13580 32 | 88 | 128
1041.60/1041.91 c 1036s | 17 | 1487259 | 223732 | 13580 32 | 88 | 128
1043.71/1044.01 c 1038s | 17 | 1487785 | 223932 | 13580 32 | 88 | 128
1046.50/1046.82 c 1041s | 17 | 1488176 | 224132 | 13580 32 | 88 | 128
1049.30/1049.66 c 1043s | 17 | 1488843 | 224432 | 13580 32 | 88 | 128
1052.10/1052.46 c 1046s | 17 | 1489566 | 224732 | 13580 32 | 88 | 128
1054.10/1054.48 c 1048s | 17 | 1489934 | 224932 | 13580 32 | 88 | 128
1056.20/1056.57 c 1050s | 17 | 1490512 | 225232 | 13580 32 | 88 | 128
1058.80/1059.14 c 1053s | 17 | 1491219 | 225532 | 13580 32 | 88 | 128
1061.60/1061.96 c 1056s | 17 | 1491797 | 225832 | 13580 32 | 88 | 128
1064.20/1064.51 c 1058s | 17 | 1492137 | 226032 | 13580 32 | 88 | 128
1066.71/1067.03 c 1061s | 17 | 1492839 | 226332 | 13580 32 | 88 | 128
1070.90/1071.29 c 1065s | 17 | 1493219 | 226532 | 13580 32 | 88 | 128
1073.10/1073.48 c 1067s | 17 | 1493847 | 226732 | 13580 32 | 88 | 128
1076.09/1076.42 c 1070s | 17 | 1494491 | 227032 | 13580 32 | 88 | 128
1079.29/1079.68 c 1073s | 17 | 1494772 | 227232 | 13580 32 | 88 | 128
1082.30/1082.64 c 1076s | 17 | 1495241 | 227432 | 13580 32 | 88 | 128
1084.90/1085.23 c 1079s | 17 | 1495633 | 227632 | 13580 32 | 88 | 128
1088.70/1089.07 c 1083s | 17 | 1495948 | 227832 | 13580 32 | 88 | 128
1090.90/1091.27 c 1085s | 17 | 1496539 | 228132 | 13580 32 | 88 | 128
1092.99/1093.35 c 1087s | 17 | 1497267 | 228432 | 13580 32 | 88 | 128
1095.70/1096.06 c 1090s | 17 | 1498449 | 228832 | 13580 32 | 88 | 128
1097.99/1098.32 c 1092s | 17 | 1499286 | 229132 | 13580 32 | 88 | 128
1100.10/1100.44 c 1094s | 17 | 1499936 | 229432 | 13580 32 | 88 | 128
1102.10/1102.46 c 1096s | 17 | 1500641 | 229732 | 13580 32 | 88 | 128
1104.20/1104.54 c 1098s | 17 | 1501325 | 230032 | 13580 32 | 88 | 128
1106.69/1107.07 c 1101s | 17 | 1502054 | 230332 | 13580 32 | 88 | 128
1109.39/1109.73 c 1103s | 17 | 1503214 | 230632 | 13580 32 | 88 | 128
1111.59/1111.99 c 1106s | 17 | 1503596 | 230832 | 13580 32 | 88 | 128
1114.10/1114.41 c 1108s | 17 | 1504407 | 231132 | 13580 32 | 88 | 128
1116.30/1116.67 c 1110s | 17 | 1505262 | 231432 | 13580 32 | 88 | 128
1120.99/1121.39 c 1115s | 17 | 1506497 | 231832 | 13580 33 | 88 | 128
1123.39/1123.71 c 1117s | 17 | 1507025 | 232032 | 13580 33 | 88 | 128
1126.49/1126.83 c 1121s | 17 | 1507477 | 232232 | 13580 33 | 88 | 128
1128.79/1129.15 c 1123s | 17 | 1508235 | 232532 | 13580 33 | 88 | 128
1131.09/1131.47 c 1125s | 17 | 1508929 | 232832 | 13580 33 | 88 | 128
1133.59/1133.90 c 1128s | 17 | 1509257 | 233032 | 13580 33 | 88 | 128
1136.29/1136.66 c 1130s | 17 | 1509841 | 233332 | 13580 33 | 88 | 128
1139.09/1139.43 c 1133s | 17 | 1510114 | 233532 | 13580 33 | 88 | 128
1141.29/1141.65 c 1135s | 17 | 1511071 | 233932 | 13580 33 | 88 | 128
1143.49/1143.88 c 1138s | 17 | 1512529 | 234432 | 13580 33 | 88 | 128
1145.90/1146.22 c 1140s | 17 | 1513207 | 234832 | 13580 33 | 88 | 128
1148.19/1148.52 c 1142s | 17 | 1514030 | 235132 | 13580 33 | 88 | 128
1150.49/1150.88 c 1145s | 17 | 1515046 | 235532 | 13580 33 | 88 | 128
1153.39/1153.79 c 1148s | 17 | 1515364 | 235732 | 13580 33 | 88 | 128
1155.79/1156.12 c 1150s | 17 | 1515567 | 235832 | 13580 33 | 88 | 128
1158.69/1159.08 c 1153s | 17 | 1515708 | 235932 | 13580 33 | 88 | 128
1161.18/1161.60 c 1155s | 17 | 1515836 | 236032 | 13580 33 | 88 | 128
1163.49/1163.81 c 1158s | 17 | 1516950 | 236332 | 13580 33 | 88 | 128
1165.59/1165.98 c 1160s | 17 | 1520522 | 236932 | 13580 33 | 88 | 128
1167.68/1168.08 c 1162s | 17 | 1521639 | 237432 | 13580 33 | 88 | 128
1170.99/1171.32 c 1165s | 17 | 1522130 | 237732 | 13580 33 | 88 | 128
1173.28/1173.68 c 1167s | 17 | 1522587 | 237932 | 13580 33 | 88 | 128
1175.48/1175.84 c 1170s | 17 | 1523182 | 238232 | 13580 33 | 88 | 128
1177.79/1178.12 c 1172s | 17 | 1523953 | 238532 | 13580 33 | 88 | 128
1179.88/1180.27 c 1174s | 17 | 1525062 | 238932 | 13580 33 | 88 | 128
1182.08/1182.45 c 1176s | 17 | 1526047 | 239332 | 13580 33 | 88 | 128
1184.39/1184.72 c 1178s | 17 | 1526540 | 239632 | 13580 33 | 88 | 128
1186.98/1187.31 c 1181s | 17 | 1527279 | 240032 | 13580 33 | 88 | 128
1189.18/1189.58 c 1183s | 17 | 1527813 | 240332 | 13580 33 | 88 | 128
1191.58/1191.95 c 1186s | 17 | 1528382 | 240632 | 13580 33 | 88 | 128
1194.08/1194.47 c 1188s | 17 | 1529532 | 240932 | 13580 33 | 88 | 128
1199.18/1199.57 c 1193s | 17 | 1530063 | 241232 | 13580 34 | 88 | 128
1201.68/1202.03 c 1196s | 17 | 1530760 | 241632 | 13580 34 | 88 | 128
1203.98/1204.34 c 1198s | 17 | 1531308 | 241932 | 13580 34 | 88 | 128
1206.28/1206.70 c 1200s | 17 | 1531829 | 242232 | 13580 34 | 88 | 128
1208.97/1209.33 c 1203s | 17 | 1532579 | 242532 | 13580 34 | 88 | 128
1211.48/1211.87 c 1206s | 17 | 1533315 | 242932 | 13580 34 | 88 | 128
1213.97/1214.32 c 1208s | 17 | 1533949 | 243232 | 13580 34 | 88 | 128
1216.07/1216.42 c 1210s | 17 | 1534683 | 243532 | 13580 34 | 88 | 128
1218.08/1218.43 c 1212s | 17 | 1537560 | 244132 | 13580 34 | 88 | 128
1220.18/1220.55 c 1214s | 17 | 1539428 | 244632 | 13580 34 | 88 | 128
1222.27/1222.64 c 1216s | 17 | 1540173 | 245032 | 13580 34 | 88 | 128
1225.19/1225.53 c 1219s | 17 | 1540822 | 245332 | 13580 34 | 88 | 128
1227.28/1227.62 c 1221s | 17 | 1541540 | 245632 | 13580 34 | 88 | 128
1229.67/1230.02 c 1224s | 17 | 1542762 | 246032 | 13580 34 | 88 | 128
1231.98/1232.30 c 1226s | 17 | 1543421 | 246332 | 13580 34 | 88 | 128
1234.47/1234.81 c 1229s | 17 | 1544005 | 246632 | 13580 34 | 88 | 128
1236.77/1237.17 c 1231s | 17 | 1547533 | 247132 | 13580 34 | 88 | 128
1238.98/1239.34 c 1233s | 17 | 1549862 | 247732 | 13580 34 | 88 | 128
1241.77/1242.15 c 1236s | 17 | 1550872 | 248132 | 13580 34 | 88 | 128
1243.78/1244.18 c 1238s | 17 | 1553463 | 248732 | 13580 34 | 88 | 128
1245.77/1246.19 c 1240s | 17 | 1554614 | 249132 | 13580 34 | 88 | 128
1248.38/1248.78 c 1243s | 17 | 1555361 | 249532 | 13580 34 | 88 | 128
1250.87/1251.29 c 1245s | 17 | 1556472 | 250032 | 13580 34 | 88 | 128
1255.18/1255.57 c 1249s | 17 | 1557181 | 250332 | 13580 35 | 88 | 128
1257.37/1257.71 c 1251s | 17 | 1559923 | 251032 | 13580 35 | 88 | 128
1259.77/1260.15 c 1254s | 17 | 1561466 | 251532 | 13580 35 | 88 | 128
1261.77/1262.18 c 1256s | 17 | 1562212 | 251832 | 13580 35 | 88 | 128
1263.87/1264.24 c 1258s | 17 | 1563609 | 252232 | 13580 35 | 88 | 128
1266.57/1266.93 c 1261s | 17 | 1564662 | 252632 | 13580 35 | 88 | 128
1268.97/1269.33 c 1263s | 17 | 1567372 | 253232 | 13580 35 | 88 | 128
1271.57/1271.91 c 1266s | 17 | 1568764 | 253732 | 13580 35 | 88 | 128
1273.97/1274.33 c 1268s | 17 | 1571015 | 254332 | 13580 35 | 88 | 128
1276.27/1276.61 c 1270s | 17 | 1572601 | 254832 | 13580 35 | 88 | 128
1278.27/1278.64 c 1272s | 17 | 1573064 | 255132 | 13580 35 | 88 | 128
1280.57/1280.94 c 1275s | 17 | 1574889 | 255632 | 13580 35 | 88 | 128
1282.97/1283.36 c 1277s | 17 | 1576004 | 256032 | 13580 35 | 88 | 128
1285.07/1285.42 c 1279s | 17 | 1577178 | 256332 | 13580 35 | 88 | 128
1287.36/1287.70 c 1281s | 17 | 1579242 | 256832 | 13580 35 | 88 | 128
1289.47/1289.83 c 1284s | 17 | 1581940 | 257332 | 13580 35 | 88 | 128
1291.67/1292.06 c 1286s | 17 | 1583281 | 257732 | 13580 35 | 88 | 128
1294.48/1294.89 c 1289s | 17 | 1584555 | 258232 | 13580 35 | 88 | 128
1297.26/1297.64 c 1291s | 17 | 1586040 | 258632 | 13580 35 | 88 | 128
1299.27/1299.66 c 1293s | 17 | 1586397 | 258832 | 13580 35 | 88 | 128
1301.36/1301.71 c 1295s | 17 | 1587451 | 259232 | 13580 35 | 88 | 128
1305.47/1305.83 c 1300s | 17 | 1588122 | 259432 | 13580 36 | 88 | 128
1308.36/1308.70 c 1302s | 17 | 1589353 | 259832 | 13580 36 | 88 | 128
1310.46/1310.81 c 1305s | 17 | 1590182 | 260132 | 13580 36 | 88 | 128
1312.67/1313.07 c 1307s | 17 | 1591133 | 260532 | 13580 36 | 88 | 128
1314.76/1315.13 c 1309s | 17 | 1591512 | 260732 | 13580 36 | 88 | 128
1316.96/1317.33 c 1311s | 17 | 1592420 | 261032 | 13580 36 | 88 | 128
1319.86/1320.27 c 1314s | 17 | 1593885 | 261532 | 13580 36 | 88 | 128
1322.46/1322.81 c 1317s | 17 | 1594898 | 261832 | 13580 36 | 88 | 128
1324.66/1325.06 c 1319s | 17 | 1595256 | 262032 | 13580 36 | 88 | 128
1326.76/1327.10 c 1321s | 17 | 1596108 | 262432 | 13580 36 | 88 | 128
1328.86/1329.21 c 1323s | 17 | 1597392 | 262932 | 13580 36 | 88 | 128
1331.16/1331.59 c 1325s | 17 | 1599279 | 263532 | 13580 36 | 88 | 128
1333.46/1333.86 c 1328s | 17 | 1601965 | 264132 | 13580 36 | 88 | 128
1335.96/1336.38 c 1330s | 17 | 1603175 | 264532 | 13580 36 | 88 | 128
1338.06/1338.44 c 1332s | 17 | 1604551 | 265032 | 13580 36 | 88 | 128
1340.15/1340.57 c 1334s | 17 | 1605522 | 265432 | 13580 36 | 88 | 128
1342.36/1342.78 c 1337s | 17 | 1606401 | 265832 | 13580 36 | 88 | 128
1344.86/1345.21 c 1339s | 17 | 1607475 | 266232 | 13580 36 | 88 | 128
1347.45/1347.87 c 1342s | 17 | 1608756 | 266732 | 13580 36 | 88 | 128
1349.95/1350.31 c 1344s | 17 | 1610113 | 267232 | 13580 36 | 88 | 128
1352.16/1352.58 c 1346s | 17 | 1610992 | 267632 | 13580 36 | 88 | 128
1354.75/1355.16 c 1349s | 17 | 1611804 | 268032 | 13580 36 | 88 | 128
1356.75/1357.19 c 1351s | 17 | 1612611 | 268432 | 13580 36 | 88 | 128
1359.36/1359.79 c 1354s | 17 | 1612860 | 268532 | 13580 37 | 88 | 128
1361.75/1362.19 c 1356s | 17 | 1613605 | 268832 | 13580 37 | 88 | 128
1364.66/1365.05 c 1359s | 17 | 1614260 | 269132 | 13580 37 | 88 | 128
1368.66/1369.03 c 1363s | 17 | 1614647 | 269332 | 13580 37 | 88 | 128
1371.75/1372.13 c 1366s | 17 | 1615043 | 269532 | 13580 37 | 88 | 128
1373.96/1374.32 c 1368s | 17 | 1616167 | 269932 | 13580 37 | 88 | 128
1376.35/1376.73 c 1370s | 17 | 1617633 | 270432 | 13580 37 | 88 | 128
1378.66/1379.03 c 1373s | 17 | 1618869 | 270832 | 13580 37 | 88 | 128
1381.15/1381.50 c 1375s | 17 | 1619555 | 271132 | 13580 37 | 88 | 128
1383.46/1383.86 c 1378s | 17 | 1620074 | 271432 | 13580 37 | 88 | 128
1385.65/1386.07 c 1380s | 17 | 1620739 | 271732 | 13580 37 | 88 | 128
1388.06/1388.42 c 1382s | 17 | 1621879 | 272132 | 13580 37 | 88 | 128
1390.16/1390.60 c 1384s | 17 | 1622466 | 272432 | 13580 37 | 88 | 128
1392.55/1392.96 c 1387s | 17 | 1623216 | 272832 | 13580 37 | 88 | 128
1394.65/1395.00 c 1389s | 17 | 1623527 | 273032 | 13580 37 | 88 | 128
1397.45/1397.88 c 1392s | 17 | 1623943 | 273232 | 13580 37 | 88 | 128
1399.96/1400.32 c 1394s | 17 | 1624748 | 273532 | 13580 37 | 88 | 128
1402.65/1403.08 c 1397s | 17 | 1627197 | 274132 | 13580 37 | 88 | 128
1405.15/1405.57 c 1399s | 17 | 1629143 | 274632 | 13580 37 | 88 | 128
1407.45/1407.85 c 1402s | 17 | 1631000 | 275132 | 13580 37 | 88 | 128
1409.55/1409.91 c 1404s | 17 | 1632002 | 275532 | 13580 37 | 88 | 128
1411.84/1412.28 c 1406s | 17 | 1633709 | 276032 | 13580 37 | 88 | 128
1414.65/1415.07 c 1409s | 17 | 1634412 | 276332 | 13580 37 | 88 | 128
1417.25/1417.65 c 1411s | 17 | 1636697 | 276832 | 13580 37 | 88 | 128
1419.44/1419.80 c 1414s | 17 | 1637064 | 277032 | 13580 37 | 88 | 128
1423.74/1424.14 c 1418s | 17 | 1638189 | 277432 | 13580 38 | 88 | 128
1425.85/1426.25 c 1420s | 17 | 1639922 | 277932 | 13580 38 | 88 | 128
1427.94/1428.38 c 1422s | 17 | 1640875 | 278332 | 13580 38 | 88 | 128
1430.14/1430.55 c 1424s | 17 | 1641913 | 278832 | 13580 38 | 88 | 128
1433.05/1433.45 c 1427s | 17 | 1642578 | 279232 | 13580 38 | 88 | 128
1435.95/1436.35 c 1430s | 17 | 1643484 | 279632 | 13580 38 | 88 | 128
1438.75/1439.11 c 1433s | 17 | 1643910 | 279932 | 13580 38 | 88 | 128
1440.94/1441.34 c 1435s | 17 | 1645121 | 280332 | 13580 38 | 88 | 128
1443.24/1443.64 c 1437s | 17 | 1645661 | 280632 | 13580 38 | 88 | 128
1445.34/1445.72 c 1439s | 17 | 1646662 | 281032 | 13580 38 | 88 | 128
1447.74/1448.12 c 1442s | 17 | 1648577 | 281632 | 13580 38 | 88 | 128
1449.94/1450.31 c 1444s | 17 | 1649562 | 282032 | 13580 38 | 88 | 128
1452.04/1452.40 c 1446s | 17 | 1650745 | 282432 | 13580 38 | 88 | 128
1454.34/1454.74 c 1448s | 17 | 1652632 | 283032 | 13580 38 | 88 | 128
1456.74/1457.10 c 1451s | 17 | 1655207 | 283632 | 13580 38 | 88 | 128
1458.84/1459.25 c 1453s | 17 | 1658257 | 284132 | 13580 38 | 88 | 128
1461.14/1461.54 c 1455s | 17 | 1660264 | 284732 | 13580 38 | 88 | 128
1463.24/1463.69 c 1457s | 17 | 1661089 | 285132 | 13580 38 | 88 | 128
1465.64/1466.09 c 1460s | 17 | 1661760 | 285432 | 13580 38 | 88 | 128
1468.15/1468.55 c 1462s | 17 | 1663454 | 286032 | 13580 38 | 88 | 128
1471.14/1471.50 c 1465s | 17 | 1664240 | 286232 | 13580 39 | 88 | 128
1473.34/1473.72 c 1467s | 17 | 1666784 | 286832 | 13580 39 | 88 | 128
1475.54/1475.96 c 1470s | 17 | 1668209 | 287232 | 13580 39 | 88 | 128
1478.05/1478.48 c 1472s | 17 | 1668817 | 287532 | 13580 39 | 88 | 128
1480.34/1480.72 c 1474s | 17 | 1669073 | 287732 | 13580 39 | 88 | 128
1482.73/1483.11 c 1477s | 17 | 1669331 | 287932 | 13580 39 | 88 | 128
1484.94/1485.33 c 1479s | 17 | 1669633 | 288132 | 13580 39 | 88 | 128
1487.94/1488.36 c 1482s | 17 | 1669922 | 288332 | 13580 39 | 88 | 128
1490.44/1490.82 c 1485s | 17 | 1670278 | 288532 | 13580 39 | 88 | 128
1492.93/1493.36 c 1487s | 17 | 1670668 | 288732 | 13580 39 | 88 | 128
1496.14/1496.56 c 1490s | 17 | 1670977 | 288932 | 13580 39 | 88 | 128
1499.13/1499.59 c 1493s | 17 | 1671231 | 289132 | 13580 39 | 88 | 128
1501.44/1501.86 c 1496s | 17 | 1671589 | 289332 | 13580 39 | 88 | 128
1504.73/1505.18 c 1499s | 17 | 1671844 | 289532 | 13580 39 | 88 | 128
1508.04/1508.41 c 1502s | 17 | 1672199 | 289732 | 13580 39 | 88 | 128
1510.33/1510.78 c 1505s | 17 | 1672334 | 289832 | 13580 39 | 88 | 128
1512.63/1513.04 c 1507s | 17 | 1672455 | 289932 | 13580 39 | 88 | 128
1515.63/1516.07 c 1510s | 17 | 1672767 | 290132 | 13580 39 | 88 | 128
1518.93/1519.30 c 1513s | 17 | 1673030 | 290332 | 13580 39 | 88 | 128
1521.64/1522.02 c 1516s | 17 | 1673579 | 290532 | 13580 39 | 88 | 128
1523.63/1524.03 c 1518s | 17 | 1674585 | 290932 | 13580 39 | 88 | 128
1525.83/1526.29 c 1520s | 17 | 1675210 | 291232 | 13580 39 | 88 | 128
1528.52/1528.97 c 1523s | 17 | 1675770 | 291532 | 13580 39 | 88 | 128
1530.94/1531.35 c 1525s | 17 | 1677215 | 292032 | 13580 39 | 88 | 128
1533.23/1533.63 c 1527s | 17 | 1678911 | 292532 | 13580 39 | 88 | 128
1535.33/1535.70 c 1529s | 17 | 1680859 | 293032 | 13580 39 | 88 | 128
1537.62/1538.03 c 1532s | 17 | 1682730 | 293532 | 14939 39 | 88 | 128
1539.93/1540.37 c 1534s | 17 | 1683604 | 293932 | 14939 39 | 88 | 128
1542.13/1542.60 c 1536s | 17 | 1684266 | 294232 | 14939 39 | 88 | 128
1545.24/1545.67 c 1539s | 17 | 1688503 | 294532 | 14939 40 | 88 | 128
1547.23/1547.68 c 1541s | 17 | 1717942 | 295432 | 14939 40 | 88 | 128
1549.33/1549.76 c 1544s | 17 | 1721121 | 296132 | 14939 40 | 88 | 128
1549.73/1550.12 c 1544s | 18 | 1721554 | 296252 | 14939 40 | 88 | 128
1551.92/1552.37 c 1546s | 18 | 1727502 | 296652 | 14939 40 | 88 | 128
1554.43/1554.80 c 1549s | 18 | 1732147 | 297452 | 14939 40 | 88 | 128
1556.62/1557.01 c 1551s | 18 | 1734512 | 297952 | 14939 40 | 88 | 128
1558.83/1559.22 c 1553s | 18 | 1744993 | 298652 | 14939 40 | 88 | 128
1561.13/1561.59 c 1555s | 18 | 1746958 | 299252 | 14939 40 | 88 | 128
1563.42/1563.87 c 1558s | 18 | 1747691 | 299652 | 14939 40 | 88 | 128
1565.53/1565.96 c 1560s | 18 | 1749029 | 300052 | 14939 40 | 88 | 128
1567.92/1568.38 c 1562s | 18 | 1750313 | 300552 | 14939 40 | 88 | 128
1570.82/1571.23 c 1565s | 18 | 1751606 | 301052 | 14939 40 | 88 | 128
1572.83/1573.26 c 1567s | 18 | 1752825 | 301452 | 14939 40 | 88 | 128
1575.32/1575.79 c 1570s | 18 | 1753674 | 301852 | 14939 40 | 88 | 128
1578.02/1578.42 c 1572s | 18 | 1757192 | 302052 | 14939 41 | 88 | 128
1580.12/1580.57 c 1574s | 18 | 1761536 | 302752 | 14939 41 | 88 | 128
1582.22/1582.66 c 1576s | 18 | 1770760 | 303452 | 14939 41 | 88 | 128
1584.42/1584.87 c 1579s | 18 | 1774964 | 304252 | 14939 41 | 88 | 128
1587.03/1587.41 c 1581s | 18 | 1777066 | 304852 | 14939 41 | 88 | 128
1589.52/1589.92 c 1584s | 18 | 1779427 | 305352 | 14939 41 | 88 | 128
1592.22/1592.62 c 1586s | 18 | 1780025 | 305652 | 14939 41 | 88 | 128
1594.32/1594.79 c 1589s | 18 | 1780838 | 305952 | 14939 41 | 88 | 128
1597.02/1597.47 c 1591s | 18 | 1781084 | 306152 | 14939 41 | 88 | 128
1599.03/1599.50 c 1593s | 18 | 1781938 | 306352 | 14939 41 | 88 | 128
1601.23/1601.68 c 1595s | 18 | 1784228 | 306852 | 14939 41 | 88 | 128
1603.43/1603.85 c 1598s | 18 | 1785202 | 307252 | 14939 41 | 88 | 128
1605.52/1605.91 c 1600s | 18 | 1786426 | 307652 | 14939 41 | 88 | 128
1608.11/1608.56 c 1602s | 18 | 1786874 | 307952 | 14939 41 | 88 | 128
1610.42/1610.86 c 1605s | 18 | 1788173 | 308452 | 14939 41 | 88 | 128
1613.02/1613.47 c 1607s | 18 | 1788596 | 308652 | 14939 41 | 88 | 128
1615.21/1615.68 c 1609s | 18 | 1788951 | 308852 | 14939 41 | 88 | 128
1618.12/1618.53 c 1612s | 18 | 1789248 | 309052 | 14939 41 | 88 | 128
1621.02/1621.45 c 1615s | 18 | 1789606 | 309352 | 14939 41 | 88 | 128
1623.22/1623.70 c 1617s | 18 | 1791017 | 309752 | 14939 41 | 88 | 128
1625.62/1626.05 c 1620s | 18 | 1791586 | 310052 | 14939 41 | 88 | 128
1628.42/1628.89 c 1623s | 18 | 1792007 | 310352 | 14939 41 | 88 | 128
1630.61/1631.05 c 1625s | 18 | 1792965 | 310652 | 14939 41 | 88 | 128
1632.81/1633.22 c 1627s | 18 | 1795022 | 311152 | 14939 41 | 88 | 128
1635.22/1635.64 c 1629s | 18 | 1796903 | 311652 | 14939 41 | 88 | 128
1637.81/1638.21 c 1632s | 18 | 1797976 | 312052 | 14939 41 | 88 | 128
1640.11/1640.58 c 1634s | 18 | 1799834 | 312552 | 14939 41 | 88 | 128
1642.31/1642.77 c 1637s | 18 | 1800329 | 312852 | 14939 41 | 88 | 128
1644.72/1645.14 c 1639s | 18 | 1801094 | 313252 | 14939 41 | 88 | 128
1647.11/1647.53 c 1641s | 18 | 1801601 | 313552 | 14939 41 | 88 | 128
1649.72/1650.12 c 1644s | 18 | 1802060 | 313852 | 14939 41 | 88 | 128
1654.12/1654.57 c 1648s | 18 | 1802351 | 314052 | 14939 42 | 88 | 128
1656.22/1656.67 c 1650s | 18 | 1802785 | 314352 | 14939 42 | 88 | 128
1658.51/1658.91 c 1653s | 18 | 1803515 | 314652 | 14939 42 | 88 | 128
1660.61/1661.06 c 1655s | 18 | 1804054 | 314952 | 14939 42 | 88 | 128
1662.82/1663.22 c 1657s | 18 | 1806263 | 315452 | 14939 42 | 88 | 128
1665.31/1665.71 c 1659s | 18 | 1807314 | 315852 | 14939 42 | 88 | 128
1667.41/1667.82 c 1662s | 18 | 1810856 | 316352 | 14939 42 | 88 | 128
1669.91/1670.32 c 1664s | 18 | 1811515 | 316652 | 14939 42 | 88 | 128
1672.31/1672.71 c 1666s | 18 | 1813152 | 317252 | 14939 42 | 88 | 128
1674.50/1674.93 c 1669s | 18 | 1814017 | 317552 | 14939 42 | 88 | 128
1676.71/1677.10 c 1671s | 18 | 1815600 | 317952 | 14939 42 | 88 | 128
1678.91/1679.31 c 1673s | 18 | 1818629 | 318652 | 14939 42 | 88 | 128
1681.01/1681.42 c 1675s | 18 | 1820027 | 319152 | 14939 42 | 88 | 128
1683.00/1683.46 c 1677s | 18 | 1823713 | 319852 | 14939 42 | 88 | 128
1685.60/1686.01 c 1680s | 18 | 1827085 | 320552 | 14939 42 | 88 | 128
1687.61/1688.07 c 1682s | 18 | 1828505 | 320952 | 14939 42 | 88 | 128
1689.71/1690.18 c 1684s | 18 | 1830278 | 321452 | 14939 42 | 88 | 128
1691.90/1692.36 c 1686s | 18 | 1832735 | 321952 | 14939 42 | 88 | 128
1694.30/1694.76 c 1689s | 18 | 1833838 | 322352 | 14939 42 | 88 | 128
1696.41/1696.87 c 1691s | 18 | 1834741 | 322752 | 14939 42 | 88 | 128
1699.90/1700.34 c 1694s | 18 | 1835193 | 322952 | 14939 43 | 88 | 128
1702.30/1702.77 c 1697s | 18 | 1838058 | 323652 | 14939 43 | 88 | 128
1704.41/1704.80 c 1699s | 18 | 1839300 | 324152 | 14939 43 | 88 | 128
1706.60/1707.04 c 1701s | 18 | 1841230 | 324752 | 14939 43 | 88 | 128
1708.70/1709.12 c 1703s | 18 | 1842221 | 325152 | 14939 43 | 88 | 128
1710.80/1711.26 c 1705s | 18 | 1842929 | 325452 | 14939 43 | 88 | 128
1713.51/1713.95 c 1708s | 18 | 1843876 | 325852 | 14939 43 | 88 | 128
1715.90/1716.39 c 1710s | 18 | 1845317 | 326252 | 14939 43 | 88 | 128
1718.00/1718.40 c 1712s | 18 | 1846585 | 326752 | 14939 43 | 88 | 128
1720.10/1720.54 c 1714s | 18 | 1847697 | 327152 | 14939 43 | 88 | 128
1722.40/1722.85 c 1717s | 18 | 1851264 | 327752 | 14939 43 | 88 | 128
1724.70/1725.15 c 1719s | 18 | 1854281 | 328452 | 14939 43 | 88 | 128
1726.90/1727.30 c 1721s | 18 | 1855875 | 328952 | 14939 43 | 88 | 128
1729.69/1730.10 c 1724s | 18 | 1857318 | 329452 | 14939 43 | 88 | 128
1732.11/1732.52 c 1726s | 18 | 1858584 | 329952 | 14939 43 | 88 | 128
1734.20/1734.66 c 1728s | 18 | 1859492 | 330252 | 14939 43 | 88 | 128
1736.80/1737.27 c 1731s | 18 | 1860362 | 330552 | 14939 43 | 88 | 128
1739.80/1740.26 c 1734s | 18 | 1860929 | 330852 | 14939 43 | 88 | 128
1742.59/1743.06 c 1737s | 18 | 1861593 | 331152 | 14939 43 | 88 | 128
1745.00/1745.43 c 1739s | 18 | 1862344 | 331452 | 14939 43 | 88 | 128
1748.50/1748.95 c 1743s | 18 | 1862935 | 331752 | 14939 43 | 88 | 128
1752.01/1752.46 c 1746s | 18 | 1863283 | 331952 | 14939 43 | 88 | 128
1754.89/1755.31 c 1749s | 18 | 1863793 | 332152 | 14939 43 | 88 | 128
1757.80/1758.23 c 1752s | 18 | 1864239 | 332352 | 14939 43 | 88 | 128
1759.89/1760.34 c 1754s | 18 | 1864604 | 332552 | 14939 43 | 88 | 128
1762.59/1763.02 c 1757s | 18 | 1865421 | 332952 | 14939 43 | 88 | 128
1764.80/1765.21 c 1759s | 18 | 1866161 | 333252 | 14939 43 | 88 | 128
1768.30/1768.74 c 1762s | 18 | 1866541 | 333452 | 14939 44 | 88 | 128
1770.39/1770.84 c 1765s | 18 | 1866801 | 333652 | 14939 44 | 88 | 128
1772.69/1773.11 c 1767s | 18 | 1867126 | 333852 | 14939 44 | 88 | 128
1774.69/1775.19 c 1769s | 18 | 1868505 | 334252 | 14939 44 | 88 | 128
1777.20/1777.65 c 1771s | 18 | 1870149 | 334752 | 14939 44 | 88 | 128
1779.99/1780.40 c 1774s | 18 | 1870861 | 335152 | 14939 44 | 88 | 128
1782.29/1782.70 c 1776s | 18 | 1871652 | 335552 | 14939 44 | 88 | 128
1784.59/1785.07 c 1779s | 18 | 1872683 | 335952 | 14939 44 | 88 | 128
1787.10/1787.52 c 1781s | 18 | 1873316 | 336252 | 14939 44 | 88 | 128
1789.19/1789.60 c 1783s | 18 | 1873946 | 336552 | 14939 44 | 88 | 128
1791.60/1792.05 c 1786s | 18 | 1875318 | 337052 | 14939 44 | 88 | 128
1793.99/1794.43 c 1788s | 18 | 1875833 | 337352 | 14939 44 | 88 | 128
1796.38/1796.87 c 1791s | 18 | 1876631 | 337752 | 14939 44 | 88 | 128
1798.98/1799.44 c 1793s | 18 | 1877894 | 338152 | 14939 44 | 88 | 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-4099785-1466207942/watcher-4099785-1466207942 -o /tmp/evaluation-result-4099785-1466207942/solver-4099785-1466207942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099785-1466207942.opb
pid=17652
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.28 2.24 1.95 3/179 17655
/proc/meminfo: memFree=27602260/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=615868 CPUtime=0 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 2278 0 0 0 0 0 0 0 20 0 4 0 22839768 630648832 3150 33554432000 4194304 16246674 140735740901072 140735740900496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 154479 3158 441 2943 0 151373 0
[pid=17655/tid=17656] ppid=17652 vsize=634300 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 649523200 3220 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=638396 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 653717504 3238 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=642492 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 657911808 3255 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100128 s]
/proc/loadavg: 2.28 2.24 1.95 3/179 17655
/proc/meminfo: memFree=27602260/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 28763 0 0 0 5 4 0 0 20 0 4 0 22839768 1333334016 29573 33554432000 4194304 16246674 140735740901072 140735740900384 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 325521 29590 801 2943 0 322415 0
[pid=17655/tid=17656] ppid=17652 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1333334016 29602 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1333334016 29613 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1333334016 29625 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084
[startup+0.200511 s]
/proc/loadavg: 2.28 2.24 1.95 3/179 17655
/proc/meminfo: memFree=27602260/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1309252 CPUtime=0.19 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 48087 0 0 0 12 7 0 0 20 0 4 0 22839768 1340674048 48896 33554432000 4194304 16246674 140735740901072 140735740900384 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 327313 48900 837 2943 0 324207 0
[pid=17655/tid=17656] ppid=17652 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1340674048 48903 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1340674048 48906 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1340674048 48909 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1309252
[startup+0.300456 s]
/proc/loadavg: 2.28 2.24 1.95 3/179 17655
/proc/meminfo: memFree=27602260/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 50145 0 0 0 22 7 0 0 20 0 4 0 22839768 1345916928 50954 33554432000 4194304 16246674 140735740901072 140735740900384 12457726 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 328593 50974 837 2943 0 325487 0
[pid=17655/tid=17656] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 50983 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 50987 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 50991 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372
[startup+0.700319 s]
/proc/loadavg: 2.28 2.24 1.95 3/179 17655
/proc/meminfo: memFree=27602260/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 95875 0 0 0 56 13 0 0 20 0 4 0 22839768 1345916928 96684 33554432000 4194304 16246674 140735740901072 140735740900384 13820864 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 328593 96684 892 2943 0 325487 0
[pid=17655/tid=17656] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 96684 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 96684 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 96684 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372
[startup+1.50043 s]
/proc/loadavg: 2.28 2.24 1.95 3/183 17708
/proc/meminfo: memFree=28154928/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1314372 CPUtime=1.48 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 95903 0 0 0 135 13 0 0 20 0 4 0 22839768 1345916928 96712 33554432000 4194304 16246674 140735740901072 140735740882944 13007928 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 328593 96712 920 2943 0 325487 0
[pid=17655/tid=17656] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 96712 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 96712 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 96712 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372
[startup+3.10043 s]
/proc/loadavg: 2.28 2.24 1.95 3/183 17708
/proc/meminfo: memFree=27295740/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1314372 CPUtime=3.09 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 266863 0 0 0 274 35 0 0 20 0 4 0 22839768 1345916928 267672 33554432000 4194304 16246674 140735740901072 140735740882944 12652957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 328593 267672 920 2943 0 325487 0
[pid=17655/tid=17656] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 267672 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 267672 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 267672 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372
[startup+6.30043 s]
/proc/loadavg: 2.26 2.24 1.95 3/183 17708
/proc/meminfo: memFree=26511820/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1314372 CPUtime=6.29 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 269811 0 0 0 594 35 0 0 20 0 4 0 22839768 1345916928 270620 33554432000 4194304 16246674 140735740901072 140735740882944 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 328593 270620 920 2943 0 325487 0
[pid=17655/tid=17656] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 270620 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 270620 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 270620 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.24 2.23 1.95 3/183 17708
/proc/meminfo: memFree=26512312/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1314372 CPUtime=12.68 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 269811 0 0 0 1233 35 0 0 20 0 4 0 22839768 1345916928 270620 33554432000 4194304 16246674 140735740901072 140735740882944 5545704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 328593 270620 920 2943 0 325487 0
[pid=17655/tid=17656] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 270620 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 270620 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 270620 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.33 2.26 1.97 4/183 17708
/proc/meminfo: memFree=26474300/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1314372 CPUtime=25.48 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 269814 0 0 0 2512 36 0 0 20 0 4 0 22839768 1345916928 270623 33554432000 4194304 16246674 140735740901072 140735740882944 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 328593 270623 923 2943 0 325487 0
[pid=17655/tid=17656] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 270623 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 270623 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 270623 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.34 2.27 1.98 3/183 17708
/proc/meminfo: memFree=26474148/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1314372 CPUtime=51.08 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 269814 0 0 0 5070 38 0 0 20 0 4 0 22839768 1345916928 270623 33554432000 4194304 16246674 140735740901072 140735740882944 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 328593 270623 923 2943 0 325487 0
[pid=17655/tid=17656] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 270623 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 270623 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 270623 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372
[startup+102.301 s]
/proc/loadavg: 2.36 2.28 2.00 3/184 17712
/proc/meminfo: memFree=26473976/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 269816 0 0 0 10185 43 0 0 20 0 4 0 22839768 1345916928 270623 33554432000 4194304 16246674 140735740901072 140735740900248 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 328593 270623 923 2943 0 325487 0
[pid=17655/tid=17656] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 270623 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 270623 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1345916928 270623 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372
################
# More data... #
################
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1318468
[startup+1362.3 s]
/proc/loadavg: 2.24 2.30 2.19 3/183 17767
/proc/meminfo: memFree=26466472/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1318468 CPUtime=1361.95 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 271063 0 0 0 135999 196 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140735740900248 5545872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 329617 271648 924 2943 0 326511 0
[pid=17655/tid=17656] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1318468
[startup+1422.3 s]
/proc/loadavg: 2.20 2.29 2.19 4/183 17768
/proc/meminfo: memFree=26466300/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1318468 CPUtime=1421.95 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 271063 0 0 0 141990 205 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140735740882944 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 329617 271648 924 2943 0 326511 0
[pid=17655/tid=17656] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1318468
[startup+1482.3 s]
/proc/loadavg: 2.20 2.27 2.19 3/183 17769
/proc/meminfo: memFree=26466428/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1318468 CPUtime=1481.93 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 271063 0 0 0 147981 212 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140735740882944 13927324 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 329617 271648 924 2943 0 326511 0
[pid=17655/tid=17656] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1318468
[startup+1542.31 s]
/proc/loadavg: 2.25 2.28 2.19 3/183 17770
/proc/meminfo: memFree=26466312/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1318468 CPUtime=1541.93 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 271063 0 0 0 153972 221 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140735740900248 12483524 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 329617 271648 924 2943 0 326511 0
[pid=17655/tid=17656] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1318468
[startup+1602.3 s]
/proc/loadavg: 2.29 2.30 2.20 3/183 17771
/proc/meminfo: memFree=26466324/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1318468 CPUtime=1601.92 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 271063 0 0 0 159963 229 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140735740900168 5721579 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 329617 271648 924 2943 0 326511 0
[pid=17655/tid=17656] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1318468
[startup+1662.3 s]
/proc/loadavg: 2.38 2.32 2.21 3/182 17772
/proc/meminfo: memFree=26466464/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1318468 CPUtime=1661.9 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 271063 0 0 0 165955 235 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140735740900248 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 329617 271648 924 2943 0 326511 0
[pid=17655/tid=17656] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1318468
[startup+1722.3 s]
/proc/loadavg: 2.27 2.30 2.21 3/183 17774
/proc/meminfo: memFree=26466332/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1318468 CPUtime=1721.9 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 271063 0 0 0 171947 243 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140735740882944 5523519 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 329617 271648 924 2943 0 326511 0
[pid=17655/tid=17656] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1318468
[startup+1782.3 s]
/proc/loadavg: 2.18 2.27 2.20 3/183 17775
/proc/meminfo: memFree=26465968/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1318468 CPUtime=1781.89 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 271063 0 0 0 177938 251 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140735740882944 6021620 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 329617 271648 924 2943 0 326511 0
[pid=17655/tid=17656] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1318468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.19 2.27 2.20 3/183 17775
/proc/meminfo: memFree=26465972/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1318468 CPUtime=1800.08 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 271063 0 0 0 179756 252 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140735740882944 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 329617 271648 924 2943 0 326511 0
[pid=17655/tid=17656] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1318468
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 17655 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.19 2.27 2.20 3/183 17775
/proc/meminfo: memFree=26465972/32872528 swapFree=1459628/1655852
[pid=17655] ppid=17652 vsize=1318468 CPUtime=1800.08 cores=1,3,5,7
/proc/17655/stat : 17655 (toysat) R 17652 17655 16189 0 -1 4202496 271063 0 0 0 179756 252 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140735740882944 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17655/statm: 329617 271648 924 2943 0 326511 0
[pid=17655/tid=17656] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17656/stat : 17656 (toysat) S 17652 17655 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082998652144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17655/tid=17657] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17657/stat : 17657 (toysat) S 17652 17655 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082988162288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17655/tid=17658] ppid=17652 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17655/task/17658/stat : 17658 (toysat) S 17652 17655 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839768 1350111232 271648 33554432000 4194304 16246674 140735740901072 140082908490928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1318468
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1797.57
CPU system time (s): 2.52961
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 1318468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.57
system time used= 2.52961
maximum resident set size= 1086592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271063
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= 239
involuntary context switches= 1842
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64729 second user time and 6.87395 second system time
The end