Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_3.opb |
| MD5SUM | cdb29f44159b0b72729019e0c0db0b8a |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 14.5108 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 100 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 46 |
| Number of terms in the objective function | 100 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 3090 |
| Sum of products size (including duplicates) | 6180 |
| Number of different products | 3090 |
| Sum of products size | 6180 |
0.00/0.00 c 2016-06-07T01:58:53+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-4080121-1465257533.opb"] 0.00/0.01 c use --random-gen="1523937760 852622172 2543665844 2933872609 3110916115 1165083639 2641489110 144388572 2199072045 2938048625 2474417419 1739008724 2318792762 783035487 3889475216 1201787174 1406922815 553678073 2769531976 41319018 2970820493 586427318 2804050940 3961854364 2360290687 1963044897 4075977242 3374445557 2987604508 855935416 1422686709 755108707 637020134 601025815 3574486901 958036710 4262803314 3540439049 1910571699 2022210045 2853714262 2034303212 687334063 3075421901 3216018031 1543699814 1161036553 92022626 4111663664 1939836293 2501936319 953946576 3176099603 4062289204 53083776 4108239120 2932221738 2283859456 1791441828 3979984693 3109003841 3853299807 1020603904 556982181 2092894040 4247654501 1612773203 3317597686 2130823855 2333877013 815743506 279931397 3759456413 725470058 2333780278 1185599660 1550651589 3650712973 4259867784 470182492 136606307 3318723916 3169600207 1034035931 412411810 3661841029 4077464295 3152339413 254348570 1123800654 1534448984 814955317 1123297367 3430069167 501081302 1962790087 4162001615 1493913272 2302368545 3804887560 4202949490 2397397550 2025210897 2431069507 3593331873 1438624490 3806236229 1528007400 3866213783 3568148407 3321852502 79408926 2326212146 1729211870 441264547 2209932594 1729518679 3017188686 491676548 2145689670 743961289 1503146132 2605166434 1829680333 371593020 4055407446 4071792372 4036383960 2719215959 454372264 2817077896 3104262252 2986337139 435685496 1383128697 58906993 2847515599 1810493879 1258834766 1669634172 1452591490 3490050232 1169223020 1202490773 3738414600 2647056742 3692804304 889381107 608666272 2430465522 2751470019 3858032696 4151446270 2285257616 1338065536 2474529871 3934574654 3132250090 619103306 927552909 4061610290 931999439 2148980840 3523290918 1345517571 2509156680 3770346741 2253418243 2646445184 3957059099 617479317 1627665804 2075222569 3077955652 3444981371 4052138216 2764658030 3696980227 446829023 464367268 1785600273 3350093084 2631087601 966944083 1551976614 2950951549 1665165515 3800186631 1461404191 1184853321 854061895 2901485505 2371100265 1700143527 4161665249 3682439098 2967279213 2735402708 760414260 2080693121 3225784121 384830767 3141200241 3109210841 4010194700 1578924244 659521113 4113727292 3288075134 1818643109 2994663933 2903302797 3714844777 3196286267 379002617 910768269 3728902785 1551243074 696190429 2395989539 1553301186 4265247352 1812564252 3161616454 1932536229 2652659515 21793406 1443355128 3733132895 430581809 2094376371 605152512 703103499 4149668030 757058377 3319787125 1444395871 1381172720 3484838400 18158302 3498424045 1958931747 4069084215 980714922 103075785 2598762012 2549631524 3244425995 1045191128 1814691318 1095908756 4249007572 556389093 638209501 2527081613 3050653113 255 362436" option to reproduce the execution 0.00/0.02 c #vars 100 0.00/0.02 c #constraints 100 0.00/0.08 c BCD2: Hardening is enabled. 0.00/0.08 c BCD2: BiasedSearch is enabled. 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 3156 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 312 | 0 | 3156 0 | 0 | 0 0.00/0.09 c #cpu_time = 0.011s 0.00/0.09 c #wall_clock_time = 0.011s 0.00/0.09 c #decision = 312 0.00/0.09 c #random_decision = 1 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 o 88 0.00/0.09 c BCD2: updating upper bound: 100 -> 87 0.00/0.09 c BCD2: 0 <= obj <= 87 0.00/0.09 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 3156 0 | 0 | 0 0.09/0.10 c 0.0s | 0 | 91 | 0 | 3156 0 | 0 | 0 0.09/0.10 c #cpu_time = 0.009s 0.09/0.10 c #wall_clock_time = 0.009s 0.09/0.10 c #decision = 91 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 26: cost of the new core is >=1 0.09/0.10 c lower bound updated to 1 0.09/0.10 c BCD2: 1 <= obj <= 87 0.09/0.10 c BCD2: #cores=1, #unrelaxed=74, #relaxed=26, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 3156 0 | 0 | 0 0.09/0.12 c 0.0s | 0 | 485 | 0 | 3156 0 | 0 | 0 0.09/0.12 c #cpu_time = 0.006s 0.09/0.12 c #wall_clock_time = 0.006s 0.09/0.12 c #decision = 485 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 o 10 0.09/0.12 c BCD2: updating upper bound: 87 -> 9 0.09/0.12 c BCD2: 1 <= obj <= 9 0.09/0.12 c BCD2: #cores=1, #unrelaxed=74, #relaxed=26, #hardened=0 0.09/0.12 c BCD2: #sat=2 #unsat=2 bias=2/4 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 3156 0 | 0 | 1 0.09/0.17 c 0.0s | 1 | 238 | 100 | 3156 0 | 0 | 1 0.19/0.26 c 0.1s | 2 | 507 | 250 | 3472 0 | 0 | 1 0.19/0.44 c 0.3s | 3 | 908 | 475 | 3820 0 | 0 | 1 0.69/0.76 c 0.6s | 4 | 1409 | 813 | 4202 0 | 0 | 1 0.99/1.05 c 0.9s | 4 | 1932 | 1169 | 4623 0 | 0 | 1 0.99/1.05 c #cpu_time = 0.931s 0.99/1.05 c #wall_clock_time = 0.931s 0.99/1.05 c #decision = 1932 0.99/1.05 c #random_decision = 2 0.99/1.05 c #conflict = 1169 0.99/1.05 c #restart = 4 0.99/1.05 c BCD2: relaxing 74 and merging with 1 cores into a new core of size 100: cost of the new core is >=2 0.99/1.05 c lower bound updated to 2 0.99/1.05 c BCD2: 2 <= obj <= 9 0.99/1.05 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 0.99/1.05 c BCD2: #sat=2 #unsat=3 bias=3/5 0.99/1.05 c Solving starts ... 0.99/1.05 c ============================[ Search Statistics ]============================ 0.99/1.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.05 c | | | | Limit GC | Var | Constra 0.99/1.05 c ============================================================================= 0.99/1.06 c 0.0s | 0 | 0 | 0 | 4623 0 | 2 | 1 1.19/1.23 c 0.2s | 1 | 500 | 100 | 4623 0 | 2 | 4 1.40/1.44 c 0.4s | 2 | 1106 | 250 | 5086 0 | 2 | 4 1.69/1.71 c 0.6s | 3 | 1553 | 475 | 5086 0 | 2 | 4 2.09/2.11 c 1.0s | 4 | 2978 | 813 | 5086 0 | 2 | 4 2.69/2.70 c 1.6s | 5 | 4324 | 1320 | 5595 0 | 2 | 4 3.49/3.59 c 2.5s | 6 | 6067 | 2081 | 6155 0 | 2 | 4 4.79/4.82 c 3.8s | 7 | 8708 | 3223 | 6155 0 | 2 | 4 6.79/6.86 c 5.8s | 7 | 12546 | 4923 | 6771 0 | 2 | 4 6.79/6.88 c 5.8s | 8 | 12553 | 4936 | 6771 0 | 2 | 4 8.89/8.99 c 7.9s | 8 | 16562 | 6736 | 7449 0 | 2 | 4 9.79/9.89 c 8.8s | 9 | 18222 | 7506 | 7449 0 | 2 | 4 11.89/11.96 c 10.9s | 9 | 21643 | 9106 | 7449 1 | 2 | 4 13.98/14.09 c 13.0s | 9 | 24896 | 10706 | 8194 1 | 2 | 4 15.08/15.13 c 14.1s | 10 | 26130 | 11361 | 8194 1 | 2 | 4 17.18/17.27 c 16.2s | 10 | 29569 | 12961 | 8194 2 | 2 | 4 19.28/19.35 c 18.3s | 10 | 32810 | 14561 | 8194 2 | 2 | 4 21.38/21.46 c 20.4s | 10 | 36215 | 16161 | 9014 2 | 2 | 4 22.68/22.76 c 21.7s | 11 | 38359 | 17144 | 9014 2 | 2 | 4 24.78/24.85 c 23.8s | 11 | 41219 | 18644 | 9014 3 | 2 | 4 26.78/26.88 c 25.8s | 11 | 44396 | 20244 | 9014 3 | 2 | 4 28.89/28.97 c 27.9s | 11 | 48220 | 22044 | 9014 3 | 2 | 4 30.99/31.03 c 30.0s | 11 | 51201 | 23544 | 9014 4 | 2 | 4 32.99/33.07 c 32.0s | 11 | 54776 | 25144 | 9916 4 | 2 | 4 33.89/33.96 c 32.9s | 12 | 55984 | 25819 | 9916 4 | 2 | 4 35.89/35.96 c 34.9s | 12 | 58875 | 27319 | 9916 4 | 2 | 4 37.99/38.01 c 36.9s | 12 | 62139 | 28819 | 9916 5 | 2 | 4 40.09/40.10 c 39.0s | 12 | 65366 | 30519 | 9916 5 | 2 | 4 42.09/42.10 c 41.0s | 12 | 69357 | 32219 | 9916 5 | 2 | 4 44.19/44.21 c 43.1s | 12 | 73130 | 33819 | 9916 6 | 2 | 4 46.19/46.29 c 45.2s | 12 | 76400 | 35419 | 9916 6 | 2 | 4 48.28/48.30 c 47.2s | 12 | 79730 | 37019 | 9916 6 | 2 | 4 50.38/50.41 c 49.3s | 12 | 82704 | 38619 | 10908 6 | 2 | 4 50.58/50.69 c 49.6s | 13 | 83144 | 38832 | 10908 6 | 2 | 4 52.68/52.71 c 51.6s | 13 | 85892 | 40232 | 10908 7 | 2 | 4 54.78/54.82 c 53.8s | 13 | 88723 | 41732 | 10908 7 | 2 | 4 56.88/56.96 c 55.9s | 13 | 92676 | 43332 | 10908 7 | 2 | 4 58.98/59.08 c 58.0s | 13 | 95986 | 44832 | 10908 7 | 2 | 4 61.08/61.11 c 60.0s | 13 | 98591 | 46232 | 10908 8 | 2 | 4 63.08/63.19 c 62.1s | 13 | 101586 | 47732 | 10908 8 | 2 | 4 65.28/65.35 c 64.3s | 13 | 105256 | 49332 | 10908 8 | 2 | 4 67.29/67.37 c 66.3s | 13 | 108004 | 50732 | 10908 8 | 2 | 4 69.38/69.47 c 68.4s | 13 | 110981 | 52132 | 10908 9 | 2 | 4 71.48/71.57 c 70.5s | 13 | 114713 | 53732 | 10908 9 | 2 | 4 73.58/73.68 c 72.6s | 13 | 117865 | 55232 | 10908 9 | 2 | 4 75.68/75.79 c 74.7s | 13 | 121096 | 56732 | 10908 9 | 2 | 4 77.78/77.89 c 76.8s | 13 | 124198 | 58232 | 11999 10 | 2 | 4 77.98/78.05 c 77.0s | 14 | 124434 | 58352 | 11999 10 | 2 | 4 79.98/80.08 c 79.0s | 14 | 127631 | 59852 | 11999 10 | 2 | 4 81.98/82.09 c 81.0s | 14 | 130826 | 61352 | 11999 10 | 2 | 4 84.08/84.10 c 83.0s | 14 | 133852 | 62852 | 11999 10 | 2 | 4 86.08/86.16 c 85.1s | 14 | 136931 | 64352 | 11999 10 | 2 | 4 88.08/88.19 c 87.1s | 14 | 139982 | 65852 | 11999 11 | 2 | 4 90.18/90.28 c 89.2s | 14 | 144121 | 67752 | 11999 11 | 2 | 4 92.28/92.39 c 91.3s | 14 | 147499 | 69452 | 11999 11 | 2 | 4 94.47/94.51 c 93.4s | 14 | 150491 | 70952 | 11999 12 | 2 | 4 96.47/96.52 c 95.5s | 14 | 154036 | 72552 | 11999 12 | 2 | 4 98.57/98.64 c 97.6s | 14 | 157596 | 74152 | 11999 12 | 2 | 4 100.57/100.64 c 99.6s | 14 | 160956 | 75752 | 11999 12 | 2 | 4 102.67/102.71 c 101s | 14 | 164069 | 77252 | 11999 12 | 2 | 4 104.68/104.78 c 103s | 14 | 167490 | 78852 | 11999 13 | 2 | 4 106.67/106.79 c 105s | 14 | 171180 | 80552 | 11999 13 | 2 | 4 108.77/108.88 c 107s | 14 | 174506 | 82152 | 11999 13 | 2 | 4 110.77/110.89 c 109s | 14 | 177738 | 83652 | 11999 13 | 2 | 4 112.87/112.90 c 111s | 14 | 180840 | 85152 | 11999 14 | 2 | 4 114.87/114.91 c 113s | 14 | 184149 | 86752 | 13199 14 | 2 | 4 116.07/116.10 c 115s | 15 | 186261 | 87632 | 13199 14 | 2 | 4 118.07/118.12 c 117s | 15 | 190129 | 89132 | 13199 14 | 2 | 4 120.18/120.23 c 119s | 15 | 193318 | 90832 | 13199 14 | 2 | 4 122.17/122.30 c 121s | 15 | 197121 | 92532 | 13199 15 | 2 | 4 124.27/124.37 c 123s | 15 | 200741 | 94132 | 13199 15 | 2 | 4 126.37/126.45 c 125s | 15 | 204267 | 95832 | 13199 15 | 2 | 4 128.47/128.57 c 127s | 15 | 207976 | 97432 | 13199 15 | 2 | 4 130.57/130.61 c 129s | 15 | 211515 | 99132 | 13199 16 | 2 | 4 132.67/132.72 c 131s | 15 | 215247 | 100932 | 13199 16 | 2 | 4 134.67/134.72 c 133s | 15 | 218724 | 102632 | 13199 16 | 2 | 4 136.77/136.80 c 135s | 15 | 222482 | 104332 | 13199 16 | 2 | 4 138.87/138.90 c 137s | 15 | 226474 | 106032 | 13199 17 | 2 | 4 140.87/140.92 c 139s | 15 | 230108 | 107832 | 13199 17 | 2 | 4 142.97/143.01 c 141s | 15 | 233940 | 109732 | 13199 17 | 2 | 4 144.97/145.04 c 143s | 15 | 237646 | 111532 | 13199 17 | 2 | 4 146.96/147.05 c 145s | 15 | 241472 | 113332 | 13199 18 | 2 | 4 148.96/149.06 c 147s | 15 | 245609 | 115332 | 13199 18 | 2 | 4 151.06/151.13 c 150s | 15 | 249857 | 117432 | 13199 18 | 2 | 4 153.07/153.20 c 152s | 15 | 254042 | 119532 | 13199 18 | 2 | 4 155.16/155.20 c 154s | 15 | 258847 | 121732 | 13199 19 | 2 | 4 157.17/157.21 c 156s | 15 | 260421 | 122432 | 13199 19 | 2 | 4 159.27/159.32 c 158s | 15 | 263594 | 124032 | 13199 19 | 2 | 4 161.27/161.32 c 160s | 15 | 266566 | 125532 | 13199 19 | 2 | 4 163.37/163.45 c 162s | 15 | 270109 | 127132 | 13199 19 | 2 | 4 165.47/165.51 c 164s | 15 | 273457 | 128732 | 13199 20 | 2 | 4 167.57/167.60 c 166s | 15 | 276669 | 130232 | 14519 20 | 2 | 4 169.17/169.20 c 168s | 16 | 279169 | 131552 | 14519 20 | 2 | 4 171.27/171.34 c 170s | 16 | 282759 | 133052 | 14519 20 | 2 | 4 173.36/173.44 c 172s | 16 | 285742 | 134352 | 14519 20 | 2 | 4 175.36/175.44 c 174s | 16 | 288402 | 135752 | 14519 20 | 2 | 4 177.47/177.52 c 176s | 16 | 291873 | 137352 | 14519 21 | 2 | 4 179.57/179.65 c 178s | 16 | 294813 | 138852 | 14519 21 | 2 | 4 181.67/181.70 c 180s | 16 | 297749 | 140252 | 14519 21 | 2 | 4 183.66/183.73 c 182s | 16 | 301197 | 141752 | 14519 21 | 2 | 4 185.76/185.82 c 184s | 16 | 303882 | 143052 | 14519 22 | 2 | 4 187.76/187.87 c 186s | 16 | 307127 | 144552 | 14519 22 | 2 | 4 189.86/189.93 c 188s | 16 | 310665 | 146152 | 14519 22 | 2 | 4 191.96/192.03 c 190s | 16 | 313815 | 147552 | 14519 22 | 2 | 4 194.06/194.12 c 193s | 16 | 317069 | 149052 | 14519 22 | 2 | 4 196.07/196.17 c 195s | 16 | 320277 | 150552 | 14519 22 | 2 | 4 198.06/198.18 c 197s | 16 | 322988 | 151952 | 14519 23 | 2 | 4 200.26/200.30 c 199s | 16 | 326695 | 153652 | 14519 23 | 2 | 4 202.36/202.40 c 201s | 16 | 329618 | 155152 | 14519 23 | 2 | 4 204.46/204.52 c 203s | 16 | 333000 | 156752 | 14519 23 | 2 | 4 206.56/206.64 c 205s | 16 | 336022 | 158152 | 14519 24 | 2 | 4 208.56/208.67 c 207s | 16 | 339606 | 159752 | 14519 24 | 2 | 4 210.66/210.71 c 209s | 16 | 343635 | 161452 | 14519 24 | 2 | 4 212.66/212.77 c 211s | 16 | 347335 | 163152 | 14519 24 | 2 | 4 214.86/214.90 c 213s | 16 | 350473 | 164752 | 14519 24 | 2 | 4 215.26/215.30 c 214s | 16 | 351059 | 165004 | 14519 24 | 2 | 4 215.26/215.30 c #cpu_time = 214.232s 215.26/215.30 c #wall_clock_time = 214.238s 215.26/215.30 c #decision = 351059 215.26/215.30 c #random_decision = 1022 215.26/215.30 c #conflict = 165004 215.26/215.30 c #restart = 16 215.26/215.30 o 6 215.26/215.30 c BCD2: updating upper bound: 9 -> 5 215.26/215.30 c BCD2: 2 <= obj <= 5 215.26/215.30 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 215.26/215.30 c BCD2: #sat=3 #unsat=3 bias=3/6 215.26/215.30 c Solving starts ... 215.26/215.30 c ============================[ Search Statistics ]============================ 215.26/215.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 215.26/215.30 c | | | | Limit GC | Var | Constra 215.26/215.30 c ============================================================================= 215.26/215.31 c 0.0s | 0 | 0 | 0 | 14519 0 | 2 | 6 215.66/215.79 c 0.5s | 1 | 226 | 100 | 14519 0 | 2 | 6 216.06/216.11 c 0.8s | 2 | 563 | 250 | 14519 1 | 2 | 6 216.45/216.52 c 1.2s | 3 | 1105 | 475 | 14519 1 | 2 | 6 217.06/217.15 c 1.8s | 4 | 1729 | 813 | 14519 1 | 2 | 6 217.85/218.00 c 2.7s | 5 | 2914 | 1320 | 14519 1 | 2 | 6 218.95/219.03 c 3.7s | 6 | 4900 | 2081 | 14519 1 | 2 | 6 220.45/220.56 c 5.3s | 7 | 7713 | 3223 | 14519 1 | 2 | 6 222.55/222.61 c 7.3s | 7 | 10964 | 4623 | 14519 1 | 2 | 6 222.95/223.08 c 7.8s | 8 | 11537 | 4936 | 14519 1 | 2 | 6 225.05/225.16 c 9.9s | 8 | 15038 | 6436 | 14519 1 | 2 | 6 226.55/226.60 c 11.3s | 9 | 17629 | 7506 | 14519 1 | 2 | 6 228.65/228.71 c 13.4s | 9 | 20993 | 8906 | 14519 2 | 2 | 6 230.65/230.79 c 15.5s | 9 | 24276 | 10406 | 14519 2 | 2 | 6 232.05/232.14 c 16.8s | 10 | 26438 | 11361 | 14519 2 | 2 | 6 234.15/234.22 c 18.9s | 10 | 29892 | 12761 | 14519 2 | 2 | 6 236.15/236.29 c 21.0s | 10 | 33681 | 14361 | 14519 2 | 2 | 6 238.35/238.41 c 23.1s | 10 | 37014 | 15761 | 14519 3 | 2 | 6 240.36/240.43 c 25.1s | 11 | 40089 | 17144 | 14519 3 | 2 | 6 242.46/242.53 c 27.2s | 11 | 43227 | 18544 | 14519 3 | 2 | 6 244.46/244.56 c 29.3s | 11 | 46629 | 19944 | 14519 3 | 2 | 6 246.56/246.67 c 31.4s | 11 | 49547 | 21244 | 14519 3 | 2 | 6 248.65/248.77 c 33.5s | 11 | 52537 | 22644 | 14519 3 | 2 | 6 250.75/250.83 c 35.5s | 11 | 55526 | 24044 | 14519 4 | 2 | 6 252.75/252.86 c 37.6s | 11 | 58716 | 25444 | 14519 4 | 2 | 6 253.26/253.39 c 38.1s | 12 | 59645 | 25819 | 14519 4 | 2 | 6 255.36/255.48 c 40.2s | 12 | 63449 | 27419 | 14519 4 | 2 | 6 257.56/257.63 c 42.3s | 12 | 66818 | 28919 | 14519 4 | 2 | 6 259.65/259.70 c 44.4s | 12 | 69435 | 30219 | 15971 4 | 2 | 6 261.65/261.71 c 46.4s | 12 | 72103 | 31519 | 15971 4 | 2 | 6 263.75/263.82 c 48.5s | 12 | 75209 | 32919 | 15971 5 | 2 | 6 265.85/265.91 c 50.6s | 12 | 78091 | 34419 | 15971 5 | 2 | 6 267.85/267.99 c 52.7s | 12 | 81214 | 35919 | 15971 5 | 2 | 6 269.95/270.02 c 54.7s | 12 | 84400 | 37519 | 15971 5 | 2 | 6 271.95/272.07 c 56.8s | 12 | 87082 | 38819 | 15971 5 | 2 | 6 271.95/272.09 c 56.8s | 13 | 87113 | 38832 | 15971 5 | 2 | 6 274.16/274.21 c 58.9s | 13 | 89692 | 40032 | 15971 6 | 2 | 6 276.15/276.25 c 60.9s | 13 | 92627 | 41532 | 15971 6 | 2 | 6 278.25/278.38 c 63.1s | 13 | 95692 | 43032 | 15971 6 | 2 | 6 280.25/280.39 c 65.1s | 13 | 99290 | 44632 | 15971 6 | 2 | 6 282.35/282.44 c 67.1s | 13 | 102599 | 46132 | 15971 6 | 2 | 6 284.35/284.48 c 69.2s | 13 | 105522 | 47532 | 15971 6 | 2 | 6 286.44/286.54 c 71.2s | 13 | 108031 | 48832 | 15971 7 | 2 | 6 288.45/288.56 c 73.3s | 13 | 111262 | 50332 | 15971 7 | 2 | 6 290.44/290.59 c 75.3s | 13 | 114758 | 52032 | 15971 7 | 2 | 6 292.54/292.67 c 77.4s | 13 | 117931 | 53432 | 15971 7 | 2 | 6 294.64/294.73 c 79.4s | 13 | 121141 | 54832 | 15971 7 | 2 | 6 296.64/296.76 c 81.5s | 13 | 124284 | 56332 | 15971 7 | 2 | 6 298.84/298.93 c 83.6s | 13 | 127268 | 57832 | 15971 8 | 2 | 6 299.54/299.67 c 84.4s | 14 | 128371 | 58352 | 15971 8 | 2 | 6 301.65/301.74 c 86.4s | 14 | 131882 | 59952 | 15971 8 | 2 | 6 303.75/303.87 c 88.6s | 14 | 134427 | 61352 | 15971 8 | 2 | 6 305.84/305.96 c 90.7s | 14 | 137723 | 62852 | 15971 8 | 2 | 6 307.94/308.05 c 92.7s | 14 | 140437 | 64152 | 15971 8 | 2 | 6 310.04/310.10 c 94.8s | 14 | 143518 | 65652 | 15971 9 | 2 | 6 312.04/312.15 c 96.8s | 14 | 146619 | 67152 | 15971 9 | 2 | 6 314.04/314.17 c 98.9s | 14 | 150045 | 68752 | 15971 9 | 2 | 6 316.04/316.19 c 100s | 14 | 154112 | 70352 | 15971 9 | 2 | 6 318.15/318.23 c 102s | 14 | 157089 | 71752 | 15971 9 | 2 | 6 320.14/320.24 c 104s | 14 | 160412 | 73152 | 15971 9 | 2 | 6 322.14/322.29 c 106s | 14 | 163761 | 74652 | 15971 10 | 2 | 6 324.24/324.37 c 109s | 14 | 166866 | 76152 | 15971 10 | 2 | 6 326.44/326.52 c 111s | 14 | 170304 | 77652 | 15971 10 | 2 | 6 328.53/328.63 c 113s | 14 | 173713 | 79252 | 15971 10 | 2 | 6 330.53/330.69 c 115s | 14 | 177088 | 80752 | 15971 10 | 2 | 6 332.63/332.78 c 117s | 14 | 180567 | 82252 | 15971 10 | 2 | 6 334.73/334.88 c 119s | 14 | 183623 | 83752 | 15971 11 | 2 | 6 336.84/336.92 c 121s | 14 | 187344 | 85252 | 15971 11 | 2 | 6 338.83/338.99 c 123s | 14 | 190856 | 86852 | 15971 11 | 2 | 6 339.83/339.95 c 124s | 15 | 192471 | 87632 | 15971 11 | 2 | 6 341.93/342.02 c 126s | 15 | 195690 | 89232 | 15971 11 | 2 | 6 343.93/344.05 c 128s | 15 | 198814 | 90832 | 15971 12 | 2 | 6 346.03/346.10 c 130s | 15 | 202146 | 92432 | 15971 12 | 2 | 6 348.13/348.25 c 132s | 15 | 206095 | 94132 | 15971 12 | 2 | 6 350.22/350.31 c 135s | 15 | 209725 | 95932 | 15971 12 | 2 | 6 352.23/352.32 c 137s | 15 | 212942 | 97532 | 15971 12 | 2 | 6 354.33/354.42 c 139s | 15 | 216503 | 99132 | 15971 12 | 2 | 6 356.32/356.43 c 141s | 15 | 219421 | 100632 | 15971 13 | 2 | 6 358.32/358.49 c 143s | 15 | 223322 | 102332 | 15971 13 | 2 | 6 360.42/360.51 c 145s | 15 | 227115 | 104132 | 15971 13 | 2 | 6 362.42/362.54 c 147s | 15 | 230316 | 105732 | 15971 13 | 2 | 6 364.52/364.66 c 149s | 15 | 233696 | 107332 | 15971 13 | 2 | 6 366.62/366.75 c 151s | 15 | 236843 | 109032 | 15971 14 | 2 | 6 368.72/368.86 c 153s | 15 | 240411 | 110732 | 15971 14 | 2 | 6 370.82/370.95 c 155s | 15 | 243860 | 112332 | 15971 14 | 2 | 6 372.91/373.03 c 157s | 15 | 247202 | 114032 | 15971 14 | 2 | 6 374.91/375.06 c 159s | 15 | 250703 | 115632 | 15971 14 | 2 | 6 376.91/377.08 c 161s | 15 | 254288 | 117332 | 15971 15 | 2 | 6 379.01/379.16 c 163s | 15 | 258160 | 119132 | 15971 15 | 2 | 6 381.11/381.23 c 165s | 15 | 261974 | 120932 | 15971 15 | 2 | 6 383.21/383.34 c 168s | 15 | 265630 | 122732 | 15971 15 | 2 | 6 385.31/385.43 c 170s | 15 | 269376 | 124632 | 15971 15 | 2 | 6 387.31/387.50 c 172s | 15 | 273498 | 126732 | 15971 16 | 2 | 6 389.80/389.95 c 174s | 15 | 277387 | 128632 | 17569 16 | 2 | 6 391.91/392.00 c 176s | 15 | 279145 | 129332 | 17569 16 | 2 | 6 393.92/394.09 c 178s | 15 | 282634 | 130832 | 17569 16 | 2 | 6 395.02/395.12 c 179s | 16 | 284092 | 131552 | 17569 16 | 2 | 6 397.11/397.22 c 181s | 16 | 288231 | 133252 | 17569 16 | 2 | 6 399.21/399.37 c 184s | 16 | 290969 | 134652 | 17569 17 | 2 | 6 401.31/401.41 c 186s | 16 | 294343 | 136052 | 17569 17 | 2 | 6 403.31/403.45 c 188s | 16 | 297799 | 137652 | 17569 17 | 2 | 6 405.41/405.57 c 190s | 16 | 300816 | 139152 | 17569 17 | 2 | 6 407.41/407.59 c 192s | 16 | 303407 | 140552 | 17569 17 | 2 | 6 409.60/409.72 c 194s | 16 | 306925 | 142252 | 17569 17 | 2 | 6 411.61/411.78 c 196s | 16 | 309664 | 143552 | 17569 17 | 2 | 6 413.60/413.79 c 198s | 16 | 312704 | 145052 | 17569 18 | 2 | 6 415.60/415.79 c 200s | 16 | 315698 | 146552 | 17569 18 | 2 | 6 417.80/417.92 c 202s | 16 | 318936 | 148052 | 17569 18 | 2 | 6 419.80/419.98 c 204s | 16 | 322705 | 149752 | 17569 18 | 2 | 6 421.90/422.05 c 206s | 16 | 325728 | 151252 | 17569 18 | 2 | 6 424.00/424.15 c 208s | 16 | 329226 | 152752 | 17569 18 | 2 | 6 426.00/426.19 c 210s | 16 | 332486 | 154252 | 17569 19 | 2 | 6 428.20/428.32 c 213s | 16 | 335697 | 155852 | 17569 19 | 2 | 6 430.30/430.43 c 215s | 16 | 338820 | 157452 | 17569 19 | 2 | 6 432.30/432.50 c 217s | 16 | 342152 | 158952 | 17569 19 | 2 | 6 434.40/434.59 c 219s | 16 | 346133 | 160752 | 17569 19 | 2 | 6 436.60/436.71 c 221s | 16 | 349450 | 162252 | 17569 19 | 2 | 6 438.59/438.76 c 223s | 16 | 352159 | 163652 | 17569 20 | 2 | 6 440.69/440.83 c 225s | 16 | 355081 | 165252 | 17569 20 | 2 | 6 442.79/442.90 c 227s | 16 | 358959 | 166852 | 17569 20 | 2 | 6 444.89/445.02 c 229s | 16 | 362374 | 168352 | 17569 20 | 2 | 6 446.99/447.11 c 231s | 16 | 365480 | 169852 | 17569 20 | 2 | 6 449.08/449.22 c 233s | 16 | 368794 | 171352 | 17569 20 | 2 | 6 451.19/451.31 c 236s | 16 | 372086 | 172952 | 17569 21 | 2 | 6 453.29/453.41 c 238s | 16 | 375390 | 174652 | 17569 21 | 2 | 6 455.28/455.42 c 240s | 16 | 378459 | 176252 | 17569 21 | 2 | 6 457.28/457.46 c 242s | 16 | 382244 | 177852 | 17569 21 | 2 | 6 459.28/459.48 c 244s | 16 | 385659 | 179452 | 17569 21 | 2 | 6 461.38/461.50 c 246s | 16 | 389107 | 180952 | 17569 22 | 2 | 6 463.38/463.52 c 248s | 16 | 392956 | 182652 | 17569 22 | 2 | 6 465.49/465.62 c 250s | 16 | 396617 | 184452 | 17569 22 | 2 | 6 467.58/467.73 c 252s | 16 | 399987 | 186152 | 17569 22 | 2 | 6 469.57/469.73 c 254s | 16 | 403442 | 187852 | 17569 22 | 2 | 6 471.67/471.85 c 256s | 16 | 407426 | 189652 | 17569 22 | 2 | 6 473.77/473.91 c 258s | 16 | 411165 | 191352 | 17569 23 | 2 | 6 475.77/475.96 c 260s | 16 | 415208 | 193252 | 17569 23 | 2 | 6 477.87/478.05 c 262s | 16 | 419169 | 195052 | 17569 23 | 2 | 6 479.87/480.06 c 264s | 16 | 422689 | 196752 | 17569 23 | 2 | 6 480.67/480.85 c 265s | 17 | 423985 | 197432 | 17569 23 | 2 | 6 482.77/482.91 c 267s | 17 | 427347 | 199132 | 17569 23 | 2 | 6 484.77/484.99 c 269s | 17 | 431333 | 201032 | 17569 24 | 2 | 6 486.87/487.09 c 271s | 17 | 435481 | 203132 | 17569 24 | 2 | 6 488.96/489.12 c 273s | 17 | 439528 | 205132 | 17569 24 | 2 | 6 491.06/491.20 c 275s | 17 | 443560 | 207232 | 17569 24 | 2 | 6 493.06/493.26 c 277s | 17 | 445103 | 207932 | 17569 24 | 2 | 6 495.17/495.33 c 280s | 17 | 448203 | 209432 | 17569 25 | 2 | 6 497.16/497.37 c 282s | 17 | 451263 | 210932 | 17569 25 | 2 | 6 499.26/499.47 c 284s | 17 | 454112 | 212432 | 17569 25 | 2 | 6 501.36/501.58 c 286s | 17 | 456966 | 213832 | 17569 25 | 2 | 6 503.36/503.59 c 288s | 17 | 460139 | 215232 | 17569 25 | 2 | 6 505.56/505.73 c 290s | 17 | 463484 | 216832 | 17569 25 | 2 | 6 507.66/507.80 c 292s | 17 | 466574 | 218232 | 17569 26 | 2 | 6 509.66/509.84 c 294s | 17 | 469666 | 219732 | 17569 26 | 2 | 6 511.76/511.95 c 296s | 17 | 473075 | 221332 | 17569 26 | 2 | 6 513.86/514.09 c 298s | 17 | 476827 | 222832 | 17569 26 | 2 | 6 515.96/516.14 c 300s | 17 | 480265 | 224232 | 17569 26 | 2 | 6 517.95/518.16 c 302s | 17 | 483468 | 225832 | 17569 26 | 2 | 6 519.95/520.17 c 304s | 17 | 486208 | 227232 | 17569 27 | 2 | 6 522.05/522.24 c 306s | 17 | 489322 | 228732 | 17569 27 | 2 | 6 524.15/524.31 c 309s | 17 | 492736 | 230432 | 17569 27 | 2 | 6 526.25/526.41 c 311s | 17 | 496140 | 231932 | 17569 27 | 2 | 6 528.35/528.53 c 313s | 17 | 499480 | 233432 | 17569 27 | 2 | 6 530.45/530.68 c 315s | 17 | 502310 | 234932 | 17569 27 | 2 | 6 532.55/532.79 c 317s | 17 | 505384 | 236332 | 17569 28 | 2 | 6 534.55/534.79 c 319s | 17 | 508999 | 238032 | 17569 28 | 2 | 6 536.65/536.87 c 321s | 17 | 511935 | 239632 | 17569 28 | 2 | 6 538.74/538.96 c 323s | 17 | 515103 | 241132 | 17569 28 | 2 | 6 540.84/541.01 c 325s | 17 | 517895 | 242632 | 17569 28 | 2 | 6 542.84/543.08 c 327s | 17 | 520680 | 244032 | 17569 28 | 2 | 6 544.84/545.10 c 329s | 17 | 524060 | 245532 | 17569 29 | 2 | 6 547.04/547.21 c 331s | 17 | 527203 | 247132 | 17569 29 | 2 | 6 549.05/549.27 c 333s | 17 | 530485 | 248632 | 17569 29 | 2 | 6 551.15/551.35 c 336s | 17 | 533824 | 250232 | 17569 29 | 2 | 6 553.24/553.45 c 338s | 17 | 537439 | 251932 | 17569 29 | 2 | 6 555.24/555.48 c 340s | 17 | 540941 | 253432 | 17569 29 | 2 | 6 557.24/557.49 c 342s | 17 | 543704 | 254832 | 17569 30 | 2 | 6 559.33/559.51 c 344s | 17 | 547307 | 256432 | 17569 30 | 2 | 6 561.33/561.57 c 346s | 17 | 550453 | 257932 | 17569 30 | 2 | 6 563.43/563.62 c 348s | 17 | 553547 | 259632 | 17569 30 | 2 | 6 565.44/565.66 c 350s | 17 | 556888 | 261232 | 17569 30 | 2 | 6 567.53/567.74 c 352s | 17 | 560355 | 262732 | 17569 30 | 2 | 6 569.63/569.85 c 354s | 17 | 563274 | 264232 | 17569 31 | 2 | 6 571.73/571.93 c 356s | 17 | 567011 | 265932 | 17569 31 | 2 | 6 573.82/574.05 c 358s | 17 | 570570 | 267632 | 17569 31 | 2 | 6 575.82/576.05 c 360s | 17 | 574498 | 269332 | 17569 31 | 2 | 6 577.82/578.07 c 362s | 17 | 577510 | 270832 | 17569 31 | 2 | 6 579.92/580.16 c 364s | 17 | 580809 | 272432 | 17569 31 | 2 | 6 582.03/582.25 c 366s | 17 | 583950 | 274032 | 17569 32 | 2 | 6 584.12/584.34 c 369s | 17 | 587758 | 275832 | 19326 32 | 2 | 6 586.22/586.44 c 371s | 17 | 591282 | 277632 | 19326 32 | 2 | 6 588.32/588.50 c 373s | 17 | 594803 | 279432 | 19326 32 | 2 | 6 590.31/590.56 c 375s | 17 | 598432 | 281132 | 19326 32 | 2 | 6 592.41/592.66 c 377s | 17 | 601687 | 282932 | 19326 32 | 2 | 6 594.51/594.70 c 379s | 17 | 605040 | 284632 | 19326 33 | 2 | 6 596.51/596.74 c 381s | 17 | 608968 | 286532 | 19326 33 | 2 | 6 598.61/598.84 c 383s | 17 | 612835 | 288432 | 19326 33 | 2 | 6 600.61/600.90 c 385s | 17 | 616871 | 290432 | 19326 33 | 2 | 6 602.70/602.91 c 387s | 17 | 620773 | 292332 | 19326 33 | 2 | 6 604.80/605.01 c 389s | 17 | 624470 | 294232 | 19326 33 | 2 | 6 606.91/607.15 c 391s | 17 | 625650 | 294732 | 19326 34 | 2 | 6 609.01/609.26 c 393s | 17 | 628872 | 296132 | 19326 34 | 2 | 6 609.11/609.38 c 394s | 18 | 629226 | 296252 | 19326 34 | 2 | 6 611.11/611.39 c 396s | 18 | 632771 | 297652 | 19326 34 | 2 | 6 613.21/613.45 c 398s | 18 | 636561 | 299152 | 19326 34 | 2 | 6 615.21/615.46 c 400s | 18 | 639477 | 300452 | 19326 34 | 2 | 6 617.31/617.51 c 402s | 18 | 642646 | 301952 | 19326 34 | 2 | 6 619.41/619.66 c 404s | 18 | 646298 | 303552 | 19326 34 | 2 | 6 621.51/621.76 c 406s | 18 | 649402 | 304952 | 19326 35 | 2 | 6 623.60/623.80 c 408s | 18 | 652895 | 306552 | 19326 35 | 2 | 6 625.60/625.87 c 410s | 18 | 656271 | 308152 | 19326 35 | 2 | 6 627.70/627.98 c 412s | 18 | 659743 | 309752 | 19326 35 | 2 | 6 629.80/630.04 c 414s | 18 | 662751 | 311152 | 19326 35 | 2 | 6 631.80/632.07 c 416s | 18 | 666271 | 312752 | 19326 35 | 2 | 6 633.90/634.19 c 418s | 18 | 669254 | 314152 | 19326 36 | 2 | 6 635.99/636.21 c 420s | 18 | 672879 | 315752 | 19326 36 | 2 | 6 638.10/638.32 c 423s | 18 | 676209 | 317352 | 19326 36 | 2 | 6 640.20/640.44 c 425s | 18 | 679630 | 318952 | 19326 36 | 2 | 6 642.29/642.54 c 427s | 18 | 682828 | 320452 | 19326 36 | 2 | 6 644.39/644.67 c 429s | 18 | 686445 | 321952 | 19326 36 | 2 | 6 646.39/646.67 c 431s | 18 | 689149 | 323352 | 19326 36 | 2 | 6 648.49/648.76 c 433s | 18 | 692576 | 324952 | 19326 37 | 2 | 6 650.49/650.79 c 435s | 18 | 696247 | 326552 | 19326 37 | 2 | 6 652.69/652.91 c 437s | 18 | 699631 | 328252 | 19326 37 | 2 | 6 654.69/654.93 c 439s | 18 | 702895 | 329752 | 19326 37 | 2 | 6 656.79/657.02 c 441s | 18 | 705995 | 331352 | 19326 37 | 2 | 6 658.88/659.10 c 443s | 18 | 709110 | 332852 | 19326 37 | 2 | 6 660.88/661.13 c 445s | 18 | 712197 | 334352 | 19326 38 | 2 | 6 662.88/663.19 c 447s | 18 | 716019 | 336252 | 19326 38 | 2 | 6 664.98/665.29 c 449s | 18 | 719073 | 337852 | 19326 38 | 2 | 6 667.08/667.30 c 451s | 18 | 722356 | 339452 | 19326 38 | 2 | 6 669.07/669.36 c 454s | 18 | 726054 | 341052 | 19326 38 | 2 | 6 671.18/671.45 c 456s | 18 | 729365 | 342752 | 19326 38 | 2 | 6 673.19/673.50 c 458s | 18 | 732255 | 344252 | 19326 38 | 2 | 6 675.28/675.59 c 460s | 18 | 735788 | 346052 | 19326 39 | 2 | 6 677.38/677.66 c 462s | 18 | 739797 | 347952 | 19326 39 | 2 | 6 679.47/679.76 c 464s | 18 | 743764 | 349852 | 19326 39 | 2 | 6 681.57/681.87 c 466s | 18 | 747503 | 351552 | 19326 39 | 2 | 6 683.67/683.94 c 468s | 18 | 751095 | 353252 | 19326 39 | 2 | 6 685.77/686.01 c 470s | 18 | 754766 | 354952 | 19326 40 | 2 | 6 687.77/688.01 c 472s | 18 | 758831 | 356952 | 19326 40 | 2 | 6 689.78/690.03 c 474s | 18 | 763341 | 359052 | 19326 40 | 2 | 6 691.87/692.12 c 476s | 18 | 765085 | 359952 | 19326 40 | 2 | 6 693.97/694.21 c 478s | 18 | 767276 | 361052 | 19326 40 | 2 | 6 695.97/696.22 c 480s | 18 | 770618 | 362652 | 19326 40 | 2 | 6 698.06/698.36 c 483s | 18 | 773495 | 364052 | 19326 40 | 2 | 6 700.16/700.43 c 485s | 18 | 776560 | 365452 | 19326 41 | 2 | 6 702.26/702.55 c 487s | 18 | 780171 | 367152 | 19326 41 | 2 | 6 704.36/704.68 c 489s | 18 | 783282 | 368552 | 19326 41 | 2 | 6 706.46/706.76 c 491s | 18 | 786579 | 370052 | 19326 41 | 2 | 6 708.47/708.79 c 493s | 18 | 790052 | 371652 | 19326 41 | 2 | 6 710.57/710.83 c 495s | 18 | 792565 | 373052 | 19326 41 | 2 | 6 712.66/712.91 c 497s | 18 | 795334 | 374452 | 19326 41 | 2 | 6 714.76/715.00 c 499s | 18 | 798467 | 376052 | 19326 42 | 2 | 6 716.86/717.10 c 501s | 18 | 801760 | 377552 | 19326 42 | 2 | 6 718.96/719.21 c 503s | 18 | 805044 | 379052 | 19326 42 | 2 | 6 721.06/721.35 c 506s | 18 | 808565 | 380652 | 19326 42 | 2 | 6 723.06/723.38 c 508s | 18 | 811967 | 382152 | 19326 42 | 2 | 6 725.16/725.48 c 510s | 18 | 815267 | 383752 | 19326 42 | 2 | 6 727.36/727.61 c 512s | 18 | 818428 | 385252 | 19326 43 | 2 | 6 729.36/729.68 c 514s | 18 | 822032 | 387052 | 19326 43 | 2 | 6 731.46/731.75 c 516s | 18 | 825025 | 388552 | 19326 43 | 2 | 6 733.55/733.87 c 518s | 18 | 828629 | 390152 | 19326 43 | 2 | 6 735.65/735.91 c 520s | 18 | 831711 | 391652 | 19326 43 | 2 | 6 737.65/737.92 c 522s | 18 | 834693 | 393052 | 19326 43 | 2 | 6 739.85/740.14 c 524s | 18 | 837989 | 394652 | 19326 44 | 2 | 6 741.85/742.19 c 526s | 18 | 841891 | 396452 | 19326 44 | 2 | 6 743.95/744.21 c 528s | 18 | 845467 | 398152 | 19326 44 | 2 | 6 746.05/746.32 c 531s | 18 | 848804 | 399852 | 19326 44 | 2 | 6 748.15/748.45 c 533s | 18 | 852196 | 401352 | 19326 44 | 2 | 6 750.15/750.48 c 535s | 18 | 855590 | 402852 | 19326 44 | 2 | 6 752.24/752.60 c 537s | 18 | 858898 | 404352 | 19326 44 | 2 | 6 754.34/754.62 c 539s | 18 | 861901 | 405852 | 19326 45 | 2 | 6 756.44/756.72 c 541s | 18 | 866226 | 407852 | 19326 45 | 2 | 6 758.44/758.78 c 543s | 18 | 870085 | 409552 | 19326 45 | 2 | 6 760.54/760.87 c 545s | 18 | 873783 | 411352 | 19326 45 | 2 | 6 762.64/762.96 c 547s | 18 | 876980 | 412952 | 19326 45 | 2 | 6 764.64/764.99 c 549s | 18 | 880356 | 414552 | 19326 45 | 2 | 6 766.74/767.09 c 551s | 18 | 883831 | 416252 | 19326 46 | 2 | 6 768.84/769.12 c 553s | 18 | 887837 | 418152 | 19326 46 | 2 | 6 770.93/771.20 c 555s | 18 | 890976 | 419852 | 19326 46 | 2 | 6 772.93/773.25 c 557s | 18 | 894556 | 421452 | 19326 46 | 2 | 6 774.93/775.27 c 559s | 18 | 898551 | 423052 | 19326 46 | 2 | 6 777.03/777.38 c 562s | 18 | 901919 | 424752 | 19326 46 | 2 | 6 779.12/779.41 c 564s | 18 | 905439 | 426552 | 19326 47 | 2 | 6 781.12/781.41 c 566s | 18 | 909299 | 428352 | 19326 47 | 2 | 6 783.13/783.43 c 568s | 18 | 912839 | 430152 | 19326 47 | 2 | 6 785.12/785.49 c 570s | 18 | 916735 | 431952 | 19326 47 | 2 | 6 787.22/787.56 c 572s | 18 | 920884 | 433852 | 19326 47 | 2 | 6 789.32/789.64 c 574s | 18 | 924792 | 435652 | 19326 47 | 2 | 6 791.42/791.72 c 576s | 18 | 928821 | 437652 | 19326 48 | 2 | 6 793.62/793.99 c 578s | 18 | 931401 | 438952 | 19326 48 | 2 | 6 795.72/796.03 c 580s | 18 | 933696 | 439952 | 19326 48 | 2 | 6 797.71/798.05 c 582s | 18 | 937061 | 441552 | 19326 48 | 2 | 6 799.91/800.20 c 584s | 18 | 940065 | 443052 | 19326 48 | 2 | 6 801.92/802.23 c 586s | 19 | 943341 | 444482 | 19326 48 | 2 | 6 803.91/804.25 c 588s | 19 | 946475 | 445782 | 19326 48 | 2 | 6 806.01/806.33 c 591s | 19 | 949638 | 447182 | 19326 49 | 2 | 6 808.11/808.45 c 593s | 19 | 953167 | 448782 | 19326 49 | 2 | 6 810.11/810.49 c 595s | 19 | 956522 | 450282 | 19326 49 | 2 | 6 812.21/812.53 c 597s | 19 | 959564 | 451682 | 19326 49 | 2 | 6 814.31/814.61 c 599s | 19 | 962723 | 453182 | 19326 49 | 2 | 6 816.41/816.71 c 601s | 19 | 965601 | 454682 | 19326 49 | 2 | 6 818.41/818.77 c 603s | 19 | 968458 | 456082 | 19326 50 | 2 | 6 820.51/820.88 c 605s | 19 | 971567 | 457682 | 19326 50 | 2 | 6 822.61/822.93 c 607s | 19 | 974836 | 459282 | 19326 50 | 2 | 6 824.61/824.97 c 609s | 19 | 978017 | 460782 | 19326 50 | 2 | 6 826.71/827.00 c 611s | 19 | 981374 | 462382 | 19326 50 | 2 | 6 828.81/829.16 c 613s | 19 | 984949 | 463982 | 19326 50 | 2 | 6 830.90/831.25 c 615s | 19 | 988391 | 465582 | 19326 50 | 2 | 6 833.00/833.34 c 618s | 19 | 991593 | 467082 | 19326 51 | 2 | 6 835.01/835.38 c 620s | 19 | 994864 | 468682 | 19326 51 | 2 | 6 837.11/837.48 c 622s | 19 | 998311 | 470282 | 19326 51 | 2 | 6 839.21/839.59 c 624s | 19 | 1001913 | 471882 | 19326 51 | 2 | 6 841.30/841.60 c 626s | 19 | 1005175 | 473382 | 19326 51 | 2 | 6 843.30/843.69 c 628s | 19 | 1008909 | 475082 | 19326 51 | 2 | 6 845.40/845.78 c 630s | 19 | 1011870 | 476582 | 19326 52 | 2 | 6 847.50/847.83 c 632s | 19 | 1015405 | 478282 | 19326 52 | 2 | 6 849.60/849.93 c 634s | 19 | 1019282 | 480082 | 19326 52 | 2 | 6 851.70/852.01 c 636s | 19 | 1022789 | 481682 | 19326 52 | 2 | 6 853.70/854.10 c 638s | 19 | 1026325 | 483382 | 19326 52 | 2 | 6 855.81/856.17 c 640s | 19 | 1029650 | 484982 | 19326 52 | 2 | 6 857.80/858.19 c 642s | 19 | 1033075 | 486582 | 19326 53 | 2 | 6 859.90/860.24 c 644s | 19 | 1036917 | 488282 | 19326 53 | 2 | 6 862.00/862.34 c 647s | 19 | 1040338 | 489982 | 19326 53 | 2 | 6 864.10/864.48 c 649s | 19 | 1044525 | 491882 | 19326 53 | 2 | 6 866.20/866.52 c 651s | 19 | 1047785 | 493482 | 19326 53 | 2 | 6 868.20/868.53 c 653s | 19 | 1050996 | 495082 | 19326 53 | 2 | 6 870.19/870.56 c 655s | 19 | 1054674 | 496682 | 21259 53 | 2 | 6 872.30/872.65 c 657s | 19 | 1057821 | 498282 | 21259 54 | 2 | 6 874.29/874.69 c 659s | 19 | 1061650 | 500182 | 21259 54 | 2 | 6 876.39/876.76 c 661s | 19 | 1065582 | 502082 | 21259 54 | 2 | 6 878.39/878.78 c 663s | 19 | 1069062 | 503882 | 21259 54 | 2 | 6 880.49/880.89 c 665s | 19 | 1072495 | 505782 | 21259 54 | 2 | 6 882.59/882.97 c 667s | 19 | 1076018 | 507582 | 21259 54 | 2 | 6 884.68/885.07 c 669s | 19 | 1079856 | 509482 | 21259 54 | 2 | 6 886.78/887.13 c 671s | 19 | 1084189 | 511482 | 21259 55 | 2 | 6 888.78/889.14 c 673s | 19 | 1088246 | 513682 | 21259 55 | 2 | 6 891.18/891.50 c 676s | 19 | 1090892 | 515182 | 21259 55 | 2 | 6 893.18/893.56 c 678s | 19 | 1093451 | 516082 | 21259 55 | 2 | 6 895.28/895.66 c 680s | 19 | 1096534 | 517582 | 21259 55 | 2 | 6 897.37/897.77 c 682s | 19 | 1099500 | 519082 | 21259 55 | 2 | 6 899.37/899.77 c 684s | 19 | 1102058 | 520382 | 21259 56 | 2 | 6 901.47/901.82 c 686s | 19 | 1105214 | 521882 | 21259 56 | 2 | 6 903.58/903.93 c 688s | 19 | 1108417 | 523482 | 21259 56 | 2 | 6 905.68/906.00 c 690s | 19 | 1112110 | 525182 | 21259 56 | 2 | 6 907.68/908.07 c 692s | 19 | 1115609 | 526782 | 21259 56 | 2 | 6 909.77/910.15 c 694s | 19 | 1118925 | 528382 | 21259 56 | 2 | 6 911.88/912.25 c 696s | 19 | 1121844 | 529882 | 21259 56 | 2 | 6 913.98/914.40 c 699s | 19 | 1124700 | 531282 | 21259 57 | 2 | 6 916.07/916.48 c 701s | 19 | 1128210 | 532882 | 21259 57 | 2 | 6 918.07/918.50 c 703s | 19 | 1131696 | 534482 | 21259 57 | 2 | 6 920.17/920.52 c 705s | 19 | 1135319 | 536082 | 21259 57 | 2 | 6 922.27/922.62 c 707s | 19 | 1138402 | 537582 | 21259 57 | 2 | 6 924.27/924.66 c 709s | 19 | 1141798 | 539182 | 21259 57 | 2 | 6 926.37/926.79 c 711s | 19 | 1144763 | 540682 | 21259 57 | 2 | 6 928.57/928.92 c 713s | 19 | 1148155 | 542182 | 21259 57 | 2 | 6 930.57/930.93 c 715s | 19 | 1151596 | 543782 | 21259 58 | 2 | 6 932.67/933.05 c 717s | 19 | 1155311 | 545482 | 21259 58 | 2 | 6 934.76/935.10 c 719s | 19 | 1158794 | 547082 | 21259 58 | 2 | 6 936.76/937.16 c 721s | 19 | 1162149 | 548682 | 21259 58 | 2 | 6 938.86/939.21 c 723s | 19 | 1166014 | 550382 | 21259 58 | 2 | 6 940.86/941.27 c 725s | 19 | 1169522 | 552082 | 21259 58 | 2 | 6 942.96/943.31 c 728s | 19 | 1173311 | 553782 | 21259 59 | 2 | 6 944.96/945.33 c 730s | 19 | 1177210 | 555782 | 21259 59 | 2 | 6 947.06/947.42 c 732s | 19 | 1180842 | 557682 | 21259 59 | 2 | 6 949.05/949.42 c 734s | 19 | 1184805 | 559582 | 21259 59 | 2 | 6 951.15/951.54 c 736s | 19 | 1188765 | 561482 | 21259 59 | 2 | 6 953.25/953.61 c 738s | 19 | 1192442 | 563282 | 21259 59 | 2 | 6 955.25/955.68 c 740s | 19 | 1196076 | 565082 | 21259 60 | 2 | 6 957.35/957.74 c 742s | 19 | 1200697 | 567282 | 21259 60 | 2 | 6 959.34/959.75 c 744s | 19 | 1204900 | 569382 | 21259 60 | 2 | 6 961.44/961.83 c 746s | 19 | 1209486 | 571582 | 21259 60 | 2 | 6 963.45/963.84 c 748s | 19 | 1213637 | 573682 | 21259 60 | 2 | 6 965.94/966.37 c 751s | 19 | 1216087 | 574982 | 21259 60 | 2 | 6 968.03/968.42 c 753s | 19 | 1218244 | 575882 | 21259 61 | 2 | 6 970.04/970.45 c 755s | 19 | 1221587 | 577582 | 21259 61 | 2 | 6 972.13/972.51 c 757s | 19 | 1225004 | 579082 | 21259 61 | 2 | 6 974.13/974.52 c 759s | 19 | 1229113 | 580882 | 21259 61 | 2 | 6 976.23/976.62 c 761s | 19 | 1232659 | 582482 | 21259 61 | 2 | 6 978.23/978.63 c 763s | 19 | 1235676 | 583882 | 21259 61 | 2 | 6 980.33/980.75 c 765s | 19 | 1238924 | 585482 | 21259 61 | 2 | 6 982.43/982.80 c 767s | 19 | 1241541 | 586782 | 21259 62 | 2 | 6 984.43/984.89 c 769s | 19 | 1244684 | 588382 | 21259 62 | 2 | 6 986.53/986.94 c 771s | 19 | 1247768 | 589882 | 21259 62 | 2 | 6 988.63/989.00 c 773s | 19 | 1250908 | 591382 | 21259 62 | 2 | 6 990.63/991.01 c 775s | 19 | 1253973 | 592982 | 21259 62 | 2 | 6 992.64/993.07 c 777s | 19 | 1256743 | 594382 | 21259 62 | 2 | 6 994.83/995.23 c 779s | 19 | 1259822 | 595982 | 21259 62 | 2 | 6 997.03/997.48 c 782s | 19 | 1262768 | 597382 | 21259 63 | 2 | 6 999.03/999.49 c 784s | 19 | 1266507 | 598982 | 21259 63 | 2 | 6 1001.13/1001.50 c 786s | 19 | 1269506 | 600582 | 21259 63 | 2 | 6 1003.14/1003.53 c 788s | 19 | 1272826 | 602182 | 21259 63 | 2 | 6 1005.13/1005.55 c 790s | 19 | 1275633 | 603682 | 21259 63 | 2 | 6 1007.23/1007.61 c 792s | 19 | 1278621 | 605282 | 21259 63 | 2 | 6 1009.33/1009.73 c 794s | 19 | 1281447 | 606782 | 21259 63 | 2 | 6 1011.33/1011.75 c 796s | 19 | 1284077 | 608182 | 21259 63 | 2 | 6 1013.33/1013.79 c 798s | 19 | 1287636 | 609782 | 21259 64 | 2 | 6 1015.43/1015.82 c 800s | 19 | 1291078 | 611482 | 21259 64 | 2 | 6 1017.53/1017.92 c 802s | 19 | 1294862 | 613282 | 21259 64 | 2 | 6 1019.54/1019.93 c 804s | 19 | 1298444 | 614882 | 21259 64 | 2 | 6 1021.63/1022.01 c 806s | 19 | 1302131 | 616682 | 21259 64 | 2 | 6 1023.63/1024.07 c 808s | 19 | 1305655 | 618382 | 21259 64 | 2 | 6 1025.73/1026.10 c 810s | 19 | 1309118 | 619982 | 21259 65 | 2 | 6 1027.73/1028.15 c 812s | 19 | 1312710 | 621882 | 21259 65 | 2 | 6 1029.73/1030.17 c 814s | 19 | 1316617 | 623682 | 21259 65 | 2 | 6 1031.74/1032.19 c 816s | 19 | 1320752 | 625582 | 21259 65 | 2 | 6 1033.83/1034.24 c 818s | 19 | 1324504 | 627382 | 21259 65 | 2 | 6 1035.83/1036.25 c 820s | 19 | 1328069 | 629082 | 21259 65 | 2 | 6 1037.93/1038.30 c 822s | 19 | 1331793 | 630982 | 21259 66 | 2 | 6 1039.93/1040.37 c 825s | 19 | 1336272 | 633082 | 21259 66 | 2 | 6 1042.02/1042.46 c 827s | 19 | 1340068 | 635082 | 21259 66 | 2 | 6 1044.02/1044.47 c 829s | 19 | 1343896 | 636982 | 21259 66 | 2 | 6 1046.13/1046.56 c 831s | 19 | 1347665 | 638982 | 21259 66 | 2 | 6 1048.23/1048.60 c 833s | 19 | 1351202 | 640882 | 21259 66 | 2 | 6 1050.72/1051.14 c 835s | 19 | 1355029 | 642782 | 21259 67 | 2 | 6 1052.82/1053.20 c 837s | 19 | 1356730 | 643582 | 21259 67 | 2 | 6 1054.83/1055.26 c 839s | 19 | 1360039 | 645182 | 21259 67 | 2 | 6 1056.93/1057.35 c 842s | 19 | 1363291 | 646882 | 21259 67 | 2 | 6 1059.02/1059.50 c 844s | 19 | 1367159 | 648582 | 21259 67 | 2 | 6 1061.12/1061.51 c 846s | 19 | 1370004 | 649982 | 21259 67 | 2 | 6 1063.12/1063.52 c 848s | 19 | 1373040 | 651382 | 21259 67 | 2 | 6 1065.22/1065.63 c 850s | 19 | 1376089 | 652882 | 21259 67 | 2 | 6 1067.22/1067.68 c 852s | 19 | 1379644 | 654482 | 21259 68 | 2 | 6 1069.22/1069.68 c 854s | 19 | 1383053 | 656082 | 21259 68 | 2 | 6 1071.23/1071.68 c 856s | 19 | 1386569 | 657782 | 21259 68 | 2 | 6 1073.32/1073.78 c 858s | 19 | 1390463 | 659382 | 21259 68 | 2 | 6 1075.42/1075.87 c 860s | 19 | 1393791 | 660982 | 21259 68 | 2 | 6 1077.52/1077.97 c 862s | 19 | 1397026 | 662582 | 21259 68 | 2 | 6 1079.62/1080.03 c 864s | 19 | 1400361 | 664182 | 21259 68 | 2 | 6 1081.62/1082.03 c 866s | 19 | 1403701 | 665782 | 21259 69 | 2 | 6 1082.82/1083.28 c 867s | 20 | 1405952 | 666827 | 21259 69 | 2 | 6 1084.92/1085.30 c 869s | 20 | 1408556 | 667927 | 21259 69 | 2 | 6 1086.91/1087.33 c 872s | 20 | 1411986 | 669627 | 21259 69 | 2 | 6 1089.01/1089.42 c 874s | 20 | 1414681 | 671127 | 21259 69 | 2 | 6 1091.02/1091.48 c 876s | 20 | 1417328 | 672527 | 21259 69 | 2 | 6 1093.11/1093.51 c 878s | 20 | 1420639 | 674027 | 21259 69 | 2 | 6 1095.11/1095.60 c 880s | 20 | 1423275 | 675427 | 21259 70 | 2 | 6 1097.21/1097.69 c 882s | 20 | 1426996 | 677027 | 21259 70 | 2 | 6 1099.31/1099.78 c 884s | 20 | 1430249 | 678727 | 21259 70 | 2 | 6 1101.41/1101.88 c 886s | 20 | 1433660 | 680327 | 21259 70 | 2 | 6 1103.51/1103.91 c 888s | 20 | 1436880 | 681827 | 21259 70 | 2 | 6 1105.61/1106.02 c 890s | 20 | 1440538 | 683427 | 21259 70 | 2 | 6 1107.71/1108.13 c 892s | 20 | 1444103 | 685027 | 21259 70 | 2 | 6 1109.72/1110.17 c 894s | 20 | 1446964 | 686427 | 21259 71 | 2 | 6 1111.81/1112.28 c 896s | 20 | 1450650 | 688127 | 21259 71 | 2 | 6 1113.91/1114.38 c 899s | 20 | 1454579 | 689927 | 21259 71 | 2 | 6 1116.11/1116.50 c 901s | 20 | 1458268 | 691727 | 21259 71 | 2 | 6 1118.11/1118.58 c 903s | 20 | 1461885 | 693427 | 21259 71 | 2 | 6 1120.21/1120.62 c 905s | 20 | 1465464 | 695127 | 21259 71 | 2 | 6 1122.21/1122.64 c 907s | 20 | 1468841 | 696727 | 21259 71 | 2 | 6 1124.31/1124.70 c 909s | 20 | 1472150 | 698327 | 21259 72 | 2 | 6 1126.22/1126.70 c 911s | 20 | 1476544 | 700427 | 21259 72 | 2 | 6 1128.31/1128.75 c 913s | 20 | 1480562 | 702327 | 21259 72 | 2 | 6 1130.31/1130.79 c 915s | 20 | 1484346 | 704227 | 21259 72 | 2 | 6 1132.41/1132.84 c 917s | 20 | 1487954 | 706027 | 21259 72 | 2 | 6 1134.41/1134.87 c 919s | 20 | 1491624 | 707927 | 21259 72 | 2 | 6 1136.51/1136.94 c 921s | 20 | 1495467 | 709727 | 21259 73 | 2 | 6 1138.51/1138.95 c 923s | 20 | 1499647 | 711827 | 21259 73 | 2 | 6 1140.51/1140.98 c 925s | 20 | 1503985 | 713927 | 21259 73 | 2 | 6 1142.60/1143.02 c 927s | 20 | 1507900 | 716027 | 21259 73 | 2 | 6 1145.40/1145.89 c 930s | 20 | 1512126 | 718027 | 21259 73 | 2 | 6 1147.50/1147.94 c 932s | 20 | 1514461 | 719227 | 21259 73 | 2 | 6 1149.50/1149.97 c 934s | 20 | 1517132 | 720527 | 21259 74 | 2 | 6 1151.61/1152.05 c 936s | 20 | 1521039 | 722227 | 21259 74 | 2 | 6 1153.71/1154.16 c 938s | 20 | 1524274 | 723827 | 21259 74 | 2 | 6 1155.80/1156.20 c 940s | 20 | 1527338 | 725327 | 21259 74 | 2 | 6 1157.80/1158.23 c 942s | 20 | 1530568 | 726927 | 21259 74 | 2 | 6 1159.90/1160.32 c 945s | 20 | 1533501 | 728327 | 21259 74 | 2 | 6 1162.00/1162.40 c 947s | 20 | 1536852 | 729827 | 21259 74 | 2 | 6 1164.10/1164.50 c 949s | 20 | 1539831 | 731327 | 21259 75 | 2 | 6 1166.10/1166.56 c 951s | 20 | 1543341 | 732927 | 21259 75 | 2 | 6 1168.20/1168.60 c 953s | 20 | 1547185 | 734727 | 21259 75 | 2 | 6 1170.21/1170.67 c 955s | 20 | 1551206 | 736527 | 21259 75 | 2 | 6 1172.30/1172.79 c 957s | 20 | 1555069 | 738227 | 21259 75 | 2 | 6 1174.40/1174.87 c 959s | 20 | 1558189 | 739827 | 21259 75 | 2 | 6 1176.60/1177.03 c 961s | 20 | 1561691 | 741427 | 21259 75 | 2 | 6 1178.70/1179.13 c 963s | 20 | 1564988 | 743027 | 21259 76 | 2 | 6 1180.80/1181.24 c 965s | 20 | 1568715 | 744927 | 21259 76 | 2 | 6 1182.90/1183.35 c 968s | 20 | 1572256 | 746627 | 21259 76 | 2 | 6 1184.90/1185.37 c 970s | 20 | 1575809 | 748327 | 21259 76 | 2 | 6 1187.00/1187.40 c 972s | 20 | 1579643 | 750127 | 21259 76 | 2 | 6 1189.00/1189.43 c 974s | 20 | 1583464 | 751827 | 21259 76 | 2 | 6 1191.00/1191.43 c 976s | 20 | 1587457 | 753527 | 21259 77 | 2 | 6 1193.00/1193.49 c 978s | 20 | 1591148 | 755427 | 21259 77 | 2 | 6 1195.10/1195.59 c 980s | 20 | 1594883 | 757227 | 21259 77 | 2 | 6 1197.20/1197.69 c 982s | 20 | 1599044 | 759127 | 21259 77 | 2 | 6 1199.30/1199.74 c 984s | 20 | 1603193 | 760927 | 21259 77 | 2 | 6 1201.29/1201.78 c 986s | 20 | 1606707 | 762627 | 21259 77 | 2 | 6 1203.39/1203.86 c 988s | 20 | 1610650 | 764427 | 21259 77 | 2 | 6 1205.40/1205.88 c 990s | 20 | 1615012 | 766527 | 21259 78 | 2 | 6 1207.49/1207.91 c 992s | 20 | 1619654 | 768527 | 21259 78 | 2 | 6 1209.49/1209.98 c 994s | 20 | 1623804 | 770527 | 21259 78 | 2 | 6 1211.59/1212.06 c 996s | 20 | 1628019 | 772627 | 21259 78 | 2 | 6 1213.69/1214.10 c 998s | 20 | 1631961 | 774727 | 21259 78 | 2 | 6 1216.00/1216.44 c 1001s | 20 | 1633507 | 775527 | 21259 79 | 2 | 6 1218.10/1218.55 c 1003s | 20 | 1636489 | 776927 | 21259 79 | 2 | 6 1220.20/1220.65 c 1005s | 20 | 1639696 | 778527 | 21259 79 | 2 | 6 1222.30/1222.70 c 1007s | 20 | 1643059 | 780127 | 21259 79 | 2 | 6 1224.40/1224.80 c 1009s | 20 | 1646347 | 781627 | 21259 79 | 2 | 6 1226.40/1226.88 c 1011s | 20 | 1649302 | 783127 | 21259 79 | 2 | 6 1228.50/1228.90 c 1013s | 20 | 1652403 | 784627 | 21259 79 | 2 | 6 1230.59/1231.02 c 1015s | 20 | 1655858 | 786127 | 21259 79 | 2 | 6 1232.59/1233.06 c 1017s | 20 | 1658853 | 787627 | 21259 80 | 2 | 6 1234.69/1235.13 c 1019s | 20 | 1661789 | 789227 | 21259 80 | 2 | 6 1236.79/1237.25 c 1021s | 20 | 1665246 | 790927 | 21259 80 | 2 | 6 1238.89/1239.30 c 1023s | 20 | 1668912 | 792527 | 21259 80 | 2 | 6 1240.89/1241.38 c 1026s | 20 | 1672390 | 794227 | 21259 80 | 2 | 6 1242.99/1243.44 c 1028s | 20 | 1675071 | 795627 | 21259 80 | 2 | 6 1245.00/1245.47 c 1030s | 20 | 1678196 | 797127 | 21259 80 | 2 | 6 1247.09/1247.53 c 1032s | 20 | 1681512 | 798627 | 21259 81 | 2 | 6 1249.19/1249.65 c 1034s | 20 | 1685798 | 800527 | 21259 81 | 2 | 6 1251.29/1251.70 c 1036s | 20 | 1689383 | 802327 | 21259 81 | 2 | 6 1253.29/1253.74 c 1038s | 20 | 1693033 | 804027 | 21259 81 | 2 | 6 1255.39/1255.84 c 1040s | 20 | 1696940 | 805827 | 21259 81 | 2 | 6 1257.39/1257.85 c 1042s | 20 | 1700437 | 807527 | 21259 81 | 2 | 6 1259.40/1259.89 c 1044s | 20 | 1703466 | 809127 | 21259 82 | 2 | 6 1261.39/1261.89 c 1046s | 20 | 1707392 | 811027 | 21259 82 | 2 | 6 1263.49/1263.95 c 1048s | 20 | 1711416 | 813027 | 21259 82 | 2 | 6 1265.59/1266.04 c 1050s | 20 | 1715191 | 814927 | 21259 82 | 2 | 6 1267.69/1268.14 c 1052s | 20 | 1718856 | 816727 | 21259 82 | 2 | 6 1269.79/1270.21 c 1054s | 20 | 1722700 | 818627 | 21259 82 | 2 | 6 1271.79/1272.21 c 1056s | 20 | 1726428 | 820427 | 21259 82 | 2 | 6 1273.79/1274.26 c 1058s | 20 | 1730766 | 822627 | 21259 83 | 2 | 6 1276.28/1276.70 c 1061s | 20 | 1733820 | 824127 | 21259 83 | 2 | 6 1278.28/1278.76 c 1063s | 20 | 1737057 | 825627 | 21259 83 | 2 | 6 1280.38/1280.85 c 1065s | 20 | 1739556 | 827027 | 21259 83 | 2 | 6 1282.39/1282.85 c 1067s | 20 | 1742406 | 828527 | 23385 83 | 2 | 6 1284.48/1284.96 c 1069s | 20 | 1745577 | 830027 | 23385 83 | 2 | 6 1286.58/1287.08 c 1071s | 20 | 1748483 | 831527 | 23385 83 | 2 | 6 1288.68/1289.11 c 1073s | 20 | 1751795 | 832927 | 23385 83 | 2 | 6 1290.79/1291.22 c 1075s | 20 | 1754853 | 834327 | 23385 84 | 2 | 6 1292.79/1293.25 c 1077s | 20 | 1758498 | 836027 | 23385 84 | 2 | 6 1294.89/1295.33 c 1080s | 20 | 1762072 | 837727 | 23385 84 | 2 | 6 1296.89/1297.34 c 1082s | 20 | 1765593 | 839227 | 23385 84 | 2 | 6 1299.00/1299.41 c 1084s | 20 | 1768866 | 840827 | 23385 84 | 2 | 6 1301.09/1301.54 c 1086s | 20 | 1771959 | 842327 | 23385 84 | 2 | 6 1303.19/1303.61 c 1088s | 20 | 1775329 | 843827 | 23385 84 | 2 | 6 1305.29/1305.70 c 1090s | 20 | 1778222 | 845327 | 23385 84 | 2 | 6 1307.29/1307.73 c 1092s | 20 | 1781828 | 846927 | 23385 85 | 2 | 6 1309.29/1309.73 c 1094s | 20 | 1785369 | 848727 | 23385 85 | 2 | 6 1311.38/1311.80 c 1096s | 20 | 1788866 | 850427 | 23385 85 | 2 | 6 1313.48/1313.92 c 1098s | 20 | 1792535 | 852227 | 23385 85 | 2 | 6 1315.49/1315.96 c 1100s | 20 | 1796168 | 853927 | 23385 85 | 2 | 6 1317.48/1317.99 c 1102s | 20 | 1799138 | 855527 | 23385 85 | 2 | 6 1319.68/1320.10 c 1104s | 20 | 1802858 | 857227 | 23385 85 | 2 | 6 1321.68/1322.16 c 1106s | 20 | 1806959 | 858927 | 23385 86 | 2 | 6 1323.78/1324.24 c 1108s | 20 | 1810805 | 860927 | 23385 86 | 2 | 6 1325.78/1326.25 c 1110s | 20 | 1814650 | 862827 | 23385 86 | 2 | 6 1327.78/1328.27 c 1112s | 20 | 1818622 | 864727 | 23385 86 | 2 | 6 1329.88/1330.32 c 1115s | 20 | 1822502 | 866727 | 23385 86 | 2 | 6 1332.08/1332.53 c 1117s | 20 | 1824278 | 867527 | 23385 86 | 2 | 6 1334.18/1334.60 c 1119s | 20 | 1827399 | 869027 | 23385 86 | 2 | 6 1336.18/1336.65 c 1121s | 20 | 1829626 | 870227 | 23385 87 | 2 | 6 1338.28/1338.73 c 1123s | 20 | 1833026 | 871627 | 23385 87 | 2 | 6 1340.28/1340.77 c 1125s | 20 | 1836469 | 873227 | 23385 87 | 2 | 6 1342.38/1342.81 c 1127s | 20 | 1839892 | 874727 | 23385 87 | 2 | 6 1344.37/1344.83 c 1129s | 20 | 1842985 | 876127 | 23385 87 | 2 | 6 1346.47/1346.93 c 1131s | 20 | 1846311 | 877627 | 23385 87 | 2 | 6 1348.48/1348.99 c 1133s | 20 | 1849165 | 879027 | 23385 87 | 2 | 6 1350.58/1351.10 c 1135s | 20 | 1852685 | 880627 | 23385 87 | 2 | 6 1352.67/1353.19 c 1137s | 20 | 1855568 | 882127 | 23385 88 | 2 | 6 1354.77/1355.24 c 1139s | 20 | 1859404 | 883827 | 23385 88 | 2 | 6 1356.87/1357.34 c 1142s | 20 | 1863356 | 885627 | 23385 88 | 2 | 6 1358.97/1359.41 c 1144s | 20 | 1867076 | 887227 | 23385 88 | 2 | 6 1361.07/1361.53 c 1146s | 20 | 1870297 | 888827 | 23385 88 | 2 | 6 1363.17/1363.60 c 1148s | 20 | 1873198 | 890327 | 23385 88 | 2 | 6 1365.17/1365.62 c 1150s | 20 | 1876771 | 892027 | 23385 88 | 2 | 6 1367.27/1367.71 c 1152s | 20 | 1880032 | 893627 | 23385 88 | 2 | 6 1369.28/1369.77 c 1154s | 20 | 1883331 | 895227 | 23385 89 | 2 | 6 1371.37/1371.80 c 1156s | 20 | 1886594 | 896927 | 23385 89 | 2 | 6 1373.37/1373.89 c 1158s | 20 | 1890014 | 898627 | 23385 89 | 2 | 6 1375.57/1376.00 c 1160s | 20 | 1893853 | 900427 | 23385 89 | 2 | 6 1377.57/1378.06 c 1162s | 20 | 1897711 | 902227 | 23385 89 | 2 | 6 1379.77/1380.20 c 1164s | 20 | 1901534 | 904027 | 23385 89 | 2 | 6 1381.77/1382.25 c 1166s | 20 | 1905070 | 905827 | 23385 89 | 2 | 6 1383.87/1384.33 c 1169s | 20 | 1909153 | 907727 | 23385 90 | 2 | 6 1385.87/1386.35 c 1171s | 20 | 1913667 | 909927 | 23385 90 | 2 | 6 1387.87/1388.39 c 1173s | 20 | 1917861 | 912027 | 23385 90 | 2 | 6 1389.97/1390.43 c 1175s | 20 | 1921879 | 914227 | 23385 90 | 2 | 6 1391.97/1392.48 c 1177s | 20 | 1924359 | 915427 | 23385 90 | 2 | 6 1394.07/1394.52 c 1179s | 20 | 1927151 | 916727 | 23385 90 | 2 | 6 1396.17/1396.65 c 1181s | 20 | 1930302 | 918227 | 23385 90 | 2 | 6 1398.37/1398.84 c 1183s | 20 | 1933632 | 919727 | 23385 91 | 2 | 6 1400.47/1400.96 c 1185s | 20 | 1936887 | 921327 | 23385 91 | 2 | 6 1402.47/1402.97 c 1187s | 20 | 1940101 | 922827 | 23385 91 | 2 | 6 1404.57/1405.04 c 1189s | 20 | 1943612 | 924427 | 23385 91 | 2 | 6 1406.67/1407.16 c 1191s | 20 | 1947266 | 926027 | 23385 91 | 2 | 6 1408.76/1409.24 c 1193s | 20 | 1950922 | 927827 | 23385 91 | 2 | 6 1410.86/1411.33 c 1196s | 20 | 1953952 | 929427 | 23385 91 | 2 | 6 1412.86/1413.36 c 1198s | 20 | 1956848 | 930827 | 23385 91 | 2 | 6 1414.86/1415.37 c 1200s | 20 | 1960075 | 932327 | 23385 92 | 2 | 6 1416.96/1417.43 c 1202s | 20 | 1963835 | 934127 | 23385 92 | 2 | 6 1418.96/1419.46 c 1204s | 20 | 1967007 | 935727 | 23385 92 | 2 | 6 1421.07/1421.56 c 1206s | 20 | 1970650 | 937427 | 23385 92 | 2 | 6 1423.17/1423.64 c 1208s | 20 | 1974050 | 939127 | 23385 92 | 2 | 6 1425.26/1425.71 c 1210s | 20 | 1977594 | 940727 | 23385 92 | 2 | 6 1427.26/1427.79 c 1212s | 20 | 1980977 | 942327 | 23385 92 | 2 | 6 1429.37/1429.84 c 1214s | 20 | 1983950 | 943827 | 23385 92 | 2 | 6 1431.37/1431.87 c 1216s | 20 | 1987625 | 945527 | 23385 93 | 2 | 6 1433.47/1433.90 c 1218s | 20 | 1991522 | 947427 | 23385 93 | 2 | 6 1435.47/1435.96 c 1220s | 20 | 1995072 | 949327 | 23385 93 | 2 | 6 1437.47/1438.00 c 1222s | 20 | 1999065 | 951327 | 23385 93 | 2 | 6 1439.57/1440.03 c 1224s | 20 | 2002756 | 953327 | 23385 93 | 2 | 6 1441.56/1442.09 c 1226s | 20 | 2005075 | 954427 | 23385 93 | 2 | 6 1443.86/1444.32 c 1229s | 20 | 2007782 | 955827 | 23385 94 | 2 | 6 1445.86/1446.33 c 1231s | 20 | 2010936 | 957227 | 23385 94 | 2 | 6 1447.86/1448.36 c 1233s | 20 | 2014440 | 958827 | 23385 94 | 2 | 6 1449.96/1450.47 c 1235s | 20 | 2018389 | 960427 | 23385 94 | 2 | 6 1452.06/1452.51 c 1237s | 20 | 2021910 | 962027 | 23385 94 | 2 | 6 1454.16/1454.62 c 1239s | 20 | 2025393 | 963727 | 23385 94 | 2 | 6 1456.27/1456.75 c 1241s | 20 | 2028809 | 965427 | 23385 94 | 2 | 6 1458.37/1458.86 c 1243s | 20 | 2032124 | 967027 | 23385 94 | 2 | 6 1460.46/1460.91 c 1245s | 20 | 2034840 | 968427 | 23385 95 | 2 | 6 1462.46/1462.98 c 1247s | 20 | 2038353 | 970127 | 23385 95 | 2 | 6 1464.46/1464.99 c 1249s | 20 | 2041545 | 971827 | 23385 95 | 2 | 6 1466.56/1467.09 c 1251s | 20 | 2045007 | 973527 | 23385 95 | 2 | 6 1468.66/1469.15 c 1253s | 20 | 2048713 | 975327 | 23385 95 | 2 | 6 1470.66/1471.19 c 1255s | 20 | 2052271 | 976927 | 23385 95 | 2 | 6 1472.77/1473.21 c 1257s | 20 | 2055561 | 978527 | 23385 95 | 2 | 6 1474.76/1475.22 c 1259s | 20 | 2059143 | 980227 | 23385 95 | 2 | 6 1476.76/1477.24 c 1261s | 20 | 2063189 | 982127 | 23385 96 | 2 | 6 1478.86/1479.35 c 1264s | 20 | 2066822 | 983827 | 23385 96 | 2 | 6 1480.96/1481.47 c 1266s | 20 | 2069842 | 985327 | 23385 96 | 2 | 6 1483.06/1483.57 c 1268s | 20 | 2073074 | 986927 | 23385 96 | 2 | 6 1485.16/1485.64 c 1270s | 20 | 2075923 | 988427 | 23385 96 | 2 | 6 1487.16/1487.65 c 1272s | 20 | 2078594 | 989827 | 23385 96 | 2 | 6 1489.27/1489.78 c 1274s | 20 | 2081578 | 991327 | 23385 96 | 2 | 6 1491.36/1491.84 c 1276s | 20 | 2084393 | 992727 | 23385 97 | 2 | 6 1493.46/1493.91 c 1278s | 20 | 2087702 | 994227 | 23385 97 | 2 | 6 1495.56/1496.00 c 1280s | 20 | 2090888 | 995927 | 23385 97 | 2 | 6 1497.56/1498.06 c 1282s | 20 | 2094292 | 997527 | 23385 97 | 2 | 6 1499.66/1500.11 c 1284s | 20 | 2097275 | 999027 | 23385 97 | 2 | 6 1501.36/1501.82 c 1286s | 21 | 2099947 | 1000345 | 23385 97 | 2 | 6 1503.46/1503.91 c 1288s | 21 | 2103193 | 1001745 | 23385 97 | 2 | 6 1505.46/1505.96 c 1290s | 21 | 2106857 | 1003445 | 23385 97 | 2 | 6 1507.55/1508.02 c 1292s | 21 | 2110014 | 1004945 | 23385 98 | 2 | 6 1509.55/1510.03 c 1294s | 21 | 2113242 | 1006445 | 23385 98 | 2 | 6 1511.55/1512.03 c 1296s | 21 | 2116546 | 1008045 | 23385 98 | 2 | 6 1513.55/1514.04 c 1298s | 21 | 2119927 | 1009645 | 23385 98 | 2 | 6 1515.66/1516.13 c 1300s | 21 | 2123409 | 1011345 | 23385 98 | 2 | 6 1517.65/1518.17 c 1302s | 21 | 2127189 | 1013145 | 23385 98 | 2 | 6 1519.75/1520.22 c 1304s | 21 | 2131141 | 1014945 | 23385 98 | 2 | 6 1521.75/1522.25 c 1306s | 21 | 2134759 | 1016745 | 23385 98 | 2 | 6 1523.85/1524.32 c 1309s | 21 | 2138721 | 1018845 | 23385 99 | 2 | 6 1525.85/1526.33 c 1311s | 21 | 2142823 | 1020945 | 23385 99 | 2 | 6 1527.95/1528.41 c 1313s | 21 | 2145578 | 1022345 | 23385 99 | 2 | 6 1530.05/1530.50 c 1315s | 21 | 2149090 | 1023945 | 23385 99 | 2 | 6 1532.06/1532.57 c 1317s | 21 | 2152489 | 1025545 | 23385 99 | 2 | 6 1534.15/1534.63 c 1319s | 21 | 2155507 | 1026945 | 23385 99 | 2 | 6 1536.15/1536.64 c 1321s | 21 | 2158540 | 1028345 | 23385 99 | 2 | 6 1538.25/1538.70 c 1323s | 21 | 2162129 | 1029945 | 23385 99 | 2 | 6 1540.25/1540.75 c 1325s | 21 | 2165898 | 1031645 | 23385 100 | 2 | 6 1542.25/1542.79 c 1327s | 21 | 2169669 | 1033445 | 23385 100 | 2 | 6 1544.35/1544.85 c 1329s | 21 | 2173278 | 1035045 | 23385 100 | 2 | 6 1546.36/1546.89 c 1331s | 21 | 2176267 | 1036545 | 23385 100 | 2 | 6 1548.56/1549.04 c 1333s | 21 | 2179751 | 1038345 | 23385 100 | 2 | 6 1550.65/1551.11 c 1335s | 21 | 2183282 | 1040045 | 23385 100 | 2 | 6 1552.65/1553.11 c 1337s | 21 | 2186136 | 1041545 | 23385 100 | 2 | 6 1554.75/1555.20 c 1339s | 21 | 2189796 | 1043145 | 23385 101 | 2 | 6 1556.75/1557.22 c 1341s | 21 | 2193771 | 1044845 | 23385 101 | 2 | 6 1558.75/1559.29 c 1343s | 21 | 2197139 | 1046545 | 23385 101 | 2 | 6 1560.85/1561.30 c 1345s | 21 | 2200711 | 1048245 | 23385 101 | 2 | 6 1562.85/1563.37 c 1348s | 21 | 2204553 | 1050045 | 23385 101 | 2 | 6 1564.95/1565.43 c 1350s | 21 | 2208240 | 1051845 | 23385 101 | 2 | 6 1567.05/1567.51 c 1352s | 21 | 2211792 | 1053545 | 23385 101 | 2 | 6 1569.05/1569.52 c 1354s | 21 | 2215014 | 1055145 | 23385 102 | 2 | 6 1571.05/1571.59 c 1356s | 21 | 2219042 | 1057145 | 23385 102 | 2 | 6 1573.14/1573.66 c 1358s | 21 | 2223151 | 1059245 | 23385 102 | 2 | 6 1575.74/1576.25 c 1360s | 21 | 2227825 | 1061445 | 23385 102 | 2 | 6 1577.84/1578.35 c 1363s | 21 | 2230472 | 1062745 | 23385 102 | 2 | 6 1579.84/1580.38 c 1365s | 21 | 2233603 | 1064245 | 23385 102 | 2 | 6 1581.94/1582.49 c 1367s | 21 | 2237063 | 1065845 | 23385 102 | 2 | 6 1584.14/1584.66 c 1369s | 21 | 2239844 | 1067245 | 23385 103 | 2 | 6 1586.24/1586.76 c 1371s | 21 | 2243844 | 1069045 | 23385 103 | 2 | 6 1588.34/1588.80 c 1373s | 21 | 2247551 | 1070745 | 23385 103 | 2 | 6 1590.35/1590.82 c 1375s | 21 | 2250699 | 1072445 | 23385 103 | 2 | 6 1592.34/1592.86 c 1377s | 21 | 2253932 | 1074045 | 23385 103 | 2 | 6 1594.34/1594.87 c 1379s | 21 | 2257406 | 1075645 | 23385 103 | 2 | 6 1596.34/1596.89 c 1381s | 21 | 2260269 | 1077145 | 23385 103 | 2 | 6 1598.54/1599.00 c 1383s | 21 | 2263434 | 1078645 | 23385 103 | 2 | 6 1600.54/1601.01 c 1385s | 21 | 2266608 | 1080145 | 23385 104 | 2 | 6 1602.64/1603.11 c 1387s | 21 | 2270298 | 1081945 | 23385 104 | 2 | 6 1604.75/1605.21 c 1389s | 21 | 2273979 | 1083745 | 23385 104 | 2 | 6 1606.74/1607.29 c 1391s | 21 | 2277921 | 1085545 | 23385 104 | 2 | 6 1608.94/1609.42 c 1394s | 21 | 2281151 | 1087245 | 23385 104 | 2 | 6 1610.94/1611.45 c 1396s | 21 | 2284623 | 1089045 | 23385 104 | 2 | 6 1613.04/1613.56 c 1398s | 21 | 2288063 | 1090745 | 23385 104 | 2 | 6 1615.13/1615.62 c 1400s | 21 | 2290145 | 1091845 | 23385 105 | 2 | 6 1617.23/1617.75 c 1402s | 21 | 2293823 | 1093545 | 23385 105 | 2 | 6 1619.23/1619.77 c 1404s | 21 | 2297169 | 1095145 | 23385 105 | 2 | 6 1621.43/1621.91 c 1406s | 21 | 2300402 | 1096745 | 23385 105 | 2 | 6 1623.44/1623.93 c 1408s | 21 | 2303401 | 1098145 | 23385 105 | 2 | 6 1625.43/1625.94 c 1410s | 21 | 2306589 | 1099545 | 23385 105 | 2 | 6 1627.43/1627.97 c 1412s | 21 | 2309499 | 1100945 | 23385 105 | 2 | 6 1629.53/1630.01 c 1414s | 21 | 2312517 | 1102345 | 23385 105 | 2 | 6 1631.53/1632.02 c 1416s | 21 | 2315236 | 1103745 | 23385 105 | 2 | 6 1633.63/1634.10 c 1418s | 21 | 2318425 | 1105245 | 23385 106 | 2 | 6 1635.63/1636.14 c 1420s | 21 | 2322013 | 1107045 | 23385 106 | 2 | 6 1637.64/1638.18 c 1422s | 21 | 2325460 | 1108845 | 23385 106 | 2 | 6 1639.63/1640.19 c 1424s | 21 | 2328893 | 1110645 | 23385 106 | 2 | 6 1641.83/1642.31 c 1427s | 21 | 2332331 | 1112445 | 23385 106 | 2 | 6 1643.83/1644.33 c 1429s | 21 | 2335535 | 1114145 | 23385 106 | 2 | 6 1645.83/1646.37 c 1431s | 21 | 2339110 | 1115945 | 23385 106 | 2 | 6 1647.83/1648.38 c 1433s | 21 | 2342730 | 1117745 | 23385 107 | 2 | 6 1649.93/1650.49 c 1435s | 21 | 2347068 | 1119945 | 23385 107 | 2 | 6 1652.03/1652.56 c 1437s | 21 | 2351272 | 1122145 | 23385 107 | 2 | 6 1654.13/1654.61 c 1439s | 21 | 2354370 | 1123545 | 23385 107 | 2 | 6 1656.13/1656.63 c 1441s | 21 | 2357305 | 1125045 | 23385 107 | 2 | 6 1658.23/1658.71 c 1443s | 21 | 2360396 | 1126545 | 23385 107 | 2 | 6 1660.23/1660.79 c 1445s | 21 | 2363453 | 1128045 | 23385 107 | 2 | 6 1662.33/1662.85 c 1447s | 21 | 2366435 | 1129545 | 23385 108 | 2 | 6 1664.33/1664.89 c 1449s | 21 | 2369752 | 1131245 | 23385 108 | 2 | 6 1666.52/1667.01 c 1451s | 21 | 2373193 | 1132945 | 23385 108 | 2 | 6 1668.53/1669.09 c 1453s | 21 | 2376576 | 1134645 | 23385 108 | 2 | 6 1670.63/1671.20 c 1455s | 21 | 2380597 | 1136445 | 23385 108 | 2 | 6 1672.72/1673.24 c 1457s | 21 | 2383997 | 1138145 | 23385 108 | 2 | 6 1674.72/1675.24 c 1459s | 21 | 2387289 | 1139745 | 23385 108 | 2 | 6 1676.72/1677.29 c 1461s | 21 | 2390736 | 1141445 | 23385 109 | 2 | 6 1678.82/1679.37 c 1464s | 21 | 2394857 | 1143345 | 23385 109 | 2 | 6 1680.92/1681.42 c 1466s | 21 | 2398981 | 1145145 | 23385 109 | 2 | 6 1682.92/1683.42 c 1468s | 21 | 2402934 | 1146945 | 23385 109 | 2 | 6 1685.03/1685.50 c 1470s | 21 | 2406880 | 1148945 | 23385 109 | 2 | 6 1687.32/1687.87 c 1472s | 21 | 2411115 | 1151045 | 23385 109 | 2 | 6 1689.52/1690.05 c 1474s | 21 | 2414035 | 1152445 | 23385 109 | 2 | 6 1691.63/1692.14 c 1476s | 21 | 2416540 | 1153845 | 23385 110 | 2 | 6 1693.62/1694.15 c 1478s | 21 | 2419864 | 1155645 | 23385 110 | 2 | 6 1695.72/1696.23 c 1480s | 21 | 2423691 | 1157445 | 23385 110 | 2 | 6 1697.72/1698.29 c 1482s | 21 | 2427114 | 1159145 | 23385 110 | 2 | 6 1699.92/1700.41 c 1485s | 21 | 2430435 | 1160845 | 23385 110 | 2 | 6 1701.92/1702.43 c 1487s | 21 | 2433802 | 1162545 | 23385 110 | 2 | 6 1703.92/1704.46 c 1489s | 21 | 2437266 | 1164145 | 23385 110 | 2 | 6 1705.93/1706.49 c 1491s | 21 | 2440330 | 1165745 | 23385 111 | 2 | 6 1708.03/1708.55 c 1493s | 21 | 2444456 | 1167645 | 23385 111 | 2 | 6 1710.02/1710.56 c 1495s | 21 | 2448230 | 1169545 | 23385 111 | 2 | 6 1712.12/1712.64 c 1497s | 21 | 2452086 | 1171445 | 23385 111 | 2 | 6 1714.12/1714.65 c 1499s | 21 | 2455786 | 1173245 | 23385 111 | 2 | 6 1716.12/1716.68 c 1501s | 21 | 2459038 | 1174945 | 23385 111 | 2 | 6 1718.22/1718.71 c 1503s | 21 | 2462909 | 1176745 | 23385 111 | 2 | 6 1720.22/1720.76 c 1505s | 21 | 2466357 | 1178645 | 23385 112 | 2 | 6 1722.32/1722.82 c 1507s | 21 | 2470788 | 1180945 | 23385 112 | 2 | 6 1724.41/1724.94 c 1509s | 21 | 2473904 | 1182345 | 23385 112 | 2 | 6 1726.51/1727.02 c 1511s | 21 | 2477128 | 1183945 | 23385 112 | 2 | 6 1728.51/1729.09 c 1513s | 21 | 2480812 | 1185545 | 23385 112 | 2 | 6 1730.61/1731.17 c 1515s | 21 | 2483678 | 1187045 | 23385 112 | 2 | 6 1732.81/1733.30 c 1517s | 21 | 2487165 | 1188745 | 23385 112 | 2 | 6 1734.81/1735.37 c 1520s | 21 | 2490164 | 1190145 | 23385 113 | 2 | 6 1736.91/1737.43 c 1522s | 21 | 2493654 | 1191845 | 23385 113 | 2 | 6 1738.92/1739.44 c 1524s | 21 | 2497355 | 1193645 | 23385 113 | 2 | 6 1740.91/1741.50 c 1526s | 21 | 2501185 | 1195445 | 23385 113 | 2 | 6 1743.01/1743.56 c 1528s | 21 | 2504484 | 1197045 | 23385 113 | 2 | 6 1745.11/1745.63 c 1530s | 21 | 2507807 | 1198745 | 23385 113 | 2 | 6 1747.21/1747.71 c 1532s | 21 | 2511410 | 1200445 | 23385 113 | 2 | 6 1749.31/1749.81 c 1534s | 21 | 2514856 | 1202245 | 23385 114 | 2 | 6 1751.31/1751.88 c 1536s | 21 | 2519137 | 1204245 | 23385 114 | 2 | 6 1753.41/1753.98 c 1538s | 21 | 2523571 | 1206345 | 23385 114 | 2 | 6 1755.51/1756.09 c 1540s | 21 | 2526863 | 1208045 | 23385 114 | 2 | 6 1757.62/1758.13 c 1542s | 21 | 2529993 | 1209545 | 23385 114 | 2 | 6 1759.72/1760.25 c 1544s | 21 | 2533311 | 1211145 | 23385 114 | 2 | 6 1761.71/1762.28 c 1546s | 21 | 2536434 | 1212845 | 23385 114 | 2 | 6 1763.81/1764.38 c 1549s | 21 | 2539443 | 1214345 | 23385 114 | 2 | 6 1765.91/1766.40 c 1551s | 21 | 2542663 | 1215945 | 23385 115 | 2 | 6 1767.91/1768.47 c 1553s | 21 | 2546143 | 1217745 | 23385 115 | 2 | 6 1769.91/1770.48 c 1555s | 21 | 2549683 | 1219445 | 23385 115 | 2 | 6 1772.01/1772.55 c 1557s | 21 | 2553511 | 1221345 | 23385 115 | 2 | 6 1774.01/1774.56 c 1559s | 21 | 2556574 | 1222945 | 23385 115 | 2 | 6 1776.11/1776.65 c 1561s | 21 | 2560066 | 1224645 | 23385 115 | 2 | 6 1778.21/1778.76 c 1563s | 21 | 2563668 | 1226445 | 23385 115 | 2 | 6 1780.31/1780.82 c 1565s | 21 | 2567116 | 1228245 | 23385 116 | 2 | 6 1782.41/1782.93 c 1567s | 21 | 2571379 | 1230345 | 23385 116 | 2 | 6 1784.51/1785.02 c 1569s | 21 | 2575022 | 1232245 | 23385 116 | 2 | 6 1786.51/1787.08 c 1571s | 21 | 2578619 | 1234145 | 23385 116 | 2 | 6 1788.71/1789.23 c 1573s | 21 | 2581998 | 1235945 | 23385 116 | 2 | 6 1790.70/1791.24 c 1575s | 21 | 2584728 | 1237245 | 23385 116 | 2 | 6 1792.81/1793.32 c 1578s | 21 | 2587751 | 1238745 | 23385 116 | 2 | 6 1794.80/1795.40 c 1580s | 21 | 2590762 | 1240245 | 23385 117 | 2 | 6 1796.91/1797.46 c 1582s | 21 | 2593972 | 1241845 | 23385 117 | 2 | 6 1799.01/1799.55 c 1584s | 21 | 2597705 | 1243645 | 23385 117 | 2 | 6
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-4080121-1465257533/watcher-4080121-1465257533 -o /tmp/evaluation-result-4080121-1465257533/solver-4080121-1465257533 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080121-1465257533.opb pid=5523 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.32 2.25 2.19 4/179 5526 /proc/meminfo: memFree=29159672/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=650684 CPUtime=0 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 2410 0 0 0 0 0 0 0 20 0 4 0 107686340 666300416 3281 33554432000 4194304 16246674 140733756767712 140733756767136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 163183 3290 441 2943 0 160077 0 [pid=5526/tid=5527] ppid=5523 vsize=667068 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 683077632 3349 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=671164 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 687271936 3365 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=675260 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 691466240 3381 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100177 s] /proc/loadavg: 2.32 2.25 2.19 4/179 5526 /proc/meminfo: memFree=29159672/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 24524 0 0 0 6 3 0 0 20 0 4 0 107686340 1247350784 25383 33554432000 4194304 16246674 140733756767712 140733756767136 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 304529 25388 742 2943 0 301423 0 [pid=5526/tid=5527] ppid=5523 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1247350784 25393 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1247350784 25397 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1247350784 25402 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200623 s] /proc/loadavg: 2.32 2.25 2.19 4/179 5526 /proc/meminfo: memFree=29159672/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1223236 CPUtime=0.19 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 32247 0 0 0 15 4 0 0 20 0 4 0 107686340 1252593664 33084 33554432000 4194304 16246674 140733756767712 140733756767024 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 305809 33099 840 2943 0 302703 0 [pid=5526/tid=5527] ppid=5523 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1252593664 33106 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1252593664 33112 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1252593664 33119 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1223236 [startup+0.507449 s] /proc/loadavg: 2.32 2.25 2.19 4/179 5526 /proc/meminfo: memFree=29159672/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1223236 CPUtime=0.49 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 119430 0 0 0 33 16 0 0 20 0 4 0 107686340 1252593664 120266 33554432000 4194304 16246674 140733756767712 140733756749632 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 305809 120274 840 2943 0 302703 0 [pid=5526/tid=5527] ppid=5523 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1252593664 120276 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1252593664 120284 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1252593664 120292 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 1223236 [startup+0.700413 s] /proc/loadavg: 2.32 2.25 2.19 4/179 5526 /proc/meminfo: memFree=29159672/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1223236 CPUtime=0.69 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 175886 0 0 0 45 24 0 0 20 0 4 0 107686340 1252593664 176722 33554432000 4194304 16246674 140733756767712 140733756749632 5723873 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 305809 176731 840 2943 0 302703 0 [pid=5526/tid=5527] ppid=5523 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1252593664 176737 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1252593664 176741 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1252593664 176748 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1223236 [startup+1.5005 s] /proc/loadavg: 2.32 2.25 2.19 3/183 5530 /proc/meminfo: memFree=28086284/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1306180 CPUtime=1.49 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 267627 0 0 0 111 38 0 0 20 0 4 0 107686340 1337528320 268463 33554432000 4194304 16246674 140733756767712 140733756749632 5823242 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 326545 268463 843 2943 0 323439 0 [pid=5526/tid=5527] ppid=5523 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1337528320 268463 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1337528320 268463 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1337528320 268463 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1306180 [startup+3.10038 s] /proc/loadavg: 2.29 2.25 2.19 3/183 5530 /proc/meminfo: memFree=28085912/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 267634 0 0 0 271 38 0 0 20 0 4 0 107686340 1338576896 268470 33554432000 4194304 16246674 140733756767712 140733756749632 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 326801 268470 843 2943 0 323695 0 [pid=5526/tid=5527] ppid=5523 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1338576896 268470 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1338576896 268470 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1338576896 268470 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30042 s] /proc/loadavg: 2.29 2.25 2.19 3/183 5530 /proc/meminfo: memFree=28086416/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 267634 0 0 0 591 38 0 0 20 0 4 0 107686340 1338576896 268470 33554432000 4194304 16246674 140733756767712 140733756749632 6022674 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 326801 268470 843 2943 0 323695 0 [pid=5526/tid=5527] ppid=5523 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1338576896 268470 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1338576896 268470 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1338576896 268470 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.25 2.24 2.19 3/183 5530 /proc/meminfo: memFree=28085464/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1307204 CPUtime=12.69 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 267887 0 0 0 1231 38 0 0 20 0 4 0 107686340 1338576896 268723 33554432000 4194304 16246674 140733756767712 140733756749568 5677061 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 326801 268723 847 2943 0 323695 0 [pid=5526/tid=5527] ppid=5523 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1338576896 268723 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1338576896 268723 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1338576896 268723 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5004 s] /proc/loadavg: 2.29 2.25 2.19 4/183 5530 /proc/meminfo: memFree=28085208/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1309252 CPUtime=25.49 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 268334 0 0 0 2511 38 0 0 20 0 4 0 107686340 1340674048 269170 33554432000 4194304 16246674 140733756767712 140733756749632 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 327313 269170 848 2943 0 324207 0 [pid=5526/tid=5527] ppid=5523 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1340674048 269170 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1340674048 269170 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1340674048 269170 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1309252 [startup+51.1004 s] /proc/loadavg: 2.26 2.24 2.19 3/183 5530 /proc/meminfo: memFree=28082060/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1311300 CPUtime=51.08 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 268912 0 0 0 5069 39 0 0 20 0 4 0 107686340 1342771200 269748 33554432000 4194304 16246674 140733756767712 140733756749632 5677884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 327825 269748 848 2943 0 324719 0 [pid=5526/tid=5527] ppid=5523 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1342771200 269748 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1342771200 269748 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1342771200 269748 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1311300 [startup+102.3 s] /proc/loadavg: 2.24 2.24 2.18 3/184 5534 /proc/meminfo: memFree=28081860/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1311300 CPUtime=102.27 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 268913 0 0 0 10188 39 0 0 20 0 4 0 107686340 1342771200 269749 33554432000 4194304 16246674 140733756767712 140733756749632 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 327825 269749 849 2943 0 324719 0 [pid=5526/tid=5527] ppid=5523 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1342771200 269749 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1342771200 269749 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1342771200 269749 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1311300 ################ # More data... # ################ /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275158 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1333828 [startup+1362.3 s] /proc/loadavg: 2.34 2.25 2.20 3/183 5637 /proc/meminfo: memFree=28069720/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1333828 CPUtime=1361.87 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 274907 0 0 0 136138 49 0 0 20 0 4 0 107686340 1365839872 275387 33554432000 4194304 16246674 140733756767712 140733756749632 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 333457 275387 849 2943 0 330351 0 [pid=5526/tid=5527] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1333828 [startup+1422.3 s] /proc/loadavg: 2.22 2.23 2.19 3/183 5638 /proc/meminfo: memFree=28069824/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1333828 CPUtime=1421.86 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 274907 0 0 0 142137 49 0 0 20 0 4 0 107686340 1365839872 275387 33554432000 4194304 16246674 140733756767712 140733756749632 5677492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 333457 275387 849 2943 0 330351 0 [pid=5526/tid=5527] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1333828 [startup+1482.3 s] /proc/loadavg: 2.24 2.23 2.19 3/183 5639 /proc/meminfo: memFree=28069952/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1333828 CPUtime=1481.86 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 274907 0 0 0 148136 50 0 0 20 0 4 0 107686340 1365839872 275387 33554432000 4194304 16246674 140733756767712 140733756749632 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 333457 275387 849 2943 0 330351 0 [pid=5526/tid=5527] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1333828 [startup+1542.3 s] /proc/loadavg: 2.18 2.22 2.18 4/183 5641 /proc/meminfo: memFree=28069480/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1333828 CPUtime=1541.85 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 274907 0 0 0 154135 50 0 0 20 0 4 0 107686340 1365839872 275387 33554432000 4194304 16246674 140733756767712 140733756750712 12483624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 333457 275387 849 2943 0 330351 0 [pid=5526/tid=5527] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1333828 [startup+1602.3 s] /proc/loadavg: 2.17 2.21 2.18 3/183 5642 /proc/meminfo: memFree=28069536/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1333828 CPUtime=1601.84 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 274907 0 0 0 160134 50 0 0 20 0 4 0 107686340 1365839872 275387 33554432000 4194304 16246674 140733756767712 140733756749632 5673777 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 333457 275387 849 2943 0 330351 0 [pid=5526/tid=5527] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1333828 [startup+1662.3 s] /proc/loadavg: 2.24 2.22 2.18 3/183 5643 /proc/meminfo: memFree=28069568/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1333828 CPUtime=1661.83 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 274907 0 0 0 166133 50 0 0 20 0 4 0 107686340 1365839872 275387 33554432000 4194304 16246674 140733756767712 140733756749632 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 333457 275387 849 2943 0 330351 0 [pid=5526/tid=5527] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1333828 [startup+1722.3 s] /proc/loadavg: 2.20 2.21 2.18 4/183 5644 /proc/meminfo: memFree=28069376/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1333828 CPUtime=1721.82 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 274907 0 0 0 172132 50 0 0 20 0 4 0 107686340 1365839872 275387 33554432000 4194304 16246674 140733756767712 140733756749632 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 333457 275387 849 2943 0 330351 0 [pid=5526/tid=5527] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1333828 [startup+1782.31 s] /proc/loadavg: 2.12 2.19 2.17 3/183 5645 /proc/meminfo: memFree=28068768/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1333828 CPUtime=1781.81 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 274907 0 0 0 178131 50 0 0 20 0 4 0 107686340 1365839872 275387 33554432000 4194304 16246674 140733756767712 140733756749632 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 333457 275387 849 2943 0 330351 0 [pid=5526/tid=5527] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1333828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.22 2.20 2.18 4/183 5646 /proc/meminfo: memFree=28069016/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1333828 CPUtime=1800.01 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 274907 0 0 0 179950 51 0 0 20 0 4 0 107686340 1365839872 275387 33554432000 4194304 16246674 140733756767712 140733756749632 12874957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 333457 275387 849 2943 0 330351 0 [pid=5526/tid=5527] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1333828 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 5526 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.22 2.20 2.18 4/183 5646 /proc/meminfo: memFree=28069016/32872528 swapFree=16384/1696552 [pid=5526] ppid=5523 vsize=1333828 CPUtime=1800.01 cores=1,3,5,7 /proc/5526/stat : 5526 (toysat) R 5523 5526 1166 0 -1 4202496 274907 0 0 0 179950 51 0 0 20 0 4 0 107686340 1365839872 275387 33554432000 4194304 16246674 140733756767712 140733756749632 12874957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 333457 275387 849 2943 0 330351 0 [pid=5526/tid=5527] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5527/stat : 5527 (toysat) S 5523 5526 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722026364144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5526/tid=5528] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5528/stat : 5528 (toysat) S 5523 5526 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139722015874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5526/tid=5529] ppid=5523 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5526/task/5529/stat : 5529 (toysat) S 5523 5526 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107686341 1365839872 275387 33554432000 4194304 16246674 140733756767712 139721929911472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1333828 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.51 CPU system time (s): 0.510922 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 1333828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.510922 maximum resident set size= 1101548 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274907 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= 374 involuntary context switches= 1960 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.872 second user time and 16.4185 second system time The end
Begin job on node125 at 2016-06-07 01:58:53 IDJOB=4080121 IDBENCH=48154 IDSOLVER=2542 FILE ID=node125/4080121-1465257533 RUNJOBID= node125-1465224138-1183 PBS_JOBID= 19843237 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080121-1465257533/watcher-4080121-1465257533 -o /tmp/evaluation-result-4080121-1465257533/solver-4080121-1465257533 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080121-1465257533.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cdb29f44159b0b72729019e0c0db0b8a RANDOM SEED=389680652 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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 : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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: 29160200 kB Buffers: 67288 kB Cached: 137004 kB SwapCached: 2016 kB Active: 1205348 kB Inactive: 103720 kB Active(anon): 1105576 kB Inactive(anon): 1380 kB Active(file): 99772 kB Inactive(file): 102340 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 16380 kB Writeback: 0 kB AnonPages: 2863716 kB Mapped: 10668 kB Shmem: 0 kB Slab: 569284 kB SReclaimable: 13348 kB SUnreclaim: 555936 kB KernelStack: 1520 kB PageTables: 9532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2944708 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2299904 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= 71712 MiB End job on node125 at 2016-06-07 02:28:53