| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12037_10.std.opb |
| MD5SUM | 2d7989b1a1c0b548cce5b438f15fc440 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 140 |
| Best CPU time to get the best result obtained on this benchmark | 1800.9 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 72842 |
| Total number of constraints | 245287 |
| Number of constraints which are clauses | 244087 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 120 |
| Number of terms in the objective function | 300 |
| Biggest coefficient in the objective function | 300 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 45150 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 300 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 45150 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-19T01:13:39+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-4108549-1466291619.opb"] 0.00/0.01 c use --random-gen="3495004799 3166611654 2777681999 2610865557 3030277884 4276157603 4020326082 3473113617 1968733205 4140771157 381003757 3926730760 2280965828 1982756935 376183546 4275677452 2228475966 249534944 372118287 1913703061 85573880 3913433043 1610455437 3315266867 1204306930 233426131 3021986031 767009078 3969766751 3530629545 3539761734 1619508817 2388274639 4187368513 3693327719 2791949928 4152674401 2458961425 3466882054 3453716183 3801176733 1615590783 899309979 1301858680 25306151 2362132792 1734238021 587474288 276397491 1080461678 2901832406 3302478875 1241494465 1808101752 3445165275 2198138007 3655078860 4045269836 1982538529 2396632695 3093368794 4270812145 778071072 3671638006 2627795772 3457616379 251633821 1957771508 270397704 2746784251 4242746935 275410903 193900923 437229759 4211598240 960623059 2645286388 3869454613 2315387484 1869801339 2689242660 3233779885 3044170531 349660601 3400284659 2681613894 950575818 2064248815 3076408917 333948144 1400645654 2801155541 324125687 2917491846 1863578097 1590483066 3652828569 2696039058 3181704650 271032420 103096286 2076405105 2246867005 3135329520 156862617 899471785 1586072227 2317662006 1367052032 721819162 1170092570 3578207629 3715946933 813661437 3055436875 1568256637 2735122574 2510697044 1971689909 2577916287 3272726933 1463467062 2264403739 2608291874 2459788300 2852573685 2471456286 3196668149 3355866916 1208647604 2045349984 4154116053 1202668617 162175706 3472498248 637659595 2013834663 286611550 2153845271 439821475 2851482624 3919900002 4137378298 2732414251 2338222712 4123806237 1491437938 3143301919 1506605256 1544415402 366019767 2029940889 3782827242 104386556 2960594425 1616866914 16379980 4235878693 70818187 120531014 2984317620 3313123965 3776441021 896718719 547132653 509702907 1750521356 2807354639 2892021015 3419018012 2434446921 804094907 485264918 3076762974 969059370 1197031501 3712261229 2019642807 3132980713 2885480558 1868376129 3543933383 669551832 2577978450 2745820939 3261011790 826285900 1755667800 4284670764 1309080690 3416976299 3797757545 1594393694 3832218817 1630691074 2298217069 2750131120 4203711055 627426499 4089683134 2762945403 2031866500 3787966097 802799663 583324177 774811412 3043166604 797968022 1871761247 2840775540 426519212 789310405 1276939208 765921380 2802185271 515691308 2452075306 666338811 3487723480 910584609 298551990 1052330593 60572398 3309134771 3269751236 1807269975 458550796 256635740 3243402246 1628006450 3812371612 2528923500 328837819 961781060 2063223463 1297901844 1373892522 99768768 2433500540 126285255 33400539 3450315440 4230637550 1407392172 3201172289 1508699321 1689379779 3563143790 2714404486 2388845177 2576085415 3857705273 3607957718 1258866290 3744749897 2450163431 255 362436" option to reproduce the execution 1.49/1.50 c #vars 72842 1.49/1.50 c #constraints 245287 4.79/4.83 c BCD2: Hardening is enabled. 4.79/4.83 c BCD2: BiasedSearch is enabled. 4.79/4.83 c Solving starts ... 4.79/4.83 c ============================[ Search Statistics ]============================ 4.79/4.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.83 c | | | | Limit GC | Var | Constra 4.79/4.83 c ============================================================================= 4.89/4.94 c 0.0s | 0 | 0 | 0 | 93361 0 | 14540 | 0 5.19/5.21 c 0.3s | 0 | 122 | 0 | 93361 0 | 14540 | 17794 5.19/5.21 c #cpu_time = 0.239s 5.19/5.21 c #wall_clock_time = 0.240s 5.19/5.21 c #decision = 122 5.19/5.21 c #random_decision = 1 5.19/5.21 c #conflict = 0 5.19/5.21 c #restart = 0 5.19/5.21 o 300 5.19/5.21 c BCD2: hardening fixes 1 literals 5.19/5.21 c BCD2: updating upper bound: 45150 -> 299 5.19/5.21 c BCD2: 0 <= obj <= 299 5.19/5.21 c BCD2: #cores=0, #unrelaxed=299, #relaxed=0, #hardened=1 5.19/5.21 c BCD2: #sat=1 #unsat=1 bias=1/2 5.19/5.21 c Solving starts ... 5.19/5.21 c ============================[ Search Statistics ]============================ 5.19/5.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.19/5.21 c | | | | Limit GC | Var | Constra 5.19/5.21 c ============================================================================= 5.19/5.21 c 0.0s | 0 | 0 | 0 | 93361 0 | 14782 | 17794 5.39/5.45 c 0.2s | 0 | 219 | 1 | 93361 0 | 14782 | 18616 5.39/5.45 c #cpu_time = 0.212s 5.39/5.45 c #wall_clock_time = 0.213s 5.39/5.45 c #decision = 219 5.39/5.45 c #random_decision = 0 5.39/5.45 c #conflict = 1 5.39/5.45 c #restart = 0 5.39/5.45 c BCD2: found a new core of size 219: cost of the new core is >=81 5.39/5.45 c lower bound updated to 81 5.39/5.45 c BCD2: 81 <= obj <= 299 5.39/5.45 c BCD2: #cores=1, #unrelaxed=80, #relaxed=219, #hardened=1 5.39/5.45 c BCD2: #sat=1 #unsat=2 bias=2/3 7.09/7.10 c Solving starts ... 7.09/7.10 c ============================[ Search Statistics ]============================ 7.09/7.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.09/7.10 c | | | | Limit GC | Var | Constra 7.09/7.10 c ============================================================================= 7.09/7.10 c 0.0s | 0 | 0 | 0 | 93361 0 | 14782 | 18616 7.38/7.44 c 0.3s | 0 | 10 | 9 | 93361 0 | 14783 | 18617 7.38/7.44 c #cpu_time = 0.340s 7.38/7.44 c #wall_clock_time = 0.341s 7.38/7.44 c #decision = 10 7.38/7.44 c #random_decision = 0 7.38/7.44 c #conflict = 9 7.38/7.44 c #restart = 0 7.38/7.44 c BCD2: updating lower bound of a core 7.38/7.44 c lower bound updated to 82 7.38/7.44 c BCD2: 82 <= obj <= 299 7.38/7.44 c BCD2: #cores=1, #unrelaxed=80, #relaxed=219, #hardened=1 7.38/7.44 c BCD2: #sat=1 #unsat=3 bias=3/4 8.98/9.01 c Solving starts ... 8.98/9.01 c ============================[ Search Statistics ]============================ 8.98/9.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.98/9.01 c | | | | Limit GC | Var | Constra 8.98/9.01 c ============================================================================= 8.98/9.01 c 0.0s | 0 | 0 | 0 | 93361 0 | 14783 | 18617 9.48/9.50 c 0.5s | 0 | 129 | 97 | 102698 0 | 14784 | 18618 9.48/9.50 c #cpu_time = 0.484s 9.48/9.50 c #wall_clock_time = 0.486s 9.48/9.50 c #decision = 129 9.48/9.50 c #random_decision = 0 9.48/9.50 c #conflict = 97 9.48/9.50 c #restart = 0 9.48/9.50 c BCD2: updating lower bound of a core 9.48/9.50 c lower bound updated to 83 9.48/9.50 c BCD2: 83 <= obj <= 299 9.48/9.50 c BCD2: #cores=1, #unrelaxed=80, #relaxed=219, #hardened=1 9.48/9.50 c BCD2: #sat=1 #unsat=4 bias=4/5 10.99/11.05 c Solving starts ... 10.99/11.05 c ============================[ Search Statistics ]============================ 10.99/11.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.99/11.05 c | | | | Limit GC | Var | Constra 10.99/11.05 c ============================================================================= 10.99/11.05 c 0.0s | 0 | 0 | 0 | 102698 0 | 14784 | 18618 11.38/11.44 c 0.4s | 1 | 127 | 100 | 102698 0 | 14784 | 18618 11.88/11.92 c 0.9s | 2 | 305 | 250 | 112968 0 | 14784 | 18618 12.38/12.45 c 1.4s | 2 | 438 | 358 | 112968 0 | 14785 | 18619 12.38/12.45 c #cpu_time = 1.403s 12.38/12.45 c #wall_clock_time = 1.407s 12.38/12.45 c #decision = 438 12.38/12.45 c #random_decision = 0 12.38/12.45 c #conflict = 358 12.38/12.45 c #restart = 2 12.38/12.45 c BCD2: updating lower bound of a core 12.38/12.45 c lower bound updated to 84 12.38/12.45 c BCD2: 84 <= obj <= 299 12.38/12.45 c BCD2: #cores=1, #unrelaxed=80, #relaxed=219, #hardened=1 12.38/12.45 c BCD2: #sat=1 #unsat=5 bias=5/6 13.98/14.01 c Solving starts ... 13.98/14.01 c ============================[ Search Statistics ]============================ 13.98/14.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 13.98/14.01 c | | | | Limit GC | Var | Constra 13.98/14.01 c ============================================================================= 13.98/14.01 c 0.0s | 0 | 0 | 0 | 112968 0 | 14785 | 18619 14.39/14.41 c 0.4s | 1 | 164 | 100 | 124265 0 | 14785 | 18619 14.88/14.91 c 0.9s | 2 | 375 | 250 | 124265 0 | 14785 | 18619 15.58/15.62 c 1.6s | 3 | 670 | 475 | 136692 0 | 14785 | 18619 16.38/16.47 c 2.5s | 4 | 1119 | 813 | 136692 0 | 14785 | 18619 17.48/17.57 c 3.6s | 5 | 1872 | 1320 | 150362 0 | 14785 | 18619 18.28/18.35 c 4.3s | 5 | 2208 | 1593 | 150362 0 | 14786 | 18620 18.28/18.35 c #cpu_time = 4.333s 18.28/18.35 c #wall_clock_time = 4.344s 18.28/18.35 c #decision = 2208 18.28/18.35 c #random_decision = 0 18.28/18.35 c #conflict = 1593 18.28/18.35 c #restart = 5 18.28/18.35 c BCD2: updating lower bound of a core 18.28/18.35 c lower bound updated to 85 18.28/18.35 c BCD2: 85 <= obj <= 299 18.28/18.35 c BCD2: #cores=1, #unrelaxed=80, #relaxed=219, #hardened=1 18.28/18.35 c BCD2: #sat=1 #unsat=6 bias=6/7 19.79/19.85 c Solving starts ... 19.79/19.85 c ============================[ Search Statistics ]============================ 19.79/19.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.79/19.85 c | | | | Limit GC | Var | Constra 19.79/19.85 c ============================================================================= 19.79/19.85 c 0.0s | 0 | 0 | 0 | 150362 0 | 14786 | 18620 20.18/20.24 c 0.4s | 1 | 195 | 100 | 165399 0 | 14786 | 18620 20.58/20.67 c 0.8s | 2 | 411 | 250 | 165399 0 | 14786 | 18620 21.28/21.32 c 1.5s | 3 | 721 | 475 | 165399 0 | 14786 | 18620 21.99/22.09 c 2.2s | 4 | 1144 | 813 | 165399 0 | 14786 | 18620 23.19/23.22 c 3.4s | 5 | 1885 | 1320 | 181939 0 | 14786 | 18620 24.78/24.83 c 5.0s | 6 | 2882 | 2081 | 181939 0 | 14786 | 18620 26.88/26.92 c 7.1s | 6 | 4147 | 3081 | 200133 0 | 14786 | 18620 27.49/27.51 c 7.7s | 7 | 4305 | 3223 | 200133 0 | 14786 | 18620 29.49/29.59 c 9.7s | 7 | 5594 | 4223 | 200133 0 | 14786 | 18620 30.99/31.01 c 11.2s | 8 | 6481 | 4936 | 200133 0 | 14786 | 18620 32.99/33.02 c 13.2s | 8 | 7522 | 5736 | 220147 0 | 14786 | 18620 34.09/34.15 c 14.3s | 8 | 8074 | 6184 | 220147 0 | 14787 | 18621 34.09/34.15 c #cpu_time = 14.261s 34.09/34.15 c #wall_clock_time = 14.298s 34.09/34.15 c #decision = 8074 34.09/34.15 c #random_decision = 4 34.09/34.15 c #conflict = 6184 34.09/34.15 c #restart = 8 34.09/34.15 c BCD2: updating lower bound of a core 34.09/34.15 c lower bound updated to 86 34.09/34.15 c BCD2: 86 <= obj <= 299 34.09/34.15 c BCD2: #cores=1, #unrelaxed=80, #relaxed=219, #hardened=1 34.09/34.15 c BCD2: #sat=1 #unsat=7 bias=7/8 35.59/35.66 c Solving starts ... 35.59/35.66 c ============================[ Search Statistics ]============================ 35.59/35.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 35.59/35.66 c | | | | Limit GC | Var | Constra 35.59/35.66 c ============================================================================= 35.59/35.66 c 0.0s | 0 | 0 | 0 | 220147 0 | 14787 | 18621 36.09/36.10 c 0.4s | 1 | 150 | 100 | 220147 0 | 14787 | 18621 36.59/36.64 c 1.0s | 2 | 390 | 250 | 220147 0 | 14787 | 18621 37.29/37.37 c 1.7s | 3 | 674 | 475 | 220147 0 | 14787 | 18621 38.39/38.40 c 2.7s | 4 | 1119 | 813 | 220147 0 | 14787 | 18621 39.69/39.78 c 4.1s | 5 | 1798 | 1320 | 220147 0 | 14787 | 18621 41.69/41.74 c 6.1s | 6 | 2909 | 2081 | 220147 0 | 14787 | 18621 43.69/43.78 c 8.1s | 6 | 4240 | 2981 | 220147 0 | 14787 | 18621 44.19/44.23 c 8.6s | 7 | 4549 | 3223 | 242162 0 | 14787 | 18621 46.19/46.28 c 10.6s | 7 | 5779 | 4123 | 242162 0 | 14787 | 18621 48.18/48.23 c 12.6s | 8 | 6868 | 4936 | 242162 0 | 14787 | 18621 50.28/50.32 c 14.7s | 8 | 8073 | 5836 | 242162 0 | 14787 | 18621 52.28/52.38 c 16.7s | 8 | 9311 | 6836 | 242162 0 | 14787 | 18621 53.68/53.78 c 18.1s | 9 | 10133 | 7506 | 242162 0 | 14787 | 18621 55.78/55.82 c 20.2s | 9 | 11405 | 8406 | 242162 0 | 14787 | 18621 57.78/57.87 c 22.2s | 9 | 12832 | 9506 | 266379 0 | 14787 | 18621 59.88/59.93 c 24.3s | 9 | 14085 | 10506 | 266379 0 | 14787 | 18621 61.59/61.67 c 26.0s | 10 | 15185 | 11361 | 266379 0 | 14787 | 18621 63.58/63.69 c 28.0s | 10 | 16217 | 12161 | 266379 0 | 14787 | 18621 65.88/65.90 c 30.2s | 10 | 17426 | 13161 | 266379 0 | 14787 | 18621 67.88/67.91 c 32.2s | 10 | 18549 | 14061 | 266379 0 | 14787 | 18621 69.97/70.06 c 34.4s | 10 | 19617 | 14861 | 266379 0 | 14787 | 18621 72.17/72.23 c 36.6s | 10 | 20640 | 15661 | 266379 0 | 14787 | 18621 74.27/74.38 c 38.7s | 10 | 21739 | 16561 | 266379 0 | 14787 | 18621 75.77/75.84 c 40.2s | 11 | 22505 | 17144 | 266379 0 | 14787 | 18621 77.87/77.98 c 42.3s | 11 | 23291 | 17744 | 293017 0 | 14787 | 18621 80.07/80.10 c 44.4s | 11 | 24227 | 18444 | 293017 0 | 14787 | 18621 82.07/82.17 c 46.5s | 11 | 25093 | 19144 | 293017 0 | 14787 | 18621 84.27/84.38 c 48.7s | 11 | 25997 | 19844 | 293017 0 | 14787 | 18621 86.47/86.51 c 50.9s | 11 | 26831 | 20544 | 293017 0 | 14787 | 18621 88.57/88.65 c 53.0s | 11 | 27909 | 21344 | 293017 0 | 14787 | 18621 90.87/90.96 c 55.3s | 11 | 28885 | 22144 | 293017 0 | 14787 | 18621 92.96/93.01 c 57.4s | 11 | 29901 | 22944 | 293017 0 | 14787 | 18621 94.96/95.07 c 59.4s | 11 | 30900 | 23744 | 293017 0 | 14787 | 18621 97.06/97.15 c 61.5s | 11 | 31772 | 24444 | 293017 0 | 14787 | 18621 99.16/99.21 c 63.6s | 11 | 32748 | 25244 | 293017 0 | 14787 | 18621 100.76/100.86 c 65.2s | 12 | 33506 | 25819 | 293017 0 | 14787 | 18621 103.06/103.17 c 67.5s | 12 | 34266 | 26419 | 293017 0 | 14787 | 18621 104.26/104.38 c 68.7s | 12 | 34615 | 26709 | 293017 0 | 14788 | 18622 104.26/104.38 c #cpu_time = 68.535s 104.26/104.38 c #wall_clock_time = 68.721s 104.26/104.38 c #decision = 34615 104.26/104.38 c #random_decision = 11 104.26/104.38 c #conflict = 26709 104.26/104.38 c #restart = 12 104.26/104.38 c BCD2: updating lower bound of a core 104.26/104.38 c lower bound updated to 87 104.26/104.38 c BCD2: 87 <= obj <= 299 104.26/104.38 c BCD2: #cores=1, #unrelaxed=80, #relaxed=219, #hardened=1 104.26/104.38 c BCD2: #sat=1 #unsat=8 bias=8/9 105.86/105.93 c Solving starts ... 105.86/105.93 c ============================[ Search Statistics ]============================ 105.86/105.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 105.86/105.93 c | | | | Limit GC | Var | Constra 105.86/105.93 c ============================================================================= 105.86/105.93 c 0.0s | 0 | 0 | 0 | 293017 0 | 14788 | 18622 106.46/106.56 c 0.6s | 1 | 163 | 100 | 293017 0 | 14788 | 18622 107.36/107.46 c 1.5s | 2 | 384 | 250 | 293017 0 | 14788 | 18622 108.56/108.61 c 2.7s | 3 | 702 | 475 | 293017 0 | 14788 | 18622 109.97/110.01 c 4.1s | 4 | 1178 | 813 | 293017 0 | 14788 | 18622 111.76/111.80 c 5.9s | 5 | 1819 | 1320 | 293017 0 | 14788 | 18622 113.86/113.92 c 8.0s | 5 | 2747 | 2020 | 293017 0 | 14788 | 18622 114.26/114.37 c 8.4s | 6 | 2830 | 2081 | 293017 0 | 14788 | 18622 116.36/116.45 c 10.5s | 6 | 3878 | 2881 | 293017 0 | 14788 | 18622 117.06/117.19 c 11.3s | 7 | 4318 | 3223 | 293017 0 | 14788 | 18622 119.26/119.39 c 13.5s | 7 | 5290 | 3923 | 322319 0 | 14788 | 18622 121.46/121.51 c 15.6s | 7 | 6580 | 4923 | 322319 0 | 14788 | 18622 121.46/121.55 c 15.6s | 8 | 6588 | 4936 | 322319 0 | 14788 | 18622 123.46/123.57 c 17.6s | 8 | 7484 | 5636 | 322319 0 | 14788 | 18622 125.66/125.72 c 19.8s | 8 | 8690 | 6636 | 322319 0 | 14788 | 18622 127.67/127.73 c 21.8s | 9 | 9740 | 7506 | 322319 0 | 14788 | 18622 129.76/129.87 c 23.9s | 9 | 10643 | 8206 | 322319 0 | 14788 | 18622 131.96/132.01 c 26.1s | 9 | 11803 | 9106 | 322319 0 | 14788 | 18622 134.06/134.15 c 28.2s | 9 | 12883 | 10006 | 322319 0 | 14788 | 18622 136.16/136.26 c 30.3s | 9 | 14029 | 10906 | 322319 0 | 14788 | 18622 137.36/137.40 c 31.5s | 10 | 14574 | 11361 | 322319 0 | 14788 | 18622 139.35/139.44 c 33.5s | 10 | 15360 | 11961 | 322319 0 | 14788 | 18622 141.55/141.62 c 35.7s | 10 | 16359 | 12761 | 322319 0 | 14788 | 18622 143.65/143.78 c 37.9s | 10 | 17397 | 13561 | 322319 0 | 14788 | 18622 145.95/146.03 c 40.1s | 10 | 18518 | 14461 | 322319 0 | 14788 | 18622 148.05/148.16 c 42.2s | 10 | 19582 | 15261 | 322319 0 | 14788 | 18622 150.15/150.23 c 44.3s | 10 | 20510 | 15961 | 322319 0 | 14788 | 18622 152.35/152.48 c 46.6s | 10 | 21410 | 16661 | 322319 0 | 14788 | 18622 154.06/154.14 c 48.2s | 11 | 22043 | 17144 | 322319 0 | 14788 | 18622 156.26/156.36 c 50.4s | 11 | 22906 | 17744 | 322319 0 | 14788 | 18622 158.45/158.52 c 52.6s | 11 | 23856 | 18444 | 322319 0 | 14788 | 18622 160.45/160.53 c 54.6s | 11 | 24768 | 19144 | 322319 0 | 14788 | 18622 162.55/162.69 c 56.8s | 11 | 25689 | 19844 | 322319 0 | 14788 | 18622 164.85/164.93 c 59.0s | 11 | 26622 | 20544 | 322319 0 | 14788 | 18622 166.95/167.09 c 61.2s | 11 | 27584 | 21244 | 322319 0 | 14788 | 18622 169.24/169.34 c 63.4s | 11 | 28525 | 21944 | 322319 0 | 14788 | 18622 171.55/171.66 c 65.7s | 11 | 29417 | 22644 | 322319 0 | 14788 | 18622 173.85/173.99 c 68.1s | 11 | 30323 | 23344 | 354551 0 | 14788 | 18622 175.84/176.00 c 70.1s | 11 | 31105 | 23944 | 354551 0 | 14788 | 18622 178.25/178.34 c 72.4s | 11 | 32003 | 24644 | 354551 0 | 14788 | 18622 180.54/180.63 c 74.7s | 11 | 32767 | 25244 | 354551 0 | 14788 | 18622 182.65/182.71 c 76.8s | 12 | 33485 | 25819 | 354551 0 | 14788 | 18622 184.75/184.89 c 79.0s | 12 | 34038 | 26219 | 354551 0 | 14788 | 18622 186.95/187.05 c 81.1s | 12 | 34831 | 26819 | 354551 0 | 14788 | 18622 189.34/189.40 c 83.5s | 12 | 35609 | 27419 | 354551 0 | 14788 | 18622 191.44/191.53 c 85.6s | 12 | 36374 | 28019 | 354551 0 | 14788 | 18622 193.64/193.79 c 87.9s | 12 | 37170 | 28619 | 354551 0 | 14788 | 18622 195.84/195.94 c 90.0s | 12 | 37945 | 29219 | 354551 0 | 14788 | 18622 198.04/198.18 c 92.3s | 12 | 38795 | 29919 | 354551 0 | 14788 | 18622 200.14/200.28 c 94.3s | 12 | 39572 | 30519 | 354551 0 | 14788 | 18622 202.34/202.48 c 96.6s | 12 | 40347 | 31119 | 354551 0 | 14788 | 18622 204.64/204.79 c 98.9s | 12 | 41161 | 31719 | 354551 0 | 14788 | 18622 206.84/206.99 c 101s | 12 | 42119 | 32419 | 354551 0 | 14788 | 18622 209.13/209.25 c 103s | 12 | 42880 | 33019 | 354551 0 | 14788 | 18622 211.43/211.58 c 105s | 12 | 43690 | 33619 | 354551 0 | 14788 | 18622 213.53/213.68 c 107s | 12 | 44427 | 34219 | 354551 0 | 14788 | 18622 215.64/215.76 c 109s | 12 | 45192 | 34819 | 354551 0 | 14788 | 18622 217.84/217.96 c 112s | 12 | 45951 | 35419 | 354551 0 | 14788 | 18622 220.13/220.21 c 114s | 12 | 46703 | 36019 | 354551 0 | 14788 | 18622 222.43/222.51 c 116s | 12 | 47644 | 36719 | 354551 0 | 14788 | 18622 224.73/224.83 c 118s | 12 | 48667 | 37519 | 354551 0 | 14788 | 18622 226.73/226.88 c 120s | 12 | 49565 | 38219 | 354551 0 | 14788 | 18622 228.52/228.65 c 122s | 13 | 50402 | 38832 | 354551 0 | 14788 | 18622 230.72/230.84 c 124s | 13 | 51004 | 39232 | 354551 0 | 14788 | 18622 232.92/233.02 c 127s | 13 | 51703 | 39732 | 354551 0 | 14788 | 18622 235.02/235.13 c 129s | 13 | 52373 | 40232 | 354551 0 | 14788 | 18622 237.22/237.35 c 131s | 13 | 53015 | 40732 | 354551 0 | 14788 | 18622 239.32/239.46 c 133s | 13 | 53651 | 41232 | 354551 0 | 14788 | 18622 241.72/241.81 c 135s | 13 | 54403 | 41832 | 354551 0 | 14788 | 18622 243.72/243.83 c 137s | 13 | 55073 | 42332 | 354551 0 | 14788 | 18622 246.02/246.11 c 140s | 13 | 55725 | 42832 | 354551 0 | 14788 | 18622 248.32/248.44 c 142s | 13 | 56386 | 43332 | 354551 0 | 14788 | 18622 250.52/250.64 c 144s | 13 | 57027 | 43832 | 354551 0 | 14788 | 18622 252.82/252.93 c 146s | 13 | 57874 | 44432 | 354551 0 | 14788 | 18622 255.12/255.21 c 149s | 13 | 58755 | 45132 | 354551 0 | 14788 | 18622 257.32/257.41 c 151s | 13 | 59487 | 45732 | 354551 0 | 14788 | 18622 259.41/259.50 c 153s | 13 | 60219 | 46332 | 354551 0 | 14788 | 18622 261.61/261.72 c 155s | 13 | 60940 | 46932 | 354551 0 | 14788 | 18622 263.81/263.95 c 158s | 13 | 61644 | 47532 | 354551 0 | 14788 | 18622 265.91/266.04 c 160s | 13 | 62229 | 48032 | 354551 0 | 14788 | 18622 268.32/268.43 c 162s | 13 | 62979 | 48632 | 354551 0 | 14788 | 18622 270.51/270.64 c 164s | 13 | 63733 | 49232 | 354551 0 | 14788 | 18622 272.81/272.96 c 167s | 13 | 64491 | 49832 | 354551 0 | 14788 | 18622 275.21/275.36 c 169s | 13 | 65213 | 50432 | 354551 0 | 14788 | 18622 277.41/277.59 c 171s | 13 | 65906 | 50932 | 354551 0 | 14788 | 18622 279.61/279.74 c 173s | 13 | 66577 | 51432 | 354551 0 | 14788 | 18622 281.71/281.89 c 175s | 13 | 67215 | 51932 | 354551 0 | 14788 | 18622 283.90/284.04 c 178s | 13 | 67864 | 52432 | 390007 0 | 14788 | 18622 286.10/286.23 c 180s | 13 | 68484 | 52932 | 390007 0 | 14788 | 18622 288.50/288.61 c 182s | 13 | 69214 | 53432 | 390007 0 | 14788 | 18622 291.20/291.30 c 185s | 13 | 69848 | 53932 | 390007 0 | 14788 | 18622 293.50/293.69 c 187s | 13 | 70494 | 54432 | 390007 0 | 14788 | 18622 295.60/295.70 c 189s | 13 | 70984 | 54832 | 390007 0 | 14788 | 18622 297.70/297.81 c 191s | 13 | 71685 | 55332 | 390007 0 | 14788 | 18622 299.89/300.07 c 194s | 13 | 72437 | 55932 | 390007 0 | 14788 | 18622 302.19/302.34 c 196s | 13 | 73184 | 56532 | 390007 0 | 14788 | 18622 304.79/304.91 c 198s | 13 | 73998 | 57132 | 390007 0 | 14788 | 18622 306.90/307.04 c 201s | 13 | 74537 | 57532 | 390007 0 | 14788 | 18622 309.29/309.42 c 203s | 13 | 75165 | 58032 | 390007 0 | 14788 | 18622 310.69/310.86 c 204s | 14 | 75552 | 58352 | 390007 0 | 14788 | 18622 312.69/312.89 c 206s | 14 | 75920 | 58652 | 390007 0 | 14788 | 18622 314.99/315.19 c 209s | 14 | 76691 | 59252 | 390007 0 | 14788 | 18622 317.18/317.33 c 211s | 14 | 77210 | 59652 | 390007 0 | 14788 | 18622 319.68/319.81 c 213s | 14 | 77821 | 60152 | 390007 0 | 14788 | 18622 321.98/322.17 c 216s | 14 | 78318 | 60552 | 390007 0 | 14788 | 18622 324.49/324.68 c 218s | 14 | 78937 | 61052 | 390007 0 | 14788 | 18622 327.08/327.23 c 221s | 14 | 79602 | 61552 | 390007 0 | 14788 | 18622 329.18/329.39 c 223s | 14 | 80119 | 61952 | 390007 0 | 14788 | 18622 331.28/331.47 c 225s | 14 | 80673 | 62352 | 390007 0 | 14788 | 18622 333.38/333.56 c 227s | 14 | 81201 | 62752 | 390007 0 | 14788 | 18622 335.58/335.74 c 229s | 14 | 81828 | 63252 | 390007 0 | 14788 | 18622 337.88/338.06 c 232s | 14 | 82341 | 63652 | 390007 0 | 14788 | 18622 340.07/340.22 c 234s | 14 | 82836 | 64052 | 390007 0 | 14788 | 18622 342.47/342.65 c 236s | 14 | 83353 | 64452 | 390007 0 | 14788 | 18622 344.77/344.99 c 239s | 14 | 83839 | 64852 | 390007 0 | 14788 | 18622 347.37/347.50 c 241s | 14 | 84332 | 65252 | 390007 0 | 14788 | 18622 349.86/350.08 c 244s | 14 | 84976 | 65752 | 390007 0 | 14788 | 18622 352.46/352.63 c 246s | 14 | 85476 | 66152 | 390007 0 | 14788 | 18622 354.56/354.76 c 248s | 14 | 85986 | 66552 | 390007 0 | 14788 | 18622 356.66/356.86 c 250s | 14 | 86541 | 66952 | 390007 0 | 14788 | 18622 358.76/358.93 c 253s | 14 | 87036 | 67352 | 390007 0 | 14788 | 18622 361.26/361.44 c 255s | 14 | 87686 | 67852 | 390007 0 | 14788 | 18622 363.56/363.71 c 257s | 14 | 88202 | 68252 | 390007 0 | 14788 | 18622 365.66/365.83 c 259s | 14 | 88729 | 68652 | 390007 0 | 14788 | 18622 368.06/368.22 c 262s | 14 | 89332 | 69152 | 390007 0 | 14788 | 18622 370.66/370.82 c 264s | 14 | 89824 | 69552 | 390007 0 | 14788 | 18622 372.76/372.97 c 267s | 14 | 90345 | 69952 | 390007 0 | 14788 | 18622 374.85/375.04 c 269s | 14 | 90864 | 70352 | 390007 0 | 14788 | 18622 377.05/377.25 c 271s | 14 | 91369 | 70752 | 390007 0 | 14788 | 18622 379.35/379.57 c 273s | 14 | 92078 | 71252 | 390007 0 | 14788 | 18622 381.85/382.02 c 276s | 14 | 92610 | 71652 | 390007 0 | 14788 | 18622 384.15/384.34 c 278s | 14 | 93106 | 72052 | 390007 0 | 14788 | 18622 386.55/386.71 c 280s | 14 | 93614 | 72452 | 390007 0 | 14788 | 18622 388.54/388.75 c 282s | 14 | 94140 | 72852 | 390007 0 | 14788 | 18622 390.74/390.91 c 284s | 14 | 94646 | 73252 | 390007 0 | 14788 | 18622 393.14/393.35 c 287s | 14 | 95160 | 73652 | 390007 0 | 14788 | 18622 395.24/395.44 c 289s | 14 | 95656 | 74052 | 390007 0 | 14788 | 18622 397.54/397.70 c 291s | 14 | 96177 | 74452 | 390007 0 | 14788 | 18622 399.53/399.79 c 293s | 14 | 96581 | 74752 | 390007 0 | 14788 | 18622 401.73/401.97 c 296s | 14 | 97122 | 75152 | 390007 0 | 14788 | 18622 404.23/404.44 c 298s | 14 | 97645 | 75552 | 390007 0 | 14788 | 18622 406.53/406.73 c 300s | 14 | 98176 | 75952 | 390007 0 | 14788 | 18622 409.03/409.21 c 303s | 14 | 98702 | 76352 | 390007 0 | 14788 | 18622 411.23/411.45 c 305s | 14 | 99245 | 76752 | 390007 0 | 14788 | 18622 413.53/413.73 c 307s | 14 | 99809 | 77152 | 390007 0 | 14788 | 18622 415.63/415.86 c 309s | 14 | 100319 | 77552 | 390007 0 | 14788 | 18622 417.73/417.96 c 312s | 14 | 100820 | 77952 | 390007 0 | 14788 | 18622 419.72/419.98 c 314s | 14 | 101322 | 78352 | 390007 0 | 14788 | 18622 421.92/422.16 c 316s | 14 | 101815 | 78752 | 390007 0 | 14788 | 18622 424.32/424.52 c 318s | 14 | 102324 | 79152 | 390007 0 | 14788 | 18622 426.63/426.85 c 320s | 14 | 102915 | 79652 | 390007 0 | 14788 | 18622 429.02/429.28 c 323s | 14 | 103334 | 79991 | 390007 0 | 14789 | 18623 429.02/429.28 c #cpu_time = 322.420s 429.02/429.28 c #wall_clock_time = 323.353s 429.02/429.28 c #decision = 103334 429.02/429.28 c #random_decision = 46 429.02/429.28 c #conflict = 79991 429.02/429.28 c #restart = 14 429.02/429.28 c BCD2: updating lower bound of a core 429.02/429.28 c lower bound updated to 88 429.02/429.28 c BCD2: 88 <= obj <= 299 429.02/429.28 c BCD2: #cores=1, #unrelaxed=80, #relaxed=219, #hardened=1 429.02/429.28 c BCD2: #sat=1 #unsat=9 bias=9/10 430.72/430.92 c Solving starts ... 430.72/430.92 c ============================[ Search Statistics ]============================ 430.72/430.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 430.72/430.92 c | | | | Limit GC | Var | Constra 430.72/430.92 c ============================================================================= 430.72/430.92 c 0.0s | 0 | 0 | 0 | 390007 0 | 14789 | 18623 432.02/432.24 c 1.3s | 1 | 154 | 100 | 390007 0 | 14789 | 18623 433.72/433.97 c 3.1s | 2 | 388 | 250 | 390007 0 | 14789 | 18623 435.62/435.88 c 5.0s | 3 | 677 | 475 | 390007 0 | 14789 | 18623 438.22/438.48 c 7.6s | 3 | 986 | 675 | 390007 0 | 14789 | 18623 439.41/439.64 c 8.7s | 4 | 1153 | 813 | 390007 0 | 14789 | 18623 441.71/441.93 c 11.0s | 4 | 1438 | 1013 | 390007 0 | 14789 | 18623 443.31/443.56 c 12.6s | 5 | 1842 | 1320 | 390007 0 | 14789 | 18623 445.61/445.84 c 14.9s | 5 | 2221 | 1620 | 390007 0 | 14789 | 18623 447.41/447.61 c 16.7s | 6 | 2799 | 2081 | 390007 0 | 14789 | 18623 449.61/449.82 c 18.9s | 6 | 3327 | 2481 | 390007 0 | 14789 | 18623 451.81/452.05 c 21.1s | 6 | 4208 | 3181 | 390007 0 | 14789 | 18623 451.91/452.20 c 21.3s | 7 | 4262 | 3223 | 390007 0 | 14789 | 18623 454.11/454.30 c 23.4s | 7 | 4647 | 3523 | 390007 0 | 14789 | 18623 456.31/456.56 c 25.6s | 7 | 5426 | 4123 | 390007 0 | 14789 | 18623 458.51/458.71 c 27.8s | 7 | 5963 | 4523 | 390007 0 | 14789 | 18623 460.40/460.63 c 29.7s | 8 | 6470 | 4936 | 390007 0 | 14789 | 18623 462.50/462.74 c 31.8s | 8 | 6803 | 5136 | 390007 0 | 14789 | 18623 465.00/465.29 c 34.4s | 8 | 7302 | 5536 | 390007 0 | 14789 | 18623 467.31/467.59 c 36.7s | 8 | 7676 | 5836 | 390007 0 | 14789 | 18623 470.10/470.30 c 39.4s | 8 | 8221 | 6236 | 390007 0 | 14789 | 18623 472.10/472.36 c 41.4s | 8 | 8599 | 6536 | 390007 0 | 14789 | 18623 474.49/474.79 c 43.9s | 8 | 9105 | 6936 | 390007 0 | 14789 | 18623 476.69/476.94 c 46.0s | 8 | 9621 | 7336 | 390007 0 | 14789 | 18623 477.69/477.92 c 47.0s | 9 | 9821 | 7506 | 390007 0 | 14789 | 18623 479.79/480.05 c 49.1s | 9 | 10084 | 7706 | 390007 0 | 14789 | 18623 482.29/482.53 c 51.6s | 9 | 10587 | 8106 | 390007 0 | 14789 | 18623 484.29/484.57 c 53.6s | 9 | 11094 | 8506 | 390007 0 | 14789 | 18623 486.39/486.61 c 55.7s | 9 | 11566 | 8906 | 390007 0 | 14789 | 18623 488.69/488.93 c 58.0s | 9 | 12046 | 9306 | 390007 0 | 14789 | 18623 491.09/491.32 c 60.4s | 9 | 12662 | 9806 | 390007 0 | 14789 | 18623 493.70/493.90 c 63.0s | 9 | 13282 | 10306 | 390007 0 | 14789 | 18623 495.90/496.16 c 65.2s | 9 | 13666 | 10606 | 390007 0 | 14789 | 18623 498.69/498.92 c 68.0s | 9 | 14174 | 11006 | 390007 0 | 14789 | 18623 500.89/501.19 c 70.3s | 10 | 14657 | 11361 | 390007 0 | 14789 | 18623 503.19/503.47 c 72.5s | 10 | 15096 | 11661 | 390007 0 | 14789 | 18623 505.49/505.75 c 74.8s | 10 | 15769 | 12161 | 390007 0 | 14789 | 18623 507.59/507.85 c 76.9s | 10 | 16529 | 12761 | 390007 0 | 14789 | 18623 509.68/509.99 c 79.1s | 10 | 17296 | 13361 | 390007 0 | 14789 | 18623 511.88/512.20 c 81.3s | 10 | 18052 | 13961 | 390007 0 | 14789 | 18623 514.18/514.43 c 83.5s | 10 | 18646 | 14461 | 390007 0 | 14789 | 18623 516.28/516.55 c 85.6s | 10 | 19146 | 14861 | 390007 0 | 14789 | 18623 518.58/518.80 c 87.9s | 10 | 19750 | 15261 | 390007 0 | 14789 | 18623 520.58/520.89 c 90.0s | 10 | 20277 | 15661 | 390007 0 | 14789 | 18623 522.98/523.20 c 92.3s | 10 | 20985 | 16161 | 429008 0 | 14789 | 18623 525.08/525.34 c 94.4s | 10 | 21602 | 16661 | 429008 0 | 14789 | 18623 527.08/527.36 c 96.4s | 11 | 22207 | 17144 | 429008 0 | 14789 | 18623 529.47/529.71 c 98.8s | 11 | 22587 | 17444 | 429008 0 | 14789 | 18623 531.57/531.86 c 100s | 11 | 23359 | 18044 | 429008 0 | 14789 | 18623 533.97/534.27 c 103s | 11 | 24137 | 18644 | 429008 0 | 14789 | 18623 536.37/536.65 c 105s | 11 | 24885 | 19144 | 429008 0 | 14789 | 18623 538.57/538.85 c 107s | 11 | 25544 | 19644 | 429008 0 | 14789 | 18623 540.67/540.93 c 110s | 11 | 26065 | 20044 | 429008 0 | 14789 | 18623 543.18/543.49 c 112s | 11 | 26618 | 20444 | 429008 0 | 14789 | 18623 545.48/545.75 c 114s | 11 | 27167 | 20844 | 429008 0 | 14789 | 18623 547.57/547.83 c 116s | 11 | 27693 | 21244 | 429008 0 | 14789 | 18623 549.96/550.22 c 119s | 11 | 28214 | 21644 | 429008 0 | 14789 | 18623 552.56/552.80 c 121s | 11 | 28783 | 22044 | 429008 0 | 14789 | 18623 554.86/555.18 c 124s | 11 | 29329 | 22444 | 429008 0 | 14789 | 18623 556.86/557.19 c 126s | 11 | 29838 | 22844 | 429008 0 | 14789 | 18623 559.16/559.41 c 128s | 11 | 30389 | 23244 | 429008 0 | 14789 | 18623 561.66/561.94 c 131s | 11 | 30958 | 23644 | 429008 0 | 14789 | 18623 563.96/564.27 c 133s | 11 | 31596 | 24144 | 429008 0 | 14789 | 18623 566.16/566.43 c 135s | 11 | 32103 | 24544 | 429008 0 | 14789 | 18623 568.25/568.50 c 137s | 11 | 32661 | 24944 | 429008 0 | 14789 | 18623 570.25/570.56 c 139s | 11 | 33181 | 25344 | 429008 0 | 14789 | 18623 572.45/572.79 c 141s | 12 | 33788 | 25819 | 429008 0 | 14789 | 18623 574.75/575.03 c 144s | 12 | 34104 | 26019 | 429008 0 | 14789 | 18623 577.35/577.62 c 146s | 12 | 34659 | 26419 | 429008 0 | 14789 | 18623 579.45/579.76 c 148s | 12 | 35210 | 26819 | 429008 0 | 14789 | 18623 581.94/582.28 c 151s | 12 | 35713 | 27219 | 429008 0 | 14789 | 18623 584.14/584.41 c 153s | 12 | 36225 | 27619 | 429008 0 | 14789 | 18623 586.24/586.58 c 155s | 12 | 36745 | 28019 | 429008 0 | 14789 | 18623 588.34/588.67 c 157s | 12 | 37233 | 28419 | 429008 0 | 14789 | 18623 590.34/590.70 c 159s | 12 | 37716 | 28819 | 429008 0 | 14789 | 18623 592.44/592.79 c 161s | 12 | 38266 | 29219 | 429008 0 | 14789 | 18623 594.64/594.94 c 164s | 12 | 38772 | 29619 | 429008 0 | 14789 | 18623 597.04/597.31 c 166s | 12 | 39297 | 30019 | 429008 0 | 14789 | 18623 599.03/599.40 c 168s | 12 | 39702 | 30319 | 429008 0 | 14789 | 18623 601.44/601.76 c 170s | 12 | 40250 | 30719 | 429008 0 | 14789 | 18623 603.74/604.05 c 173s | 12 | 40922 | 31219 | 429008 0 | 14789 | 18623 606.33/606.61 c 175s | 12 | 41562 | 31719 | 429008 0 | 14789 | 18623 608.43/608.70 c 177s | 12 | 42081 | 32119 | 429008 0 | 14789 | 18623 610.73/611.03 c 180s | 12 | 42760 | 32619 | 429008 0 | 14789 | 18623 612.83/613.11 c 182s | 12 | 43260 | 33019 | 429008 0 | 14789 | 18623 615.13/615.42 c 184s | 12 | 43786 | 33419 | 429008 0 | 14789 | 18623 617.53/617.83 c 186s | 12 | 44309 | 33819 | 429008 0 | 14789 | 18623 620.02/620.37 c 189s | 12 | 44864 | 34219 | 429008 0 | 14789 | 18623 622.43/622.75 c 191s | 12 | 45258 | 34519 | 429008 0 | 14789 | 18623 624.92/625.28 c 194s | 12 | 45772 | 34919 | 429008 0 | 14789 | 18623 627.32/627.65 c 196s | 12 | 46347 | 35319 | 429008 0 | 14789 | 18623 629.72/630.00 c 199s | 12 | 46895 | 35719 | 429008 0 | 14789 | 18623 631.72/632.06 c 201s | 12 | 47389 | 36119 | 429008 0 | 14789 | 18623 634.42/634.77 c 203s | 12 | 47894 | 36519 | 429008 0 | 14789 | 18623 636.92/637.20 c 206s | 12 | 48395 | 36919 | 429008 0 | 14789 | 18623 639.31/639.61 c 208s | 12 | 48878 | 37319 | 429008 0 | 14789 | 18623 641.51/641.89 c 210s | 12 | 49392 | 37719 | 429008 0 | 14789 | 18623 644.11/644.46 c 213s | 12 | 49910 | 38119 | 429008 0 | 14789 | 18623 646.71/647.03 c 216s | 12 | 50412 | 38519 | 429008 0 | 14789 | 18623 648.71/649.03 c 218s | 13 | 50834 | 38832 | 429008 0 | 14789 | 18623 651.31/651.68 c 220s | 13 | 51110 | 39032 | 429008 0 | 14789 | 18623 653.51/653.85 c 222s | 13 | 51592 | 39432 | 429008 0 | 14789 | 18623 655.91/656.28 c 225s | 13 | 52123 | 39832 | 429008 0 | 14789 | 18623 658.01/658.34 c 227s | 13 | 52486 | 40132 | 429008 0 | 14789 | 18623 660.10/660.47 c 229s | 13 | 52989 | 40532 | 429008 0 | 14789 | 18623 662.40/662.72 c 231s | 13 | 53482 | 40932 | 429008 0 | 14789 | 18623 664.50/664.82 c 233s | 13 | 54008 | 41332 | 429008 0 | 14789 | 18623 666.50/666.88 c 235s | 13 | 54483 | 41732 | 429008 0 | 14789 | 18623 669.00/669.39 c 238s | 13 | 55134 | 42232 | 429008 0 | 14789 | 18623 671.10/671.46 c 240s | 13 | 55628 | 42632 | 429008 0 | 14789 | 18623 673.20/673.51 c 242s | 13 | 56082 | 43032 | 429008 0 | 14789 | 18623 675.30/675.68 c 244s | 13 | 56559 | 43432 | 429008 0 | 14789 | 18623 677.90/678.20 c 247s | 13 | 57182 | 43932 | 429008 0 | 14789 | 18623 680.29/680.60 c 249s | 13 | 57796 | 44432 | 429008 0 | 14789 | 18623 682.49/682.81 c 251s | 13 | 58429 | 44932 | 429008 0 | 14789 | 18623 684.89/685.23 c 254s | 13 | 59063 | 45432 | 429008 0 | 14789 | 18623 686.99/687.33 c 256s | 13 | 59554 | 45832 | 429008 0 | 14789 | 18623 689.09/689.41 c 258s | 13 | 60046 | 46232 | 429008 0 | 14789 | 18623 691.49/691.80 c 260s | 13 | 60681 | 46732 | 429008 0 | 14789 | 18623 693.79/694.15 c 263s | 13 | 61128 | 47132 | 429008 0 | 14789 | 18623 695.89/696.21 c 265s | 13 | 61595 | 47532 | 429008 0 | 14789 | 18623 697.88/698.27 c 267s | 13 | 62107 | 47932 | 429008 0 | 14789 | 18623 700.18/700.58 c 269s | 13 | 62715 | 48432 | 429008 0 | 14789 | 18623 702.38/702.74 c 271s | 13 | 63334 | 48932 | 429008 0 | 14789 | 18623 704.79/705.17 c 274s | 13 | 63926 | 49432 | 429008 0 | 14789 | 18623 707.28/707.66 c 276s | 13 | 64516 | 49932 | 429008 0 | 14789 | 18623 709.38/709.71 c 278s | 13 | 64993 | 50332 | 429008 0 | 14789 | 18623 711.39/711.79 c 280s | 13 | 65502 | 50732 | 429008 0 | 14789 | 18623 713.98/714.36 c 283s | 13 | 66132 | 51232 | 429008 0 | 14789 | 18623 716.38/716.77 c 285s | 13 | 66711 | 51732 | 429008 0 | 14789 | 18623 718.68/719.04 c 288s | 13 | 67187 | 52132 | 429008 0 | 14789 | 18623 721.08/721.45 c 290s | 13 | 67649 | 52532 | 429008 0 | 14789 | 18623 723.48/723.86 c 292s | 13 | 68162 | 52932 | 429008 0 | 14789 | 18623 725.88/726.27 c 295s | 13 | 68657 | 53332 | 429008 0 | 14789 | 18623 728.08/728.42 c 297s | 13 | 69137 | 53732 | 429008 0 | 14789 | 18623 731.08/731.42 c 300s | 13 | 69644 | 54132 | 429008 0 | 14789 | 18623 733.19/733.58 c 302s | 13 | 70122 | 54532 | 429008 0 | 14789 | 18623 735.49/735.84 c 304s | 13 | 70634 | 54932 | 429008 0 | 14789 | 18623 738.08/738.44 c 307s | 13 | 71117 | 55332 | 429008 0 | 14789 | 18623 740.38/740.75 c 309s | 13 | 71595 | 55732 | 429008 0 | 14789 | 18623 742.68/743.09 c 312s | 13 | 72048 | 56132 | 429008 0 | 14789 | 18623 744.98/745.38 c 314s | 13 | 72504 | 56532 | 429008 0 | 14789 | 18623 747.58/747.92 c 316s | 13 | 73019 | 56932 | 429008 0 | 14789 | 18623 749.89/750.29 c 319s | 13 | 73476 | 57332 | 429008 0 | 14789 | 18623 752.19/752.55 c 321s | 13 | 73985 | 57732 | 429008 0 | 14789 | 18623 754.58/754.91 c 323s | 13 | 74603 | 58232 | 429008 0 | 14789 | 18623 755.18/755.57 c 324s | 14 | 74750 | 58352 | 429008 0 | 14789 | 18623 757.38/757.78 c 326s | 14 | 74907 | 58452 | 429008 0 | 14789 | 18623 759.79/760.16 c 329s | 14 | 75137 | 58652 | 429008 0 | 14789 | 18623 762.78/763.13 c 332s | 14 | 75520 | 58952 | 429008 0 | 14789 | 18623 764.88/765.20 c 334s | 14 | 75758 | 59152 | 429008 0 | 14789 | 18623 767.59/767.91 c 336s | 14 | 76162 | 59452 | 429008 0 | 14789 | 18623 769.69/770.07 c 339s | 14 | 76423 | 59652 | 429008 0 | 14789 | 18623 771.68/772.08 c 341s | 14 | 76660 | 59852 | 429008 0 | 14789 | 18623 773.78/774.16 c 343s | 14 | 76927 | 60052 | 429008 0 | 14789 | 18623 776.18/776.51 c 345s | 14 | 77165 | 60252 | 429008 0 | 14789 | 18623 779.28/779.68 c 348s | 14 | 77540 | 60552 | 429008 0 | 14789 | 18623 781.98/782.32 c 351s | 14 | 77995 | 60852 | 429008 0 | 14789 | 18623 784.08/784.41 c 353s | 14 | 78385 | 61152 | 429008 0 | 14789 | 18623 786.38/786.74 c 355s | 14 | 78877 | 61552 | 429008 0 | 14789 | 18623 788.88/789.22 c 358s | 14 | 79335 | 61952 | 429008 0 | 14789 | 18623 791.47/791.83 c 360s | 14 | 79824 | 62352 | 429008 0 | 14789 | 18623 793.67/794.06 c 363s | 14 | 80192 | 62652 | 429008 0 | 14789 | 18623 796.47/796.82 c 365s | 14 | 80700 | 63052 | 429008 0 | 14789 | 18623 799.38/799.78 c 368s | 14 | 81105 | 63352 | 429008 0 | 14789 | 18623 801.68/802.09 c 371s | 14 | 81473 | 63652 | 429008 0 | 14789 | 18623 803.88/804.28 c 373s | 14 | 81726 | 63852 | 429008 0 | 14789 | 18623 805.98/806.35 c 375s | 14 | 81984 | 64052 | 429008 0 | 14789 | 18623 808.77/809.17 c 378s | 14 | 82368 | 64352 | 429008 0 | 14789 | 18623 810.87/811.29 c 380s | 14 | 82610 | 64552 | 429008 0 | 14789 | 18623 813.17/813.58 c 382s | 14 | 82853 | 64752 | 429008 0 | 14789 | 18623 815.27/815.62 c 384s | 14 | 83079 | 64952 | 429008 0 | 14789 | 18623 817.87/818.23 c 387s | 14 | 83424 | 65252 | 429008 0 | 14789 | 18623 820.77/821.17 c 390s | 14 | 83817 | 65552 | 429008 0 | 14789 | 18623 823.47/823.83 c 392s | 14 | 84230 | 65852 | 429008 0 | 14789 | 18623 825.88/826.24 c 395s | 14 | 84604 | 66152 | 429008 0 | 14789 | 18623 828.37/828.75 c 397s | 14 | 85067 | 66552 | 429008 0 | 14789 | 18623 830.57/830.97 c 400s | 14 | 85440 | 66852 | 429008 0 | 14789 | 18623 833.37/833.71 c 402s | 14 | 85841 | 67152 | 429008 0 | 14789 | 18623 836.17/836.53 c 405s | 14 | 86195 | 67452 | 429008 0 | 14789 | 18623 838.37/838.79 c 407s | 14 | 86570 | 67752 | 429008 0 | 14789 | 18623 840.77/841.19 c 410s | 14 | 86994 | 68052 | 429008 0 | 14789 | 18623 843.87/844.22 c 413s | 14 | 87369 | 68352 | 429008 0 | 14789 | 18623 846.47/846.87 c 415s | 14 | 87741 | 68652 | 429008 0 | 14789 | 18623 849.17/849.59 c 418s | 14 | 88115 | 68952 | 429008 0 | 14789 | 18623 851.97/852.33 c 421s | 14 | 88466 | 69252 | 429008 0 | 14789 | 18623 854.07/854.49 c 423s | 14 | 88856 | 69552 | 429008 0 | 14789 | 18623 856.36/856.77 c 425s | 14 | 89227 | 69852 | 429008 0 | 14789 | 18623 858.46/858.89 c 427s | 14 | 89575 | 70152 | 429008 0 | 14789 | 18623 860.56/860.94 c 430s | 14 | 89926 | 70452 | 429008 0 | 14789 | 18623 862.66/863.06 c 432s | 14 | 90324 | 70752 | 429008 0 | 14789 | 18623 864.96/865.36 c 434s | 14 | 90674 | 71052 | 429008 0 | 14789 | 18623 867.16/867.51 c 436s | 14 | 91028 | 71352 | 429008 0 | 14789 | 18623 869.46/869.80 c 438s | 14 | 91523 | 71752 | 429008 0 | 14789 | 18623 872.07/872.40 c 441s | 14 | 92004 | 72152 | 429008 0 | 14789 | 18623 874.17/874.60 c 443s | 14 | 92379 | 72452 | 429008 0 | 14789 | 18623 876.47/876.85 c 445s | 14 | 92742 | 72752 | 429008 0 | 14789 | 18623 878.96/879.38 c 448s | 14 | 93122 | 73052 | 429008 0 | 14789 | 18623 881.36/881.76 c 450s | 14 | 93474 | 73352 | 429008 0 | 14789 | 18623 883.56/883.95 c 453s | 14 | 93838 | 73652 | 429008 0 | 14789 | 18623 886.16/886.50 c 455s | 14 | 94181 | 73952 | 429008 0 | 14789 | 18623 888.57/888.97 c 458s | 14 | 94677 | 74352 | 429008 0 | 14789 | 18623 890.77/891.13 c 460s | 14 | 95049 | 74652 | 429008 0 | 14789 | 18623 893.16/893.59 c 462s | 14 | 95428 | 74952 | 429008 0 | 14789 | 18623 895.36/895.76 c 464s | 14 | 95772 | 75252 | 429008 0 | 14789 | 18623 897.46/897.83 c 466s | 14 | 96125 | 75552 | 429008 0 | 14789 | 18623 899.76/900.11 c 469s | 14 | 96476 | 75852 | 429008 0 | 14789 | 18623 902.46/902.85 c 471s | 14 | 97021 | 76252 | 429008 0 | 14789 | 18623 904.86/905.23 c 474s | 14 | 97457 | 76552 | 429008 0 | 14789 | 18623 907.16/907.53 c 476s | 14 | 97982 | 76952 | 429008 0 | 14789 | 18623 909.16/909.54 c 478s | 14 | 98344 | 77252 | 429008 0 | 14789 | 18623 911.16/911.58 c 480s | 14 | 98729 | 77552 | 429008 0 | 14789 | 18623 913.86/914.20 c 483s | 14 | 99212 | 77952 | 429008 0 | 14789 | 18623 916.26/916.60 c 485s | 14 | 99705 | 78352 | 429008 0 | 14789 | 18623 918.36/918.72 c 487s | 14 | 100085 | 78652 | 429008 0 | 14789 | 18623 920.46/920.84 c 489s | 14 | 100411 | 78952 | 429008 0 | 14789 | 18623 922.75/923.10 c 492s | 14 | 100777 | 79252 | 429008 0 | 14789 | 18623 925.15/925.51 c 494s | 14 | 101061 | 79452 | 429008 0 | 14789 | 18623 927.85/928.24 c 497s | 14 | 101456 | 79752 | 429008 0 | 14789 | 18623 930.26/930.61 c 499s | 14 | 101711 | 79952 | 429008 0 | 14789 | 18623 932.25/932.67 c 501s | 14 | 101976 | 80152 | 429008 0 | 14789 | 18623 934.35/934.71 c 503s | 14 | 102237 | 80352 | 429008 0 | 14789 | 18623 937.25/937.68 c 506s | 14 | 102624 | 80652 | 429008 0 | 14789 | 18623 939.45/939.87 c 508s | 14 | 102883 | 80852 | 429008 0 | 14789 | 18623 942.25/942.64 c 511s | 14 | 103244 | 81152 | 471909 0 | 14789 | 18623 945.05/945.46 c 514s | 14 | 103618 | 81452 | 471909 0 | 14789 | 18623 947.35/947.77 c 516s | 14 | 103891 | 81652 | 471909 0 | 14789 | 18623 949.85/950.20 c 519s | 14 | 104153 | 81852 | 471909 0 | 14789 | 18623 952.85/953.28 c 522s | 14 | 104499 | 82152 | 471909 0 | 14789 | 18623 954.95/955.37 c 524s | 14 | 104767 | 82352 | 471909 0 | 14789 | 18623 957.05/957.45 c 526s | 14 | 105010 | 82552 | 471909 0 | 14789 | 18623 959.35/959.73 c 528s | 14 | 105244 | 82752 | 471909 0 | 14789 | 18623 962.05/962.43 c 531s | 14 | 105598 | 83052 | 471909 0 | 14789 | 18623 965.05/965.45 c 534s | 14 | 105982 | 83352 | 471909 0 | 14789 | 18623 967.95/968.31 c 537s | 14 | 106348 | 83652 | 471909 0 | 14789 | 18623 970.25/970.61 c 539s | 14 | 106695 | 83952 | 471909 0 | 14789 | 18623 972.25/972.67 c 541s | 14 | 107087 | 84252 | 471909 0 | 14789 | 18623 975.15/975.54 c 544s | 14 | 107471 | 84552 | 471909 0 | 14789 | 18623 978.05/978.43 c 547s | 14 | 107843 | 84852 | 471909 0 | 14789 | 18623 980.65/981.03 c 550s | 14 | 108195 | 85152 | 471909 0 | 14789 | 18623 983.15/983.51 c 552s | 14 | 108581 | 85452 | 471909 0 | 14789 | 18623 985.25/985.69 c 554s | 14 | 108834 | 85652 | 471909 0 | 14789 | 18623 987.34/987.72 c 556s | 14 | 109075 | 85852 | 471909 0 | 14789 | 18623 990.24/990.66 c 559s | 14 | 109458 | 86152 | 471909 0 | 14789 | 18623 992.84/993.29 c 562s | 14 | 109815 | 86452 | 471909 0 | 14789 | 18623 995.25/995.67 c 564s | 14 | 110227 | 86752 | 471909 0 | 14789 | 18623 998.04/998.47 c 567s | 14 | 110596 | 87052 | 471909 0 | 14789 | 18623 1000.44/1000.82 c 569s | 14 | 110829 | 87252 | 471909 0 | 14789 | 18623 1002.64/1003.00 c 572s | 14 | 111069 | 87452 | 471909 0 | 14789 | 18623 1004.34/1004.78 c 573s | 15 | 111292 | 87632 | 471909 0 | 14789 | 18623 1007.35/1007.77 c 576s | 15 | 111424 | 87732 | 471909 0 | 14789 | 18623 1009.45/1009.84 c 578s | 15 | 111677 | 87932 | 471909 0 | 14789 | 18623 1012.44/1012.82 c 581s | 15 | 112061 | 88232 | 471909 0 | 14789 | 18623 1014.54/1014.99 c 584s | 15 | 112285 | 88432 | 471909 0 | 14789 | 18623 1017.44/1017.82 c 586s | 15 | 112655 | 88732 | 471909 0 | 14789 | 18623 1019.64/1020.00 c 589s | 15 | 112905 | 88932 | 471909 0 | 14789 | 18623 1021.94/1022.37 c 591s | 15 | 113150 | 89132 | 471909 0 | 14789 | 18623 1024.85/1025.24 c 594s | 15 | 113522 | 89432 | 471909 0 | 14789 | 18623 1026.94/1027.34 c 596s | 15 | 113768 | 89632 | 471909 0 | 14789 | 18623 1029.74/1030.12 c 599s | 15 | 114000 | 89832 | 471909 0 | 14789 | 18623 1032.04/1032.43 c 601s | 15 | 114233 | 90032 | 471909 0 | 14789 | 18623 1034.34/1034.71 c 603s | 15 | 114468 | 90232 | 471909 0 | 14789 | 18623 1037.24/1037.69 c 606s | 15 | 114872 | 90532 | 471909 0 | 14789 | 18623 1040.24/1040.62 c 609s | 15 | 115273 | 90832 | 471909 0 | 14789 | 18623 1043.14/1043.51 c 612s | 15 | 115681 | 91132 | 471909 0 | 14789 | 18623 1045.74/1046.15 c 615s | 15 | 115944 | 91332 | 471909 0 | 14789 | 18623 1048.13/1048.53 c 617s | 15 | 116224 | 91532 | 471909 0 | 14789 | 18623 1050.63/1051.03 c 620s | 15 | 116495 | 91732 | 471909 0 | 14789 | 18623 1052.83/1053.22 c 622s | 15 | 116761 | 91932 | 471909 0 | 14789 | 18623 1055.53/1055.91 c 624s | 15 | 117136 | 92232 | 471909 0 | 14789 | 18623 1058.53/1058.93 c 628s | 15 | 117541 | 92532 | 471909 0 | 14789 | 18623 1061.53/1061.97 c 631s | 15 | 117902 | 92832 | 471909 0 | 14789 | 18623 1064.23/1064.64 c 633s | 15 | 118312 | 93132 | 471909 0 | 14789 | 18623 1066.23/1066.69 c 635s | 15 | 118558 | 93332 | 471909 0 | 14789 | 18623 1069.13/1069.51 c 638s | 15 | 118924 | 93632 | 471909 0 | 14789 | 18623 1071.83/1072.29 c 641s | 15 | 119295 | 93932 | 471909 0 | 14789 | 18623 1074.23/1074.67 c 643s | 15 | 119551 | 94132 | 471909 0 | 14789 | 18623 1076.93/1077.37 c 646s | 15 | 119911 | 94432 | 471909 0 | 14789 | 18623 1078.93/1079.40 c 648s | 15 | 120175 | 94632 | 471909 0 | 14789 | 18623 1081.93/1082.33 c 651s | 15 | 120564 | 94932 | 471909 0 | 14789 | 18623 1084.63/1085.07 c 654s | 15 | 120942 | 95232 | 471909 0 | 14789 | 18623 1086.93/1087.34 c 656s | 15 | 121168 | 95432 | 471909 0 | 14789 | 18623 1089.23/1089.60 c 658s | 15 | 121405 | 95632 | 471909 0 | 14789 | 18623 1092.23/1092.64 c 661s | 15 | 121802 | 95932 | 471909 0 | 14789 | 18623 1095.13/1095.56 c 664s | 15 | 122179 | 96232 | 471909 0 | 14789 | 18623 1097.93/1098.38 c 667s | 15 | 122570 | 96532 | 471909 0 | 14789 | 18623 1100.83/1101.29 c 670s | 15 | 122931 | 96832 | 471909 0 | 14789 | 18623 1103.72/1104.13 c 673s | 15 | 123294 | 97132 | 471909 0 | 14789 | 18623 1105.72/1106.13 c 675s | 15 | 123567 | 97332 | 471909 0 | 14789 | 18623 1108.43/1108.83 c 677s | 15 | 123814 | 97532 | 471909 0 | 14789 | 18623 1111.12/1111.55 c 680s | 15 | 124221 | 97832 | 471909 0 | 14789 | 18623 1113.12/1113.58 c 682s | 15 | 124471 | 98032 | 471909 0 | 14789 | 18623 1115.32/1115.74 c 684s | 15 | 124719 | 98232 | 471909 0 | 14789 | 18623 1118.12/1118.51 c 687s | 15 | 125122 | 98532 | 471909 0 | 14789 | 18623 1121.12/1121.58 c 690s | 15 | 125498 | 98832 | 471909 0 | 14789 | 18623 1124.02/1124.46 c 693s | 15 | 125873 | 99132 | 471909 0 | 14789 | 18623 1127.13/1127.54 c 696s | 15 | 126253 | 99432 | 471909 0 | 14789 | 18623 1129.12/1129.56 c 698s | 15 | 126485 | 99632 | 471909 0 | 14789 | 18623 1131.32/1131.73 c 700s | 15 | 126751 | 99832 | 471909 0 | 14789 | 18623 1134.22/1134.62 c 703s | 15 | 127129 | 100132 | 471909 0 | 14789 | 18623 1136.22/1136.69 c 705s | 15 | 127415 | 100332 | 471909 0 | 14789 | 18623 1138.42/1138.88 c 707s | 15 | 127659 | 100532 | 471909 0 | 14789 | 18623 1140.62/1141.03 c 710s | 15 | 127919 | 100732 | 471909 0 | 14789 | 18623 1143.12/1143.58 c 712s | 15 | 128172 | 100932 | 471909 0 | 14789 | 18623 1146.22/1146.60 c 715s | 15 | 128571 | 101232 | 471909 0 | 14789 | 18623 1149.22/1149.64 c 718s | 15 | 128956 | 101532 | 471909 0 | 14789 | 18623 1152.02/1152.49 c 721s | 15 | 129350 | 101832 | 471909 0 | 14789 | 18623 1154.12/1154.59 c 723s | 15 | 129594 | 102032 | 471909 0 | 14789 | 18623 1156.22/1156.61 c 725s | 15 | 129858 | 102232 | 471909 0 | 14789 | 18623 1158.52/1158.92 c 727s | 15 | 130119 | 102432 | 471909 0 | 14789 | 18623 1160.62/1161.09 c 730s | 15 | 130355 | 102632 | 471909 0 | 14789 | 18623 1162.72/1163.13 c 732s | 15 | 130598 | 102832 | 471909 0 | 14789 | 18623 1164.81/1165.26 c 734s | 15 | 130851 | 103032 | 471909 0 | 14789 | 18623 1167.11/1167.59 c 736s | 15 | 131117 | 103232 | 471909 0 | 14789 | 18623 1170.21/1170.63 c 739s | 15 | 131472 | 103532 | 471909 0 | 14789 | 18623 1172.22/1172.64 c 741s | 15 | 131701 | 103732 | 471909 0 | 14789 | 18623 1175.01/1175.42 c 744s | 15 | 132092 | 104032 | 471909 0 | 14789 | 18623 1177.91/1178.33 c 747s | 15 | 132456 | 104332 | 471909 0 | 14789 | 18623 1180.11/1180.59 c 749s | 15 | 132711 | 104532 | 471909 0 | 14789 | 18623 1183.01/1183.40 c 752s | 15 | 132934 | 104732 | 471909 0 | 14789 | 18623 1185.52/1185.97 c 755s | 15 | 133188 | 104932 | 471909 0 | 14789 | 18623 1187.81/1188.22 c 757s | 15 | 133445 | 105132 | 471909 0 | 14789 | 18623 1190.81/1191.24 c 760s | 15 | 133813 | 105432 | 471909 0 | 14789 | 18623 1193.12/1193.60 c 762s | 15 | 134055 | 105632 | 471909 0 | 14789 | 18623 1195.61/1196.04 c 765s | 15 | 134295 | 105832 | 471909 0 | 14789 | 18623 1198.11/1198.51 c 767s | 15 | 134515 | 106032 | 471909 0 | 14789 | 18623 1200.41/1200.87 c 769s | 15 | 134787 | 106232 | 471909 0 | 14789 | 18623 1203.31/1203.80 c 772s | 15 | 135183 | 106532 | 471909 0 | 14789 | 18623 1205.51/1205.90 c 774s | 15 | 135471 | 106732 | 471909 0 | 14789 | 18623 1208.41/1208.88 c 777s | 15 | 135860 | 107032 | 471909 0 | 14789 | 18623 1211.31/1211.79 c 780s | 15 | 136260 | 107332 | 471909 0 | 14789 | 18623 1213.61/1214.07 c 783s | 15 | 136535 | 107532 | 471909 0 | 14789 | 18623 1216.01/1216.42 c 785s | 15 | 136764 | 107732 | 471909 0 | 14789 | 18623 1218.51/1218.93 c 788s | 15 | 137020 | 107932 | 471909 0 | 14789 | 18623 1220.51/1220.94 c 790s | 15 | 137260 | 108132 | 471909 0 | 14789 | 18623 1222.71/1223.20 c 792s | 15 | 137499 | 108332 | 471909 0 | 14789 | 18623 1224.90/1225.37 c 794s | 15 | 137723 | 108532 | 471909 0 | 14789 | 18623 1227.50/1227.95 c 797s | 15 | 137978 | 108732 | 471909 0 | 14789 | 18623 1230.61/1231.03 c 800s | 15 | 138352 | 109032 | 471909 0 | 14789 | 18623 1232.71/1233.20 c 802s | 15 | 138607 | 109232 | 471909 0 | 14789 | 18623 1235.20/1235.66 c 804s | 15 | 138858 | 109432 | 471909 0 | 14789 | 18623 1237.50/1237.91 c 806s | 15 | 139129 | 109632 | 471909 0 | 14789 | 18623 1239.90/1240.37 c 809s | 15 | 139369 | 109832 | 471909 0 | 14789 | 18623 1243.00/1243.44 c 812s | 15 | 139756 | 110132 | 471909 0 | 14789 | 18623 1245.91/1246.34 c 815s | 15 | 140119 | 110432 | 471909 0 | 14789 | 18623 1247.90/1248.37 c 817s | 15 | 140378 | 110632 | 471909 0 | 14789 | 18623 1250.70/1251.16 c 820s | 15 | 140650 | 110832 | 471909 0 | 14789 | 18623 1253.00/1253.45 c 822s | 15 | 140895 | 111032 | 471909 0 | 14789 | 18623 1255.10/1255.52 c 824s | 15 | 141132 | 111232 | 471909 0 | 14789 | 18623 1257.40/1257.85 c 826s | 15 | 141350 | 111432 | 471909 0 | 14789 | 18623 1259.40/1259.85 c 828s | 15 | 141607 | 111632 | 471909 0 | 14789 | 18623 1262.20/1262.68 c 831s | 15 | 142008 | 111932 | 471909 0 | 14789 | 18623 1264.60/1265.05 c 834s | 15 | 142242 | 112132 | 471909 0 | 14789 | 18623 1266.80/1267.23 c 836s | 15 | 142483 | 112332 | 471909 0 | 14789 | 18623 1269.00/1269.45 c 838s | 15 | 142746 | 112532 | 471909 0 | 14789 | 18623 1271.60/1272.09 c 841s | 15 | 142988 | 112732 | 471909 0 | 14789 | 18623 1273.90/1274.30 c 843s | 15 | 143254 | 112932 | 471909 0 | 14789 | 18623 1276.70/1277.18 c 846s | 15 | 143638 | 113232 | 471909 0 | 14789 | 18623 1279.10/1279.57 c 848s | 15 | 143893 | 113432 | 471909 0 | 14789 | 18623 1281.10/1281.57 c 850s | 15 | 144123 | 113632 | 471909 0 | 14789 | 18623 1284.20/1284.64 c 853s | 15 | 144543 | 113932 | 471909 0 | 14789 | 18623 1287.00/1287.46 c 856s | 15 | 144967 | 114232 | 471909 0 | 14789 | 18623 1289.70/1290.13 c 859s | 15 | 145363 | 114532 | 471909 0 | 14789 | 18623 1292.49/1292.97 c 862s | 15 | 145755 | 114832 | 471909 0 | 14789 | 18623 1294.59/1295.05 c 864s | 15 | 146007 | 115032 | 471909 0 | 14789 | 18623 1297.79/1298.27 c 867s | 15 | 146407 | 115332 | 471909 0 | 14789 | 18623 1299.99/1300.48 c 869s | 15 | 146663 | 115532 | 471909 0 | 14789 | 18623 1302.29/1302.76 c 871s | 15 | 146914 | 115732 | 471909 0 | 14789 | 18623 1304.49/1304.90 c 873s | 15 | 147181 | 115932 | 471909 0 | 14789 | 18623 1306.59/1307.01 c 876s | 15 | 147419 | 116132 | 471909 0 | 14789 | 18623 1308.60/1309.10 c 878s | 15 | 147669 | 116332 | 471909 0 | 14789 | 18623 1310.69/1311.20 c 880s | 15 | 147914 | 116532 | 471909 0 | 14789 | 18623 1312.79/1313.22 c 882s | 15 | 148165 | 116732 | 471909 0 | 14789 | 18623 1314.89/1315.31 c 884s | 15 | 148392 | 116932 | 471909 0 | 14789 | 18623 1317.50/1317.99 c 887s | 15 | 148827 | 117232 | 471909 0 | 14789 | 18623 1320.19/1320.62 c 889s | 15 | 149173 | 117532 | 471909 0 | 14789 | 18623 1322.69/1323.15 c 892s | 15 | 149587 | 117832 | 471909 0 | 14789 | 18623 1324.79/1325.22 c 894s | 15 | 149806 | 118032 | 471909 0 | 14789 | 18623 1327.69/1328.11 c 897s | 15 | 150226 | 118332 | 471909 0 | 14789 | 18623 1330.49/1330.91 c 899s | 15 | 150624 | 118632 | 471909 0 | 14789 | 18623 1332.49/1332.99 c 902s | 15 | 150874 | 118832 | 471909 0 | 14789 | 18623 1334.69/1335.10 c 904s | 15 | 151135 | 119032 | 471909 0 | 14789 | 18623 1336.99/1337.48 c 906s | 15 | 151401 | 119232 | 471909 0 | 14789 | 18623 1339.69/1340.15 c 909s | 15 | 151659 | 119432 | 471909 0 | 14789 | 18623 1341.69/1342.19 c 911s | 15 | 151996 | 119632 | 471909 0 | 14789 | 18623 1344.69/1345.20 c 914s | 15 | 152353 | 119932 | 471909 0 | 14789 | 18623 1346.99/1347.48 c 916s | 15 | 152595 | 120132 | 471909 0 | 14789 | 18623 1349.68/1350.15 c 919s | 15 | 152973 | 120432 | 471909 0 | 14789 | 18623 1351.88/1352.38 c 921s | 15 | 153356 | 120732 | 471909 0 | 14789 | 18623 1354.48/1354.91 c 923s | 15 | 153768 | 121032 | 471909 0 | 14789 | 18623 1357.38/1357.81 c 926s | 15 | 154139 | 121332 | 471909 0 | 14789 | 18623 1360.29/1360.72 c 929s | 15 | 154529 | 121632 | 471909 0 | 14789 | 18623 1362.88/1363.36 c 932s | 15 | 154779 | 121832 | 471909 0 | 14789 | 18623 1365.89/1366.35 c 935s | 15 | 155158 | 122132 | 471909 0 | 14789 | 18623 1367.99/1368.44 c 937s | 15 | 155415 | 122332 | 471909 0 | 14789 | 18623 1370.98/1371.43 c 940s | 15 | 155787 | 122632 | 471909 0 | 14789 | 18623 1373.49/1373.94 c 943s | 15 | 156182 | 122932 | 471909 0 | 14789 | 18623 1376.38/1376.82 c 945s | 15 | 156584 | 123232 | 471909 0 | 14789 | 18623 1378.68/1379.15 c 948s | 15 | 156833 | 123432 | 471909 0 | 14789 | 18623 1380.88/1381.37 c 950s | 15 | 157073 | 123632 | 471909 0 | 14789 | 18623 1383.18/1383.67 c 952s | 15 | 157312 | 123832 | 471909 0 | 14789 | 18623 1386.18/1386.60 c 955s | 15 | 157653 | 124132 | 471909 0 | 14789 | 18623 1388.28/1388.79 c 957s | 15 | 157901 | 124332 | 471909 0 | 14789 | 18623 1390.68/1391.13 c 960s | 15 | 158139 | 124532 | 471909 0 | 14789 | 18623 1393.38/1393.89 c 962s | 15 | 158517 | 124832 | 471909 0 | 14789 | 18623 1396.28/1396.72 c 965s | 15 | 158775 | 125032 | 471909 0 | 14789 | 18623 1399.08/1399.54 c 968s | 15 | 158999 | 125232 | 471909 0 | 14789 | 18623 1401.58/1402.06 c 971s | 15 | 159230 | 125432 | 471909 0 | 14789 | 18623 1403.88/1404.34 c 973s | 15 | 159475 | 125632 | 471909 0 | 14789 | 18623 1405.88/1406.39 c 975s | 15 | 159724 | 125832 | 471909 0 | 14789 | 18623 1408.88/1409.33 c 978s | 15 | 160084 | 126132 | 471909 0 | 14789 | 18623 1411.28/1411.72 c 980s | 15 | 160335 | 126332 | 471909 0 | 14789 | 18623 1413.88/1414.38 c 983s | 15 | 160582 | 126532 | 471909 0 | 14789 | 18623 1416.07/1416.51 c 985s | 15 | 160835 | 126732 | 471909 0 | 14789 | 18623 1418.77/1419.27 c 988s | 15 | 161200 | 127032 | 471909 0 | 14789 | 18623 1421.67/1422.16 c 991s | 15 | 161566 | 127332 | 471909 0 | 14789 | 18623 1423.77/1424.21 c 993s | 15 | 161812 | 127532 | 471909 0 | 14789 | 18623 1425.87/1426.32 c 995s | 15 | 162044 | 127732 | 471909 0 | 14789 | 18623 1428.07/1428.56 c 997s | 15 | 162281 | 127932 | 471909 0 | 14789 | 18623 1430.07/1430.56 c 999s | 15 | 162529 | 128132 | 471909 0 | 14789 | 18623 1432.88/1433.34 c 1002s | 15 | 162899 | 128432 | 471909 0 | 14789 | 18623 1435.57/1436.09 c 1005s | 15 | 163133 | 128632 | 471909 0 | 14789 | 18623 1437.87/1438.38 c 1007s | 15 | 163372 | 128832 | 471909 0 | 14789 | 18623 1440.07/1440.55 c 1009s | 15 | 163630 | 129032 | 471909 0 | 14789 | 18623 1443.17/1443.60 c 1012s | 15 | 164011 | 129332 | 471909 0 | 14789 | 18623 1446.18/1446.66 c 1015s | 15 | 164415 | 129632 | 471909 0 | 14789 | 18623 1448.47/1448.94 c 1018s | 15 | 164648 | 129832 | 471909 0 | 14789 | 18623 1450.67/1451.16 c 1020s | 15 | 164902 | 130032 | 471909 0 | 14789 | 18623 1452.78/1453.27 c 1022s | 15 | 165135 | 130232 | 471909 0 | 14789 | 18623 1454.97/1455.49 c 1024s | 15 | 165384 | 130432 | 471909 0 | 14789 | 18623 1457.77/1458.26 c 1027s | 15 | 165642 | 130632 | 471909 0 | 14789 | 18623 1460.48/1460.92 c 1029s | 15 | 165867 | 130832 | 471909 0 | 14789 | 18623 1462.77/1463.21 c 1032s | 15 | 166095 | 131032 | 471909 0 | 14789 | 18623 1465.17/1465.62 c 1034s | 15 | 166346 | 131232 | 471909 0 | 14789 | 18623 1467.17/1467.65 c 1036s | 15 | 166585 | 131432 | 471909 0 | 14789 | 18623 1468.47/1468.96 c 1038s | 16 | 166736 | 131552 | 471909 0 | 14789 | 18623 1471.37/1471.86 c 1040s | 16 | 166874 | 131652 | 471909 0 | 14789 | 18623 1474.07/1474.59 c 1043s | 16 | 167147 | 131852 | 471909 0 | 14789 | 18623 1476.17/1476.67 c 1045s | 16 | 167408 | 132052 | 471909 0 | 14789 | 18623 1478.67/1479.11 c 1048s | 16 | 167649 | 132252 | 471909 0 | 14789 | 18623 1480.96/1481.49 c 1050s | 16 | 167931 | 132452 | 471909 0 | 14789 | 18623 1483.66/1484.18 c 1053s | 16 | 168171 | 132652 | 471909 0 | 14789 | 18623 1486.46/1486.93 c 1056s | 16 | 168422 | 132852 | 471909 0 | 14789 | 18623 1489.26/1489.76 c 1058s | 16 | 168671 | 133052 | 471909 0 | 14789 | 18623 1491.27/1491.77 c 1060s | 16 | 168905 | 133252 | 471909 0 | 14789 | 18623 1493.56/1494.04 c 1063s | 16 | 169148 | 133452 | 471909 0 | 14789 | 18623 1495.86/1496.33 c 1065s | 16 | 169386 | 133652 | 471909 0 | 14789 | 18623 1498.87/1499.31 c 1068s | 16 | 169628 | 133852 | 471909 0 | 14789 | 18623 1501.17/1501.66 c 1070s | 16 | 169879 | 134052 | 471909 0 | 14789 | 18623 1503.37/1503.81 c 1072s | 16 | 170162 | 134252 | 471909 0 | 14789 | 18623 1505.96/1506.49 c 1075s | 16 | 170447 | 134452 | 471909 0 | 14789 | 18623 1508.26/1508.76 c 1077s | 16 | 170712 | 134652 | 471909 0 | 14789 | 18623 1510.56/1511.02 c 1080s | 16 | 170961 | 134852 | 471909 0 | 14789 | 18623 1512.66/1513.18 c 1082s | 16 | 171211 | 135052 | 471909 0 | 14789 | 18623 1515.46/1515.94 c 1085s | 16 | 171491 | 135252 | 471909 0 | 14789 | 18623 1518.36/1518.81 c 1087s | 16 | 171745 | 135452 | 471909 0 | 14789 | 18623 1520.96/1521.50 c 1090s | 16 | 171997 | 135652 | 471909 0 | 14789 | 18623 1524.06/1524.53 c 1093s | 16 | 172383 | 135952 | 471909 0 | 14789 | 18623 1526.16/1526.60 c 1095s | 16 | 172625 | 136152 | 471909 0 | 14789 | 18623 1528.86/1529.31 c 1098s | 16 | 172851 | 136352 | 471909 0 | 14789 | 18623 1531.36/1531.80 c 1100s | 16 | 173124 | 136552 | 471909 0 | 14789 | 18623 1533.85/1534.30 c 1103s | 16 | 173392 | 136752 | 471909 0 | 14789 | 18623 1536.55/1537.03 c 1106s | 16 | 173659 | 136952 | 471909 0 | 14789 | 18623 1538.95/1539.42 c 1108s | 16 | 173915 | 137152 | 471909 0 | 14789 | 18623 1541.35/1541.84 c 1110s | 16 | 174191 | 137352 | 471909 0 | 14789 | 18623 1543.45/1543.99 c 1113s | 16 | 174498 | 137552 | 471909 0 | 14789 | 18623 1545.55/1546.08 c 1115s | 16 | 174797 | 137752 | 471909 0 | 14789 | 18623 1547.85/1548.35 c 1117s | 16 | 175032 | 137952 | 471909 0 | 14789 | 18623 1550.15/1550.64 c 1119s | 16 | 175274 | 138152 | 471909 0 | 14789 | 18623 1552.45/1552.94 c 1122s | 16 | 175533 | 138352 | 471909 0 | 14789 | 18623 1554.56/1555.07 c 1124s | 16 | 175812 | 138552 | 471909 0 | 14789 | 18623 1557.17/1557.63 c 1126s | 16 | 176062 | 138752 | 471909 0 | 14789 | 18623 1559.16/1559.67 c 1128s | 16 | 176328 | 138952 | 471909 0 | 14789 | 18623 1561.96/1562.45 c 1131s | 16 | 176558 | 139152 | 471909 0 | 14789 | 18623 1564.06/1564.56 c 1133s | 16 | 176823 | 139352 | 471909 0 | 14789 | 18623 1566.26/1566.79 c 1135s | 16 | 177066 | 139552 | 471909 0 | 14789 | 18623 1568.56/1569.02 c 1138s | 16 | 177312 | 139752 | 471909 0 | 14789 | 18623 1570.76/1571.21 c 1140s | 16 | 177576 | 139952 | 471909 0 | 14789 | 18623 1573.26/1573.79 c 1142s | 16 | 177816 | 140152 | 471909 0 | 14789 | 18623 1575.36/1575.86 c 1144s | 16 | 178075 | 140352 | 471909 0 | 14789 | 18623 1577.66/1578.16 c 1147s | 16 | 178494 | 140652 | 471909 0 | 14789 | 18623 1580.66/1581.19 c 1150s | 16 | 178886 | 140952 | 471909 0 | 14789 | 18623 1583.16/1583.60 c 1152s | 16 | 179139 | 141152 | 471909 0 | 14789 | 18623 1585.56/1586.01 c 1155s | 16 | 179380 | 141352 | 471909 0 | 14789 | 18623 1588.56/1589.01 c 1158s | 16 | 179632 | 141552 | 471909 0 | 14789 | 18623 1591.46/1591.90 c 1160s | 16 | 179891 | 141752 | 471909 0 | 14789 | 18623 1594.35/1594.88 c 1163s | 16 | 180162 | 141952 | 471909 0 | 14789 | 18623 1596.95/1597.40 c 1166s | 16 | 180411 | 142152 | 471909 0 | 14789 | 18623 1599.06/1599.56 c 1168s | 16 | 180662 | 142352 | 471909 0 | 14789 | 18623 1601.26/1601.72 c 1170s | 16 | 180901 | 142552 | 471909 0 | 14789 | 18623 1603.36/1603.83 c 1172s | 16 | 181134 | 142752 | 471909 0 | 14789 | 18623 1606.15/1606.69 c 1175s | 16 | 181510 | 143052 | 471909 0 | 14789 | 18623 1608.75/1609.25 c 1178s | 16 | 181788 | 143252 | 471909 0 | 14789 | 18623 1611.45/1611.95 c 1181s | 16 | 182028 | 143452 | 471909 0 | 14789 | 18623 1614.05/1614.57 c 1183s | 16 | 182262 | 143652 | 471909 0 | 14789 | 18623 1616.45/1616.95 c 1186s | 16 | 182503 | 143852 | 471909 0 | 14789 | 18623 1618.65/1619.17 c 1188s | 16 | 182751 | 144052 | 471909 0 | 14789 | 18623 1621.15/1621.62 c 1190s | 16 | 182993 | 144252 | 471909 0 | 14789 | 18623 1624.35/1624.84 c 1193s | 16 | 183385 | 144552 | 471909 0 | 14789 | 18623 1627.05/1627.58 c 1196s | 16 | 183617 | 144752 | 471909 0 | 14789 | 18623 1629.75/1630.20 c 1199s | 16 | 183869 | 144952 | 471909 0 | 14789 | 18623 1632.35/1632.87 c 1201s | 16 | 184125 | 145152 | 471909 0 | 14789 | 18623 1635.15/1635.60 c 1204s | 16 | 184383 | 145352 | 471909 0 | 14789 | 18623 1637.65/1638.16 c 1207s | 16 | 184623 | 145552 | 471909 0 | 14789 | 18623 1640.45/1640.98 c 1210s | 16 | 184858 | 145752 | 471909 0 | 14789 | 18623 1643.35/1643.88 c 1212s | 16 | 185124 | 145952 | 471909 0 | 14789 | 18623 1646.44/1646.92 c 1215s | 16 | 185392 | 146152 | 471909 0 | 14789 | 18623 1648.64/1649.10 c 1218s | 16 | 185646 | 146352 | 471909 0 | 14789 | 18623 1650.94/1651.43 c 1220s | 16 | 185872 | 146552 | 471909 0 | 14789 | 18623 1653.54/1654.00 c 1223s | 16 | 186109 | 146752 | 471909 0 | 14789 | 18623 1656.54/1657.02 c 1226s | 16 | 186378 | 146952 | 471909 0 | 14789 | 18623 1659.34/1659.88 c 1228s | 16 | 186635 | 147152 | 471909 0 | 14789 | 18623 1662.14/1662.66 c 1231s | 16 | 186886 | 147352 | 471909 0 | 14789 | 18623 1665.05/1665.55 c 1234s | 16 | 187136 | 147552 | 471909 0 | 14789 | 18623 1667.94/1668.43 c 1237s | 16 | 187394 | 147752 | 471909 0 | 14789 | 18623 1670.34/1670.86 c 1239s | 16 | 187676 | 147952 | 471909 0 | 14789 | 18623 1673.44/1673.95 c 1243s | 16 | 187914 | 148152 | 471909 0 | 14789 | 18623 1676.44/1676.93 c 1246s | 16 | 188162 | 148352 | 471909 0 | 14789 | 18623 1679.04/1679.53 c 1248s | 16 | 188417 | 148552 | 471909 0 | 14789 | 18623 1681.64/1682.16 c 1251s | 16 | 188671 | 148752 | 471909 0 | 14789 | 18623 1684.64/1685.11 c 1254s | 16 | 188939 | 148952 | 471909 0 | 14789 | 18623 1686.74/1687.26 c 1256s | 16 | 189175 | 149152 | 471909 0 | 14789 | 18623 1689.34/1689.85 c 1258s | 16 | 189433 | 149352 | 471909 0 | 14789 | 18623 1692.34/1692.85 c 1261s | 16 | 189675 | 149552 | 471909 0 | 14789 | 18623 1694.84/1695.39 c 1264s | 16 | 189936 | 149752 | 471909 0 | 14789 | 18623 1697.84/1698.36 c 1267s | 16 | 190211 | 149952 | 471909 0 | 14789 | 18623 1700.24/1700.75 c 1269s | 16 | 190470 | 150152 | 471909 0 | 14789 | 18623 1702.44/1702.94 c 1272s | 16 | 190731 | 150352 | 471909 0 | 14789 | 18623 1705.24/1705.78 c 1274s | 16 | 190970 | 150552 | 471909 0 | 14789 | 18623 1708.74/1709.21 c 1278s | 16 | 191207 | 150752 | 471909 0 | 14789 | 18623 1710.83/1711.39 c 1280s | 16 | 191471 | 150952 | 471909 0 | 14789 | 18623 1712.93/1713.44 c 1282s | 16 | 191697 | 151152 | 471909 0 | 14789 | 18623 1715.83/1716.32 c 1285s | 16 | 191925 | 151352 | 471909 0 | 14789 | 18623 1718.43/1718.98 c 1288s | 16 | 192187 | 151552 | 471909 0 | 14789 | 18623 1721.33/1721.80 c 1290s | 16 | 192467 | 151752 | 471909 0 | 14789 | 18623 1723.73/1724.23 c 1293s | 16 | 192709 | 151952 | 471909 0 | 14789 | 18623 1726.93/1727.44 c 1296s | 16 | 192945 | 152152 | 471909 0 | 14789 | 18623 1729.84/1730.39 c 1299s | 16 | 193172 | 152352 | 471909 0 | 14789 | 18623 1732.14/1732.67 c 1301s | 16 | 193405 | 152552 | 471909 0 | 14789 | 18623 1735.53/1736.07 c 1305s | 16 | 193664 | 152752 | 471909 0 | 14789 | 18623 1738.33/1738.80 c 1307s | 16 | 193927 | 152952 | 471909 0 | 14789 | 18623 1741.03/1741.57 c 1310s | 16 | 194169 | 153152 | 471909 0 | 14789 | 18623 1743.63/1744.17 c 1313s | 16 | 194404 | 153352 | 471909 0 | 14789 | 18623 1746.44/1746.97 c 1316s | 16 | 194740 | 153652 | 471909 0 | 14789 | 18623 1748.54/1749.03 c 1318s | 16 | 194973 | 153852 | 471909 0 | 14789 | 18623 1750.93/1751.44 c 1320s | 16 | 195221 | 154052 | 471909 0 | 14789 | 18623 1753.13/1753.63 c 1322s | 16 | 195436 | 154252 | 471909 0 | 14789 | 18623 1756.23/1756.75 c 1325s | 16 | 195682 | 154452 | 471909 0 | 14789 | 18623 1759.63/1760.16 c 1329s | 16 | 195913 | 154652 | 471909 0 | 14789 | 18623 1762.63/1763.14 c 1332s | 16 | 196199 | 154852 | 471909 0 | 14789 | 18623 1765.13/1765.66 c 1334s | 16 | 196441 | 155052 | 471909 0 | 14789 | 18623 1768.23/1768.70 c 1337s | 16 | 196685 | 155252 | 471909 0 | 14789 | 18623 1771.43/1771.91 c 1340s | 16 | 196902 | 155452 | 471909 0 | 14789 | 18623 1773.83/1774.37 c 1343s | 16 | 197165 | 155652 | 471909 0 | 14789 | 18623 1776.13/1776.62 c 1345s | 16 | 197413 | 155852 | 471909 0 | 14789 | 18623 1778.62/1779.11 c 1348s | 16 | 197663 | 156052 | 471909 0 | 14789 | 18623 1780.92/1781.46 c 1350s | 16 | 197927 | 156252 | 471909 0 | 14789 | 18623 1783.73/1784.23 c 1353s | 16 | 198160 | 156452 | 471909 0 | 14789 | 18623 1786.52/1787.07 c 1356s | 16 | 198395 | 156652 | 471909 0 | 14789 | 18623 1789.42/1789.97 c 1359s | 16 | 198646 | 156852 | 471909 0 | 14789 | 18623 1792.12/1792.62 c 1361s | 16 | 198915 | 157052 | 471909 0 | 14789 | 18623 1794.12/1794.66 c 1363s | 16 | 199154 | 157252 | 471909 0 | 14789 | 18623 1797.03/1797.52 c 1366s | 16 | 199413 | 157452 | 471909 0 | 14789 | 18623 1799.13/1799.63 c 1368s | 16 | 199663 | 157652 | 471909 0 | 14789 | 18623
ERROR: no interpretation found !
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-4108549-1466291619/watcher-4108549-1466291619 -o /tmp/evaluation-result-4108549-1466291619/solver-4108549-1466291619 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466291619-27488 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108549-1466291619.opb pid=27510 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.53 3.62 3.79 3/173 27516 /proc/meminfo: memFree=30109416/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=669116 CPUtime=0 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 2490 0 0 0 0 0 0 0 20 0 4 0 31208863 685174784 2850 33554432000 4194304 16246674 140733533042736 140733533042160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 167791 2858 441 2943 0 164685 0 [pid=27516/tid=27519] ppid=27510 vsize=686524 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 703000576 2917 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=690620 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 707194880 2932 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=694716 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 711389184 2947 33554432000 4194304 16246674 140733533042736 139868965432496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100153 s] /proc/loadavg: 2.53 3.62 3.79 3/173 27516 /proc/meminfo: memFree=30109416/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 26080 0 0 0 5 4 0 0 20 0 4 0 31208863 1333334016 26379 33554432000 4194304 16246674 140733533042736 140733533042048 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 325521 26394 800 2943 0 322415 0 [pid=27516/tid=27519] ppid=27510 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1333334016 26403 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1333334016 26415 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1333334016 26425 33554432000 4194304 16246674 140733533042736 139868965432496 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.200506 s] /proc/loadavg: 2.53 3.62 3.79 3/173 27516 /proc/meminfo: memFree=30109416/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 45435 0 0 0 12 7 0 0 20 0 4 0 31208863 1344868352 46244 33554432000 4194304 16246674 140733533042736 140733533042048 7380630 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 328337 46244 800 2943 0 325231 0 [pid=27516/tid=27519] ppid=27510 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1344868352 46244 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1344868352 46244 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1344868352 46244 33554432000 4194304 16246674 140733533042736 139868965432496 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) 1313348 [startup+0.300436 s] /proc/loadavg: 2.53 3.62 3.79 3/173 27516 /proc/meminfo: memFree=30109416/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 54595 0 0 0 21 8 0 0 20 0 4 0 31208863 1344868352 55404 33554432000 4194304 16246674 140733533042736 140733533042048 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 328337 55404 800 2943 0 325231 0 [pid=27516/tid=27519] ppid=27510 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1344868352 55404 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1344868352 55404 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1344868352 55404 33554432000 4194304 16246674 140733533042736 139868965432496 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) 1313348 [startup+0.700391 s] /proc/loadavg: 2.53 3.62 3.79 3/173 27516 /proc/meminfo: memFree=30109416/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 65518 0 0 0 60 9 0 0 20 0 4 0 31208863 1344868352 66327 33554432000 4194304 16246674 140733533042736 140733533042048 13750800 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 328337 66327 801 2943 0 325231 0 [pid=27516/tid=27519] ppid=27510 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1344868352 66327 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1344868352 66327 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1344868352 66327 33554432000 4194304 16246674 140733533042736 139868965432496 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) 1313348 [startup+1.50038 s] /proc/loadavg: 2.53 3.62 3.79 4/181 27524 /proc/meminfo: memFree=29508400/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 81992 0 0 0 137 12 0 0 20 0 4 0 31208863 1344868352 82801 33554432000 4194304 16246674 140733533042736 140733533040576 7392208 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 328337 82801 801 2943 0 325231 0 [pid=27516/tid=27519] ppid=27510 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1344868352 82801 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1344868352 82801 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1344868352 82801 33554432000 4194304 16246674 140733533042736 139868965432496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10038 s] /proc/loadavg: 2.53 3.62 3.79 4/181 27524 /proc/meminfo: memFree=28540680/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1340996 CPUtime=3.09 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 275870 0 0 0 268 41 0 0 20 0 4 0 31208863 1373179904 276679 33554432000 4194304 16246674 140733533042736 140733533024640 6756197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 335249 276679 840 2943 0 332143 0 [pid=27516/tid=27519] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276679 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276679 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276679 33554432000 4194304 16246674 140733533042736 139868965432496 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) 1340996 [startup+6.30037 s] /proc/loadavg: 2.48 3.59 3.78 4/181 27524 /proc/meminfo: memFree=27896536/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1340996 CPUtime=6.29 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 275950 0 0 0 588 41 0 0 20 0 4 0 31208863 1373179904 276759 33554432000 4194304 16246674 140733533042736 140733533041912 12429162 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 335249 276759 914 2943 0 332143 0 [pid=27516/tid=27519] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276759 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276759 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276759 33554432000 4194304 16246674 140733533042736 139868965432496 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) 1340996 [startup+12.7004 s] /proc/loadavg: 2.44 3.57 3.77 3/181 27573 /proc/meminfo: memFree=27906688/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1340996 CPUtime=12.68 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 275952 0 0 0 1227 41 0 0 20 0 4 0 31208863 1373179904 276761 33554432000 4194304 16246674 140733533042736 140733533024640 12429241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 335249 276761 916 2943 0 332143 0 [pid=27516/tid=27519] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276761 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276761 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276761 33554432000 4194304 16246674 140733533042736 139868965432496 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) 1340996 [startup+25.5005 s] /proc/loadavg: 2.41 3.51 3.74 4/181 27622 /proc/meminfo: memFree=27894576/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1340996 CPUtime=25.48 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 275952 0 0 0 2507 41 0 0 20 0 4 0 31208863 1373179904 276761 33554432000 4194304 16246674 140733533042736 140733533024640 13954184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 335249 276761 916 2943 0 332143 0 [pid=27516/tid=27519] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276761 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276761 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276761 33554432000 4194304 16246674 140733533042736 139868965432496 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) 1340996 [startup+51.1005 s] /proc/loadavg: 2.33 3.40 3.70 3/181 27622 /proc/meminfo: memFree=27895192/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1340996 CPUtime=51.08 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 275959 0 0 0 5066 42 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 140733533024640 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 335249 276768 921 2943 0 332143 0 [pid=27516/tid=27519] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139868965432496 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) 1340996 [startup+102.3 s] /proc/loadavg: 2.24 3.21 3.62 3/181 27671 /proc/meminfo: memFree=27902520/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1340996 CPUtime=102.27 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 275975 0 0 0 10184 43 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 140733533024640 5823682 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 335249 276768 921 2943 0 332143 0 [pid=27516/tid=27519] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139868965432496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1340996 ################ # More data... # ################ /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139868965432496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1340996 [startup+1362.3 s] /proc/loadavg: 2.21 2.20 2.54 3/181 27702 /proc/meminfo: memFree=27900592/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1340996 CPUtime=1361.88 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 276286 0 0 0 136144 44 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 140733533024640 5824073 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 335249 276768 921 2943 0 332143 0 [pid=27516/tid=27519] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139868965432496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1340996 [startup+1422.3 s] /proc/loadavg: 2.27 2.22 2.52 3/181 27703 /proc/meminfo: memFree=27900800/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1340996 CPUtime=1421.88 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 276286 0 0 0 142144 44 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 140733533024640 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 335249 276768 921 2943 0 332143 0 [pid=27516/tid=27519] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139868965432496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1340996 [startup+1482.3 s] /proc/loadavg: 2.35 2.24 2.51 3/181 27704 /proc/meminfo: memFree=27901112/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1340996 CPUtime=1481.86 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 276286 0 0 0 148142 44 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 140733533024640 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 335249 276768 921 2943 0 332143 0 [pid=27516/tid=27519] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139868965432496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1340996 [startup+1542.31 s] /proc/loadavg: 2.39 2.27 2.50 4/181 27706 /proc/meminfo: memFree=27901360/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1340996 CPUtime=1541.86 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 276286 0 0 0 154142 44 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 140733533024640 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 335249 276768 921 2943 0 332143 0 [pid=27516/tid=27519] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139868965432496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1340996 [startup+1602.3 s] /proc/loadavg: 2.50 2.31 2.50 3/182 27710 /proc/meminfo: memFree=27901004/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1340996 CPUtime=1601.85 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 276286 0 0 0 160140 45 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 140733533024640 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 335249 276768 921 2943 0 332143 0 [pid=27516/tid=27519] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139868965432496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1340996 [startup+1662.3 s] /proc/loadavg: 2.33 2.30 2.48 3/181 27711 /proc/meminfo: memFree=27901264/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1340996 CPUtime=1661.84 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 276286 0 0 0 166139 45 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 140733533040576 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 335249 276768 921 2943 0 332143 0 [pid=27516/tid=27519] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139868965432496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1340996 [startup+1722.3 s] /proc/loadavg: 2.32 2.30 2.47 3/181 27712 /proc/meminfo: memFree=27901508/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1340996 CPUtime=1721.83 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 276286 0 0 0 172138 45 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 140733533024640 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 335249 276768 921 2943 0 332143 0 [pid=27516/tid=27519] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139868965432496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1340996 [startup+1782.3 s] /proc/loadavg: 2.22 2.27 2.44 3/181 27713 /proc/meminfo: memFree=27901012/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1340996 CPUtime=1781.82 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 276286 0 0 0 178137 45 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 140733533024640 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 335249 276768 921 2943 0 332143 0 [pid=27516/tid=27519] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139868965432496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1340996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.23 2.27 2.44 3/181 27714 /proc/meminfo: memFree=27900628/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1340996 CPUtime=1800.02 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 276286 0 0 0 179957 45 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 140733533024640 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 335249 276768 921 2943 0 332143 0 [pid=27516/tid=27519] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139868965432496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1340996 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 27516 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.23 2.27 2.44 3/181 27714 /proc/meminfo: memFree=27900628/32872528 swapFree=1316768/1463936 [pid=27516] ppid=27510 vsize=1340996 CPUtime=1800.02 cores=1,3,5,7 /proc/27516/stat : 27516 (toysat) R 27510 27516 17643 0 -1 4202496 276286 0 0 0 179957 45 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 140733533024640 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/27516/statm: 335249 276768 921 2943 0 332143 0 [pid=27516/tid=27519] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27519/stat : 27519 (toysat) S 27510 27516 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869096488176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=27516/tid=27521] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27521/stat : 27521 (toysat) S 27510 27516 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139869085998320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=27516/tid=27522] ppid=27510 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/27516/task/27522/stat : 27522 (toysat) S 27510 27516 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31208863 1373179904 276768 33554432000 4194304 16246674 140733533042736 139868965432496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1340996 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.58 CPU system time (s): 0.452931 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 1340996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.452931 maximum resident set size= 1107072 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276286 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= 362 involuntary context switches= 1977 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.84511 second user time and 6.87595 second system time The end
Begin job on node121 at 2016-06-19 01:13:39 IDJOB=4108549 IDBENCH=77554 IDSOLVER=2542 FILE ID=node121/4108549-1466291619 RUNJOBID= node121-1466291619-27488 PBS_JOBID= 19918247 Free space on /tmp= 71704 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12037_10.std.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108549-1466291619/watcher-4108549-1466291619 -o /tmp/evaluation-result-4108549-1466291619/solver-4108549-1466291619 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466291619-27488 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108549-1466291619.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2d7989b1a1c0b548cce5b438f15fc440 RANDOM SEED=992835000 node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30110324 kB Buffers: 180392 kB Cached: 364372 kB SwapCached: 1900 kB Active: 170220 kB Inactive: 378668 kB Active(anon): 3980 kB Inactive(anon): 2792 kB Active(file): 166240 kB Inactive(file): 375876 kB Unevictable: 1463936 kB Mlocked: 1316768 kB SwapTotal: 67108856 kB SwapFree: 67101124 kB Dirty: 47372 kB Writeback: 0 kB AnonPages: 1468404 kB Mapped: 8560 kB Shmem: 0 kB Slab: 616356 kB SReclaimable: 60452 kB SUnreclaim: 555904 kB KernelStack: 1352 kB PageTables: 6520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1548456 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 149504 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71676 MiB End job on node121 at 2016-06-19 01:43:40