| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.51 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ EmployeeScheduling/normalized-jun5.5.opb |
| MD5SUM | bffc30175c819e7ed5b43a7d6b7dca62 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1450 |
| Best CPU time to get the best result obtained on this benchmark | 52.895 |
| 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 | 9324 |
| Total number of constraints | 28660 |
| Number of constraints which are clauses | 26656 |
| Number of constraints which are cardinality constraints (but not clauses) | 240 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1764 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 240 |
| Number of terms in the objective function | 26 |
| Biggest coefficient in the objective function | 200 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2110 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 200 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 2110 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-29T16:03:35+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-4117294-1467208983.opb"] 0.00/0.01 c use --random-gen="3376591862 2577899568 3487415153 851204635 1291073202 1775922123 3179567695 2972485938 3855600362 1013440006 734496818 3283984333 2663192223 2052303719 2734913207 2634894084 4283271901 3218725949 80856922 242562981 2917787450 2984704470 776218765 2967362723 4170480915 4206492936 3334131852 3031235029 1509774701 1720957209 3363322073 1433665495 2627075431 2349925301 1666941121 2089669181 2328843547 3826899929 2045484339 2356049030 3723207096 4183849998 61417008 3508237719 1675685386 4015056714 665620994 2639220035 2560888232 1995702168 3592647860 3479165048 2498470504 2053379069 1810987742 3492431479 1590597282 3971615583 3638790281 243208345 2139897407 1150376811 3072973739 574644946 3698263179 1793694602 1192208739 1603652102 3322743233 3000235619 3209748326 2907243583 3223923229 459470478 2377813926 3610704475 1028663887 4202484430 3264202186 2470025637 4199716146 1265876257 1098563889 4173042550 24150049 2983497301 650359049 2222905791 2770706144 3190109697 329914117 679794313 411053286 4244880146 3212925466 1127109941 1500806264 1747539167 1849578156 2836918093 3084020949 2731109699 508831197 314653024 3107975068 307010320 3229179223 783699050 1549240509 3720224915 1331751144 2965654145 2312403795 1176296444 3164627201 1316103931 1357800740 4183513182 3731236490 1120744307 3882396656 4260443991 354791143 1031741331 490111172 2247235763 1288637271 4068001616 3282158896 3422612805 3768055610 958244734 2598756963 3360684377 1096325875 438545387 1126940347 2227662577 366522871 1380125735 3893991583 2309945010 724896736 1521972016 287420602 2172281783 3917482297 3779609671 2581318885 347031306 1259912290 4064106521 2685304039 3150481955 3826377913 2953859923 4204997942 782125924 2981718649 1308819289 1644258594 4230218871 1760232222 1307557455 234940652 3823334022 2298756989 1887328634 27691917 4266422569 3017019908 2591098308 2613887171 2915861823 3705816983 138256615 2859698183 2598626339 3626471049 2728048827 2956163322 1985715401 698310138 458426183 2537823129 1444645654 1360624976 346769840 2749511376 1645748449 259439009 1517964107 82344900 2995545486 1224047489 2498581376 3296545546 1912561925 189600245 3799040327 478262242 2836000262 1972494334 4135178228 2050538145 400854783 985471932 3793771815 164496504 2576851353 1676166284 2141678366 748346272 1665227316 1824728469 454323699 2928809743 1919947112 184877548 1070971680 3618672929 2332669960 3669385564 1302225440 3363817429 2440453822 96274852 2285038890 3376379798 1131596786 820605283 2020326428 565175834 20755822 1063445923 1563758371 3130421499 635825478 3016268270 2489911907 3784686326 4022728670 846086674 3830473958 3031614981 2770462485 574148265 624563464 2828477360 4244332445 751771466 1427487389 2833477221 3097730969 1059677673 3560550482 255 362436" option to reproduce the execution 0.18/0.23 c #vars 9324 0.18/0.23 c #constraints 28660 0.58/0.65 c BCD2: Hardening is enabled. 0.58/0.65 c BCD2: BiasedSearch is enabled. 0.58/0.65 c Solving starts ... 0.58/0.65 c ============================[ Search Statistics ]============================ 0.58/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.65 c | | | | Limit GC | Var | Constra 0.58/0.65 c ============================================================================= 0.58/0.65 c 0.0s | 0 | 0 | 0 | 12661 0 | 0 | 0 0.79/0.80 c 0.2s | 1 | 8694 | 100 | 12661 0 | 0 | 0 0.88/0.92 c 0.3s | 2 | 15718 | 250 | 13928 0 | 0 | 0 1.19/1.28 c 0.6s | 3 | 47160 | 475 | 15321 0 | 0 | 0 1.59/1.64 c 1.0s | 4 | 73954 | 813 | 16854 0 | 0 | 0 2.58/2.61 c 2.0s | 5 | 166699 | 1320 | 18540 0 | 0 | 0 3.18/3.26 c 2.6s | 6 | 217845 | 2081 | 22434 0 | 0 | 0 4.39/4.49 c 3.8s | 6 | 320838 | 2437 | 22434 0 | 0 | 0 4.39/4.49 c #cpu_time = 3.825s 4.39/4.49 c #wall_clock_time = 3.835s 4.39/4.49 c #decision = 320838 4.39/4.49 c #random_decision = 1062 4.39/4.49 c #conflict = 2437 4.39/4.49 c #restart = 6 4.39/4.49 o 2110 4.39/4.49 c BCD2: refineUB: 2109 -> 2090 4.39/4.49 c BCD2: updating upper bound: 2110 -> 2090 4.39/4.49 c BCD2: 0 <= obj <= 2090 4.39/4.49 c BCD2: #cores=0, #unrelaxed=26, #relaxed=0, #hardened=0 4.39/4.49 c BCD2: #sat=1 #unsat=1 bias=1/2 4.39/4.49 c Solving starts ... 4.39/4.49 c ============================[ Search Statistics ]============================ 4.39/4.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.39/4.49 c | | | | Limit GC | Var | Constra 4.39/4.49 c ============================================================================= 4.39/4.49 c 0.0s | 0 | 0 | 0 | 22434 0 | 0 | 0 4.49/4.54 c 0.0s | 1 | 373 | 100 | 22434 0 | 0 | 0 4.58/4.60 c 0.1s | 2 | 593 | 250 | 22434 0 | 0 | 0 4.58/4.67 c 0.2s | 3 | 877 | 475 | 22434 0 | 0 | 0 4.78/4.81 c 0.3s | 4 | 1274 | 813 | 24678 0 | 0 | 0 4.88/4.95 c 0.5s | 5 | 1844 | 1320 | 24678 0 | 0 | 0 5.08/5.17 c 0.7s | 6 | 2704 | 2081 | 24678 0 | 0 | 0 5.28/5.35 c 0.9s | 6 | 3361 | 2669 | 27146 0 | 0 | 0 5.28/5.35 c #cpu_time = 0.856s 5.28/5.35 c #wall_clock_time = 0.858s 5.28/5.35 c #decision = 3361 5.28/5.35 c #random_decision = 15 5.28/5.35 c #conflict = 2669 5.28/5.35 c #restart = 6 5.28/5.35 c BCD2: found a new core of size 13: cost of the new core is >=20 5.28/5.35 c lower bound updated to 20 5.28/5.35 c BCD2: refineUB: 2109 -> 2090 5.28/5.35 c BCD2: 20 <= obj <= 2090 5.28/5.35 c BCD2: #cores=1, #unrelaxed=13, #relaxed=13, #hardened=0 5.28/5.35 c BCD2: #sat=1 #unsat=2 bias=2/3 5.28/5.35 c Solving starts ... 5.28/5.35 c ============================[ Search Statistics ]============================ 5.28/5.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.28/5.35 c | | | | Limit GC | Var | Constra 5.28/5.35 c ============================================================================= 5.28/5.35 c 0.0s | 0 | 0 | 0 | 27146 0 | 0 | 0 5.28/5.39 c 0.0s | 0 | 13 | 0 | 27146 0 | 0 | 0 5.28/5.39 c #cpu_time = 0.033s 5.28/5.39 c #wall_clock_time = 0.033s 5.28/5.39 c #decision = 13 5.28/5.39 c #random_decision = 0 5.28/5.39 c #conflict = 0 5.28/5.39 c #restart = 0 5.28/5.39 c BCD2: found a new core of size 13: cost of the new core is >=50 5.28/5.39 c lower bound updated to 70 5.28/5.39 c BCD2: refineUB: 2109 -> 2090 5.28/5.39 c BCD2: 70 <= obj <= 2090 5.28/5.39 c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0 5.28/5.39 c BCD2: #sat=1 #unsat=3 bias=3/4 5.28/5.39 c Solving starts ... 5.28/5.39 c ============================[ Search Statistics ]============================ 5.28/5.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.28/5.39 c | | | | Limit GC | Var | Constra 5.28/5.39 c ============================================================================= 5.28/5.39 c 0.0s | 0 | 0 | 0 | 27146 0 | 0 | 0 5.38/5.46 c 0.1s | 1 | 156 | 100 | 27146 0 | 0 | 0 5.49/5.52 c 0.1s | 2 | 407 | 250 | 27146 0 | 0 | 0 5.49/5.60 c 0.2s | 3 | 715 | 475 | 27146 0 | 0 | 0 5.68/5.76 c 0.4s | 4 | 8274 | 813 | 27146 0 | 0 | 0 6.08/6.10 c 0.7s | 5 | 12590 | 1320 | 27146 0 | 0 | 0 7.18/7.22 c 1.8s | 6 | 93240 | 2081 | 27146 0 | 0 | 0 7.28/7.31 c 1.9s | 6 | 97345 | 2089 | 27146 0 | 0 | 0 7.28/7.31 c #cpu_time = 1.912s 7.28/7.31 c #wall_clock_time = 1.917s 7.28/7.31 c #decision = 97345 7.28/7.31 c #random_decision = 301 7.28/7.31 c #conflict = 2089 7.28/7.31 c #restart = 6 7.28/7.31 o 1550 7.28/7.31 c BCD2: refineUB: 1549 -> 1540 7.28/7.31 c BCD2: updating upper bound: 2090 -> 1540 7.28/7.31 c BCD2: 70 <= obj <= 1540 7.28/7.31 c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0 7.28/7.31 c BCD2: #sat=2 #unsat=3 bias=3/5 7.28/7.31 c Solving starts ... 7.28/7.31 c ============================[ Search Statistics ]============================ 7.28/7.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.28/7.31 c | | | | Limit GC | Var | Constra 7.28/7.31 c ============================================================================= 7.28/7.31 c 0.0s | 0 | 0 | 0 | 27146 0 | 0 | 0 7.28/7.39 c 0.1s | 1 | 875 | 100 | 27146 0 | 0 | 0 7.38/7.46 c 0.1s | 2 | 1094 | 250 | 27146 0 | 0 | 0 7.48/7.57 c 0.3s | 3 | 2338 | 475 | 29861 0 | 0 | 0 7.69/7.79 c 0.5s | 4 | 5043 | 813 | 29861 0 | 0 | 0 7.88/7.99 c 0.7s | 5 | 9017 | 1320 | 29861 0 | 0 | 0 8.18/8.21 c 0.9s | 6 | 10338 | 2081 | 29861 0 | 0 | 0 8.48/8.55 c 1.2s | 7 | 11841 | 3223 | 29861 0 | 0 | 0 9.38/9.43 c 2.1s | 8 | 16512 | 4936 | 32848 0 | 0 | 0 10.08/10.14 c 2.8s | 9 | 21750 | 7506 | 32848 0 | 0 | 0 11.38/11.43 c 4.1s | 10 | 26562 | 11361 | 36133 0 | 0 | 0 13.38/13.48 c 6.2s | 10 | 30755 | 14561 | 36133 0 | 0 | 0 15.39/15.50 c 8.2s | 10 | 33303 | 16961 | 36133 0 | 0 | 0 15.68/15.70 c 8.4s | 11 | 33493 | 17144 | 36133 0 | 0 | 0 17.69/17.72 c 10.4s | 11 | 40038 | 21844 | 39747 0 | 0 | 0 19.68/19.77 c 12.5s | 11 | 43868 | 25444 | 39747 0 | 0 | 0 19.98/20.03 c 12.7s | 12 | 44256 | 25819 | 39747 0 | 0 | 0 21.99/22.07 c 14.8s | 12 | 49995 | 30319 | 39747 0 | 0 | 0 23.99/24.08 c 16.8s | 12 | 55140 | 34519 | 43722 0 | 0 | 0 26.09/26.11 c 18.8s | 12 | 58863 | 37819 | 43722 0 | 0 | 0 26.59/26.69 c 19.4s | 13 | 60048 | 38832 | 43722 0 | 0 | 0 28.59/28.70 c 21.4s | 13 | 68926 | 43332 | 43722 1 | 0 | 0 30.69/30.76 c 23.4s | 13 | 74062 | 48032 | 43722 1 | 0 | 0 32.79/32.82 c 25.5s | 13 | 77817 | 51532 | 48095 1 | 0 | 0 34.78/34.84 c 27.5s | 13 | 81226 | 54732 | 48095 1 | 0 | 0 36.78/36.86 c 29.5s | 13 | 83435 | 56732 | 48095 1 | 0 | 0 38.38/38.42 c 31.1s | 14 | 85226 | 58352 | 48095 1 | 0 | 0 40.38/40.49 c 33.2s | 14 | 86778 | 59152 | 48095 1 | 0 | 0 42.48/42.57 c 35.3s | 14 | 88547 | 60352 | 48095 1 | 0 | 0 44.68/44.76 c 37.4s | 14 | 89821 | 61352 | 48095 1 | 0 | 0 46.98/47.01 c 39.7s | 14 | 91059 | 62252 | 48095 1 | 0 | 0 48.98/49.08 c 41.8s | 14 | 92267 | 63252 | 48095 1 | 0 | 0 50.98/51.09 c 43.8s | 14 | 93256 | 64152 | 48095 2 | 0 | 0 53.08/53.17 c 45.9s | 14 | 94413 | 65152 | 48095 2 | 0 | 0 55.28/55.33 c 48.0s | 14 | 95647 | 66152 | 48095 2 | 0 | 0 57.48/57.51 c 50.2s | 14 | 96923 | 67252 | 48095 2 | 0 | 0 59.48/59.54 c 52.2s | 14 | 98223 | 68352 | 48095 2 | 0 | 0 61.58/61.64 c 54.3s | 14 | 99686 | 69552 | 48095 2 | 0 | 0 63.78/63.87 c 56.6s | 14 | 100993 | 70652 | 48095 2 | 0 | 0 65.98/66.01 c 58.7s | 14 | 102150 | 71652 | 48095 2 | 0 | 0 68.08/68.18 c 60.9s | 14 | 103409 | 72752 | 48095 2 | 0 | 0 70.28/70.33 c 63.0s | 14 | 104599 | 73852 | 48095 2 | 0 | 0 72.28/72.35 c 65.0s | 14 | 105615 | 74852 | 48095 2 | 0 | 0 74.37/74.40 c 67.1s | 14 | 106965 | 76052 | 48095 2 | 0 | 0 76.37/76.48 c 69.2s | 14 | 108425 | 77252 | 48095 2 | 0 | 0 78.47/78.52 c 71.2s | 14 | 110026 | 78352 | 48095 2 | 0 | 0 80.57/80.62 c 73.3s | 14 | 111153 | 79152 | 48095 2 | 0 | 0 82.67/82.77 c 75.5s | 14 | 112256 | 79952 | 52905 2 | 0 | 0 84.97/85.01 c 77.7s | 14 | 113710 | 80952 | 52905 2 | 0 | 0 87.07/87.18 c 79.9s | 14 | 114646 | 81752 | 52905 2 | 0 | 0 89.08/89.20 c 81.9s | 14 | 115897 | 82552 | 52905 2 | 0 | 0 91.38/91.48 c 84.2s | 14 | 117489 | 83452 | 52905 2 | 0 | 0 93.58/93.65 c 86.3s | 14 | 118453 | 84252 | 52905 2 | 0 | 0 95.87/95.90 c 88.6s | 14 | 120120 | 85052 | 52905 2 | 0 | 0 97.98/98.06 c 90.7s | 14 | 121225 | 85752 | 52905 2 | 0 | 0 100.37/100.47 c 93.2s | 14 | 121892 | 86352 | 52905 2 | 0 | 0 102.47/102.51 c 95.2s | 14 | 122934 | 87052 | 52905 2 | 0 | 0 104.07/104.17 c 96.9s | 15 | 123926 | 87632 | 52905 2 | 0 | 0 106.47/106.54 c 99.2s | 15 | 124565 | 88132 | 52905 2 | 0 | 0 108.77/108.85 c 101s | 15 | 125218 | 88732 | 52905 2 | 0 | 0 111.08/111.13 c 103s | 15 | 126016 | 89332 | 52905 2 | 0 | 0 113.07/113.17 c 105s | 15 | 126739 | 89832 | 52905 2 | 0 | 0 115.27/115.37 c 108s | 15 | 127378 | 90432 | 52905 2 | 0 | 0 117.27/117.38 c 110s | 15 | 128203 | 90832 | 52905 2 | 0 | 0 119.67/119.73 c 112s | 15 | 129501 | 91332 | 52905 2 | 0 | 0 121.77/121.87 c 114s | 15 | 130676 | 91832 | 52905 2 | 0 | 0 123.97/124.07 c 116s | 15 | 131490 | 92232 | 52905 2 | 0 | 0 126.27/126.31 c 119s | 15 | 132796 | 92832 | 52905 2 | 0 | 0 137.77/137.87 c 130s | 15 | 133474 | 93032 | 52905 3 | 0 | 0 139.86/139.98 c 132s | 15 | 135073 | 93732 | 52905 3 | 0 | 0 141.97/142.07 c 134s | 15 | 136564 | 94932 | 52905 3 | 0 | 0 144.17/144.22 c 136s | 15 | 137635 | 95732 | 52905 3 | 0 | 0 146.46/146.51 c 139s | 15 | 138974 | 96532 | 52905 3 | 0 | 0 148.57/148.68 c 141s | 15 | 139741 | 97132 | 52905 3 | 0 | 0 150.77/150.86 c 143s | 15 | 141285 | 97932 | 52905 3 | 0 | 0 152.87/152.95 c 145s | 15 | 143194 | 98932 | 52905 3 | 0 | 0 154.96/155.10 c 147s | 15 | 144757 | 99732 | 52905 3 | 0 | 0 157.16/157.27 c 149s | 15 | 145944 | 100532 | 52905 3 | 0 | 0 159.26/159.34 c 152s | 15 | 147427 | 101332 | 52905 3 | 0 | 0 161.46/161.58 c 154s | 15 | 149836 | 102332 | 52905 3 | 0 | 0 163.66/163.72 c 156s | 15 | 152006 | 103332 | 52905 3 | 0 | 0 165.76/165.84 c 158s | 15 | 155265 | 104532 | 52905 3 | 0 | 0 167.86/167.97 c 160s | 15 | 157727 | 105532 | 52905 3 | 0 | 0 169.96/170.08 c 162s | 15 | 159654 | 106332 | 52905 3 | 0 | 0 172.26/172.33 c 165s | 15 | 161618 | 107332 | 52905 3 | 0 | 0 174.46/174.53 c 167s | 15 | 163539 | 108432 | 52905 3 | 0 | 0 176.56/176.65 c 169s | 15 | 164673 | 109332 | 52905 3 | 0 | 0 178.66/178.76 c 171s | 15 | 166675 | 110432 | 52905 3 | 0 | 0 180.96/181.00 c 173s | 15 | 168646 | 111432 | 52905 3 | 0 | 0 182.96/183.01 c 175s | 15 | 170958 | 112432 | 52905 3 | 0 | 0 184.95/185.07 c 177s | 15 | 172904 | 113332 | 52905 3 | 0 | 0 187.06/187.15 c 179s | 15 | 174148 | 114232 | 52905 3 | 0 | 0 189.05/189.17 c 181s | 15 | 175071 | 115032 | 52905 3 | 0 | 0 191.25/191.38 c 184s | 15 | 176094 | 115832 | 52905 3 | 0 | 0 193.35/193.46 c 186s | 15 | 177326 | 116732 | 52905 3 | 0 | 0 195.45/195.53 c 188s | 15 | 178440 | 117532 | 52905 3 | 0 | 0 197.75/197.87 c 190s | 15 | 180166 | 118332 | 52905 3 | 0 | 0 199.85/199.96 c 192s | 15 | 182026 | 119032 | 52905 3 | 0 | 0 208.25/208.34 c 201s | 15 | 183364 | 119632 | 52905 4 | 0 | 0 215.16/215.20 c 207s | 15 | 183841 | 120032 | 52905 4 | 0 | 0 217.36/217.48 c 210s | 15 | 185553 | 121332 | 52905 4 | 0 | 0 219.55/219.64 c 212s | 15 | 187853 | 122832 | 52905 4 | 0 | 0 221.55/221.67 c 214s | 15 | 190204 | 124432 | 58196 4 | 0 | 0 223.65/223.77 c 216s | 15 | 191766 | 125732 | 58196 4 | 0 | 0 225.75/225.81 c 218s | 15 | 193367 | 126932 | 58196 4 | 0 | 0 227.85/227.93 c 220s | 15 | 194995 | 128332 | 58196 4 | 0 | 0 230.05/230.19 c 222s | 15 | 196573 | 129532 | 58196 4 | 0 | 0 232.06/232.19 c 224s | 15 | 197786 | 130532 | 58196 4 | 0 | 0 234.05/234.18 c 226s | 16 | 199036 | 131552 | 58196 4 | 0 | 0 236.25/236.34 c 229s | 16 | 200465 | 132552 | 58196 4 | 0 | 0 238.45/238.55 c 231s | 16 | 201030 | 133052 | 58196 4 | 0 | 0 240.55/240.68 c 233s | 16 | 201952 | 133752 | 58196 4 | 0 | 0 242.75/242.85 c 235s | 16 | 202911 | 134452 | 58196 4 | 0 | 0 244.85/244.98 c 237s | 16 | 203816 | 135152 | 58196 4 | 0 | 0 247.05/247.16 c 239s | 16 | 204507 | 135752 | 58196 4 | 0 | 0 249.35/249.45 c 242s | 16 | 205414 | 136352 | 58196 4 | 0 | 0 251.45/251.57 c 244s | 16 | 206247 | 136952 | 58196 4 | 0 | 0 253.65/253.71 c 246s | 16 | 207424 | 137852 | 58196 4 | 0 | 0 255.75/255.86 c 248s | 16 | 208142 | 138452 | 58196 4 | 0 | 0 258.05/258.13 c 250s | 16 | 208893 | 139052 | 58196 4 | 0 | 0 260.05/260.13 c 252s | 16 | 209820 | 139752 | 58196 4 | 0 | 0 262.05/262.16 c 254s | 16 | 210520 | 140352 | 58196 4 | 0 | 0 264.25/264.33 c 257s | 16 | 211551 | 141152 | 58196 4 | 0 | 0 266.25/266.39 c 259s | 16 | 212284 | 141752 | 58196 4 | 0 | 0 268.35/268.46 c 261s | 16 | 212990 | 142352 | 58196 4 | 0 | 0 270.74/270.84 c 263s | 16 | 213676 | 142952 | 58196 4 | 0 | 0 272.85/272.97 c 265s | 16 | 214125 | 143352 | 58196 4 | 0 | 0 274.84/274.99 c 267s | 16 | 214435 | 143652 | 58196 4 | 0 | 0 277.15/277.27 c 269s | 16 | 214861 | 144052 | 58196 4 | 0 | 0 279.74/279.86 c 272s | 16 | 215264 | 144452 | 58196 4 | 0 | 0 282.14/282.23 c 274s | 16 | 215571 | 144752 | 58196 4 | 0 | 0 284.34/284.47 c 277s | 16 | 216264 | 145252 | 58196 4 | 0 | 0 286.54/286.63 c 279s | 16 | 217709 | 146152 | 58196 4 | 0 | 0 288.64/288.75 c 281s | 16 | 218477 | 146852 | 58196 4 | 0 | 0 290.84/290.91 c 283s | 16 | 219266 | 147552 | 58196 4 | 0 | 0 292.94/293.04 c 285s | 16 | 220103 | 148252 | 58196 4 | 0 | 0 294.94/295.09 c 287s | 16 | 221146 | 149052 | 58196 4 | 0 | 0 298.05/298.12 c 290s | 16 | 222096 | 149852 | 58196 4 | 0 | 0 300.35/300.45 c 293s | 16 | 222452 | 150152 | 58196 4 | 0 | 0 302.64/302.72 c 295s | 16 | 223179 | 150752 | 58196 4 | 0 | 0 307.84/307.91 c 300s | 16 | 223996 | 151452 | 58196 5 | 0 | 0 309.84/309.98 c 302s | 16 | 225525 | 152552 | 58196 5 | 0 | 0 311.94/312.05 c 304s | 16 | 227298 | 153852 | 58196 5 | 0 | 0 313.94/314.07 c 306s | 16 | 228406 | 154652 | 58196 5 | 0 | 0 361.73/361.81 c 354s | 16 | 229853 | 155552 | 58196 5 | 0 | 0 363.73/363.88 c 356s | 16 | 231606 | 156752 | 58196 5 | 0 | 0 365.93/366.02 c 358s | 16 | 233713 | 158452 | 58196 5 | 0 | 0 367.93/368.03 c 360s | 16 | 234880 | 159452 | 58196 5 | 0 | 0 370.03/370.15 c 362s | 16 | 236725 | 160852 | 58196 5 | 0 | 0 372.13/372.20 c 364s | 16 | 238079 | 162052 | 58196 5 | 0 | 0 374.13/374.24 c 366s | 16 | 239504 | 163352 | 58196 5 | 0 | 0 376.24/376.39 c 369s | 16 | 240950 | 164652 | 58196 5 | 0 | 0 378.34/378.45 c 371s | 16 | 242584 | 165852 | 58196 5 | 0 | 0 380.54/380.68 c 373s | 16 | 243888 | 167052 | 58196 5 | 0 | 0 382.63/382.75 c 375s | 16 | 245217 | 168152 | 58196 5 | 0 | 0 384.63/384.77 c 377s | 16 | 246505 | 169352 | 58196 5 | 0 | 0 386.63/386.79 c 379s | 16 | 247272 | 170052 | 58196 5 | 0 | 0 388.73/388.84 c 381s | 16 | 248325 | 170752 | 58196 5 | 0 | 0 391.03/391.12 c 383s | 16 | 249283 | 171452 | 58196 5 | 0 | 0 393.22/393.31 c 386s | 16 | 250929 | 172452 | 58196 5 | 0 | 0 395.32/395.41 c 388s | 16 | 251968 | 173452 | 58196 5 | 0 | 0 397.42/397.50 c 390s | 16 | 253049 | 174352 | 58196 5 | 0 | 0 399.52/399.62 c 392s | 16 | 253948 | 175152 | 58196 5 | 0 | 0 401.72/401.85 c 394s | 16 | 255017 | 176052 | 58196 5 | 0 | 0 403.92/404.00 c 396s | 16 | 255970 | 176752 | 58196 5 | 0 | 0 405.93/406.04 c 398s | 16 | 256754 | 177352 | 58196 5 | 0 | 0 408.22/408.35 c 401s | 16 | 257387 | 177952 | 58196 5 | 0 | 0 410.72/410.83 c 403s | 16 | 258099 | 178552 | 58196 5 | 0 | 0 412.72/412.85 c 405s | 16 | 258541 | 178952 | 58196 5 | 0 | 0 415.23/415.37 c 408s | 16 | 258771 | 179152 | 58196 5 | 0 | 0 417.43/417.57 c 410s | 16 | 259098 | 179452 | 58196 5 | 0 | 0 420.03/420.17 c 412s | 16 | 259559 | 179852 | 58196 5 | 0 | 0 422.53/422.66 c 415s | 16 | 260028 | 180252 | 58196 5 | 0 | 0 429.32/429.49 c 422s | 16 | 260535 | 180652 | 58196 6 | 0 | 0 436.22/436.33 c 429s | 16 | 260903 | 180952 | 58196 6 | 0 | 0 438.32/438.42 c 431s | 16 | 261788 | 181652 | 58196 6 | 0 | 0 440.32/440.48 c 433s | 16 | 262938 | 182452 | 58196 6 | 0 | 0 442.42/442.53 c 435s | 16 | 263681 | 183152 | 58196 6 | 0 | 0 444.62/444.75 c 437s | 16 | 265073 | 184152 | 58196 6 | 0 | 0 446.72/446.85 c 439s | 16 | 266285 | 185052 | 58196 6 | 0 | 0 448.72/448.88 c 441s | 16 | 267504 | 185952 | 58196 6 | 0 | 0 450.82/450.95 c 443s | 16 | 268562 | 186752 | 58196 6 | 0 | 0 452.92/453.04 c 445s | 16 | 270115 | 187752 | 58196 6 | 0 | 0 454.92/455.04 c 447s | 16 | 271397 | 188552 | 58196 6 | 0 | 0 457.12/457.29 c 449s | 16 | 273014 | 189552 | 64016 6 | 0 | 0 459.31/459.44 c 452s | 16 | 274692 | 190652 | 64016 6 | 0 | 0 461.31/461.48 c 454s | 16 | 275817 | 191552 | 64016 6 | 0 | 0 463.41/463.58 c 456s | 16 | 277350 | 192552 | 64016 6 | 0 | 0 465.61/465.71 c 458s | 16 | 278689 | 193352 | 64016 6 | 0 | 0 467.91/468.03 c 460s | 16 | 279464 | 193952 | 64016 6 | 0 | 0 470.21/470.32 c 463s | 16 | 280796 | 194852 | 64016 6 | 0 | 0 472.41/472.53 c 465s | 16 | 281582 | 195452 | 64016 6 | 0 | 0 474.61/474.79 c 467s | 16 | 282531 | 196152 | 64016 6 | 0 | 0 476.81/476.94 c 469s | 16 | 283317 | 196752 | 64016 6 | 0 | 0 478.61/478.73 c 471s | 17 | 284620 | 197432 | 64016 6 | 0 | 0 480.62/480.76 c 473s | 17 | 285332 | 197932 | 64016 6 | 0 | 0 482.92/483.09 c 475s | 17 | 288065 | 199632 | 64016 6 | 0 | 0 485.12/485.22 c 477s | 17 | 289493 | 200832 | 64016 6 | 0 | 0 487.11/487.27 c 479s | 17 | 291347 | 201932 | 64016 6 | 0 | 0 489.31/489.44 c 482s | 17 | 293346 | 203332 | 64016 6 | 0 | 0 491.62/491.72 c 484s | 17 | 294249 | 204032 | 64016 6 | 0 | 0 494.01/494.11 c 486s | 17 | 294922 | 204632 | 64016 6 | 0 | 0 496.21/496.39 c 489s | 17 | 295655 | 205332 | 64016 6 | 0 | 0 498.51/498.64 c 491s | 17 | 296213 | 205832 | 64016 6 | 0 | 0 500.71/500.81 c 493s | 17 | 297309 | 206832 | 64016 6 | 0 | 0 502.91/503.07 c 495s | 17 | 298499 | 207832 | 64016 6 | 0 | 0 505.01/505.18 c 497s | 17 | 299739 | 208832 | 64016 6 | 0 | 0 507.11/507.25 c 499s | 17 | 300895 | 209732 | 64016 6 | 0 | 0 509.41/509.51 c 502s | 17 | 301754 | 210432 | 64016 6 | 0 | 0 511.41/511.51 c 504s | 17 | 302203 | 210832 | 64016 6 | 0 | 0 513.51/513.62 c 506s | 17 | 302534 | 211132 | 64016 6 | 0 | 0 515.51/515.68 c 508s | 17 | 303287 | 211732 | 64016 6 | 0 | 0 517.61/517.74 c 510s | 17 | 304351 | 212632 | 64016 6 | 0 | 0 519.91/520.09 c 512s | 17 | 305258 | 213332 | 64016 6 | 0 | 0 522.00/522.18 c 514s | 17 | 306148 | 214032 | 64016 6 | 0 | 0 524.40/524.53 c 517s | 17 | 307465 | 214932 | 64016 6 | 0 | 0 526.81/526.99 c 519s | 17 | 308123 | 215532 | 64016 6 | 0 | 0 528.90/529.05 c 521s | 17 | 308346 | 215732 | 64016 7 | 0 | 0 555.60/555.73 c 548s | 17 | 308792 | 216132 | 64016 7 | 0 | 0 557.70/557.84 c 550s | 17 | 309591 | 216832 | 64016 7 | 0 | 0 559.80/559.92 c 552s | 17 | 310395 | 217532 | 64016 7 | 0 | 0 561.91/562.06 c 554s | 17 | 310995 | 218032 | 64016 7 | 0 | 0 564.21/564.32 c 557s | 17 | 311769 | 218732 | 64016 7 | 0 | 0 592.10/592.23 c 584s | 17 | 312413 | 219332 | 64016 7 | 0 | 0 594.10/594.27 c 586s | 17 | 313158 | 219832 | 64016 7 | 0 | 0 596.30/596.44 c 589s | 17 | 314150 | 220632 | 64016 7 | 0 | 0 598.40/598.53 c 591s | 17 | 315332 | 221532 | 64016 7 | 0 | 0 600.40/600.54 c 593s | 17 | 316334 | 222432 | 64016 7 | 0 | 0 602.50/602.60 c 595s | 17 | 317227 | 223232 | 64016 7 | 0 | 0 604.49/604.62 c 597s | 17 | 318235 | 224132 | 64016 7 | 0 | 0 606.49/606.65 c 599s | 17 | 319006 | 224832 | 64016 7 | 0 | 0 608.59/608.79 c 601s | 17 | 319992 | 225732 | 64016 7 | 0 | 0 610.89/611.00 c 603s | 17 | 321012 | 226632 | 64016 7 | 0 | 0 612.99/613.16 c 605s | 17 | 321933 | 227432 | 64016 7 | 0 | 0 615.19/615.36 c 608s | 17 | 322847 | 228232 | 64016 7 | 0 | 0 617.39/617.55 c 610s | 17 | 323722 | 229032 | 64016 7 | 0 | 0 619.59/619.74 c 612s | 17 | 325190 | 229832 | 64016 7 | 0 | 0 621.69/621.89 c 614s | 17 | 326041 | 230432 | 64016 7 | 0 | 0 623.79/623.98 c 616s | 17 | 327344 | 231132 | 64016 7 | 0 | 0 625.90/626.02 c 618s | 17 | 327896 | 231632 | 64016 7 | 0 | 0 628.10/628.29 c 620s | 17 | 328469 | 232132 | 64016 7 | 0 | 0 630.20/630.37 c 623s | 17 | 329023 | 232632 | 64016 7 | 0 | 0 632.59/632.73 c 625s | 17 | 329617 | 233132 | 64016 7 | 0 | 0 634.89/635.04 c 627s | 17 | 330151 | 233632 | 64016 7 | 0 | 0 637.49/637.61 c 630s | 17 | 330875 | 234232 | 64016 7 | 0 | 0 639.79/639.91 c 632s | 17 | 331449 | 234732 | 64016 7 | 0 | 0 641.99/642.10 c 634s | 17 | 332097 | 235332 | 64016 7 | 0 | 0 644.19/644.40 c 637s | 17 | 332745 | 235932 | 64016 7 | 0 | 0 646.49/646.67 c 639s | 17 | 333304 | 236332 | 64016 7 | 0 | 0 648.59/648.73 c 641s | 17 | 333775 | 236732 | 64016 7 | 0 | 0 650.59/650.76 c 643s | 17 | 334291 | 237232 | 64016 7 | 0 | 0 653.29/653.49 c 646s | 17 | 334758 | 237632 | 64016 7 | 0 | 0 655.59/655.73 c 648s | 17 | 335306 | 238132 | 64016 7 | 0 | 0 657.79/657.95 c 650s | 17 | 335852 | 238632 | 64016 7 | 0 | 0 660.89/661.04 c 653s | 17 | 336176 | 238932 | 64016 7 | 0 | 0 663.39/663.50 c 656s | 17 | 336544 | 239232 | 64016 7 | 0 | 0 665.88/666.00 c 658s | 17 | 337516 | 239732 | 64016 7 | 0 | 0 667.98/668.16 c 660s | 17 | 338519 | 240332 | 64016 7 | 0 | 0 670.18/670.36 c 663s | 17 | 339456 | 241132 | 64016 7 | 0 | 0 672.38/672.50 c 665s | 17 | 340256 | 241932 | 64016 7 | 0 | 0 675.18/675.39 c 668s | 17 | 341132 | 242732 | 64016 7 | 0 | 0 677.98/678.17 c 670s | 17 | 341330 | 242932 | 64016 7 | 0 | 0 680.38/680.51 c 673s | 17 | 341544 | 243132 | 64016 7 | 0 | 0 682.78/682.93 c 675s | 17 | 342029 | 243432 | 64016 7 | 0 | 0 684.88/685.09 c 677s | 17 | 343341 | 244032 | 64016 7 | 0 | 0 687.08/687.26 c 679s | 17 | 344449 | 244632 | 64016 7 | 0 | 0 689.48/689.69 c 682s | 17 | 345242 | 245232 | 64016 7 | 0 | 0 691.48/691.69 c 684s | 17 | 345846 | 245832 | 64016 7 | 0 | 0 693.68/693.80 c 686s | 17 | 346476 | 246432 | 64016 7 | 0 | 0 695.78/695.94 c 688s | 17 | 347164 | 247032 | 64016 7 | 0 | 0 698.08/698.23 c 690s | 17 | 347925 | 247632 | 64016 7 | 0 | 0 707.19/707.35 c 700s | 17 | 348044 | 247732 | 64016 8 | 0 | 0 724.97/725.19 c 717s | 17 | 348161 | 247832 | 64016 8 | 0 | 0 727.27/727.42 c 720s | 17 | 348814 | 248332 | 64016 8 | 0 | 0 729.57/729.72 c 722s | 17 | 349830 | 249132 | 64016 8 | 0 | 0 731.78/731.99 c 724s | 17 | 350666 | 249832 | 64016 8 | 0 | 0 733.88/734.08 c 726s | 17 | 352101 | 250932 | 64016 8 | 0 | 0 735.98/736.17 c 728s | 17 | 353073 | 251732 | 64016 8 | 0 | 0 738.09/738.21 c 730s | 17 | 354235 | 252732 | 64016 8 | 0 | 0 740.19/740.34 c 733s | 17 | 355518 | 253832 | 64016 8 | 0 | 0 742.49/742.61 c 735s | 17 | 356350 | 254432 | 64016 8 | 0 | 0 744.58/744.71 c 737s | 17 | 357436 | 255332 | 64016 8 | 0 | 0 746.88/747.06 c 739s | 17 | 358772 | 256332 | 64016 8 | 0 | 0 748.98/749.18 c 741s | 17 | 359879 | 257132 | 64016 8 | 0 | 0 751.18/751.39 c 744s | 17 | 362002 | 258332 | 64016 8 | 0 | 0 753.28/753.45 c 746s | 17 | 363251 | 259332 | 64016 8 | 0 | 0 755.68/755.81 c 748s | 17 | 364428 | 260132 | 64016 8 | 0 | 0 757.78/757.95 c 750s | 17 | 365420 | 260832 | 64016 8 | 0 | 0 759.77/759.95 c 752s | 17 | 366833 | 261532 | 64016 8 | 0 | 0 762.07/762.21 c 754s | 17 | 367679 | 262032 | 64016 8 | 0 | 0 764.07/764.25 c 756s | 17 | 368794 | 262732 | 64016 8 | 0 | 0 766.17/766.33 c 759s | 17 | 370180 | 263632 | 64016 8 | 0 | 0 768.47/768.61 c 761s | 17 | 371617 | 264632 | 64016 8 | 0 | 0 770.57/770.78 c 763s | 17 | 373562 | 265732 | 64016 8 | 0 | 0 772.67/772.83 c 765s | 17 | 375348 | 266632 | 64016 8 | 0 | 0 774.87/775.01 c 767s | 17 | 376575 | 267532 | 64016 8 | 0 | 0 776.97/777.12 c 769s | 17 | 377994 | 268632 | 64016 8 | 0 | 0 779.07/779.24 c 771s | 17 | 378989 | 269532 | 64016 8 | 0 | 0 781.27/781.40 c 774s | 17 | 379460 | 269932 | 64016 8 | 0 | 0 783.47/783.60 c 776s | 17 | 380611 | 270832 | 64016 8 | 0 | 0 785.57/785.70 c 778s | 17 | 381931 | 271832 | 64016 8 | 0 | 0 787.58/787.76 c 780s | 17 | 383007 | 272632 | 64016 8 | 0 | 0 789.87/790.00 c 782s | 17 | 383751 | 273132 | 64016 8 | 0 | 0 792.07/792.29 c 784s | 17 | 384744 | 273832 | 64016 8 | 0 | 0 794.37/794.53 c 787s | 17 | 386049 | 274532 | 64016 8 | 0 | 0 796.67/796.80 c 789s | 17 | 387346 | 275232 | 64016 8 | 0 | 0 798.87/799.06 c 791s | 17 | 388693 | 275832 | 64016 8 | 0 | 0 801.07/801.28 c 793s | 17 | 389792 | 276432 | 64016 8 | 0 | 0 803.37/803.58 c 796s | 17 | 390550 | 276932 | 64016 8 | 0 | 0 805.57/805.78 c 798s | 17 | 391395 | 277632 | 64016 8 | 0 | 0 807.77/807.99 c 800s | 17 | 392296 | 278432 | 64016 8 | 0 | 0 809.96/810.16 c 802s | 17 | 393308 | 279132 | 64016 8 | 0 | 0 812.06/812.23 c 804s | 17 | 394196 | 279832 | 64016 8 | 0 | 0 814.86/815.05 c 807s | 17 | 394554 | 280132 | 64016 9 | 0 | 0 902.75/902.97 c 895s | 17 | 394689 | 280232 | 64016 9 | 0 | 0 904.95/905.10 c 897s | 17 | 396161 | 281232 | 64016 9 | 0 | 0 907.05/907.28 c 899s | 17 | 397907 | 282432 | 64016 9 | 0 | 0 909.05/909.29 c 901s | 17 | 398648 | 283032 | 64016 9 | 0 | 0 911.15/911.32 c 904s | 17 | 400028 | 283932 | 64016 9 | 0 | 0 913.15/913.34 c 906s | 17 | 401218 | 284932 | 64016 9 | 0 | 0 915.25/915.42 c 908s | 17 | 402327 | 285632 | 64016 9 | 0 | 0 917.25/917.44 c 910s | 17 | 403493 | 286732 | 64016 9 | 0 | 0 919.65/919.88 c 912s | 17 | 404563 | 287732 | 70418 9 | 0 | 0 921.65/921.90 c 914s | 17 | 405128 | 288132 | 70418 9 | 0 | 0 923.74/923.95 c 916s | 17 | 406275 | 288932 | 70418 9 | 0 | 0 925.74/925.98 c 918s | 17 | 407211 | 289832 | 70418 9 | 0 | 0 927.94/928.17 c 920s | 17 | 408164 | 290632 | 70418 9 | 0 | 0 930.24/930.44 c 923s | 17 | 408890 | 291232 | 70418 9 | 0 | 0 932.44/932.60 c 925s | 17 | 409868 | 292132 | 70418 9 | 0 | 0 934.64/934.82 c 927s | 17 | 411088 | 293032 | 70418 9 | 0 | 0 936.84/937.08 c 929s | 17 | 411970 | 293532 | 70418 9 | 0 | 0 938.94/939.19 c 931s | 17 | 412700 | 294032 | 70418 9 | 0 | 0 941.04/941.24 c 933s | 17 | 413568 | 294732 | 70418 9 | 0 | 0 943.14/943.38 c 936s | 17 | 414394 | 295532 | 70418 9 | 0 | 0 945.85/946.04 c 938s | 17 | 415145 | 296232 | 70418 9 | 0 | 0 946.14/946.30 c 938s | 18 | 415168 | 296252 | 70418 9 | 0 | 0 948.24/948.49 c 941s | 18 | 415479 | 296452 | 70418 9 | 0 | 0 950.84/951.03 c 943s | 18 | 415934 | 296852 | 70418 9 | 0 | 0 953.34/953.52 c 946s | 18 | 416369 | 297252 | 70418 9 | 0 | 0 955.34/955.54 c 948s | 18 | 416727 | 297552 | 70418 9 | 0 | 0 957.44/957.65 c 950s | 18 | 417038 | 297852 | 70418 9 | 0 | 0 959.64/959.81 c 952s | 18 | 417368 | 298152 | 70418 9 | 0 | 0 962.04/962.27 c 954s | 18 | 417794 | 298552 | 70418 9 | 0 | 0 964.14/964.35 c 957s | 18 | 418109 | 298852 | 70418 9 | 0 | 0 966.24/966.45 c 959s | 18 | 418420 | 299152 | 70418 9 | 0 | 0 968.34/968.52 c 961s | 18 | 418743 | 299452 | 70418 9 | 0 | 0 970.44/970.69 c 963s | 18 | 419525 | 300052 | 70418 9 | 0 | 0 973.14/973.36 c 966s | 18 | 419856 | 300252 | 70418 9 | 0 | 0 975.24/975.42 c 968s | 18 | 420472 | 300652 | 70418 9 | 0 | 0 977.64/977.89 c 970s | 18 | 421001 | 301052 | 70418 9 | 0 | 0 980.14/980.33 c 973s | 18 | 421558 | 301452 | 70418 9 | 0 | 0 982.74/982.97 c 975s | 18 | 422189 | 301852 | 70418 9 | 0 | 0 984.94/985.19 c 977s | 18 | 422713 | 302252 | 70418 9 | 0 | 0 987.34/987.59 c 980s | 18 | 423265 | 302652 | 70418 9 | 0 | 0 989.54/989.77 c 982s | 18 | 423965 | 303252 | 70418 9 | 0 | 0 991.84/992.03 c 984s | 18 | 424389 | 303652 | 70418 9 | 0 | 0 994.14/994.35 c 987s | 18 | 424807 | 304052 | 70418 9 | 0 | 0 996.34/996.58 c 989s | 18 | 425315 | 304552 | 70418 9 | 0 | 0 998.44/998.61 c 991s | 18 | 425734 | 304952 | 70418 9 | 0 | 0 1000.85/1001.08 c 993s | 18 | 426146 | 305352 | 70418 9 | 0 | 0 1003.15/1003.30 c 995s | 18 | 426571 | 305752 | 70418 9 | 0 | 0 1005.14/1005.38 c 998s | 18 | 427142 | 306252 | 70418 9 | 0 | 0 1007.24/1007.42 c 1000s | 18 | 427712 | 306752 | 70418 9 | 0 | 0 1009.44/1009.62 c 1002s | 18 | 428303 | 307252 | 70418 9 | 0 | 0 1011.74/1012.00 c 1004s | 18 | 428893 | 307752 | 70418 9 | 0 | 0 1014.24/1014.41 c 1007s | 18 | 429497 | 308252 | 70418 9 | 0 | 0 1016.44/1016.69 c 1009s | 18 | 430309 | 308752 | 70418 9 | 0 | 0 1018.84/1019.07 c 1011s | 18 | 430905 | 309152 | 70418 9 | 0 | 0 1021.04/1021.21 c 1013s | 18 | 431983 | 309552 | 70418 9 | 0 | 0 1023.54/1023.76 c 1016s | 18 | 432665 | 310152 | 70418 9 | 0 | 0 1025.64/1025.84 c 1018s | 18 | 433093 | 310552 | 70418 9 | 0 | 0 1028.13/1028.39 c 1021s | 18 | 433532 | 310952 | 70418 9 | 0 | 0 1030.23/1030.42 c 1023s | 18 | 434180 | 311552 | 70418 9 | 0 | 0 1032.53/1032.79 c 1025s | 18 | 434698 | 312052 | 70418 9 | 0 | 0 1034.73/1034.91 c 1027s | 18 | 435129 | 312452 | 70418 9 | 0 | 0 1036.93/1037.14 c 1029s | 18 | 435560 | 312852 | 70418 9 | 0 | 0 1039.34/1039.58 c 1032s | 18 | 436086 | 313352 | 70418 9 | 0 | 0 1041.64/1041.88 c 1034s | 18 | 436832 | 314052 | 70418 9 | 0 | 0 1043.74/1043.97 c 1036s | 18 | 437599 | 314752 | 70418 9 | 0 | 0 1045.83/1046.02 c 1038s | 18 | 438015 | 315152 | 70418 9 | 0 | 0 1048.14/1048.35 c 1041s | 18 | 438571 | 315652 | 70418 9 | 0 | 0 1050.34/1050.60 c 1043s | 18 | 439132 | 316152 | 70418 9 | 0 | 0 1052.64/1052.82 c 1045s | 18 | 439573 | 316552 | 70418 9 | 0 | 0 1055.23/1055.42 c 1048s | 18 | 439994 | 316952 | 70418 9 | 0 | 0 1057.53/1057.72 c 1050s | 18 | 440417 | 317352 | 70418 9 | 0 | 0 1059.63/1059.85 c 1052s | 18 | 440898 | 317752 | 70418 9 | 0 | 0 1061.73/1061.95 c 1054s | 18 | 441313 | 318152 | 70418 9 | 0 | 0 1063.83/1064.05 c 1056s | 18 | 441729 | 318552 | 70418 9 | 0 | 0 1066.43/1066.61 c 1059s | 18 | 441825 | 318652 | 70418 10 | 0 | 0 1082.12/1082.37 c 1075s | 18 | 441923 | 318752 | 70418 10 | 0 | 0 1087.52/1087.71 c 1080s | 18 | 442018 | 318852 | 70418 10 | 0 | 0 1089.72/1089.93 c 1082s | 18 | 442873 | 319652 | 70418 10 | 0 | 0 1091.72/1091.96 c 1084s | 18 | 443509 | 320252 | 70418 10 | 0 | 0 1094.02/1094.25 c 1086s | 18 | 444511 | 321152 | 70418 10 | 0 | 0 1096.12/1096.31 c 1088s | 18 | 445211 | 321852 | 70418 10 | 0 | 0 1098.22/1098.43 c 1091s | 18 | 446080 | 322652 | 70418 10 | 0 | 0 1100.41/1100.67 c 1093s | 18 | 446821 | 323352 | 70418 10 | 0 | 0 1102.51/1102.71 c 1095s | 18 | 447454 | 323952 | 70418 10 | 0 | 0 1104.71/1104.92 c 1097s | 18 | 448099 | 324552 | 70418 10 | 0 | 0 1106.91/1107.19 c 1099s | 18 | 448811 | 325252 | 70418 10 | 0 | 0 1109.11/1109.31 c 1101s | 18 | 449514 | 325952 | 70418 10 | 0 | 0 1111.11/1111.33 c 1104s | 18 | 450143 | 326552 | 70418 10 | 0 | 0 1113.31/1113.55 c 1106s | 18 | 450752 | 327152 | 70418 10 | 0 | 0 1115.61/1115.80 c 1108s | 18 | 451481 | 327852 | 70418 10 | 0 | 0 1117.81/1118.01 c 1110s | 18 | 452321 | 328652 | 70418 10 | 0 | 0 1119.81/1120.02 c 1112s | 18 | 453087 | 329352 | 70418 10 | 0 | 0 1122.31/1122.50 c 1115s | 18 | 453728 | 329952 | 70418 10 | 0 | 0 1124.31/1124.56 c 1117s | 18 | 454071 | 330252 | 70418 10 | 0 | 0 1126.41/1126.66 c 1119s | 18 | 454507 | 330652 | 70418 10 | 0 | 0 1128.60/1128.83 c 1121s | 18 | 454917 | 331052 | 70418 10 | 0 | 0 1130.71/1130.98 c 1123s | 18 | 455330 | 331452 | 70418 10 | 0 | 0 1133.11/1133.30 c 1125s | 18 | 456040 | 332052 | 70418 10 | 0 | 0 1135.12/1135.37 c 1128s | 18 | 456880 | 332752 | 70418 10 | 0 | 0 1137.41/1137.61 c 1130s | 18 | 457537 | 333352 | 70418 10 | 0 | 0 1139.70/1139.91 c 1132s | 18 | 458420 | 334152 | 70418 10 | 0 | 0 1141.80/1142.00 c 1134s | 18 | 459306 | 334852 | 70418 10 | 0 | 0 1144.00/1144.22 c 1136s | 18 | 459859 | 335352 | 70418 10 | 0 | 0 1146.11/1146.35 c 1139s | 18 | 460484 | 335952 | 70418 10 | 0 | 0 1148.30/1148.56 c 1141s | 18 | 461135 | 336552 | 70418 10 | 0 | 0 1150.80/1151.02 c 1143s | 18 | 461798 | 337152 | 70418 10 | 0 | 0 1153.00/1153.21 c 1145s | 18 | 462412 | 337652 | 70418 10 | 0 | 0 1155.40/1155.61 c 1148s | 18 | 463044 | 338252 | 70418 10 | 0 | 0 1157.60/1157.83 c 1150s | 18 | 464021 | 339052 | 70418 10 | 0 | 0 1159.79/1160.07 c 1152s | 18 | 464781 | 339752 | 70418 10 | 0 | 0 1161.89/1162.19 c 1154s | 18 | 465221 | 340152 | 70418 10 | 0 | 0 1164.39/1164.65 c 1157s | 18 | 465743 | 340652 | 70418 10 | 0 | 0 1166.49/1166.71 c 1159s | 18 | 466245 | 341152 | 70418 10 | 0 | 0 1168.48/1168.79 c 1161s | 18 | 466665 | 341552 | 70418 10 | 0 | 0 1170.98/1171.29 c 1163s | 18 | 467077 | 341952 | 70418 10 | 0 | 0 1173.08/1173.40 c 1166s | 18 | 467401 | 342252 | 70418 10 | 0 | 0 1175.18/1175.44 c 1168s | 18 | 468048 | 342852 | 70418 10 | 0 | 0 1177.58/1177.84 c 1170s | 18 | 468847 | 343552 | 70418 10 | 0 | 0 1180.18/1180.47 c 1173s | 18 | 469409 | 344052 | 70418 10 | 0 | 0 1182.17/1182.48 c 1175s | 18 | 469720 | 344352 | 70418 10 | 0 | 0 1184.27/1184.57 c 1177s | 18 | 470299 | 344752 | 70418 10 | 0 | 0 1186.78/1187.08 c 1179s | 18 | 470813 | 345252 | 70418 10 | 0 | 0 1189.17/1189.47 c 1182s | 18 | 471244 | 345652 | 70418 10 | 0 | 0 1191.37/1191.69 c 1184s | 18 | 471570 | 345952 | 70418 10 | 0 | 0 1193.57/1193.89 c 1186s | 18 | 471963 | 346352 | 70418 10 | 0 | 0 1195.66/1195.95 c 1188s | 18 | 472440 | 346752 | 70418 10 | 0 | 0 1198.15/1198.44 c 1191s | 18 | 473050 | 347252 | 70418 10 | 0 | 0 1200.15/1200.49 c 1193s | 18 | 473451 | 347652 | 70418 10 | 0 | 0 1202.75/1203.04 c 1195s | 18 | 474004 | 348152 | 70418 10 | 0 | 0 1205.15/1205.46 c 1198s | 18 | 474414 | 348552 | 70418 10 | 0 | 0 1207.45/1207.74 c 1200s | 18 | 474824 | 348952 | 70418 10 | 0 | 0 1209.75/1210.08 c 1202s | 18 | 475151 | 349252 | 70418 10 | 0 | 0 1212.05/1212.39 c 1205s | 18 | 475556 | 349652 | 70418 10 | 0 | 0 1214.35/1214.65 c 1207s | 18 | 476064 | 350152 | 70418 10 | 0 | 0 1216.65/1216.94 c 1209s | 18 | 476507 | 350552 | 70418 10 | 0 | 0 1219.14/1219.40 c 1212s | 18 | 476923 | 350952 | 70418 10 | 0 | 0 1221.54/1221.86 c 1214s | 18 | 477364 | 351352 | 70418 10 | 0 | 0 1224.15/1224.42 c 1217s | 18 | 477781 | 351752 | 70418 10 | 0 | 0 1226.44/1226.74 c 1219s | 18 | 478191 | 352152 | 70418 10 | 0 | 0 1228.93/1229.22 c 1221s | 18 | 478701 | 352652 | 70418 10 | 0 | 0 1231.63/1231.96 c 1224s | 18 | 479256 | 353052 | 70418 10 | 0 | 0 1234.04/1234.31 c 1227s | 18 | 479632 | 353352 | 70418 10 | 0 | 0 1236.53/1236.82 c 1229s | 18 | 479931 | 353652 | 70418 10 | 0 | 0 1238.52/1238.87 c 1231s | 18 | 480309 | 353952 | 70418 10 | 0 | 0 1248.81/1249.15 c 1241s | 18 | 480424 | 354052 | 70418 11 | 0 | 0 1254.12/1254.47 c 1247s | 18 | 480626 | 354152 | 70418 11 | 0 | 0 1256.22/1256.57 c 1249s | 18 | 480938 | 354352 | 70418 11 | 0 | 0 1258.52/1258.84 c 1251s | 18 | 481692 | 354952 | 70418 11 | 0 | 0 1260.62/1260.97 c 1253s | 18 | 482574 | 355752 | 70418 11 | 0 | 0 1262.71/1263.05 c 1255s | 18 | 483234 | 356352 | 70418 11 | 0 | 0 1265.01/1265.31 c 1257s | 18 | 484372 | 357352 | 70418 11 | 0 | 0 1267.11/1267.46 c 1260s | 18 | 485129 | 358052 | 70418 11 | 0 | 0 1269.21/1269.58 c 1262s | 18 | 485903 | 358752 | 70418 11 | 0 | 0 1271.21/1271.58 c 1264s | 18 | 486781 | 359552 | 70418 11 | 0 | 0 1273.31/1273.65 c 1266s | 18 | 487761 | 360452 | 70418 11 | 0 | 0 1275.61/1275.97 c 1268s | 18 | 488383 | 361052 | 70418 11 | 0 | 0 1277.71/1278.03 c 1270s | 18 | 489259 | 361852 | 70418 11 | 0 | 0 1279.91/1280.23 c 1272s | 18 | 490389 | 362852 | 70418 11 | 0 | 0 1282.11/1282.46 c 1275s | 18 | 491163 | 363552 | 70418 11 | 0 | 0 1284.30/1284.69 c 1277s | 18 | 491926 | 364252 | 70418 11 | 0 | 0 1286.60/1286.90 c 1279s | 18 | 492604 | 364852 | 70418 11 | 0 | 0 1288.60/1288.99 c 1281s | 18 | 493293 | 365352 | 70418 11 | 0 | 0 1290.70/1291.08 c 1283s | 18 | 494207 | 366052 | 70418 11 | 0 | 0 1292.90/1293.20 c 1285s | 18 | 495182 | 366952 | 70418 11 | 0 | 0 1295.00/1295.38 c 1288s | 18 | 496024 | 367752 | 70418 11 | 0 | 0 1297.50/1297.81 c 1290s | 18 | 496870 | 368552 | 70418 11 | 0 | 0 1299.60/1299.93 c 1292s | 18 | 497397 | 369052 | 70418 11 | 0 | 0 1301.70/1302.01 c 1294s | 18 | 497917 | 369552 | 70418 11 | 0 | 0 1303.70/1304.07 c 1296s | 18 | 498639 | 370152 | 70418 11 | 0 | 0 1305.80/1306.16 c 1298s | 18 | 499256 | 370752 | 70418 11 | 0 | 0 1307.90/1308.23 c 1300s | 18 | 499763 | 371252 | 70418 11 | 0 | 0 1309.99/1310.38 c 1303s | 18 | 500307 | 371752 | 70418 11 | 0 | 0 1312.00/1312.39 c 1305s | 18 | 501063 | 372352 | 70418 11 | 0 | 0 1314.20/1314.60 c 1307s | 18 | 501847 | 372952 | 70418 11 | 0 | 0 1316.50/1316.83 c 1309s | 18 | 502824 | 373752 | 70418 11 | 0 | 0 1318.79/1319.18 c 1311s | 18 | 503593 | 374452 | 70418 11 | 0 | 0 1320.80/1321.20 c 1313s | 18 | 504102 | 374952 | 70418 11 | 0 | 0 1323.00/1323.31 c 1315s | 18 | 504746 | 375552 | 70418 11 | 0 | 0 1325.20/1325.52 c 1318s | 18 | 505288 | 376052 | 70418 11 | 0 | 0 1327.50/1327.86 c 1320s | 18 | 506330 | 376952 | 70418 11 | 0 | 0 1329.59/1329.99 c 1322s | 18 | 506971 | 377552 | 70418 11 | 0 | 0 1331.69/1332.03 c 1324s | 18 | 507880 | 378352 | 70418 11 | 0 | 0 1333.79/1334.10 c 1326s | 18 | 508883 | 379252 | 70418 11 | 0 | 0 1335.99/1336.35 c 1329s | 18 | 509724 | 380052 | 70418 11 | 0 | 0 1338.08/1338.45 c 1331s | 18 | 510613 | 380852 | 70418 11 | 0 | 0 1340.98/1341.33 c 1334s | 18 | 511510 | 381652 | 70418 11 | 0 | 0 1342.98/1343.38 c 1336s | 18 | 512202 | 382252 | 70418 11 | 0 | 0 1345.28/1345.61 c 1338s | 18 | 512881 | 382852 | 70418 11 | 0 | 0 1347.48/1347.88 c 1340s | 18 | 513797 | 383652 | 70418 11 | 0 | 0 1349.88/1350.20 c 1342s | 18 | 514448 | 384152 | 70418 11 | 0 | 0 1351.88/1352.27 c 1344s | 18 | 514924 | 384552 | 70418 11 | 0 | 0 1354.08/1354.42 c 1347s | 18 | 515590 | 385152 | 70418 11 | 0 | 0 1356.58/1356.98 c 1349s | 18 | 516375 | 385852 | 70418 11 | 0 | 0 1358.87/1359.29 c 1351s | 18 | 517005 | 386352 | 70418 11 | 0 | 0 1361.48/1361.88 c 1354s | 18 | 517456 | 386752 | 70418 11 | 0 | 0 1363.57/1363.95 c 1356s | 18 | 517799 | 387052 | 70418 11 | 0 | 0 1365.77/1366.17 c 1358s | 18 | 518279 | 387452 | 70418 11 | 0 | 0 1368.08/1368.44 c 1361s | 18 | 518733 | 387852 | 70418 11 | 0 | 0 1370.38/1370.71 c 1363s | 18 | 519175 | 388252 | 70418 11 | 0 | 0 1372.77/1373.11 c 1365s | 18 | 519614 | 388652 | 70418 11 | 0 | 0 1374.87/1375.28 c 1367s | 18 | 520045 | 389052 | 70418 11 | 0 | 0 1392.06/1392.46 c 1385s | 18 | 520422 | 389352 | 70418 12 | 0 | 0 1394.16/1394.52 c 1387s | 18 | 522328 | 390952 | 70418 12 | 0 | 0 1396.16/1396.59 c 1389s | 18 | 524080 | 392452 | 70418 12 | 0 | 0 1403.46/1403.81 c 1396s | 18 | 525107 | 393352 | 70418 12 | 0 | 0 1405.47/1405.90 c 1398s | 18 | 526471 | 394552 | 70418 12 | 0 | 0 1407.67/1408.05 c 1400s | 18 | 527923 | 395852 | 70418 12 | 0 | 0 1409.86/1410.29 c 1402s | 18 | 529216 | 396952 | 70418 12 | 0 | 0 1411.96/1412.38 c 1405s | 18 | 529764 | 397452 | 70418 12 | 0 | 0 1413.96/1414.39 c 1407s | 18 | 530629 | 398252 | 70418 12 | 0 | 0 1416.06/1416.45 c 1409s | 18 | 531167 | 398752 | 70418 12 | 0 | 0 1418.06/1418.47 c 1411s | 18 | 532030 | 399452 | 70418 12 | 0 | 0 1420.16/1420.59 c 1413s | 18 | 533065 | 400352 | 70418 12 | 0 | 0 1422.65/1423.03 c 1415s | 18 | 533896 | 401052 | 70418 12 | 0 | 0 1424.75/1425.13 c 1417s | 18 | 534558 | 401652 | 70418 12 | 0 | 0 1426.95/1427.31 c 1419s | 18 | 535212 | 402252 | 70418 12 | 0 | 0 1429.05/1429.49 c 1422s | 18 | 536011 | 402952 | 70418 12 | 0 | 0 1431.05/1431.49 c 1424s | 18 | 536678 | 403552 | 70418 12 | 0 | 0 1433.35/1433.74 c 1426s | 18 | 537514 | 404252 | 70418 12 | 0 | 0 1435.55/1435.92 c 1428s | 18 | 538696 | 405252 | 70418 12 | 0 | 0 1437.95/1438.37 c 1431s | 18 | 539258 | 405752 | 70418 12 | 0 | 0 1440.15/1440.56 c 1433s | 18 | 539695 | 406152 | 70418 12 | 0 | 0 1442.35/1442.76 c 1435s | 18 | 540599 | 406952 | 70418 12 | 0 | 0 1444.55/1444.96 c 1437s | 18 | 541727 | 407852 | 70418 12 | 0 | 0 1447.15/1447.54 c 1440s | 18 | 542273 | 408352 | 70418 12 | 0 | 0 1449.46/1449.81 c 1442s | 18 | 542801 | 408852 | 70418 12 | 0 | 0 1451.66/1452.09 c 1444s | 18 | 543724 | 409652 | 70418 12 | 0 | 0 1453.86/1454.22 c 1446s | 18 | 544811 | 410552 | 70418 12 | 0 | 0 1455.85/1456.29 c 1448s | 18 | 545616 | 411252 | 70418 12 | 0 | 0 1457.95/1458.33 c 1451s | 18 | 546461 | 411952 | 70418 12 | 0 | 0 1460.05/1460.46 c 1453s | 18 | 547250 | 412652 | 70418 12 | 0 | 0 1462.25/1462.60 c 1455s | 18 | 547573 | 412952 | 70418 12 | 0 | 0 1464.65/1465.03 c 1457s | 18 | 547994 | 413352 | 70418 12 | 0 | 0 1466.75/1467.17 c 1459s | 18 | 548570 | 413852 | 70418 12 | 0 | 0 1469.05/1469.49 c 1462s | 18 | 549124 | 414352 | 70418 12 | 0 | 0 1471.35/1471.76 c 1464s | 18 | 549653 | 414852 | 70418 12 | 0 | 0 1473.45/1473.80 c 1466s | 18 | 550201 | 415352 | 70418 12 | 0 | 0 1475.64/1476.04 c 1468s | 18 | 550742 | 415852 | 70418 12 | 0 | 0 1477.64/1478.08 c 1470s | 18 | 551377 | 416352 | 70418 12 | 0 | 0 1479.74/1480.18 c 1472s | 18 | 551701 | 416652 | 70418 12 | 0 | 0 1481.84/1482.28 c 1474s | 18 | 552150 | 417052 | 70418 12 | 0 | 0 1484.34/1484.70 c 1477s | 18 | 552573 | 417452 | 70418 12 | 0 | 0 1486.85/1487.29 c 1479s | 18 | 553107 | 417952 | 70418 12 | 0 | 0 1489.44/1489.80 c 1482s | 18 | 553667 | 418452 | 70418 12 | 0 | 0 1491.54/1491.97 c 1484s | 18 | 554088 | 418852 | 70418 12 | 0 | 0 1494.03/1494.44 c 1487s | 18 | 554745 | 419452 | 70418 12 | 0 | 0 1496.13/1496.52 c 1489s | 18 | 555207 | 419852 | 70418 12 | 0 | 0 1498.33/1498.70 c 1491s | 18 | 555804 | 420352 | 70418 12 | 0 | 0 1500.73/1501.19 c 1493s | 18 | 556252 | 420752 | 70418 12 | 0 | 0 1503.03/1503.43 c 1496s | 18 | 556709 | 421152 | 70418 12 | 0 | 0 1505.43/1505.85 c 1498s | 18 | 557249 | 421652 | 70418 12 | 0 | 0 1508.63/1509.01 c 1501s | 18 | 557783 | 422152 | 70418 12 | 0 | 0 1510.63/1511.03 c 1503s | 18 | 558133 | 422452 | 70418 12 | 0 | 0 1512.63/1513.04 c 1505s | 18 | 558613 | 422852 | 70418 12 | 0 | 0 1514.63/1515.08 c 1507s | 18 | 559040 | 423252 | 70418 12 | 0 | 0 1517.03/1517.49 c 1510s | 18 | 559471 | 423652 | 70418 12 | 0 | 0 1519.62/1520.02 c 1512s | 18 | 559992 | 424152 | 70418 12 | 0 | 0 1522.03/1522.44 c 1515s | 18 | 560320 | 424452 | 70418 12 | 0 | 0 1526.02/1526.47 c 1519s | 18 | 560425 | 424552 | 70418 13 | 0 | 0 1528.22/1528.63 c 1521s | 18 | 560877 | 424952 | 70418 13 | 0 | 0 1530.52/1530.98 c 1523s | 18 | 561785 | 425652 | 70418 13 | 0 | 0 1532.62/1533.06 c 1525s | 18 | 562667 | 426452 | 70418 13 | 0 | 0 1553.41/1553.83 c 1546s | 18 | 563205 | 426952 | 70418 13 | 0 | 0 1555.42/1555.86 c 1548s | 18 | 563886 | 427552 | 70418 13 | 0 | 0 1557.62/1558.07 c 1550s | 18 | 564915 | 428452 | 70418 13 | 0 | 0 1559.82/1560.21 c 1552s | 18 | 565827 | 429252 | 70418 13 | 0 | 0 1561.92/1562.32 c 1555s | 18 | 566533 | 429852 | 70418 13 | 0 | 0 1564.02/1564.49 c 1557s | 18 | 567619 | 430752 | 70418 13 | 0 | 0 1566.12/1566.51 c 1559s | 18 | 568410 | 431452 | 70418 13 | 0 | 0 1568.11/1568.51 c 1561s | 18 | 569322 | 432252 | 70418 13 | 0 | 0 1570.21/1570.62 c 1563s | 18 | 570328 | 433152 | 70418 13 | 0 | 0 1572.31/1572.73 c 1565s | 18 | 571464 | 434052 | 70418 13 | 0 | 0 1574.31/1574.74 c 1567s | 18 | 572380 | 434752 | 77460 13 | 0 | 0 1576.61/1577.07 c 1569s | 18 | 573142 | 435452 | 77460 13 | 0 | 0 1578.91/1579.38 c 1572s | 18 | 573877 | 436152 | 77460 13 | 0 | 0 1581.11/1581.56 c 1574s | 18 | 574484 | 436752 | 77460 13 | 0 | 0 1583.21/1583.68 c 1576s | 18 | 575140 | 437352 | 77460 13 | 0 | 0 1585.31/1585.78 c 1578s | 18 | 575778 | 437952 | 77460 13 | 0 | 0 1587.41/1587.88 c 1580s | 18 | 576347 | 438452 | 77460 13 | 0 | 0 1589.40/1589.88 c 1582s | 18 | 576906 | 438952 | 77460 13 | 0 | 0 1591.60/1592.04 c 1584s | 18 | 577564 | 439552 | 77460 13 | 0 | 0 1593.90/1594.30 c 1586s | 18 | 578359 | 440252 | 77460 13 | 0 | 0 1595.90/1596.38 c 1589s | 18 | 579033 | 440852 | 77460 13 | 0 | 0 1598.10/1598.54 c 1591s | 18 | 579815 | 441552 | 77460 13 | 0 | 0 1600.40/1600.80 c 1593s | 18 | 581221 | 442752 | 77460 13 | 0 | 0 1602.60/1603.02 c 1595s | 18 | 582386 | 443752 | 77460 13 | 0 | 0 1604.61/1605.07 c 1597s | 18 | 583067 | 444352 | 77460 13 | 0 | 0 1605.10/1605.52 c 1598s | 19 | 583213 | 444482 | 77460 13 | 0 | 0 1607.20/1607.65 c 1600s | 19 | 584191 | 445382 | 77460 13 | 0 | 0 1609.39/1609.86 c 1602s | 19 | 585279 | 446382 | 77460 13 | 0 | 0 1611.59/1612.02 c 1604s | 19 | 586109 | 447182 | 77460 13 | 0 | 0 1613.69/1614.18 c 1606s | 19 | 587071 | 447982 | 77460 13 | 0 | 0 1615.79/1616.28 c 1608s | 19 | 587950 | 448782 | 77460 13 | 0 | 0 1618.19/1618.61 c 1611s | 19 | 588933 | 449682 | 77460 13 | 0 | 0 1620.49/1620.91 c 1613s | 19 | 589686 | 450382 | 77460 13 | 0 | 0 1622.79/1623.21 c 1615s | 19 | 590552 | 451082 | 77460 13 | 0 | 0 1624.79/1625.23 c 1617s | 19 | 591460 | 451782 | 77460 13 | 0 | 0 1626.79/1627.23 c 1619s | 19 | 592299 | 452482 | 77460 13 | 0 | 0 1628.88/1629.36 c 1622s | 19 | 593144 | 453182 | 77460 13 | 0 | 0 1630.99/1631.45 c 1624s | 19 | 593943 | 453782 | 77460 13 | 0 | 0 1632.98/1633.46 c 1626s | 19 | 594780 | 454482 | 77460 13 | 0 | 0 1635.08/1635.50 c 1628s | 19 | 595438 | 454982 | 77460 13 | 0 | 0 1637.08/1637.57 c 1630s | 19 | 596346 | 455682 | 77460 13 | 0 | 0 1639.28/1639.74 c 1632s | 19 | 597016 | 456282 | 77460 13 | 0 | 0 1641.48/1641.97 c 1634s | 19 | 597869 | 456982 | 77460 13 | 0 | 0 1643.68/1644.18 c 1636s | 19 | 598570 | 457582 | 77460 13 | 0 | 0 1645.78/1646.21 c 1638s | 19 | 599370 | 458182 | 77460 13 | 0 | 0 1648.08/1648.58 c 1641s | 19 | 599919 | 458682 | 77460 13 | 0 | 0 1650.38/1650.84 c 1643s | 19 | 600694 | 459282 | 77460 13 | 0 | 0 1652.57/1653.05 c 1645s | 19 | 601297 | 459782 | 77460 13 | 0 | 0 1654.77/1655.20 c 1647s | 19 | 601895 | 460282 | 77460 13 | 0 | 0 1656.97/1657.45 c 1650s | 19 | 602559 | 460882 | 77460 13 | 0 | 0 1659.17/1659.60 c 1652s | 19 | 603291 | 461482 | 77460 13 | 0 | 0 1661.17/1661.62 c 1654s | 19 | 604279 | 462282 | 77460 13 | 0 | 0 1663.27/1663.73 c 1656s | 19 | 604774 | 462682 | 77460 13 | 0 | 0 1665.47/1665.99 c 1658s | 19 | 605427 | 463182 | 77460 13 | 0 | 0 1667.67/1668.10 c 1660s | 19 | 606091 | 463682 | 77460 13 | 0 | 0 1669.97/1670.48 c 1663s | 19 | 606759 | 464182 | 77460 13 | 0 | 0 1672.56/1673.02 c 1665s | 19 | 607597 | 464782 | 77460 13 | 0 | 0 1674.87/1675.34 c 1668s | 19 | 608280 | 465282 | 77460 13 | 0 | 0 1677.26/1677.70 c 1670s | 19 | 609260 | 465982 | 77460 13 | 0 | 0 1679.44/1679.92 c 1672s | 19 | 609938 | 466482 | 77460 13 | 0 | 0 1681.64/1682.10 c 1674s | 19 | 610443 | 466882 | 77460 13 | 0 | 0 1690.73/1691.28 c 1683s | 19 | 610726 | 467082 | 77460 14 | 0 | 0 1697.14/1697.60 c 1690s | 19 | 610834 | 467182 | 77460 14 | 0 | 0 1699.23/1699.75 c 1692s | 19 | 611747 | 467882 | 77460 14 | 0 | 0 1701.34/1701.88 c 1694s | 19 | 612525 | 468482 | 77460 14 | 0 | 0 1703.73/1704.20 c 1696s | 19 | 613295 | 469082 | 77460 14 | 0 | 0 1705.93/1706.44 c 1699s | 19 | 614168 | 469782 | 77460 14 | 0 | 0 1708.03/1708.58 c 1701s | 19 | 614865 | 470382 | 77460 14 | 0 | 0 1710.43/1710.98 c 1703s | 19 | 615670 | 470982 | 77460 14 | 0 | 0 1712.53/1713.01 c 1705s | 19 | 616362 | 471582 | 77460 14 | 0 | 0 1714.73/1715.20 c 1707s | 19 | 617315 | 472282 | 77460 14 | 0 | 0 1716.83/1717.31 c 1709s | 19 | 618181 | 472982 | 77460 14 | 0 | 0 1719.22/1719.77 c 1712s | 19 | 618968 | 473582 | 77460 14 | 0 | 0 1721.72/1722.23 c 1714s | 19 | 619724 | 474182 | 77460 14 | 0 | 0 1723.92/1724.40 c 1717s | 19 | 620696 | 474982 | 77460 14 | 0 | 0 1726.22/1726.79 c 1719s | 19 | 621419 | 475582 | 77460 14 | 0 | 0 1728.32/1728.81 c 1721s | 19 | 622066 | 476082 | 77460 14 | 0 | 0 1730.42/1730.96 c 1723s | 19 | 622778 | 476582 | 77460 14 | 0 | 0 1732.62/1733.14 c 1725s | 19 | 623302 | 476982 | 77460 14 | 0 | 0 1734.62/1735.15 c 1727s | 19 | 623861 | 477382 | 77460 14 | 0 | 0 1736.92/1737.45 c 1730s | 19 | 624496 | 477882 | 77460 14 | 0 | 0 1739.11/1739.61 c 1732s | 19 | 625080 | 478382 | 77460 14 | 0 | 0 1741.41/1741.93 c 1734s | 19 | 625668 | 478882 | 77460 14 | 0 | 0 1743.61/1744.12 c 1736s | 19 | 626198 | 479282 | 77460 14 | 0 | 0 1776.00/1776.59 c 1769s | 19 | 626335 | 479382 | 77460 14 | 0 | 0 1778.39/1778.92 c 1771s | 19 | 626831 | 479782 | 77460 14 | 0 | 0 1780.60/1781.14 c 1773s | 19 | 627344 | 480182 | 77460 14 | 0 | 0 1782.90/1783.40 c 1776s | 19 | 627793 | 480582 | 77460 14 | 0 | 0 1785.10/1785.61 c 1778s | 19 | 628469 | 480982 | 77460 14 | 0 | 0 1787.30/1787.84 c 1780s | 19 | 629337 | 481382 | 77460 14 | 0 | 0 1789.40/1789.98 c 1782s | 19 | 629834 | 481782 | 77460 14 | 0 | 0 1791.90/1792.45 c 1785s | 19 | 630371 | 482182 | 77460 14 | 0 | 0 1794.10/1794.69 c 1787s | 19 | 630881 | 482582 | 77460 14 | 0 | 0 1796.80/1797.32 c 1790s | 19 | 631425 | 482982 | 77460 14 | 0 | 0 1799.00/1799.57 c 1792s | 19 | 632008 | 483382 | 77460 14 | 0 | 0
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-4117294-1467208983/watcher-4117294-1467208983 -o /tmp/evaluation-result-4117294-1467208983/solver-4117294-1467208983 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467208982-19136 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117294-1467208983.opb pid=19157 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: 1.28 0.83 1.60 4/174 19164 /proc/meminfo: memFree=29635388/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=414140 CPUtime=0 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 1494 0 0 0 0 0 0 0 20 0 4 0 10930046 424079360 1855 33554432000 4194304 16246674 140733504403184 140733504402608 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19164/statm: 104303 1864 441 2943 0 101197 0 [pid=19164/tid=19168] ppid=19157 vsize=431548 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 441905152 1920 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=435644 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 446099456 1936 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=439740 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 450293760 1952 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100211 s] /proc/loadavg: 1.28 0.83 1.60 4/174 19164 /proc/meminfo: memFree=29635388/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 25803 0 0 0 5 4 0 0 20 0 4 0 10930046 1333334016 26101 33554432000 4194304 16246674 140733504403184 140733504402496 7368729 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19164/statm: 325521 26115 800 2943 0 322415 0 [pid=19164/tid=19168] ppid=19157 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1333334016 26125 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1333334016 26137 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1333334016 26148 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200594 s] /proc/loadavg: 1.28 0.83 1.60 4/174 19164 /proc/meminfo: memFree=29635388/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1314372 CPUtime=0.18 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 48754 0 0 0 12 6 0 0 20 0 4 0 10930046 1345916928 49563 33554432000 4194304 16246674 140733504403184 140733504402496 8057245 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19164/statm: 328593 49563 800 2943 0 325487 0 [pid=19164/tid=19168] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 49563 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 49563 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 49563 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1314372 [startup+0.300582 s] /proc/loadavg: 1.28 0.83 1.60 4/174 19164 /proc/meminfo: memFree=29635388/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1314372 CPUtime=0.28 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 49034 0 0 0 22 6 0 0 20 0 4 0 10930046 1345916928 49843 33554432000 4194304 16246674 140733504403184 140733504385088 13923712 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19164/statm: 328593 49843 842 2943 0 325487 0 [pid=19164/tid=19168] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 49843 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 49843 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 49843 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1314372 [startup+0.700481 s] /proc/loadavg: 1.28 0.83 1.60 4/174 19164 /proc/meminfo: memFree=29635388/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1314372 CPUtime=0.68 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 112056 0 0 0 53 15 0 0 20 0 4 0 10930046 1345916928 112865 33554432000 4194304 16246674 140733504403184 140733504385088 5523709 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19164/statm: 328593 112870 890 2943 0 325487 0 [pid=19164/tid=19168] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 112874 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 112879 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 112883 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1314372 [startup+1.50042 s] /proc/loadavg: 1.28 0.83 1.60 4/182 19172 /proc/meminfo: memFree=28253072/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1314372 CPUtime=1.49 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 219088 0 0 0 120 29 0 0 20 0 4 0 10930046 1345916928 219897 33554432000 4194304 16246674 140733504403184 140733504385088 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19164/statm: 328593 219904 890 2943 0 325487 0 [pid=19164/tid=19168] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 219907 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 219912 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 219916 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10043 s] /proc/loadavg: 1.34 0.84 1.60 4/182 19172 /proc/meminfo: memFree=27479188/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1314372 CPUtime=3.08 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 269273 0 0 0 273 35 0 0 20 0 4 0 10930046 1345916928 270082 33554432000 4194304 16246674 140733504403184 140733504385088 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19164/statm: 328593 270082 896 2943 0 325487 0 [pid=19164/tid=19168] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 270082 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 270082 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 270082 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1314372 [startup+6.30041 s] /proc/loadavg: 1.34 0.84 1.60 4/182 19172 /proc/meminfo: memFree=27479196/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1314372 CPUtime=6.28 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 269294 0 0 0 593 35 0 0 20 0 4 0 10930046 1345916928 270103 33554432000 4194304 16246674 140733504403184 140733504385088 13753144 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19164/statm: 328593 270103 914 2943 0 325487 0 [pid=19164/tid=19168] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 270103 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 270103 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 270103 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1314372 [startup+12.7005 s] /proc/loadavg: 1.59 0.91 1.62 5/182 19172 /proc/meminfo: memFree=27478368/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1314372 CPUtime=12.68 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 269295 0 0 0 1233 35 0 0 20 0 4 0 10930046 1345916928 270104 33554432000 4194304 16246674 140733504403184 140733504385088 5515736 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19164/statm: 328593 270104 915 2943 0 325487 0 [pid=19164/tid=19168] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 270104 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 270104 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 270104 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1314372 [startup+25.5006 s] /proc/loadavg: 1.74 0.97 1.63 4/182 19172 /proc/meminfo: memFree=27447984/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1314372 CPUtime=25.49 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 269296 0 0 0 2513 36 0 0 20 0 4 0 10930046 1345916928 270105 33554432000 4194304 16246674 140733504403184 140733504385088 12459993 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19164/statm: 328593 270105 916 2943 0 325487 0 [pid=19164/tid=19168] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 270105 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 270105 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1345916928 270105 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1314372 [startup+51.1006 s] /proc/loadavg: 2.02 1.10 1.65 5/182 19173 /proc/meminfo: memFree=27445632/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1315396 CPUtime=51.08 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 269560 0 0 0 5072 36 0 0 20 0 4 0 10930046 1346965504 270369 33554432000 4194304 16246674 140733504403184 140733504385088 6845877 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19164/statm: 328849 270369 921 2943 0 325743 0 [pid=19164/tid=19168] ppid=19157 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1346965504 270369 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1346965504 270369 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1346965504 270369 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1315396 [startup+102.301 s] /proc/loadavg: 2.12 1.28 1.68 5/183 19175 /proc/meminfo: memFree=27437352/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1323588 CPUtime=102.28 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 271516 0 0 0 10192 36 0 0 20 0 4 0 10930046 1355354112 272325 33554432000 4194304 16246674 140733504403184 140733504385088 5600072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19164/statm: 330897 272325 921 2943 0 327791 0 [pid=19164/tid=19168] ppid=19157 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1355354112 272325 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1355354112 272325 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1355354112 272325 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1323588 ################ # More data... # ################ /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1398345728 283169 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 1365572 [startup+1362.3 s] /proc/loadavg: 2.25 2.24 2.11 5/182 19202 /proc/meminfo: memFree=27269276/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1365572 CPUtime=1361.97 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 282256 0 0 0 136127 70 0 0 20 0 4 0 10930046 1398345728 283169 33554432000 4194304 16246674 140733504403184 140733504385088 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19164/statm: 341393 283169 921 2943 0 338287 0 [pid=19164/tid=19168] ppid=19157 vsize=1365572 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1398345728 283169 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1365572 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1398345728 283169 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1365572 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1398345728 283169 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1365572 [startup+1422.3 s] /proc/loadavg: 2.35 2.27 2.13 4/182 19203 /proc/meminfo: memFree=27252432/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1381956 CPUtime=1421.96 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 286369 0 0 0 142122 74 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 140733504385088 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19164/statm: 345489 287265 921 2943 0 342383 0 [pid=19164/tid=19168] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1381956 [startup+1482.3 s] /proc/loadavg: 2.31 2.28 2.14 4/182 19204 /proc/meminfo: memFree=27252580/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1381956 CPUtime=1481.94 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 286382 0 0 0 148120 74 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 140733504385088 5829407 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19164/statm: 345489 287265 921 2943 0 342383 0 [pid=19164/tid=19168] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1381956 [startup+1542.31 s] /proc/loadavg: 2.33 2.29 2.15 5/182 19205 /proc/meminfo: memFree=27252792/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1381956 CPUtime=1541.92 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 286411 0 0 0 154117 75 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 140733504402360 4206674 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19164/statm: 345489 287265 921 2943 0 342383 0 [pid=19164/tid=19168] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1381956 [startup+1602.3 s] /proc/loadavg: 2.38 2.30 2.16 4/183 19209 /proc/meminfo: memFree=27252308/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1381956 CPUtime=1601.9 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 286433 0 0 0 160113 77 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 140733504385088 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19164/statm: 345489 287265 921 2943 0 342383 0 [pid=19164/tid=19168] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1381956 [startup+1662.3 s] /proc/loadavg: 2.25 2.28 2.16 4/182 19210 /proc/meminfo: memFree=27252552/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1381956 CPUtime=1661.87 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 286461 0 0 0 166110 77 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 140733504385088 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19164/statm: 345489 287265 921 2943 0 342383 0 [pid=19164/tid=19168] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1381956 [startup+1722.3 s] /proc/loadavg: 2.20 2.26 2.16 4/182 19211 /proc/meminfo: memFree=27252356/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1381956 CPUtime=1721.82 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 286483 0 0 0 172103 79 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 140733504385088 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19164/statm: 345489 287265 921 2943 0 342383 0 [pid=19164/tid=19168] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1381956 [startup+1782.3 s] /proc/loadavg: 2.29 2.27 2.17 4/182 19212 /proc/meminfo: memFree=27251580/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1381956 CPUtime=1781.8 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 286502 0 0 0 178097 83 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 140733504385088 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19164/statm: 345489 287265 921 2943 0 342383 0 [pid=19164/tid=19168] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1381956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.30 2.27 2.17 4/182 19213 /proc/meminfo: memFree=27251836/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1381956 CPUtime=1800 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 286502 0 0 0 179917 83 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 140733504385088 5673390 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19164/statm: 345489 287265 921 2943 0 342383 0 [pid=19164/tid=19168] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1381956 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 19164 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.30 2.27 2.17 4/182 19213 /proc/meminfo: memFree=27251836/32872528 swapFree=1394328/1580332 [pid=19164] ppid=19157 vsize=1381956 CPUtime=1800 cores=1,3,5,7 /proc/19164/stat : 19164 (toysat) R 19157 19164 19119 0 -1 4202496 286502 0 0 0 179917 83 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 140733504385088 5673390 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19164/statm: 345489 287265 921 2943 0 342383 0 [pid=19164/tid=19168] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19168/stat : 19168 (toysat) S 19157 19164 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998543195376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=19164/tid=19169] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19169/stat : 19169 (toysat) S 19157 19164 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998532705520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19164/tid=19170] ppid=19157 vsize=1381956 CPUtime=0 cores=1,3,5,7 /proc/19164/task/19170/stat : 19170 (toysat) S 19157 19164 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10930046 1415122944 287265 33554432000 4194304 16246674 140733504403184 139998418431152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1381956 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1799.18 CPU system time (s): 0.831873 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 1381956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.18 system time used= 0.831873 maximum resident set size= 1149060 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 286502 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= 325 involuntary context switches= 1994 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.40172 second user time and 17.3694 second system time The end
Begin job on node139 at 2016-06-29 16:03:06 IDJOB=4117294 IDBENCH=111559 IDSOLVER=2542 FILE ID=node139/4117294-1467208983 RUNJOBID= node139-1467208982-19136 PBS_JOBID= 19997572 Free space on /tmp= 71708 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jun5.5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117294-1467208983/watcher-4117294-1467208983 -o /tmp/evaluation-result-4117294-1467208983/solver-4117294-1467208983 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467208982-19136 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117294-1467208983.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bffc30175c819e7ed5b43a7d6b7dca62 RANDOM SEED=235188892 node139.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 : 2667.092 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 : 5334.18 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 : 2667.092 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 : 2667.092 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 : 2667.092 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 : 2667.092 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.56 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 : 2667.092 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 : 2667.092 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.48 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 : 2667.092 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: 29637032 kB Buffers: 90692 kB Cached: 829792 kB SwapCached: 3080 kB Active: 719688 kB Inactive: 204956 kB Active(anon): 3340 kB Inactive(anon): 3176 kB Active(file): 716348 kB Inactive(file): 201780 kB Unevictable: 1580332 kB Mlocked: 1394328 kB SwapTotal: 67108856 kB SwapFree: 67097568 kB Dirty: 35260 kB Writeback: 0 kB AnonPages: 1582644 kB Mapped: 7544 kB Shmem: 0 kB Slab: 598676 kB SReclaimable: 42788 kB SUnreclaim: 555888 kB KernelStack: 1384 kB PageTables: 6888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1676180 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 186368 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 node139 at 2016-06-29 16:33:35