| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_11.opb |
| MD5SUM | 5946eb43fefc6e626d35d99afd3eec42 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 74 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 75 |
| Optimality of the best value was proved | NO |
| Number of variables | 1287 |
| Total number of constraints | 2430 |
| 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 | 2430 |
| Minimum length of a constraint | 14 |
| Maximum length of a constraint | 29 |
| Number of terms in the objective function | 7 |
| Biggest coefficient in the objective function | 64 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 127 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 128 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 749 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T21:43:52+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-4079673-1465242232.opb"] 0.00/0.01 c use --random-gen="2601723709 3500134652 3430654806 3219563357 3071799897 490155416 1688032410 315910115 894392928 1834965206 2532574278 446071510 1310467927 3412336620 1453790886 3258789844 2293809303 3009305734 2126147746 1834067722 1764215110 911994456 798831638 100669164 3169736576 1135987864 267939506 1575703665 1903630454 752174396 3709218654 1897304817 1912059828 3886260202 2330022413 3158162381 2256059039 3512216345 3243462191 598472631 1903727794 1656691149 2773540071 2750187400 828643106 3961591194 1910227154 2028136175 2153619035 3940812881 3418696894 1948944305 379071021 2757421419 3029180089 3806077675 1297991801 976252339 2222843383 1882817322 2520934100 3299702450 3618790585 1193416359 1854214992 2015852009 3123237228 2642772809 1417544226 724408318 3265139498 3593648927 4208001164 4278901011 2175495740 595757165 4019670904 972117540 2169223491 1586508303 2413457219 931598619 867672396 3056083396 2235882268 1461560467 2093925177 3637144504 2370761924 633070418 2542898163 1327567467 1843920647 514456611 281315860 895199949 3334840478 1379797966 2606078079 3275860908 2579025058 1927606347 1712761090 1173147876 223086197 3695558809 1047284925 2776026715 2125203298 4250760974 3302193005 3170597982 2509524023 1630642726 943640481 2732815849 2292113657 3040348588 674417571 2007032449 2697559484 948970826 868436799 2314177600 1563016859 351349041 250279203 8643629 907898893 1690998745 2847456680 1467869328 1016786366 255989901 753705888 612846149 1236642204 1924435020 936877261 3417524463 3759884680 2639012669 3358321249 1536523815 775005171 741910988 1793101773 1433844313 2172413944 707446298 3327730364 1028290530 2326882856 1076921344 2597439314 2762055327 4066792571 1806631058 3393210943 750426148 3766843759 4263562097 1195782194 2800218879 2418644452 707546712 1434407222 1511211257 4060461673 3149892503 832732855 3699606437 3719612131 2593445863 2768189097 2999350464 634344893 1181034989 3043718808 2208581385 1956576896 3057821615 562342087 3611177228 2380780495 2634654347 2228776203 3648441639 2021613891 2244216856 71349663 1920119145 3069414970 3228723945 2798507514 3098972665 2422261360 924275661 3264241714 2657890712 553778 3366040057 2083876912 244719939 4079659045 2165849428 539352849 1690285929 1149612444 1302523434 279902202 433553344 3554399667 1080104633 2731327979 3312325529 645402365 2113838268 1479716299 1127534281 126021198 835186253 984764686 19364521 1146729901 2483732379 632304580 2390169841 3915493890 1177476198 627654728 3298795546 1488826639 2902216425 4195282067 3818336078 77880690 3274675605 760613213 2510552672 3156921785 2586117928 3291702472 3486164237 1008341691 1571979790 2702832634 834332185 4162979450 1810275694 4126554295 2679399697 97881831 2422177849 1257654188 4151041632 255 362436" option to reproduce the execution 0.09/0.14 c #vars 1287 0.09/0.14 c #constraints 2430 0.29/0.31 c BCD2: Hardening is enabled. 0.29/0.31 c BCD2: BiasedSearch is enabled. 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 1239 0 | 0 | 0 0.99/1.02 c 0.7s | 1 | 1037 | 100 | 1239 0 | 0 | 0 1.39/1.41 c 1.1s | 2 | 1293 | 250 | 1363 0 | 0 | 0 1.89/1.95 c 1.6s | 3 | 1579 | 475 | 1500 0 | 0 | 0 2.99/3.05 c 2.7s | 4 | 1994 | 813 | 1651 0 | 0 | 0 3.79/3.85 c 3.5s | 4 | 2311 | 1080 | 1817 0 | 0 | 0 3.79/3.85 c #cpu_time = 3.529s 3.79/3.85 c #wall_clock_time = 3.529s 3.79/3.85 c #decision = 2311 3.79/3.85 c #random_decision = 5 3.79/3.85 c #conflict = 1080 3.79/3.85 c #restart = 4 3.79/3.85 o 127 3.79/3.85 c BCD2: updating upper bound: 127 -> 126 3.79/3.85 c BCD2: 0 <= obj <= 126 3.79/3.85 c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=0 3.79/3.85 c BCD2: #sat=1 #unsat=1 bias=1/2 3.79/3.85 c Solving starts ... 3.79/3.85 c ============================[ Search Statistics ]============================ 3.79/3.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.79/3.85 c | | | | Limit GC | Var | Constra 3.79/3.85 c ============================================================================= 3.79/3.85 c 0.0s | 0 | 0 | 0 | 1817 0 | 0 | 0 3.79/3.89 c 0.0s | 0 | 6 | 1 | 1817 0 | 0 | 0 3.79/3.89 c #cpu_time = 0.033s 3.79/3.89 c #wall_clock_time = 0.033s 3.79/3.89 c #decision = 6 3.79/3.89 c #random_decision = 0 3.79/3.89 c #conflict = 1 3.79/3.89 c #restart = 0 3.79/3.89 c BCD2: found a new core of size 6: cost of the new core is >=2 3.79/3.89 c lower bound updated to 2 3.79/3.89 c BCD2: 2 <= obj <= 126 3.79/3.89 c BCD2: #cores=1, #unrelaxed=1, #relaxed=6, #hardened=0 3.79/3.89 c BCD2: #sat=1 #unsat=2 bias=2/3 3.79/3.89 c Solving starts ... 3.79/3.89 c ============================[ Search Statistics ]============================ 3.79/3.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.79/3.89 c | | | | Limit GC | Var | Constra 3.79/3.89 c ============================================================================= 3.79/3.89 c 0.0s | 0 | 0 | 0 | 1817 0 | 0 | 0 4.28/4.33 c 0.4s | 1 | 150 | 100 | 1817 0 | 0 | 0 4.79/4.83 c 0.9s | 2 | 394 | 250 | 1999 0 | 0 | 0 5.09/5.16 c 1.3s | 3 | 701 | 475 | 1999 0 | 0 | 0 5.69/5.79 c 1.9s | 4 | 1184 | 813 | 1999 0 | 0 | 0 6.70/6.72 c 2.8s | 5 | 1838 | 1320 | 2199 0 | 0 | 0 8.39/8.40 c 4.5s | 6 | 2887 | 2081 | 2199 1 | 0 | 0 10.49/10.58 c 6.7s | 6 | 4040 | 3081 | 2419 1 | 0 | 0 10.89/10.94 c 7.0s | 7 | 4210 | 3223 | 2419 2 | 0 | 0 12.99/13.03 c 9.1s | 7 | 5456 | 4323 | 2661 2 | 0 | 0 13.99/14.08 c 10.2s | 8 | 6154 | 4936 | 2661 3 | 0 | 0 16.09/16.17 c 12.3s | 8 | 7590 | 6136 | 2661 3 | 0 | 0 18.19/18.29 c 14.4s | 8 | 8837 | 7236 | 2928 4 | 0 | 0 18.70/18.76 c 14.9s | 9 | 9133 | 7506 | 2928 4 | 0 | 0 20.79/20.89 c 17.0s | 9 | 10323 | 8506 | 2928 5 | 0 | 0 22.89/22.97 c 19.1s | 9 | 11483 | 9506 | 2928 5 | 0 | 0 24.99/25.03 c 21.1s | 9 | 12652 | 10506 | 3221 6 | 0 | 0 26.69/26.79 c 22.9s | 10 | 13643 | 11361 | 3221 6 | 0 | 0 28.79/28.84 c 24.9s | 10 | 14727 | 12261 | 3221 7 | 0 | 0 30.79/30.87 c 27.0s | 10 | 15791 | 13161 | 3221 7 | 0 | 0 32.89/32.93 c 29.0s | 10 | 16975 | 14161 | 3221 8 | 0 | 0 34.99/35.04 c 31.1s | 10 | 18154 | 15161 | 3221 8 | 0 | 0 36.99/37.05 c 33.2s | 10 | 19340 | 16161 | 3544 9 | 0 | 0 39.09/39.18 c 35.3s | 11 | 20441 | 17144 | 3544 9 | 0 | 0 41.28/41.32 c 37.4s | 11 | 21708 | 18244 | 3544 10 | 0 | 0 43.38/43.42 c 39.5s | 11 | 22883 | 19344 | 3544 10 | 0 | 0 45.48/45.52 c 41.6s | 11 | 24114 | 20444 | 3544 11 | 0 | 0 47.58/47.69 c 43.8s | 11 | 25423 | 21644 | 3544 11 | 0 | 0 49.78/49.83 c 45.9s | 11 | 26520 | 22644 | 3544 12 | 0 | 0 51.79/51.86 c 48.0s | 11 | 27652 | 23644 | 3544 12 | 0 | 0 53.89/53.92 c 50.0s | 11 | 28789 | 24644 | 3899 13 | 0 | 0 56.09/56.12 c 52.2s | 11 | 30031 | 25744 | 3899 13 | 0 | 0 56.19/56.29 c 52.4s | 12 | 30110 | 25819 | 3899 13 | 0 | 0 58.29/58.38 c 54.5s | 12 | 31391 | 26819 | 3899 14 | 0 | 0 60.49/60.51 c 56.6s | 12 | 32572 | 27819 | 3899 14 | 0 | 0 62.48/62.52 c 58.6s | 12 | 33532 | 28619 | 3899 15 | 0 | 0 64.48/64.56 c 60.7s | 12 | 34801 | 29719 | 3899 15 | 0 | 0 66.68/66.76 c 62.9s | 12 | 35904 | 30719 | 3899 16 | 0 | 0 68.78/68.81 c 64.9s | 12 | 36950 | 31619 | 3899 16 | 0 | 0 70.78/70.84 c 66.9s | 12 | 37939 | 32519 | 3899 16 | 0 | 0 72.78/72.85 c 69.0s | 12 | 38847 | 33319 | 3899 17 | 0 | 0 74.88/74.95 c 71.1s | 12 | 39814 | 34219 | 3899 17 | 0 | 0 77.18/77.23 c 73.3s | 12 | 40778 | 35119 | 3899 18 | 0 | 0 79.28/79.36 c 75.5s | 12 | 41802 | 36019 | 3899 18 | 0 | 0 81.48/81.56 c 77.7s | 12 | 42798 | 36919 | 3899 18 | 0 | 0 83.48/83.59 c 79.7s | 12 | 43673 | 37719 | 4289 19 | 0 | 0 85.58/85.64 c 81.7s | 12 | 44683 | 38619 | 4289 19 | 0 | 0 85.98/86.09 c 82.2s | 13 | 44915 | 38832 | 4289 19 | 0 | 0 88.08/88.19 c 84.3s | 13 | 45825 | 39632 | 4289 20 | 0 | 0 90.38/90.43 c 86.5s | 13 | 46816 | 40532 | 4289 20 | 0 | 0 92.57/92.66 c 88.8s | 13 | 47796 | 41432 | 4289 20 | 0 | 0 94.68/94.79 c 90.9s | 13 | 48849 | 42332 | 4289 21 | 0 | 0 96.88/96.93 c 93.0s | 13 | 50135 | 43432 | 4289 21 | 0 | 0 98.87/98.97 c 95.1s | 13 | 51156 | 44332 | 4289 21 | 0 | 0 100.97/101.06 c 97.2s | 13 | 52287 | 45332 | 4289 22 | 0 | 0 103.17/103.27 c 99.4s | 13 | 53278 | 46232 | 4289 22 | 0 | 0 105.37/105.46 c 101s | 13 | 54419 | 47232 | 4289 23 | 0 | 0 107.47/107.52 c 103s | 13 | 55425 | 48132 | 4289 23 | 0 | 0 109.47/109.53 c 105s | 13 | 56419 | 49032 | 4289 23 | 0 | 0 111.57/111.64 c 107s | 13 | 57278 | 49832 | 4289 24 | 0 | 0 113.87/113.91 c 110s | 13 | 58322 | 50732 | 4289 24 | 0 | 0 115.87/115.96 c 112s | 13 | 59193 | 51532 | 4289 24 | 0 | 0 117.87/117.96 c 114s | 13 | 60111 | 52332 | 4289 25 | 0 | 0 119.98/120.06 c 116s | 13 | 60987 | 53132 | 4289 25 | 0 | 0 121.47/121.54 c 117s | 13 | 61707 | 53764 | 4289 25 | 0 | 0 121.47/121.54 c #cpu_time = 117.641s 121.47/121.54 c #wall_clock_time = 117.637s 121.47/121.54 c #decision = 61707 121.47/121.54 c #random_decision = 98 121.47/121.54 c #conflict = 53764 121.47/121.54 c #restart = 13 121.47/121.54 o 82 121.47/121.54 c BCD2: updating upper bound: 126 -> 81 121.47/121.54 c BCD2: 2 <= obj <= 81 121.47/121.54 c BCD2: #cores=1, #unrelaxed=1, #relaxed=6, #hardened=0 121.47/121.54 c BCD2: #sat=2 #unsat=2 bias=2/4 121.47/121.54 c Solving starts ... 121.47/121.54 c ============================[ Search Statistics ]============================ 121.47/121.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 121.47/121.54 c | | | | Limit GC | Var | Constra 121.47/121.54 c ============================================================================= 121.47/121.54 c 0.0s | 0 | 0 | 0 | 4289 0 | 0 | 0 121.77/121.84 c 0.3s | 1 | 132 | 100 | 4289 1 | 0 | 0 122.18/122.21 c 0.7s | 2 | 322 | 250 | 4289 1 | 0 | 0 122.57/122.69 c 1.2s | 3 | 584 | 475 | 4289 1 | 0 | 0 123.37/123.40 c 1.9s | 4 | 1018 | 813 | 4289 1 | 0 | 0 124.28/124.37 c 2.8s | 5 | 1610 | 1320 | 4289 1 | 0 | 0 125.97/126.05 c 4.5s | 6 | 2467 | 2081 | 4289 1 | 0 | 0 128.17/128.23 c 6.7s | 6 | 3460 | 2981 | 4289 2 | 0 | 0 128.67/128.72 c 7.2s | 7 | 3721 | 3223 | 4718 2 | 0 | 0 130.77/130.80 c 9.3s | 7 | 4846 | 4223 | 4718 2 | 0 | 0 132.27/132.31 c 10.8s | 8 | 5624 | 4936 | 4718 3 | 0 | 0 134.37/134.43 c 12.9s | 8 | 6619 | 5836 | 4718 3 | 0 | 0 136.47/136.59 c 15.0s | 8 | 7704 | 6836 | 4718 3 | 0 | 0 138.07/138.12 c 16.6s | 9 | 8400 | 7506 | 4718 4 | 0 | 0 140.27/140.31 c 18.8s | 9 | 9282 | 8306 | 4718 4 | 0 | 0 142.37/142.43 c 20.9s | 9 | 10424 | 9306 | 4718 4 | 0 | 0 144.47/144.57 c 23.0s | 9 | 11504 | 10306 | 4718 5 | 0 | 0 146.56/146.63 c 25.1s | 9 | 12553 | 11306 | 4718 5 | 0 | 0 146.76/146.81 c 25.3s | 10 | 12613 | 11361 | 4718 5 | 0 | 0 148.96/149.03 c 27.5s | 10 | 13489 | 12161 | 4718 6 | 0 | 0 151.06/151.17 c 29.6s | 10 | 14444 | 12961 | 4718 6 | 0 | 0 153.06/153.18 c 31.6s | 10 | 15333 | 13761 | 4718 6 | 0 | 0 155.17/155.25 c 33.7s | 10 | 16244 | 14561 | 4718 7 | 0 | 0 157.27/157.40 c 35.9s | 10 | 17226 | 15461 | 4718 7 | 0 | 0 159.36/159.45 c 37.9s | 10 | 18089 | 16261 | 4718 7 | 0 | 0 161.36/161.47 c 39.9s | 11 | 19057 | 17144 | 4718 8 | 0 | 0 163.36/163.47 c 41.9s | 11 | 20053 | 18044 | 4718 8 | 0 | 0 165.56/165.61 c 44.1s | 11 | 21121 | 19044 | 4718 8 | 0 | 0 167.66/167.72 c 46.2s | 11 | 22080 | 19944 | 4718 9 | 0 | 0 169.66/169.77 c 48.2s | 11 | 23034 | 20844 | 4718 9 | 0 | 0 171.86/171.99 c 50.5s | 11 | 24107 | 21844 | 4718 10 | 0 | 0 173.96/174.03 c 52.5s | 11 | 24966 | 22644 | 4718 10 | 0 | 0 176.16/176.24 c 54.7s | 11 | 25843 | 23444 | 4718 10 | 0 | 0 178.17/178.27 c 56.7s | 11 | 26718 | 24244 | 4718 10 | 0 | 0 180.37/180.44 c 58.9s | 11 | 27818 | 25244 | 4718 11 | 0 | 0 181.66/181.75 c 60.2s | 12 | 28414 | 25819 | 4718 11 | 0 | 0 183.67/183.77 c 62.2s | 12 | 29310 | 26619 | 4718 11 | 0 | 0 185.76/185.87 c 64.3s | 12 | 30363 | 27619 | 4718 12 | 0 | 0 187.86/187.95 c 66.4s | 12 | 31546 | 28719 | 4718 12 | 0 | 0 190.06/190.13 c 68.6s | 12 | 32716 | 29819 | 4718 13 | 0 | 0 192.06/192.18 c 70.6s | 12 | 33680 | 30719 | 4718 13 | 0 | 0 194.26/194.30 c 72.8s | 12 | 34654 | 31619 | 4718 13 | 0 | 0 196.36/196.43 c 74.9s | 12 | 35754 | 32619 | 5190 14 | 0 | 0 198.56/198.61 c 77.1s | 12 | 36743 | 33519 | 5190 14 | 0 | 0 200.56/200.69 c 79.1s | 12 | 37824 | 34519 | 5190 15 | 0 | 0 202.66/202.75 c 81.2s | 12 | 38758 | 35419 | 5190 15 | 0 | 0 204.86/204.91 c 83.4s | 12 | 39838 | 36419 | 5190 15 | 0 | 0 207.06/207.10 c 85.6s | 12 | 40924 | 37419 | 5190 16 | 0 | 0 209.26/209.30 c 87.8s | 12 | 41896 | 38319 | 5190 16 | 0 | 0 210.46/210.58 c 89.0s | 13 | 42454 | 38832 | 5190 16 | 0 | 0 212.16/212.29 c 90.7s | 13 | 43148 | 39456 | 5190 16 | 0 | 0 212.16/212.29 c #cpu_time = 90.746s 212.16/212.29 c #wall_clock_time = 90.742s 212.16/212.29 c #decision = 43148 212.16/212.29 c #random_decision = 149 212.16/212.29 c #conflict = 39456 212.16/212.29 c #restart = 13 212.16/212.29 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 7: cost of the new core is >=3 212.16/212.29 c lower bound updated to 3 212.16/212.29 c BCD2: 3 <= obj <= 81 212.16/212.29 c BCD2: #cores=1, #unrelaxed=0, #relaxed=7, #hardened=0 212.16/212.29 c BCD2: #sat=2 #unsat=3 bias=3/5 212.16/212.29 c Solving starts ... 212.16/212.29 c ============================[ Search Statistics ]============================ 212.16/212.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 212.16/212.29 c | | | | Limit GC | Var | Constra 212.16/212.29 c ============================================================================= 212.16/212.29 c 0.0s | 0 | 0 | 0 | 5190 0 | 2 | 0 212.46/212.55 c 0.3s | 1 | 127 | 100 | 5190 0 | 2 | 3 212.96/213.06 c 0.8s | 2 | 305 | 250 | 5190 0 | 2 | 3 213.37/213.50 c 1.2s | 3 | 559 | 475 | 5190 0 | 2 | 3 214.06/214.14 c 1.9s | 4 | 954 | 813 | 5190 0 | 2 | 3 215.06/215.18 c 2.9s | 5 | 1510 | 1320 | 5190 1 | 2 | 3 216.56/216.67 c 4.4s | 6 | 2351 | 2081 | 5190 1 | 2 | 3 218.66/218.77 c 6.5s | 6 | 3552 | 3181 | 5190 1 | 2 | 3 218.76/218.86 c 6.6s | 7 | 3599 | 3223 | 5190 1 | 2 | 3 220.86/220.90 c 8.6s | 7 | 4821 | 4323 | 5190 2 | 2 | 3 221.96/222.05 c 9.8s | 8 | 5512 | 4936 | 5190 2 | 2 | 3 224.06/224.10 c 11.8s | 8 | 6640 | 5936 | 5190 2 | 2 | 3 226.16/226.24 c 14.0s | 8 | 7823 | 7036 | 5190 3 | 2 | 3 226.96/227.03 c 14.7s | 9 | 8347 | 7506 | 5190 3 | 2 | 3 229.16/229.24 c 17.0s | 9 | 9421 | 8406 | 5190 3 | 2 | 3 231.16/231.26 c 19.0s | 9 | 10295 | 9206 | 5190 4 | 2 | 3 233.46/233.51 c 21.2s | 9 | 11268 | 10106 | 5190 4 | 2 | 3 235.66/235.71 c 23.4s | 9 | 12272 | 11006 | 5190 4 | 2 | 3 236.56/236.61 c 24.3s | 10 | 12683 | 11361 | 5190 4 | 2 | 3 238.66/238.71 c 26.4s | 10 | 13706 | 12261 | 5190 5 | 2 | 3 240.76/240.89 c 28.6s | 10 | 14890 | 13361 | 5190 5 | 2 | 3 242.86/242.93 c 30.6s | 10 | 15851 | 14261 | 5190 5 | 2 | 3 244.85/244.93 c 32.6s | 10 | 16855 | 15161 | 5190 6 | 2 | 3 246.85/246.96 c 34.7s | 10 | 18057 | 16261 | 5190 6 | 2 | 3 248.66/248.71 c 36.4s | 11 | 19044 | 17144 | 5190 7 | 2 | 3 250.76/250.90 c 38.6s | 11 | 20120 | 18144 | 5190 7 | 2 | 3 253.06/253.12 c 40.8s | 11 | 21072 | 19044 | 5190 7 | 2 | 3 255.05/255.12 c 42.8s | 11 | 22083 | 19944 | 5190 8 | 2 | 3 257.05/257.14 c 44.9s | 11 | 23134 | 20844 | 5190 8 | 2 | 3 259.05/259.20 c 46.9s | 11 | 23980 | 21644 | 5190 8 | 2 | 3 261.45/261.55 c 49.3s | 11 | 24879 | 22444 | 5190 9 | 2 | 3 263.75/263.80 c 51.5s | 11 | 25869 | 23344 | 5190 9 | 2 | 3 265.85/265.91 c 53.6s | 11 | 26742 | 24144 | 5190 9 | 2 | 3 267.95/268.02 c 55.7s | 11 | 27627 | 24944 | 5190 9 | 2 | 3 269.75/269.87 c 57.6s | 12 | 28551 | 25819 | 5190 10 | 2 | 3 271.95/272.01 c 59.7s | 12 | 29457 | 26619 | 5190 10 | 2 | 3 274.05/274.16 c 61.9s | 12 | 30441 | 27519 | 5190 10 | 2 | 3 276.06/276.19 c 63.9s | 12 | 31298 | 28319 | 5190 11 | 2 | 3 278.25/278.33 c 66.0s | 12 | 32166 | 29119 | 5190 11 | 2 | 3 280.35/280.43 c 68.1s | 12 | 33153 | 30019 | 5190 11 | 2 | 3 282.45/282.51 c 70.2s | 12 | 33924 | 30719 | 5190 12 | 2 | 3 284.45/284.57 c 72.3s | 12 | 34908 | 31619 | 5190 12 | 2 | 3 286.65/286.74 c 74.5s | 12 | 36068 | 32719 | 5190 12 | 2 | 3 288.85/288.91 c 76.6s | 12 | 37232 | 33819 | 5190 13 | 2 | 3 290.85/290.96 c 78.7s | 12 | 38197 | 34719 | 5190 13 | 2 | 3 292.95/293.00 c 80.7s | 12 | 39184 | 35619 | 5190 13 | 2 | 3 294.95/295.03 c 82.7s | 12 | 40064 | 36419 | 5710 14 | 2 | 3 296.95/297.05 c 84.8s | 12 | 41019 | 37319 | 5710 14 | 2 | 3 299.15/299.23 c 86.9s | 12 | 42098 | 38319 | 5710 14 | 2 | 3 300.25/300.38 c 88.1s | 13 | 42630 | 38832 | 5710 14 | 2 | 3 302.45/302.53 c 90.2s | 13 | 43492 | 39632 | 5710 15 | 2 | 3 304.65/304.75 c 92.5s | 13 | 44707 | 40732 | 5710 15 | 2 | 3 306.64/306.77 c 94.5s | 13 | 45569 | 41532 | 5710 15 | 2 | 3 308.64/308.78 c 96.5s | 13 | 46770 | 42632 | 5710 16 | 2 | 3 310.84/310.93 c 98.6s | 13 | 47940 | 43732 | 5710 16 | 2 | 3 312.94/313.02 c 100s | 13 | 49005 | 44732 | 5710 16 | 2 | 3 315.04/315.16 c 102s | 13 | 49934 | 45532 | 5710 17 | 2 | 3 317.14/317.29 c 105s | 13 | 51043 | 46532 | 5710 17 | 2 | 3 319.34/319.48 c 107s | 13 | 52218 | 47632 | 5710 17 | 2 | 3 321.54/321.65 c 109s | 13 | 53219 | 48532 | 5710 18 | 2 | 3 323.54/323.66 c 111s | 13 | 54041 | 49232 | 5710 18 | 2 | 3 325.84/325.93 c 113s | 13 | 55034 | 50132 | 5710 18 | 2 | 3 327.85/327.94 c 115s | 13 | 55914 | 50932 | 5710 18 | 2 | 3 330.05/330.17 c 117s | 13 | 56809 | 51732 | 5710 19 | 2 | 3 332.25/332.34 c 120s | 13 | 57686 | 52532 | 5710 19 | 2 | 3 334.35/334.42 c 122s | 13 | 58649 | 53432 | 5710 19 | 2 | 3 336.54/336.69 c 124s | 13 | 59549 | 54232 | 5710 20 | 2 | 3 338.74/338.85 c 126s | 13 | 60538 | 55132 | 5710 20 | 2 | 3 340.84/340.91 c 128s | 13 | 61500 | 56032 | 5710 20 | 2 | 3 342.94/343.06 c 130s | 13 | 62595 | 57032 | 5710 21 | 2 | 3 345.04/345.19 c 132s | 13 | 63706 | 58032 | 5710 21 | 2 | 3 345.84/345.96 c 133s | 14 | 64056 | 58352 | 5710 21 | 2 | 3 347.84/347.99 c 135s | 14 | 64984 | 59152 | 5710 21 | 2 | 3 349.93/350.03 c 137s | 14 | 66095 | 60152 | 5710 21 | 2 | 3 351.94/352.07 c 139s | 14 | 67251 | 61252 | 5710 22 | 2 | 3 354.14/354.26 c 141s | 14 | 68424 | 62352 | 5710 22 | 2 | 3 356.34/356.41 c 144s | 14 | 69617 | 63452 | 5710 23 | 2 | 3 358.33/358.41 c 146s | 14 | 70672 | 64452 | 5710 23 | 2 | 3 360.33/360.41 c 148s | 14 | 71758 | 65452 | 5710 23 | 2 | 3 362.33/362.47 c 150s | 14 | 72719 | 66352 | 5710 24 | 2 | 3 364.53/364.63 c 152s | 14 | 73791 | 67352 | 5710 24 | 2 | 3 366.73/366.80 c 154s | 14 | 74759 | 68252 | 5710 24 | 2 | 3 368.83/368.99 c 156s | 14 | 75835 | 69252 | 5710 25 | 2 | 3 371.03/371.13 c 158s | 14 | 76925 | 70252 | 5710 25 | 2 | 3 373.13/373.29 c 161s | 14 | 77881 | 71152 | 5710 25 | 2 | 3 375.23/375.35 c 163s | 14 | 78829 | 72052 | 5710 25 | 2 | 3 377.33/377.43 c 165s | 14 | 79985 | 73152 | 5710 26 | 2 | 3 379.33/379.45 c 167s | 14 | 81166 | 74252 | 5710 26 | 2 | 3 381.33/381.48 c 169s | 14 | 82135 | 75152 | 5710 27 | 2 | 3 383.42/383.52 c 171s | 14 | 83188 | 76152 | 5710 27 | 2 | 3 385.52/385.60 c 173s | 14 | 84337 | 77252 | 5710 27 | 2 | 3 387.72/387.83 c 175s | 14 | 85535 | 78352 | 5710 28 | 2 | 3 389.72/389.86 c 177s | 14 | 86645 | 79352 | 5710 28 | 2 | 3 391.92/392.06 c 179s | 14 | 87763 | 80352 | 5710 28 | 2 | 3 394.01/394.18 c 181s | 14 | 88957 | 81452 | 5710 29 | 2 | 3 396.11/396.21 c 183s | 14 | 90055 | 82452 | 5710 29 | 2 | 3 398.31/398.40 c 186s | 14 | 91237 | 83552 | 5710 29 | 2 | 3 400.32/400.42 c 188s | 14 | 92438 | 84652 | 5710 30 | 2 | 3 402.41/402.57 c 190s | 14 | 93847 | 85952 | 5710 30 | 2 | 3 404.61/404.72 c 192s | 14 | 95170 | 87152 | 5710 31 | 2 | 3 405.41/405.57 c 193s | 15 | 95691 | 87632 | 5710 31 | 2 | 3 407.61/407.70 c 195s | 15 | 96836 | 88632 | 5710 31 | 2 | 3 409.61/409.79 c 197s | 15 | 98034 | 89732 | 5710 32 | 2 | 3 411.71/411.87 c 199s | 15 | 99205 | 90832 | 5710 32 | 2 | 3 413.81/413.93 c 201s | 15 | 100216 | 91732 | 5710 32 | 2 | 3 416.01/416.17 c 203s | 15 | 101315 | 92732 | 5710 33 | 2 | 3 418.21/418.32 c 206s | 15 | 102574 | 93832 | 5710 33 | 2 | 3 420.31/420.41 c 208s | 15 | 103778 | 94932 | 5710 33 | 2 | 3 422.31/422.49 c 210s | 15 | 104996 | 96032 | 5710 34 | 2 | 3 424.40/424.55 c 212s | 15 | 106095 | 97032 | 5710 34 | 2 | 3 426.50/426.61 c 214s | 15 | 107218 | 98032 | 5710 34 | 2 | 3 428.60/428.72 c 216s | 15 | 108242 | 98932 | 5710 35 | 2 | 3 430.70/430.88 c 218s | 15 | 109446 | 100032 | 5710 35 | 2 | 3 432.80/432.93 c 220s | 15 | 110615 | 101132 | 5710 35 | 2 | 3 434.90/435.04 c 222s | 15 | 111675 | 102132 | 6282 35 | 2 | 3 437.00/437.13 c 224s | 15 | 112647 | 103032 | 6282 36 | 2 | 3 439.10/439.24 c 226s | 15 | 113607 | 103932 | 6282 36 | 2 | 3 441.30/441.47 c 229s | 15 | 114629 | 104832 | 6282 36 | 2 | 3 443.50/443.64 c 231s | 15 | 115714 | 105832 | 6282 36 | 2 | 3 445.50/445.66 c 233s | 15 | 116867 | 106932 | 6282 37 | 2 | 3 447.60/447.77 c 235s | 15 | 117844 | 107832 | 6282 37 | 2 | 3 449.60/449.79 c 237s | 15 | 118804 | 108732 | 6282 37 | 2 | 3 451.70/451.80 c 239s | 15 | 119683 | 109532 | 6282 38 | 2 | 3 453.79/453.92 c 241s | 15 | 120561 | 110332 | 6282 38 | 2 | 3 455.79/455.97 c 243s | 15 | 121422 | 111132 | 6282 38 | 2 | 3 457.99/458.11 c 245s | 15 | 122491 | 112132 | 6282 38 | 2 | 3 460.09/460.27 c 247s | 15 | 123574 | 113132 | 6282 39 | 2 | 3 462.29/462.46 c 250s | 15 | 124749 | 114232 | 6282 39 | 2 | 3 464.39/464.55 c 252s | 15 | 125685 | 115132 | 6282 39 | 2 | 3 466.59/466.79 c 254s | 15 | 126645 | 116032 | 6282 40 | 2 | 3 468.69/468.81 c 256s | 15 | 127551 | 116832 | 6282 40 | 2 | 3 470.70/470.87 c 258s | 15 | 128507 | 117732 | 6282 40 | 2 | 3 472.78/472.97 c 260s | 15 | 129368 | 118532 | 6282 40 | 2 | 3 474.88/475.05 c 262s | 15 | 130234 | 119332 | 6282 41 | 2 | 3 476.98/477.13 c 264s | 15 | 131210 | 120232 | 6282 41 | 2 | 3 479.18/479.31 c 267s | 15 | 132185 | 121132 | 6282 41 | 2 | 3 481.18/481.36 c 269s | 15 | 133058 | 121932 | 6282 41 | 2 | 3 483.28/483.48 c 271s | 15 | 134160 | 122932 | 6282 42 | 2 | 3 485.48/485.66 c 273s | 15 | 135249 | 123932 | 6282 42 | 2 | 3 487.68/487.80 c 275s | 15 | 136231 | 124832 | 6282 42 | 2 | 3 489.68/489.83 c 277s | 15 | 137211 | 125732 | 6282 43 | 2 | 3 491.88/492.00 c 279s | 15 | 138316 | 126732 | 6282 43 | 2 | 3 493.89/494.04 c 281s | 15 | 139620 | 127932 | 6282 43 | 2 | 3 495.88/496.08 c 283s | 15 | 140691 | 128932 | 6282 43 | 2 | 3 497.98/498.14 c 285s | 15 | 141868 | 130032 | 6282 44 | 2 | 3 500.08/500.22 c 287s | 15 | 143158 | 131232 | 6282 44 | 2 | 3 500.68/500.80 c 288s | 16 | 143520 | 131552 | 6282 44 | 2 | 3 502.78/502.99 c 290s | 16 | 144758 | 132652 | 6282 45 | 2 | 3 504.79/504.99 c 292s | 16 | 145853 | 133652 | 6282 45 | 2 | 3 506.88/507.01 c 294s | 16 | 146933 | 134652 | 6282 45 | 2 | 3 508.88/509.05 c 296s | 16 | 147892 | 135552 | 6282 46 | 2 | 3 511.08/511.21 c 298s | 16 | 149137 | 136652 | 6282 46 | 2 | 3 513.17/513.39 c 301s | 16 | 150300 | 137752 | 6282 46 | 2 | 3 515.27/515.46 c 303s | 16 | 151426 | 138752 | 6282 46 | 2 | 3 517.37/517.51 c 305s | 16 | 152516 | 139752 | 6282 47 | 2 | 3 519.37/519.59 c 307s | 16 | 153915 | 141052 | 6282 47 | 2 | 3 521.57/521.72 c 309s | 16 | 155309 | 142352 | 6282 47 | 2 | 3 523.67/523.89 c 311s | 16 | 156458 | 143452 | 6282 48 | 2 | 3 525.87/526.04 c 313s | 16 | 157633 | 144552 | 6282 48 | 2 | 3 528.07/528.20 c 315s | 16 | 158791 | 145652 | 6282 48 | 2 | 3 530.18/530.38 c 318s | 16 | 159986 | 146752 | 6282 49 | 2 | 3 532.37/532.53 c 320s | 16 | 161162 | 147852 | 6282 49 | 2 | 3 534.37/534.59 c 322s | 16 | 162363 | 148952 | 6282 50 | 2 | 3 536.57/536.76 c 324s | 16 | 163552 | 150052 | 6282 50 | 2 | 3 538.77/538.90 c 326s | 16 | 164543 | 150952 | 6282 50 | 2 | 3 540.76/540.94 c 328s | 16 | 165559 | 151852 | 6282 50 | 2 | 3 542.96/543.16 c 330s | 16 | 166543 | 152752 | 6282 51 | 2 | 3 545.26/545.40 c 333s | 16 | 167544 | 153652 | 6282 51 | 2 | 3 547.26/547.49 c 335s | 16 | 168518 | 154552 | 6282 51 | 2 | 3 549.36/549.50 c 337s | 16 | 169398 | 155352 | 6282 52 | 2 | 3 551.36/551.54 c 339s | 16 | 170385 | 156252 | 6282 52 | 2 | 3 553.46/553.63 c 341s | 16 | 171272 | 157052 | 6282 52 | 2 | 3 555.66/555.87 c 343s | 16 | 172271 | 157952 | 6282 52 | 2 | 3 557.86/558.00 c 345s | 16 | 173244 | 158852 | 6282 53 | 2 | 3 560.06/560.20 c 347s | 16 | 174270 | 159752 | 6282 53 | 2 | 3 562.26/562.47 c 350s | 16 | 175145 | 160552 | 6282 53 | 2 | 3 564.26/564.50 c 352s | 16 | 176045 | 161352 | 6282 53 | 2 | 3 566.46/566.65 c 354s | 16 | 176997 | 162252 | 6282 54 | 2 | 3 568.56/568.71 c 356s | 16 | 177864 | 163052 | 6282 54 | 2 | 3 570.55/570.74 c 358s | 16 | 178757 | 163852 | 6282 54 | 2 | 3 572.55/572.78 c 360s | 16 | 179743 | 164752 | 6282 54 | 2 | 3 574.64/574.81 c 362s | 16 | 180619 | 165552 | 6282 55 | 2 | 3 576.64/576.89 c 364s | 16 | 181513 | 166352 | 6282 55 | 2 | 3 578.74/578.99 c 366s | 16 | 182636 | 167352 | 6282 55 | 2 | 3 580.94/581.15 c 368s | 16 | 183623 | 168252 | 6282 56 | 2 | 3 583.24/583.41 c 371s | 16 | 184669 | 169252 | 6282 56 | 2 | 3 585.34/585.57 c 373s | 16 | 185632 | 170152 | 6282 56 | 2 | 3 587.64/587.82 c 375s | 16 | 186503 | 170952 | 6282 56 | 2 | 3 589.74/589.98 c 377s | 16 | 187374 | 171752 | 6282 57 | 2 | 3 591.94/592.10 c 379s | 16 | 188342 | 172652 | 6282 57 | 2 | 3 594.03/594.23 c 381s | 16 | 189394 | 173652 | 6282 57 | 2 | 3 596.04/596.25 c 383s | 16 | 190383 | 174552 | 6282 58 | 2 | 3 598.13/598.38 c 386s | 16 | 191479 | 175552 | 6282 58 | 2 | 3 600.23/600.49 c 388s | 16 | 192556 | 176552 | 6282 58 | 2 | 3 602.43/602.69 c 390s | 16 | 193567 | 177452 | 6282 58 | 2 | 3 604.63/604.82 c 392s | 16 | 194589 | 178352 | 6282 59 | 2 | 3 606.73/606.90 c 394s | 16 | 195679 | 179352 | 6282 59 | 2 | 3 608.83/609.05 c 396s | 16 | 196750 | 180352 | 6282 59 | 2 | 3 611.03/611.27 c 398s | 16 | 197689 | 181252 | 6282 60 | 2 | 3 613.23/613.47 c 401s | 16 | 198826 | 182252 | 6282 60 | 2 | 3 615.53/615.71 c 403s | 16 | 199949 | 183252 | 6282 60 | 2 | 3 617.53/617.71 c 405s | 16 | 200866 | 184052 | 6282 60 | 2 | 3 619.53/619.79 c 407s | 16 | 201897 | 184952 | 6282 61 | 2 | 3 621.63/621.84 c 409s | 16 | 202908 | 185852 | 6282 61 | 2 | 3 623.72/623.95 c 411s | 16 | 203780 | 186652 | 6282 61 | 2 | 3 625.83/626.03 c 413s | 16 | 204771 | 187552 | 6282 62 | 2 | 3 627.82/628.07 c 415s | 16 | 205851 | 188552 | 6282 62 | 2 | 3 630.02/630.28 c 417s | 16 | 206978 | 189552 | 6282 62 | 2 | 3 632.22/632.45 c 420s | 16 | 207959 | 190452 | 6282 62 | 2 | 3 634.42/634.65 c 422s | 16 | 208958 | 191352 | 6282 63 | 2 | 3 636.62/636.82 c 424s | 16 | 209966 | 192252 | 6282 63 | 2 | 3 638.71/638.94 c 426s | 16 | 210985 | 193152 | 6282 63 | 2 | 3 640.71/640.99 c 428s | 16 | 211956 | 194052 | 6282 64 | 2 | 3 642.81/643.02 c 430s | 16 | 213011 | 195052 | 6282 64 | 2 | 3 644.81/645.06 c 432s | 16 | 214092 | 196052 | 6282 64 | 2 | 3 646.81/647.07 c 434s | 16 | 215103 | 196952 | 6282 64 | 2 | 3 647.82/648.07 c 435s | 17 | 215601 | 197432 | 6282 65 | 2 | 3 650.02/650.21 c 437s | 17 | 216718 | 198432 | 6282 65 | 2 | 3 652.01/652.24 c 439s | 17 | 217734 | 199332 | 6282 65 | 2 | 3 654.20/654.44 c 442s | 17 | 218846 | 200332 | 6911 65 | 2 | 3 656.30/656.56 c 444s | 17 | 219865 | 201232 | 6911 66 | 2 | 3 658.40/658.61 c 446s | 17 | 220973 | 202232 | 6911 66 | 2 | 3 660.40/660.62 c 448s | 17 | 222089 | 203232 | 6911 66 | 2 | 3 662.40/662.67 c 450s | 17 | 223217 | 204232 | 6911 66 | 2 | 3 664.50/664.76 c 452s | 17 | 224302 | 205232 | 6911 67 | 2 | 3 666.60/666.88 c 454s | 17 | 225583 | 206432 | 6911 67 | 2 | 3 668.80/669.03 c 456s | 17 | 226699 | 207432 | 6911 67 | 2 | 3 670.90/671.10 c 458s | 17 | 227796 | 208432 | 6911 68 | 2 | 3 672.89/673.14 c 460s | 17 | 228909 | 209432 | 6911 68 | 2 | 3 674.89/675.16 c 462s | 17 | 230025 | 210432 | 6911 68 | 2 | 3 677.09/677.31 c 465s | 17 | 231218 | 211532 | 6911 68 | 2 | 3 679.09/679.38 c 467s | 17 | 232292 | 212532 | 6911 69 | 2 | 3 681.29/681.51 c 469s | 17 | 233494 | 213632 | 6911 69 | 2 | 3 683.39/683.68 c 471s | 17 | 234618 | 214632 | 6911 69 | 2 | 3 685.49/685.72 c 473s | 17 | 235810 | 215632 | 6911 70 | 2 | 3 687.58/687.82 c 475s | 17 | 236941 | 216632 | 6911 70 | 2 | 3 689.59/689.87 c 477s | 17 | 238061 | 217632 | 6911 70 | 2 | 3 691.79/692.02 c 479s | 17 | 239161 | 218632 | 6911 70 | 2 | 3 693.89/694.16 c 481s | 17 | 240257 | 219632 | 6911 71 | 2 | 3 695.98/696.26 c 483s | 17 | 241449 | 220732 | 6911 71 | 2 | 3 698.29/698.51 c 486s | 17 | 242632 | 221832 | 6911 71 | 2 | 3 700.28/700.54 c 488s | 17 | 243624 | 222732 | 6911 72 | 2 | 3 702.28/702.57 c 490s | 17 | 244843 | 223832 | 6911 72 | 2 | 3 704.48/704.71 c 492s | 17 | 245959 | 224832 | 6911 72 | 2 | 3 706.58/706.86 c 494s | 17 | 246998 | 225732 | 6911 72 | 2 | 3 708.68/708.94 c 496s | 17 | 248028 | 226632 | 6911 73 | 2 | 3 710.78/711.09 c 498s | 17 | 249157 | 227632 | 6911 73 | 2 | 3 712.98/713.26 c 500s | 17 | 250132 | 228532 | 6911 73 | 2 | 3 715.08/715.39 c 503s | 17 | 251210 | 229532 | 6911 73 | 2 | 3 717.28/717.50 c 505s | 17 | 252303 | 230532 | 6911 74 | 2 | 3 719.38/719.68 c 507s | 17 | 253503 | 231632 | 6911 74 | 2 | 3 721.58/721.86 c 509s | 17 | 254649 | 232632 | 6911 74 | 2 | 3 723.68/723.96 c 511s | 17 | 255792 | 233732 | 6911 75 | 2 | 3 725.78/726.04 c 513s | 17 | 256943 | 234832 | 6911 75 | 2 | 3 727.98/728.22 c 515s | 17 | 258105 | 235932 | 6911 75 | 2 | 3 729.97/730.28 c 517s | 17 | 259167 | 236932 | 6911 75 | 2 | 3 732.07/732.35 c 520s | 17 | 260358 | 238032 | 6911 76 | 2 | 3 734.17/734.45 c 522s | 17 | 261543 | 239132 | 6911 76 | 2 | 3 736.37/736.62 c 524s | 17 | 262723 | 240232 | 6911 76 | 2 | 3 738.37/738.63 c 526s | 17 | 263705 | 241132 | 6911 77 | 2 | 3 740.47/740.75 c 528s | 17 | 264803 | 242132 | 6911 77 | 2 | 3 742.47/742.75 c 530s | 17 | 265794 | 243032 | 6911 77 | 2 | 3 744.58/744.88 c 532s | 17 | 266783 | 243932 | 6911 77 | 2 | 3 746.68/746.92 c 534s | 17 | 267768 | 244832 | 6911 78 | 2 | 3 748.67/748.93 c 536s | 17 | 268702 | 245732 | 6911 78 | 2 | 3 750.87/751.18 c 538s | 17 | 269753 | 246632 | 6911 78 | 2 | 3 752.97/753.21 c 540s | 17 | 270919 | 247732 | 6911 78 | 2 | 3 754.97/755.28 c 542s | 17 | 272062 | 248732 | 6911 79 | 2 | 3 757.06/757.32 c 545s | 17 | 273174 | 249732 | 6911 79 | 2 | 3 759.16/759.40 c 547s | 17 | 274367 | 250832 | 6911 79 | 2 | 3 761.36/761.61 c 549s | 17 | 275574 | 251932 | 6911 80 | 2 | 3 763.46/763.73 c 551s | 17 | 276678 | 252932 | 6911 80 | 2 | 3 765.47/765.77 c 553s | 17 | 277780 | 253932 | 6911 80 | 2 | 3 767.67/767.93 c 555s | 17 | 278876 | 254932 | 6911 81 | 2 | 3 769.66/769.97 c 557s | 17 | 279984 | 255932 | 6911 81 | 2 | 3 771.86/772.14 c 559s | 17 | 280935 | 256832 | 6911 81 | 2 | 3 774.05/774.30 c 562s | 17 | 281943 | 257732 | 6911 81 | 2 | 3 776.15/776.50 c 564s | 17 | 282931 | 258632 | 6911 82 | 2 | 3 778.25/778.50 c 566s | 17 | 284026 | 259632 | 6911 82 | 2 | 3 780.25/780.56 c 568s | 17 | 285152 | 260632 | 6911 82 | 2 | 3 782.45/782.79 c 570s | 17 | 286328 | 261732 | 6911 82 | 2 | 3 784.55/784.87 c 572s | 17 | 287316 | 262632 | 6911 83 | 2 | 3 786.65/786.98 c 574s | 17 | 288361 | 263532 | 6911 83 | 2 | 3 788.85/789.10 c 576s | 17 | 289452 | 264532 | 6911 83 | 2 | 3 790.85/791.15 c 578s | 17 | 290543 | 265532 | 6911 83 | 2 | 3 792.85/793.17 c 580s | 17 | 291544 | 266432 | 6911 84 | 2 | 3 794.94/795.24 c 582s | 17 | 292513 | 267332 | 6911 84 | 2 | 3 797.04/797.35 c 585s | 17 | 293707 | 268432 | 6911 84 | 2 | 3 799.34/799.60 c 587s | 17 | 294782 | 269432 | 6911 85 | 2 | 3 801.34/801.63 c 589s | 17 | 295810 | 270332 | 6911 85 | 2 | 3 803.33/803.68 c 591s | 17 | 296696 | 271132 | 6911 85 | 2 | 3 805.43/805.74 c 593s | 17 | 297678 | 272032 | 6911 85 | 2 | 3 807.53/807.80 c 595s | 17 | 298861 | 273132 | 6911 86 | 2 | 3 809.63/809.92 c 597s | 17 | 300176 | 274332 | 6911 86 | 2 | 3 811.83/812.12 c 599s | 17 | 301483 | 275532 | 6911 86 | 2 | 3 813.93/814.29 c 601s | 17 | 302551 | 276532 | 6911 87 | 2 | 3 816.04/816.34 c 604s | 17 | 303601 | 277532 | 6911 87 | 2 | 3 818.23/818.56 c 606s | 17 | 304687 | 278532 | 6911 87 | 2 | 3 820.33/820.68 c 608s | 17 | 305671 | 279432 | 6911 87 | 2 | 3 822.53/822.82 c 610s | 17 | 306754 | 280432 | 6911 88 | 2 | 3 824.63/824.90 c 612s | 17 | 307820 | 281432 | 6911 88 | 2 | 3 826.73/827.01 c 614s | 17 | 309100 | 282532 | 6911 88 | 2 | 3 828.73/829.02 c 616s | 17 | 310184 | 283432 | 6911 89 | 2 | 3 830.93/831.20 c 618s | 17 | 311420 | 284532 | 6911 89 | 2 | 3 832.92/833.29 c 621s | 17 | 312435 | 285432 | 6911 89 | 2 | 3 835.12/835.47 c 623s | 17 | 313751 | 286632 | 6911 90 | 2 | 3 837.22/837.58 c 625s | 17 | 314896 | 287632 | 6911 90 | 2 | 3 839.42/839.72 c 627s | 17 | 316118 | 288732 | 6911 90 | 2 | 3 841.52/841.85 c 629s | 17 | 317336 | 289832 | 6911 90 | 2 | 3 843.72/844.01 c 631s | 17 | 318677 | 291032 | 6911 91 | 2 | 3 845.72/846.01 c 633s | 17 | 319873 | 292132 | 6911 91 | 2 | 3 847.82/848.16 c 635s | 17 | 320966 | 293132 | 6911 91 | 2 | 3 849.92/850.29 c 637s | 17 | 322267 | 294332 | 6911 92 | 2 | 3 852.02/852.30 c 640s | 17 | 323472 | 295432 | 6911 92 | 2 | 3 853.42/853.77 c 641s | 18 | 324328 | 296252 | 6911 92 | 2 | 3 855.62/855.95 c 643s | 18 | 325603 | 297352 | 6911 92 | 2 | 3 857.82/858.13 c 645s | 18 | 326816 | 298452 | 6911 93 | 2 | 3 859.92/860.27 c 647s | 18 | 328048 | 299552 | 6911 93 | 2 | 3 862.01/862.40 c 650s | 18 | 329183 | 300552 | 6911 93 | 2 | 3 864.32/864.62 c 652s | 18 | 330344 | 301552 | 6911 94 | 2 | 3 866.41/866.76 c 654s | 18 | 331520 | 302652 | 6911 94 | 2 | 3 868.51/868.89 c 656s | 18 | 332711 | 303752 | 6911 94 | 2 | 3 870.61/870.97 c 658s | 18 | 333785 | 304752 | 6911 95 | 2 | 3 872.60/872.98 c 660s | 18 | 334860 | 305752 | 6911 95 | 2 | 3 874.80/875.16 c 662s | 18 | 336123 | 306852 | 6911 95 | 2 | 3 876.90/877.26 c 664s | 18 | 337200 | 307852 | 6911 95 | 2 | 3 879.10/879.44 c 667s | 18 | 338266 | 308852 | 6911 96 | 2 | 3 881.10/881.49 c 669s | 18 | 339275 | 309752 | 6911 96 | 2 | 3 883.30/883.61 c 671s | 18 | 340358 | 310752 | 6911 96 | 2 | 3 885.40/885.75 c 673s | 18 | 341328 | 311652 | 6911 96 | 2 | 3 887.41/887.77 c 675s | 18 | 342307 | 312552 | 6911 97 | 2 | 3 889.50/889.81 c 677s | 18 | 343291 | 313452 | 6911 97 | 2 | 3 891.70/892.02 c 679s | 18 | 344281 | 314352 | 6911 97 | 2 | 3 893.80/894.11 c 681s | 18 | 345237 | 315252 | 6911 98 | 2 | 3 895.90/896.27 c 683s | 18 | 346340 | 316252 | 6911 98 | 2 | 3 898.00/898.31 c 686s | 18 | 347441 | 317252 | 6911 98 | 2 | 3 900.20/900.55 c 688s | 18 | 348432 | 318152 | 6911 98 | 2 | 3 902.30/902.67 c 690s | 18 | 349589 | 319152 | 6911 99 | 2 | 3 904.39/904.74 c 692s | 18 | 350797 | 320252 | 6911 99 | 2 | 3 906.49/906.88 c 694s | 18 | 351995 | 321352 | 6911 99 | 2 | 3 908.69/909.07 c 696s | 18 | 353079 | 322352 | 6911 100 | 2 | 3 910.89/911.25 c 698s | 18 | 354132 | 323352 | 6911 100 | 2 | 3 913.09/913.43 c 701s | 18 | 355364 | 324452 | 6911 100 | 2 | 3 915.08/915.49 c 703s | 18 | 356309 | 325352 | 6911 100 | 2 | 3 917.28/917.60 c 705s | 18 | 357429 | 326352 | 6911 101 | 2 | 3 919.29/919.64 c 707s | 18 | 358512 | 327352 | 6911 101 | 2 | 3 921.50/921.84 c 709s | 18 | 359709 | 328452 | 6911 101 | 2 | 3 923.59/923.96 c 711s | 18 | 360774 | 329452 | 6911 101 | 2 | 3 925.69/926.06 c 713s | 18 | 361727 | 330352 | 6911 102 | 2 | 3 927.69/928.06 c 715s | 18 | 362721 | 331252 | 6911 102 | 2 | 3 929.89/930.24 c 717s | 18 | 363802 | 332252 | 6911 102 | 2 | 3 932.09/932.42 c 720s | 18 | 364808 | 333152 | 6911 103 | 2 | 3 934.09/934.42 c 722s | 18 | 365926 | 334152 | 6911 103 | 2 | 3 936.09/936.49 c 724s | 18 | 367161 | 335252 | 6911 103 | 2 | 3 938.29/938.64 c 726s | 18 | 368247 | 336252 | 6911 103 | 2 | 3 940.39/940.70 c 728s | 18 | 369356 | 337252 | 6911 104 | 2 | 3 942.50/942.84 c 730s | 18 | 370702 | 338452 | 6911 104 | 2 | 3 944.60/944.93 c 732s | 18 | 371837 | 339452 | 6911 104 | 2 | 3 946.80/947.19 c 734s | 18 | 373057 | 340552 | 6911 105 | 2 | 3 948.89/949.22 c 736s | 18 | 374161 | 341552 | 6911 105 | 2 | 3 950.99/951.36 c 739s | 18 | 375272 | 342552 | 6911 105 | 2 | 3 953.08/953.43 c 741s | 18 | 376240 | 343452 | 6911 105 | 2 | 3 955.08/955.43 c 743s | 18 | 377104 | 344252 | 6911 105 | 2 | 3 957.18/957.50 c 745s | 18 | 378083 | 345152 | 6911 106 | 2 | 3 959.28/959.60 c 747s | 18 | 379160 | 346152 | 6911 106 | 2 | 3 961.38/961.78 c 749s | 18 | 380245 | 347152 | 7603 106 | 2 | 3 963.48/963.86 c 751s | 18 | 381237 | 348052 | 7603 106 | 2 | 3 965.68/966.03 c 753s | 18 | 382659 | 349352 | 7603 107 | 2 | 3 967.88/968.24 c 755s | 18 | 383970 | 350552 | 7603 107 | 2 | 3 969.98/970.39 c 758s | 18 | 385381 | 351852 | 7603 107 | 2 | 3 972.08/972.41 c 760s | 18 | 386571 | 352952 | 7603 108 | 2 | 3 974.28/974.62 c 762s | 18 | 387767 | 354052 | 7603 108 | 2 | 3 976.37/976.71 c 764s | 18 | 388839 | 355052 | 7603 108 | 2 | 3 978.37/978.74 c 766s | 18 | 389935 | 356052 | 7603 108 | 2 | 3 980.47/980.85 c 768s | 18 | 391070 | 357052 | 7603 109 | 2 | 3 982.47/982.89 c 770s | 18 | 392173 | 358052 | 7603 109 | 2 | 3 984.57/984.90 c 772s | 18 | 393250 | 359052 | 7603 109 | 2 | 3 986.57/986.97 c 774s | 18 | 394241 | 359952 | 7603 109 | 2 | 3 988.68/989.05 c 776s | 18 | 395349 | 360952 | 7603 110 | 2 | 3 990.67/991.08 c 778s | 18 | 396461 | 361952 | 7603 110 | 2 | 3 992.77/993.11 c 780s | 18 | 397462 | 362852 | 7603 110 | 2 | 3 994.87/995.23 c 782s | 18 | 398445 | 363752 | 7603 110 | 2 | 3 996.87/997.23 c 784s | 18 | 399577 | 364752 | 7603 111 | 2 | 3 998.97/999.34 c 787s | 18 | 400676 | 365752 | 7603 111 | 2 | 3 1001.07/1001.47 c 789s | 18 | 401869 | 366852 | 7603 111 | 2 | 3 1003.17/1003.50 c 791s | 18 | 402984 | 367852 | 7603 111 | 2 | 3 1005.17/1005.55 c 793s | 18 | 404053 | 368852 | 7603 112 | 2 | 3 1007.27/1007.62 c 795s | 18 | 405157 | 369852 | 7603 112 | 2 | 3 1009.37/1009.77 c 797s | 18 | 406216 | 370852 | 7603 112 | 2 | 3 1011.57/1011.90 c 799s | 18 | 407210 | 371752 | 7603 112 | 2 | 3 1013.66/1014.07 c 801s | 18 | 408300 | 372752 | 7603 113 | 2 | 3 1015.76/1016.14 c 803s | 18 | 409285 | 373652 | 7603 113 | 2 | 3 1017.96/1018.30 c 806s | 18 | 410324 | 374552 | 7603 113 | 2 | 3 1019.96/1020.34 c 808s | 18 | 411403 | 375552 | 7603 113 | 2 | 3 1021.96/1022.39 c 810s | 18 | 412511 | 376552 | 7603 114 | 2 | 3 1024.05/1024.40 c 812s | 18 | 413723 | 377652 | 7603 114 | 2 | 3 1026.06/1026.40 c 814s | 18 | 414711 | 378552 | 7603 114 | 2 | 3 1028.16/1028.58 c 816s | 18 | 415802 | 379552 | 7603 114 | 2 | 3 1030.36/1030.71 c 818s | 18 | 417012 | 380652 | 7603 115 | 2 | 3 1032.35/1032.76 c 820s | 18 | 418121 | 381652 | 7603 115 | 2 | 3 1034.55/1034.96 c 822s | 18 | 419204 | 382652 | 7603 115 | 2 | 3 1036.65/1037.09 c 824s | 18 | 420286 | 383652 | 7603 115 | 2 | 3 1038.85/1039.22 c 826s | 18 | 421237 | 384552 | 7603 116 | 2 | 3 1040.95/1041.34 c 829s | 18 | 422303 | 385552 | 7603 116 | 2 | 3 1043.05/1043.41 c 831s | 18 | 423274 | 386452 | 7603 116 | 2 | 3 1045.15/1045.57 c 833s | 18 | 424348 | 387452 | 7603 116 | 2 | 3 1047.25/1047.65 c 835s | 18 | 425410 | 388452 | 7603 117 | 2 | 3 1049.35/1049.70 c 837s | 18 | 426399 | 389352 | 7603 117 | 2 | 3 1051.36/1051.79 c 839s | 18 | 427367 | 390252 | 7603 117 | 2 | 3 1053.65/1054.03 c 841s | 18 | 428367 | 391152 | 7603 117 | 2 | 3 1055.66/1056.04 c 843s | 18 | 429214 | 391952 | 7603 117 | 2 | 3 1057.86/1058.22 c 845s | 18 | 430180 | 392852 | 7603 118 | 2 | 3 1059.85/1060.24 c 847s | 18 | 431052 | 393652 | 7603 118 | 2 | 3 1061.95/1062.31 c 850s | 18 | 432158 | 394652 | 7603 118 | 2 | 3 1064.05/1064.47 c 852s | 18 | 433261 | 395652 | 7603 118 | 2 | 3 1066.05/1066.48 c 854s | 18 | 434269 | 396552 | 7603 119 | 2 | 3 1068.25/1068.66 c 856s | 18 | 435489 | 397652 | 7603 119 | 2 | 3 1070.35/1070.75 c 858s | 18 | 436455 | 398552 | 7603 119 | 2 | 3 1072.55/1072.93 c 860s | 18 | 437632 | 399552 | 7603 119 | 2 | 3 1074.55/1074.99 c 862s | 18 | 438952 | 400752 | 7603 120 | 2 | 3 1076.65/1077.09 c 864s | 18 | 440147 | 401852 | 7603 120 | 2 | 3 1078.85/1079.25 c 866s | 18 | 441287 | 402952 | 7603 120 | 2 | 3 1080.84/1081.30 c 869s | 18 | 442365 | 403952 | 7603 121 | 2 | 3 1083.04/1083.45 c 871s | 18 | 443529 | 405052 | 7603 121 | 2 | 3 1085.04/1085.49 c 873s | 18 | 444698 | 406152 | 7603 121 | 2 | 3 1087.24/1087.63 c 875s | 18 | 445892 | 407252 | 7603 121 | 2 | 3 1089.24/1089.69 c 877s | 18 | 447064 | 408352 | 7603 122 | 2 | 3 1091.44/1091.87 c 879s | 18 | 448247 | 409452 | 7603 122 | 2 | 3 1093.64/1094.03 c 881s | 18 | 449423 | 410452 | 7603 122 | 2 | 3 1095.84/1096.25 c 883s | 18 | 450735 | 411652 | 7603 122 | 2 | 3 1097.84/1098.26 c 885s | 18 | 451781 | 412552 | 7603 123 | 2 | 3 1099.94/1100.35 c 888s | 18 | 453207 | 413852 | 7603 123 | 2 | 3 1101.95/1102.39 c 890s | 18 | 454541 | 415052 | 7603 123 | 2 | 3 1104.05/1104.45 c 892s | 18 | 455635 | 416052 | 7603 124 | 2 | 3 1106.14/1106.52 c 894s | 18 | 456691 | 417052 | 7603 124 | 2 | 3 1108.14/1108.58 c 896s | 18 | 457859 | 418152 | 7603 124 | 2 | 3 1110.34/1110.71 c 898s | 18 | 459022 | 419252 | 7603 124 | 2 | 3 1112.34/1112.77 c 900s | 18 | 460058 | 420252 | 7603 125 | 2 | 3 1114.54/1114.98 c 902s | 18 | 461122 | 421252 | 7603 125 | 2 | 3 1116.74/1117.16 c 904s | 18 | 462283 | 422352 | 7603 125 | 2 | 3 1118.74/1119.18 c 906s | 18 | 463230 | 423252 | 7603 125 | 2 | 3 1120.94/1121.33 c 909s | 18 | 464201 | 424152 | 7603 126 | 2 | 3 1123.14/1123.52 c 911s | 18 | 465269 | 425152 | 7603 126 | 2 | 3 1125.24/1125.67 c 913s | 18 | 466430 | 426252 | 7603 126 | 2 | 3 1127.34/1127.74 c 915s | 18 | 467487 | 427252 | 7603 126 | 2 | 3 1129.44/1129.83 c 917s | 18 | 468546 | 428252 | 7603 127 | 2 | 3 1131.54/1131.92 c 919s | 18 | 469597 | 429252 | 7603 127 | 2 | 3 1133.64/1134.10 c 921s | 18 | 470684 | 430252 | 7603 127 | 2 | 3 1135.84/1136.21 c 923s | 18 | 471589 | 431052 | 7603 127 | 2 | 3 1138.04/1138.42 c 926s | 18 | 472634 | 431952 | 7603 128 | 2 | 3 1140.03/1140.49 c 928s | 18 | 473697 | 432952 | 7603 128 | 2 | 3 1142.13/1142.57 c 930s | 18 | 474751 | 433952 | 7603 128 | 2 | 3 1144.23/1144.63 c 932s | 18 | 475956 | 435052 | 7603 128 | 2 | 3 1146.23/1146.64 c 934s | 18 | 477132 | 436152 | 7603 129 | 2 | 3 1148.43/1148.83 c 936s | 18 | 478324 | 437252 | 7603 129 | 2 | 3 1150.63/1151.04 c 938s | 18 | 479404 | 438252 | 7603 129 | 2 | 3 1152.63/1153.06 c 940s | 18 | 480374 | 439152 | 7603 130 | 2 | 3 1154.74/1155.12 c 942s | 18 | 481348 | 440052 | 7603 130 | 2 | 3 1156.84/1157.21 c 944s | 18 | 482538 | 441152 | 7603 130 | 2 | 3 1158.93/1159.39 c 947s | 18 | 483715 | 442252 | 7603 130 | 2 | 3 1161.13/1161.50 c 949s | 18 | 484766 | 443252 | 7603 130 | 2 | 3 1163.23/1163.68 c 951s | 18 | 485964 | 444352 | 7603 131 | 2 | 3 1163.54/1163.93 c 951s | 19 | 486103 | 444482 | 7603 131 | 2 | 3 1165.74/1166.12 c 953s | 19 | 487264 | 445482 | 7603 131 | 2 | 3 1167.84/1168.21 c 955s | 19 | 488377 | 446482 | 7603 131 | 2 | 3 1169.93/1170.39 c 958s | 19 | 489451 | 447482 | 7603 132 | 2 | 3 1172.13/1172.50 c 960s | 19 | 490786 | 448682 | 7603 132 | 2 | 3 1174.33/1174.79 c 962s | 19 | 492053 | 449782 | 7603 132 | 2 | 3 1176.53/1176.92 c 964s | 19 | 493184 | 450782 | 7603 132 | 2 | 3 1178.53/1178.96 c 966s | 19 | 494182 | 451682 | 7603 133 | 2 | 3 1180.63/1181.01 c 968s | 19 | 495089 | 452482 | 7603 133 | 2 | 3 1182.63/1183.04 c 970s | 19 | 496149 | 453482 | 7603 133 | 2 | 3 1184.63/1185.09 c 972s | 19 | 497227 | 454482 | 7603 133 | 2 | 3 1186.93/1187.30 c 975s | 19 | 498339 | 455482 | 7603 134 | 2 | 3 1188.93/1189.33 c 977s | 19 | 499328 | 456382 | 7603 134 | 2 | 3 1191.12/1191.58 c 979s | 19 | 500431 | 457382 | 7603 134 | 2 | 3 1193.32/1193.75 c 981s | 19 | 501417 | 458282 | 7603 134 | 2 | 3 1195.33/1195.79 c 983s | 19 | 502444 | 459182 | 7603 135 | 2 | 3 1197.42/1197.90 c 985s | 19 | 503570 | 460182 | 7603 135 | 2 | 3 1199.52/1199.99 c 987s | 19 | 504725 | 461182 | 7603 135 | 2 | 3 1201.62/1202.07 c 989s | 19 | 505754 | 462082 | 7603 135 | 2 | 3 1203.82/1204.26 c 991s | 19 | 506877 | 463082 | 7603 136 | 2 | 3 1205.82/1206.27 c 993s | 19 | 507870 | 463982 | 7603 136 | 2 | 3 1207.92/1208.32 c 996s | 19 | 509030 | 464982 | 7603 136 | 2 | 3 1210.02/1210.40 c 998s | 19 | 510016 | 465882 | 7603 136 | 2 | 3 1212.02/1212.43 c 1000s | 19 | 511018 | 466782 | 7603 136 | 2 | 3 1214.13/1214.56 c 1002s | 19 | 512284 | 467982 | 7603 137 | 2 | 3 1216.23/1216.65 c 1004s | 19 | 513336 | 468982 | 7603 137 | 2 | 3 1218.32/1218.75 c 1006s | 19 | 514464 | 469982 | 7603 137 | 2 | 3 1220.32/1220.79 c 1008s | 19 | 515667 | 470982 | 7603 138 | 2 | 3 1222.42/1222.89 c 1010s | 19 | 516866 | 472082 | 7603 138 | 2 | 3 1224.52/1224.91 c 1012s | 19 | 518049 | 473182 | 7603 138 | 2 | 3 1226.52/1226.99 c 1014s | 19 | 519178 | 474182 | 7603 138 | 2 | 3 1228.62/1229.07 c 1016s | 19 | 520136 | 475082 | 7603 139 | 2 | 3 1230.72/1231.18 c 1018s | 19 | 521124 | 475982 | 7603 139 | 2 | 3 1232.92/1233.36 c 1021s | 19 | 522385 | 477082 | 7603 139 | 2 | 3 1235.12/1235.51 c 1023s | 19 | 523581 | 478182 | 7603 139 | 2 | 3 1237.32/1237.72 c 1025s | 19 | 524687 | 479182 | 7603 140 | 2 | 3 1239.32/1239.78 c 1027s | 19 | 525868 | 480182 | 7603 140 | 2 | 3 1241.42/1241.83 c 1029s | 19 | 526861 | 481082 | 7603 140 | 2 | 3 1243.62/1244.00 c 1031s | 19 | 528068 | 482182 | 7603 140 | 2 | 3 1245.72/1246.12 c 1033s | 19 | 529039 | 483082 | 7603 141 | 2 | 3 1247.82/1248.25 c 1035s | 19 | 530053 | 483982 | 7603 141 | 2 | 3 1250.02/1250.46 c 1038s | 19 | 531126 | 484982 | 7603 141 | 2 | 3 1252.12/1252.58 c 1040s | 19 | 531991 | 485782 | 7603 141 | 2 | 3 1254.22/1254.64 c 1042s | 19 | 532994 | 486682 | 7603 142 | 2 | 3 1256.32/1256.76 c 1044s | 19 | 534053 | 487682 | 7603 142 | 2 | 3 1258.31/1258.76 c 1046s | 19 | 535123 | 488682 | 7603 142 | 2 | 3 1260.51/1260.99 c 1048s | 19 | 536297 | 489782 | 7603 142 | 2 | 3 1262.71/1263.16 c 1050s | 19 | 537482 | 490882 | 7603 143 | 2 | 3 1264.72/1265.19 c 1052s | 19 | 538557 | 491882 | 7603 143 | 2 | 3 1266.92/1267.34 c 1055s | 19 | 539549 | 492782 | 7603 143 | 2 | 3 1268.91/1269.40 c 1057s | 19 | 540578 | 493682 | 7603 143 | 2 | 3 1271.01/1271.44 c 1059s | 19 | 541625 | 494582 | 7603 144 | 2 | 3 1273.21/1273.62 c 1061s | 19 | 542731 | 495582 | 7603 144 | 2 | 3 1275.21/1275.69 c 1063s | 19 | 543926 | 496682 | 7603 144 | 2 | 3 1277.31/1277.74 c 1065s | 19 | 545001 | 497682 | 7603 144 | 2 | 3 1279.51/1279.93 c 1067s | 19 | 546170 | 498782 | 7603 145 | 2 | 3 1281.61/1282.04 c 1069s | 19 | 547239 | 499782 | 7603 145 | 2 | 3 1283.71/1284.12 c 1071s | 19 | 548325 | 500782 | 7603 145 | 2 | 3 1285.81/1286.20 c 1073s | 19 | 549503 | 501882 | 7603 145 | 2 | 3 1288.01/1288.41 c 1076s | 19 | 550764 | 502982 | 7603 146 | 2 | 3 1290.11/1290.52 c 1078s | 19 | 551806 | 503882 | 7603 146 | 2 | 3 1292.22/1292.66 c 1080s | 19 | 552930 | 504882 | 7603 146 | 2 | 3 1294.21/1294.70 c 1082s | 19 | 554036 | 505882 | 7603 146 | 2 | 3 1296.41/1296.84 c 1084s | 19 | 555030 | 506782 | 7603 147 | 2 | 3 1298.51/1298.92 c 1086s | 19 | 555885 | 507582 | 7603 147 | 2 | 3 1300.51/1300.92 c 1088s | 19 | 556877 | 508482 | 7603 147 | 2 | 3 1302.71/1303.10 c 1090s | 19 | 558044 | 509482 | 7603 147 | 2 | 3 1304.71/1305.16 c 1092s | 19 | 559050 | 510382 | 7603 148 | 2 | 3 1306.91/1307.34 c 1095s | 19 | 560429 | 511582 | 7603 148 | 2 | 3 1309.01/1309.48 c 1097s | 19 | 561563 | 512682 | 7603 148 | 2 | 3 1311.11/1311.55 c 1099s | 19 | 562562 | 513582 | 7603 148 | 2 | 3 1313.21/1313.63 c 1101s | 19 | 563423 | 514382 | 7603 149 | 2 | 3 1315.41/1315.83 c 1103s | 19 | 564371 | 515282 | 7603 149 | 2 | 3 1317.51/1317.94 c 1105s | 19 | 565588 | 516382 | 7603 149 | 2 | 3 1319.61/1320.04 c 1107s | 19 | 566975 | 517582 | 7603 149 | 2 | 3 1321.71/1322.10 c 1109s | 19 | 568542 | 518982 | 7603 150 | 2 | 3 1323.70/1324.12 c 1111s | 19 | 569734 | 520082 | 7603 150 | 2 | 3 1325.80/1326.20 c 1113s | 19 | 571182 | 521382 | 7603 150 | 2 | 3 1327.80/1328.28 c 1115s | 19 | 572600 | 522682 | 7603 151 | 2 | 3 1329.90/1330.39 c 1118s | 19 | 574092 | 524082 | 7603 151 | 2 | 3 1332.20/1332.60 c 1120s | 19 | 575517 | 525382 | 7603 152 | 2 | 3 1334.20/1334.66 c 1122s | 19 | 576818 | 526582 | 7603 152 | 2 | 3 1336.21/1336.69 c 1124s | 19 | 578051 | 527682 | 7603 152 | 2 | 3 1338.41/1338.83 c 1126s | 19 | 579430 | 528982 | 7603 152 | 2 | 3 1340.51/1340.94 c 1128s | 19 | 580856 | 530282 | 7603 153 | 2 | 3 1342.60/1343.00 c 1130s | 19 | 582050 | 531382 | 7603 153 | 2 | 3 1344.70/1345.15 c 1132s | 19 | 583217 | 532482 | 7603 153 | 2 | 3 1346.70/1347.19 c 1134s | 19 | 584217 | 533382 | 7603 154 | 2 | 3 1348.90/1349.34 c 1137s | 19 | 585424 | 534482 | 7603 154 | 2 | 3 1351.00/1351.40 c 1139s | 19 | 586598 | 535582 | 7603 154 | 2 | 3 1353.10/1353.52 c 1141s | 19 | 587804 | 536682 | 7603 154 | 2 | 3 1355.10/1355.55 c 1143s | 19 | 589010 | 537782 | 7603 155 | 2 | 3 1357.20/1357.65 c 1145s | 19 | 590416 | 539082 | 7603 155 | 2 | 3 1359.31/1359.74 c 1147s | 19 | 591803 | 540382 | 7603 155 | 2 | 3 1361.30/1361.79 c 1149s | 19 | 593398 | 541882 | 7603 156 | 2 | 3 1363.40/1363.83 c 1151s | 19 | 594961 | 543382 | 7603 156 | 2 | 3 1365.40/1365.83 c 1153s | 19 | 596311 | 544682 | 7603 156 | 2 | 3 1367.40/1367.84 c 1155s | 19 | 597568 | 545882 | 7603 157 | 2 | 3 1369.40/1369.86 c 1157s | 19 | 598827 | 547082 | 7603 157 | 2 | 3 1371.50/1371.95 c 1159s | 19 | 600029 | 548182 | 7603 157 | 2 | 3 1373.60/1374.05 c 1161s | 19 | 601443 | 549482 | 7603 158 | 2 | 3 1375.70/1376.16 c 1163s | 19 | 602758 | 550682 | 7603 158 | 2 | 3 1377.80/1378.27 c 1165s | 19 | 604031 | 551882 | 7603 158 | 2 | 3 1379.80/1380.27 c 1167s | 19 | 605168 | 552882 | 7603 159 | 2 | 3 1381.80/1382.28 c 1169s | 19 | 606530 | 554082 | 7603 159 | 2 | 3 1383.79/1384.29 c 1172s | 19 | 607745 | 555182 | 7603 159 | 2 | 3 1385.79/1386.25 c 1173s | 19 | 608879 | 556191 | 7603 159 | 3 | 4 1385.79/1386.25 c #cpu_time = 1173.809s 1385.79/1386.25 c #wall_clock_time = 1173.959s 1385.79/1386.25 c #decision = 608879 1385.79/1386.25 c #random_decision = 1665 1385.79/1386.25 c #conflict = 556191 1385.79/1386.25 c #restart = 19 1385.79/1386.25 c BCD2: updating lower bound of a core 1385.79/1386.25 c lower bound updated to 51 1385.79/1386.25 c BCD2: 51 <= obj <= 81 1385.79/1386.25 c BCD2: #cores=1, #unrelaxed=0, #relaxed=7, #hardened=0 1385.79/1386.25 c BCD2: #sat=2 #unsat=4 bias=4/6 1385.79/1386.25 c Solving starts ... 1385.79/1386.25 c ============================[ Search Statistics ]============================ 1385.79/1386.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1385.79/1386.25 c | | | | Limit GC | Var | Constra 1385.79/1386.25 c ============================================================================= 1385.79/1386.25 c 0.0s | 0 | 0 | 0 | 7603 0 | 3 | 4 1385.99/1386.45 c 0.2s | 1 | 143 | 100 | 7603 0 | 3 | 4 1386.39/1386.82 c 0.6s | 2 | 344 | 250 | 7603 0 | 3 | 4 1386.80/1387.21 c 1.0s | 3 | 622 | 475 | 7603 0 | 3 | 4 1387.29/1387.76 c 1.5s | 4 | 1049 | 813 | 7603 0 | 3 | 4 1388.49/1388.93 c 2.7s | 5 | 1633 | 1320 | 7603 0 | 3 | 4 1390.00/1390.47 c 4.2s | 6 | 2517 | 2081 | 7603 0 | 3 | 4 1392.09/1392.59 c 6.3s | 6 | 3659 | 3081 | 7603 1 | 3 | 4 1392.39/1392.87 c 6.6s | 7 | 3812 | 3223 | 7603 1 | 3 | 4 1394.50/1394.98 c 8.7s | 7 | 4930 | 4223 | 7603 1 | 3 | 4 1395.99/1396.46 c 10.2s | 8 | 5746 | 4936 | 7603 1 | 3 | 4 1397.99/1398.46 c 12.2s | 8 | 6915 | 5936 | 7603 1 | 3 | 4 1400.09/1400.60 c 14.3s | 8 | 8162 | 7036 | 7603 1 | 3 | 4 1401.10/1401.54 c 15.3s | 9 | 8676 | 7506 | 7603 2 | 3 | 4 1403.30/1403.73 c 17.5s | 9 | 9766 | 8506 | 7603 2 | 3 | 4 1405.29/1405.80 c 19.6s | 9 | 10896 | 9506 | 7603 2 | 3 | 4 1407.39/1407.82 c 21.6s | 9 | 11977 | 10506 | 7603 2 | 3 | 4 1409.19/1409.60 c 23.4s | 10 | 12924 | 11361 | 7603 3 | 3 | 4 1411.29/1411.73 c 25.5s | 10 | 14205 | 12461 | 8364 3 | 3 | 4 1413.39/1413.88 c 27.6s | 10 | 15391 | 13561 | 8364 3 | 3 | 4 1415.40/1415.90 c 29.6s | 10 | 16501 | 14561 | 8364 3 | 3 | 4 1417.50/1417.93 c 31.7s | 10 | 17626 | 15561 | 8364 4 | 3 | 4 1419.70/1420.12 c 33.9s | 10 | 18867 | 16661 | 8364 4 | 3 | 4 1420.69/1421.12 c 34.9s | 11 | 19422 | 17144 | 8364 4 | 3 | 4 1422.79/1423.23 c 37.0s | 11 | 20613 | 18144 | 8364 4 | 3 | 4 1424.89/1425.35 c 39.1s | 11 | 21744 | 19144 | 8364 4 | 3 | 4 1426.99/1427.41 c 41.2s | 11 | 22775 | 20044 | 8364 5 | 3 | 4 1428.99/1429.47 c 43.2s | 11 | 23931 | 21044 | 8364 5 | 3 | 4 1431.19/1431.66 c 45.4s | 11 | 25185 | 22144 | 8364 5 | 3 | 4 1433.29/1433.71 c 47.5s | 11 | 26222 | 23044 | 8364 5 | 3 | 4 1435.38/1435.85 c 49.6s | 11 | 27233 | 23944 | 8364 6 | 3 | 4 1437.48/1437.99 c 51.7s | 11 | 28261 | 24844 | 8364 6 | 3 | 4 1439.68/1440.14 c 53.9s | 11 | 29247 | 25744 | 8364 6 | 3 | 4 1439.88/1440.34 c 54.1s | 12 | 29330 | 25819 | 8364 6 | 3 | 4 1441.98/1442.48 c 56.2s | 12 | 30451 | 26819 | 8364 6 | 3 | 4 1444.18/1444.60 c 58.4s | 12 | 31537 | 27819 | 8364 6 | 3 | 4 1446.19/1446.69 c 60.4s | 12 | 32517 | 28719 | 8364 7 | 3 | 4 1448.39/1448.85 c 62.6s | 12 | 33596 | 29719 | 8364 7 | 3 | 4 1450.59/1451.08 c 64.8s | 12 | 34572 | 30619 | 8364 7 | 3 | 4 1452.69/1453.19 c 66.9s | 12 | 35572 | 31519 | 8364 7 | 3 | 4 1454.78/1455.21 c 69.0s | 12 | 36333 | 32219 | 8364 7 | 3 | 4 1456.88/1457.33 c 71.1s | 12 | 37236 | 33019 | 8364 8 | 3 | 4 1459.08/1459.51 c 73.3s | 12 | 38268 | 33919 | 8364 8 | 3 | 4 1461.08/1461.52 c 75.3s | 12 | 39165 | 34719 | 8364 8 | 3 | 4 1463.08/1463.57 c 77.3s | 12 | 40109 | 35519 | 8364 8 | 3 | 4 1465.28/1465.70 c 79.5s | 12 | 41254 | 36519 | 8364 8 | 3 | 4 1467.38/1467.82 c 81.6s | 12 | 42205 | 37319 | 8364 9 | 3 | 4 1469.49/1469.91 c 83.7s | 12 | 43115 | 38119 | 8364 9 | 3 | 4 1471.29/1471.74 c 85.5s | 13 | 43946 | 38832 | 8364 9 | 3 | 4 1473.39/1473.87 c 87.6s | 13 | 44990 | 39732 | 8364 9 | 3 | 4 1475.48/1475.90 c 89.7s | 13 | 45952 | 40632 | 8364 9 | 3 | 4 1477.58/1478.08 c 91.8s | 13 | 46952 | 41532 | 8364 10 | 3 | 4 1479.78/1480.20 c 94.0s | 13 | 47956 | 42432 | 8364 10 | 3 | 4 1481.98/1482.42 c 96.2s | 13 | 49102 | 43432 | 8364 10 | 3 | 4 1484.18/1484.63 c 98.4s | 13 | 49977 | 44232 | 8364 10 | 3 | 4 1486.28/1486.78 c 100s | 13 | 50872 | 45032 | 8364 10 | 3 | 4 1488.58/1489.05 c 102s | 13 | 51885 | 45932 | 8364 11 | 3 | 4 1490.88/1491.33 c 105s | 13 | 52873 | 46832 | 8364 11 | 3 | 4 1492.98/1493.48 c 107s | 13 | 54028 | 47832 | 8364 11 | 3 | 4 1495.08/1495.56 c 109s | 13 | 54908 | 48632 | 8364 11 | 3 | 4 1497.18/1497.63 c 111s | 13 | 55912 | 49532 | 8364 11 | 3 | 4 1499.38/1499.85 c 113s | 13 | 56920 | 50432 | 8364 12 | 3 | 4 1501.38/1501.88 c 115s | 13 | 58022 | 51432 | 8364 12 | 3 | 4 1503.68/1504.12 c 117s | 13 | 59107 | 52432 | 8364 12 | 3 | 4 1505.88/1506.35 c 120s | 13 | 60073 | 53332 | 8364 12 | 3 | 4 1507.98/1508.45 c 122s | 13 | 60918 | 54132 | 8364 13 | 3 | 4 1509.98/1510.47 c 124s | 13 | 61819 | 54932 | 8364 13 | 3 | 4 1511.98/1512.47 c 126s | 13 | 62805 | 55832 | 8364 13 | 3 | 4 1514.18/1514.60 c 128s | 13 | 63780 | 56732 | 8364 13 | 3 | 4 1516.28/1516.73 c 130s | 13 | 64685 | 57532 | 8364 13 | 3 | 4 1518.28/1518.74 c 132s | 14 | 65580 | 58352 | 8364 13 | 3 | 4 1520.47/1520.94 c 134s | 14 | 66573 | 59252 | 8364 14 | 3 | 4 1522.67/1523.18 c 136s | 14 | 67633 | 60252 | 8364 14 | 3 | 4 1524.77/1525.28 c 139s | 14 | 68703 | 61252 | 8364 14 | 3 | 4 1526.87/1527.35 c 141s | 14 | 69675 | 62152 | 8364 14 | 3 | 4 1529.07/1529.57 c 143s | 14 | 70750 | 63152 | 8364 15 | 3 | 4 1531.17/1531.68 c 145s | 14 | 71831 | 64152 | 8364 15 | 3 | 4 1533.47/1533.99 c 147s | 14 | 72805 | 65052 | 8364 15 | 3 | 4 1535.67/1536.14 c 149s | 14 | 74007 | 66152 | 8364 15 | 3 | 4 1537.77/1538.25 c 152s | 14 | 75085 | 67152 | 8364 16 | 3 | 4 1539.87/1540.30 c 154s | 14 | 76295 | 68252 | 8364 16 | 3 | 4 1541.97/1542.40 c 156s | 14 | 77363 | 69252 | 8364 16 | 3 | 4 1544.08/1544.59 c 158s | 14 | 78555 | 70352 | 8364 16 | 3 | 4 1546.18/1546.63 c 160s | 14 | 79404 | 71152 | 8364 16 | 3 | 4 1548.27/1548.73 c 162s | 14 | 80352 | 72052 | 8364 17 | 3 | 4 1550.27/1550.74 c 164s | 14 | 81458 | 73052 | 8364 17 | 3 | 4 1552.27/1552.75 c 166s | 14 | 82423 | 73952 | 8364 17 | 3 | 4 1554.37/1554.84 c 168s | 14 | 83372 | 74852 | 8364 17 | 3 | 4 1556.57/1557.02 c 170s | 14 | 84331 | 75752 | 8364 18 | 3 | 4 1558.67/1559.17 c 172s | 14 | 85284 | 76652 | 8364 18 | 3 | 4 1560.87/1561.38 c 175s | 14 | 86285 | 77552 | 8364 18 | 3 | 4 1563.07/1563.57 c 177s | 14 | 87299 | 78452 | 8364 18 | 3 | 4 1565.17/1565.69 c 179s | 14 | 88169 | 79252 | 8364 18 | 3 | 4 1567.47/1567.93 c 181s | 14 | 89030 | 80052 | 8364 18 | 3 | 4 1569.57/1570.00 c 183s | 14 | 89920 | 80852 | 8364 19 | 3 | 4 1571.57/1572.04 c 185s | 14 | 90820 | 81652 | 8364 19 | 3 | 4 1573.86/1574.31 c 188s | 14 | 91684 | 82452 | 8364 19 | 3 | 4 1575.87/1576.33 c 190s | 14 | 92431 | 83152 | 8364 19 | 3 | 4 1577.86/1578.34 c 192s | 14 | 93399 | 84052 | 8364 19 | 3 | 4 1579.96/1580.43 c 194s | 14 | 94372 | 84952 | 8364 20 | 3 | 4 1582.06/1582.58 c 196s | 14 | 95551 | 86052 | 8364 20 | 3 | 4 1584.16/1584.61 c 198s | 14 | 96602 | 87052 | 8364 20 | 3 | 4 1585.36/1585.81 c 199s | 15 | 97241 | 87632 | 8364 20 | 3 | 4 1587.56/1588.00 c 201s | 15 | 98402 | 88632 | 8364 21 | 3 | 4 1589.56/1590.04 c 203s | 15 | 99466 | 89532 | 8364 21 | 3 | 4 1591.76/1592.20 c 205s | 15 | 100625 | 90532 | 8364 21 | 3 | 4 1593.77/1594.22 c 207s | 15 | 101526 | 91332 | 8364 21 | 3 | 4 1595.87/1596.39 c 210s | 15 | 102648 | 92332 | 8364 21 | 3 | 4 1597.98/1598.42 c 212s | 15 | 103532 | 93132 | 8364 22 | 3 | 4 1599.97/1600.45 c 214s | 15 | 104636 | 94132 | 8364 22 | 3 | 4 1602.17/1602.60 c 216s | 15 | 106050 | 95432 | 8364 22 | 3 | 4 1604.17/1604.69 c 218s | 15 | 107325 | 96532 | 8364 22 | 3 | 4 1606.27/1606.78 c 220s | 15 | 108420 | 97532 | 8364 23 | 3 | 4 1608.37/1608.87 c 222s | 15 | 109530 | 98532 | 8364 23 | 3 | 4 1610.57/1611.03 c 224s | 15 | 110659 | 99532 | 8364 23 | 3 | 4 1612.57/1613.04 c 226s | 15 | 111579 | 100332 | 8364 23 | 3 | 4 1614.77/1615.28 c 229s | 15 | 112642 | 101332 | 8364 23 | 3 | 4 1616.97/1617.47 c 231s | 15 | 113825 | 102432 | 8364 24 | 3 | 4 1619.17/1619.68 c 233s | 15 | 114998 | 103532 | 8364 24 | 3 | 4 1621.27/1621.76 c 235s | 15 | 116119 | 104532 | 8364 24 | 3 | 4 1623.47/1623.94 c 237s | 15 | 117240 | 105532 | 8364 24 | 3 | 4 1625.56/1626.09 c 239s | 15 | 118233 | 106432 | 8364 25 | 3 | 4 1627.67/1628.16 c 241s | 15 | 119335 | 107432 | 8364 25 | 3 | 4 1629.66/1630.20 c 243s | 15 | 120312 | 108332 | 8364 25 | 3 | 4 1631.86/1632.40 c 246s | 15 | 121398 | 109332 | 8364 25 | 3 | 4 1634.17/1634.60 c 248s | 15 | 122400 | 110232 | 8364 25 | 3 | 4 1636.16/1636.66 c 250s | 15 | 123535 | 111232 | 8364 26 | 3 | 4 1638.26/1638.71 c 252s | 15 | 124650 | 112232 | 8364 26 | 3 | 4 1640.46/1640.93 c 254s | 15 | 125740 | 113232 | 8364 26 | 3 | 4 1642.46/1642.94 c 256s | 15 | 126745 | 114132 | 8364 26 | 3 | 4 1644.56/1645.02 c 258s | 15 | 127722 | 115032 | 8364 26 | 3 | 4 1646.56/1647.07 c 260s | 15 | 128855 | 116032 | 8364 27 | 3 | 4 1648.66/1649.17 c 262s | 15 | 129963 | 117032 | 8364 27 | 3 | 4 1650.77/1651.26 c 265s | 15 | 131069 | 118032 | 8364 27 | 3 | 4 1652.76/1653.29 c 267s | 15 | 132101 | 118932 | 8364 27 | 3 | 4 1654.86/1655.31 c 269s | 15 | 133142 | 119932 | 8364 28 | 3 | 4 1656.86/1657.35 c 271s | 15 | 134272 | 120932 | 8364 28 | 3 | 4 1659.06/1659.52 c 273s | 15 | 135372 | 121932 | 8364 28 | 3 | 4 1661.06/1661.55 c 275s | 15 | 136341 | 122832 | 8364 28 | 3 | 4 1663.06/1663.57 c 277s | 15 | 137305 | 123732 | 8364 28 | 3 | 4 1665.36/1665.81 c 279s | 15 | 138263 | 124632 | 8364 29 | 3 | 4 1667.56/1668.02 c 281s | 15 | 139349 | 125632 | 8364 29 | 3 | 4 1669.76/1670.23 c 283s | 15 | 140426 | 126632 | 8364 29 | 3 | 4 1671.86/1672.38 c 286s | 15 | 141297 | 127432 | 8364 29 | 3 | 4 1674.16/1674.61 c 288s | 15 | 142163 | 128232 | 8364 29 | 3 | 4 1676.16/1676.65 c 290s | 15 | 142900 | 128932 | 8364 30 | 3 | 4 1678.26/1678.79 c 292s | 15 | 143844 | 129832 | 8364 30 | 3 | 4 1680.36/1680.90 c 294s | 15 | 144709 | 130632 | 8364 30 | 3 | 4 1682.56/1683.07 c 296s | 15 | 145680 | 131532 | 8364 30 | 3 | 4 1682.66/1683.12 c 296s | 16 | 145700 | 131552 | 8364 30 | 3 | 4 1684.65/1685.14 c 298s | 16 | 146694 | 132352 | 8364 30 | 3 | 4 1686.75/1687.27 c 301s | 16 | 147808 | 133352 | 8364 31 | 3 | 4 1688.95/1689.48 c 303s | 16 | 148931 | 134352 | 8364 31 | 3 | 4 1691.15/1691.62 c 305s | 16 | 149837 | 135152 | 8364 31 | 3 | 4 1693.35/1693.86 c 307s | 16 | 150869 | 136052 | 8364 31 | 3 | 4 1695.45/1695.97 c 309s | 16 | 151790 | 136852 | 8364 31 | 3 | 4 1697.55/1698.00 c 311s | 16 | 152692 | 137652 | 8364 32 | 3 | 4 1699.65/1700.17 c 313s | 16 | 153732 | 138552 | 8364 32 | 3 | 4 1701.75/1702.20 c 315s | 16 | 154634 | 139352 | 8364 32 | 3 | 4 1703.85/1704.39 c 318s | 16 | 155636 | 140252 | 8364 32 | 3 | 4 1706.05/1706.58 c 320s | 16 | 156597 | 141052 | 8364 32 | 3 | 4 1708.25/1708.80 c 322s | 16 | 157639 | 141952 | 8364 33 | 3 | 4 1710.35/1710.87 c 324s | 16 | 158656 | 142852 | 8364 33 | 3 | 4 1712.45/1712.99 c 326s | 16 | 159529 | 143652 | 8364 33 | 3 | 4 1714.65/1715.17 c 328s | 16 | 160696 | 144652 | 8364 33 | 3 | 4 1716.76/1717.22 c 330s | 16 | 161876 | 145652 | 8364 33 | 3 | 4 1718.95/1719.42 c 333s | 16 | 162996 | 146652 | 8364 34 | 3 | 4 1721.05/1721.52 c 335s | 16 | 164131 | 147652 | 8364 34 | 3 | 4 1723.15/1723.66 c 337s | 16 | 165106 | 148552 | 8364 34 | 3 | 4 1725.15/1725.67 c 339s | 16 | 165982 | 149352 | 8364 34 | 3 | 4 1727.25/1727.78 c 341s | 16 | 166836 | 150152 | 8364 34 | 3 | 4 1729.35/1729.86 c 343s | 16 | 167662 | 150952 | 8364 35 | 3 | 4 1731.55/1732.06 c 345s | 16 | 168633 | 151852 | 8364 35 | 3 | 4 1733.65/1734.18 c 347s | 16 | 169723 | 152852 | 8364 35 | 3 | 4 1736.05/1736.50 c 350s | 16 | 170731 | 153752 | 8364 35 | 3 | 4 1738.04/1738.59 c 352s | 16 | 171750 | 154652 | 8364 35 | 3 | 4 1740.24/1740.72 c 354s | 16 | 172738 | 155552 | 8364 36 | 3 | 4 1742.34/1742.89 c 356s | 16 | 173737 | 156452 | 8364 36 | 3 | 4 1744.64/1745.13 c 358s | 16 | 174734 | 157352 | 8364 36 | 3 | 4 1746.64/1747.17 c 360s | 16 | 175623 | 158152 | 8364 36 | 3 | 4 1748.84/1749.35 c 363s | 16 | 176613 | 159052 | 8364 36 | 3 | 4 1751.04/1751.52 c 365s | 16 | 177610 | 159952 | 8364 37 | 3 | 4 1753.14/1753.69 c 367s | 16 | 178765 | 160952 | 8364 37 | 3 | 4 1755.34/1755.82 c 369s | 16 | 179901 | 161952 | 8364 37 | 3 | 4 1757.35/1757.88 c 371s | 16 | 180920 | 162852 | 8364 37 | 3 | 4 1759.44/1759.93 c 373s | 16 | 181787 | 163652 | 8364 37 | 3 | 4 1761.54/1762.04 c 375s | 16 | 182697 | 164452 | 8364 38 | 3 | 4 1763.74/1764.27 c 378s | 16 | 183792 | 165452 | 8364 38 | 3 | 4 1765.94/1766.44 c 380s | 16 | 184693 | 166252 | 8364 38 | 3 | 4 1768.04/1768.52 c 382s | 16 | 185482 | 166952 | 8364 38 | 3 | 4 1770.24/1770.79 c 384s | 16 | 186479 | 167852 | 8364 38 | 3 | 4 1772.44/1772.92 c 386s | 16 | 187382 | 168652 | 8364 39 | 3 | 4 1774.44/1774.98 c 388s | 16 | 188517 | 169652 | 8364 39 | 3 | 4 1776.54/1777.07 c 390s | 16 | 189525 | 170552 | 8364 39 | 3 | 4 1778.64/1779.19 c 392s | 16 | 190579 | 171452 | 8364 39 | 3 | 4 1780.84/1781.34 c 395s | 16 | 191609 | 172352 | 8364 39 | 3 | 4 1782.94/1783.44 c 397s | 16 | 192625 | 173252 | 8364 40 | 3 | 4 1785.04/1785.51 c 399s | 16 | 193966 | 174452 | 8364 40 | 3 | 4 1787.04/1787.58 c 401s | 16 | 195087 | 175452 | 8364 40 | 3 | 4 1789.14/1789.70 c 403s | 16 | 196100 | 176352 | 8364 40 | 3 | 4 1791.24/1791.75 c 405s | 16 | 196990 | 177152 | 8364 41 | 3 | 4 1793.24/1793.78 c 407s | 16 | 198016 | 178052 | 8364 41 | 3 | 4 1795.34/1795.89 c 409s | 16 | 199040 | 178952 | 8364 41 | 3 | 4 1797.53/1798.00 c 411s | 16 | 200060 | 179852 | 8364 41 | 3 | 4 1799.53/1800.05 c 413s | 16 | 201180 | 180852 | 8364 41 | 3 | 4
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-4079673-1465242232/watcher-4079673-1465242232 -o /tmp/evaluation-result-4079673-1465242232/solver-4079673-1465242232 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079673-1465242232.opb pid=3725 running on 4 cores: 0,2,4,6 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.24 2.23 2.24 3/179 3728 /proc/meminfo: memFree=29160220/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=767420 CPUtime=0 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 2870 0 0 0 0 0 0 0 20 0 4 0 106156233 785838080 3232 33554432000 4194304 16246674 140736644489776 140736644489200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 192367 3239 441 2943 0 189261 0 [pid=3728/tid=3729] ppid=3725 vsize=784828 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 803663872 3302 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=789948 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 808906752 3321 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=794044 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 813101056 3337 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100181 s] /proc/loadavg: 2.24 2.23 2.24 3/179 3728 /proc/meminfo: memFree=29160220/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1267268 CPUtime=0.09 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 25360 0 0 0 6 3 0 0 20 0 4 0 106156233 1297682432 25659 33554432000 4194304 16246674 140736644489776 140736644489088 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 318097 25678 799 2943 0 314991 0 [pid=3728/tid=3729] ppid=3725 vsize=1276484 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1307119616 25693 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1279556 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1310265344 25707 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1283652 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1314459648 25723 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1267268 [startup+0.200522 s] /proc/loadavg: 2.24 2.23 2.24 3/179 3728 /proc/meminfo: memFree=29160220/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1301060 CPUtime=0.19 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 45090 0 0 0 13 6 0 0 20 0 4 0 106156233 1332285440 45389 33554432000 4194304 16246674 140736644489776 140736644489088 7206258 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 325265 45389 832 2943 0 322159 0 [pid=3728/tid=3729] ppid=3725 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1332285440 45389 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1332285440 45389 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1332285440 45389 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1301060 [startup+0.300493 s] /proc/loadavg: 2.24 2.23 2.24 3/179 3728 /proc/meminfo: memFree=29160220/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1301060 CPUtime=0.29 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 65800 0 0 0 21 8 0 0 20 0 4 0 106156233 1332285440 66100 33554432000 4194304 16246674 140736644489776 140736644489088 6939469 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 325265 66109 832 2943 0 322159 0 [pid=3728/tid=3729] ppid=3725 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1332285440 66116 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1332285440 66122 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1332285440 66129 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1301060 [startup+0.700393 s] /proc/loadavg: 2.24 2.23 2.24 3/179 3728 /proc/meminfo: memFree=29160220/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1301060 CPUtime=0.69 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 85278 0 0 0 58 11 0 0 20 0 4 0 106156233 1332285440 85577 33554432000 4194304 16246674 140736644489776 140736644471680 5602895 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 325265 85579 882 2943 0 322159 0 [pid=3728/tid=3729] ppid=3725 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1332285440 85580 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1332285440 85582 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1332285440 85584 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1301060 [startup+1.50039 s] /proc/loadavg: 2.24 2.23 2.24 3/183 3732 /proc/meminfo: memFree=28739384/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1301060 CPUtime=1.49 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 129015 0 0 0 130 19 0 0 20 0 4 0 106156233 1332285440 129314 33554432000 4194304 16246674 140736644489776 140736644471680 5602147 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 325265 129315 882 2943 0 322159 0 [pid=3728/tid=3729] ppid=3725 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1332285440 129316 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1332285440 129317 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1332285440 129318 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1301060 [startup+3.1004 s] /proc/loadavg: 2.24 2.23 2.24 3/183 3732 /proc/meminfo: memFree=28520012/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1301060 CPUtime=3.09 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 198331 0 0 0 279 30 0 0 20 0 4 0 106156233 1332285440 198630 33554432000 4194304 16246674 140736644489776 140736644471680 5831697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 325265 198633 882 2943 0 322159 0 [pid=3728/tid=3729] ppid=3725 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1332285440 198634 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1332285440 198636 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1332285440 198637 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1301060 [startup+6.30041 s] /proc/loadavg: 2.38 2.26 2.25 3/183 3732 /proc/meminfo: memFree=28077496/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1318468 CPUtime=6.29 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 270582 0 0 0 588 41 0 0 20 0 4 0 106156233 1350111232 270881 33554432000 4194304 16246674 140736644489776 140736644471680 5825176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 329617 270881 909 2943 0 326511 0 [pid=3728/tid=3729] ppid=3725 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1350111232 270881 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1350111232 270881 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1350111232 270881 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1318468 [startup+12.7004 s] /proc/loadavg: 2.35 2.26 2.25 3/183 3732 /proc/meminfo: memFree=28076256/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1318468 CPUtime=12.69 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 270825 0 0 0 1228 41 0 0 20 0 4 0 106156233 1350111232 271124 33554432000 4194304 16246674 140736644489776 140736644471680 13774516 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 329617 271124 912 2943 0 326511 0 [pid=3728/tid=3729] ppid=3725 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1350111232 271124 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1350111232 271124 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1350111232 271124 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1318468 [startup+25.5005 s] /proc/loadavg: 2.34 2.26 2.25 3/182 3732 /proc/meminfo: memFree=28077052/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1318468 CPUtime=25.49 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 270825 0 0 0 2508 41 0 0 20 0 4 0 106156233 1350111232 271124 33554432000 4194304 16246674 140736644489776 140736644471680 5603057 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 329617 271124 912 2943 0 326511 0 [pid=3728/tid=3729] ppid=3725 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1350111232 271124 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1350111232 271124 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1350111232 271124 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1318468 [startup+51.1005 s] /proc/loadavg: 2.37 2.27 2.25 3/183 3733 /proc/meminfo: memFree=28077168/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1318468 CPUtime=51.08 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 270828 0 0 0 5067 41 0 0 20 0 4 0 106156233 1350111232 271127 33554432000 4194304 16246674 140736644489776 140736644471680 12415785 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 329617 271127 915 2943 0 326511 0 [pid=3728/tid=3729] ppid=3725 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1350111232 271127 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1350111232 271127 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1350111232 271127 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1318468 [startup+102.3 s] /proc/loadavg: 2.38 2.29 2.26 3/183 3734 /proc/meminfo: memFree=28076604/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1318468 CPUtime=102.28 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 270829 0 0 0 10187 41 0 0 20 0 4 0 106156233 1350111232 271128 33554432000 4194304 16246674 140736644489776 140736644471680 5600136 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 329617 271128 916 2943 0 326511 0 [pid=3728/tid=3729] ppid=3725 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1350111232 271128 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1350111232 271128 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1350111232 271128 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1318468 ################ # More data... # ################ /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1377374208 278043 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1345092 [startup+1362.3 s] /proc/loadavg: 2.23 2.30 2.27 3/183 3934 /proc/meminfo: memFree=28086096/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1345092 CPUtime=1361.9 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 277822 0 0 0 136146 44 0 0 20 0 4 0 106156233 1377374208 278043 33554432000 4194304 16246674 140736644489776 140736644471680 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 336273 278043 916 2943 0 333167 0 [pid=3728/tid=3729] ppid=3725 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1377374208 278043 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1377374208 278043 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1377374208 278043 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1345092 [startup+1422.3 s] /proc/loadavg: 2.27 2.30 2.27 3/183 3935 /proc/meminfo: memFree=28085872/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1345092 CPUtime=1421.89 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 277822 0 0 0 142145 44 0 0 20 0 4 0 106156233 1377374208 278043 33554432000 4194304 16246674 140736644489776 140736644472776 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 336273 278043 916 2943 0 333167 0 [pid=3728/tid=3729] ppid=3725 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1377374208 278043 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1377374208 278043 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1377374208 278043 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1345092 [startup+1482.3 s] /proc/loadavg: 2.31 2.30 2.27 3/183 3936 /proc/meminfo: memFree=28073688/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1357380 CPUtime=1481.88 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 280894 0 0 0 148143 45 0 0 20 0 4 0 106156233 1389957120 281115 33554432000 4194304 16246674 140736644489776 140736644471680 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 339345 281115 916 2943 0 336239 0 [pid=3728/tid=3729] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1357380 [startup+1542.31 s] /proc/loadavg: 2.24 2.28 2.27 3/183 3937 /proc/meminfo: memFree=28073708/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1357380 CPUtime=1541.88 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 280894 0 0 0 154143 45 0 0 20 0 4 0 106156233 1389957120 281115 33554432000 4194304 16246674 140736644489776 140736644471680 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 339345 281115 916 2943 0 336239 0 [pid=3728/tid=3729] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1357380 [startup+1602.3 s] /proc/loadavg: 2.34 2.29 2.27 3/184 3942 /proc/meminfo: memFree=28073508/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1357380 CPUtime=1601.87 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 280894 0 0 0 160141 46 0 0 20 0 4 0 106156233 1389957120 281115 33554432000 4194304 16246674 140736644489776 140736644471680 12415720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 339345 281115 916 2943 0 336239 0 [pid=3728/tid=3729] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1357380 [startup+1662.3 s] /proc/loadavg: 2.38 2.31 2.28 3/183 3943 /proc/meminfo: memFree=28073400/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1357380 CPUtime=1661.86 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 280894 0 0 0 166140 46 0 0 20 0 4 0 106156233 1389957120 281115 33554432000 4194304 16246674 140736644489776 140736644471680 12415720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 339345 281115 916 2943 0 336239 0 [pid=3728/tid=3729] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1357380 [startup+1722.3 s] /proc/loadavg: 2.39 2.32 2.28 3/183 3944 /proc/meminfo: memFree=28073444/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1357380 CPUtime=1721.85 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 280894 0 0 0 172139 46 0 0 20 0 4 0 106156233 1389957120 281115 33554432000 4194304 16246674 140736644489776 140736644471680 5600072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 339345 281115 916 2943 0 336239 0 [pid=3728/tid=3729] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1357380 [startup+1782.3 s] /proc/loadavg: 2.27 2.31 2.27 3/183 3945 /proc/meminfo: memFree=28073584/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1357380 CPUtime=1781.84 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 280894 0 0 0 178138 46 0 0 20 0 4 0 106156233 1389957120 281115 33554432000 4194304 16246674 140736644489776 140736644471680 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 339345 281115 916 2943 0 336239 0 [pid=3728/tid=3729] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1357380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.29 2.31 2.27 3/183 3946 /proc/meminfo: memFree=28073680/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1357380 CPUtime=1800.03 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 280894 0 0 0 179957 46 0 0 20 0 4 0 106156233 1389957120 281115 33554432000 4194304 16246674 140736644489776 140736644471680 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 339345 281115 916 2943 0 336239 0 [pid=3728/tid=3729] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1357380 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 3728 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.29 2.31 2.27 3/183 3946 /proc/meminfo: memFree=28073680/32872528 swapFree=16384/1696552 [pid=3728] ppid=3725 vsize=1357380 CPUtime=1800.03 cores=0,2,4,6 /proc/3728/stat : 3728 (toysat) R 3725 3728 1166 0 -1 4202496 280894 0 0 0 179957 46 0 0 20 0 4 0 106156233 1389957120 281115 33554432000 4194304 16246674 140736644489776 140736644471680 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3728/statm: 339345 281115 916 2943 0 336239 0 [pid=3728/tid=3729] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3729/stat : 3729 (toysat) S 3725 3728 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744133491952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3728/tid=3730] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3730/stat : 3730 (toysat) S 3725 3728 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744123002096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3728/tid=3731] ppid=3725 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/3728/task/3731/stat : 3731 (toysat) S 3725 3728 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106156234 1389957120 281115 33554432000 4194304 16246674 140736644489776 139744008727728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1357380 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.58 CPU system time (s): 0.464929 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 1357380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.464929 maximum resident set size= 1124460 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 280894 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= 352 involuntary context switches= 1860 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.53831 second user time and 6.97294 second system time The end
Begin job on node125 at 2016-06-06 21:43:52 IDJOB=4079673 IDBENCH=2643 IDSOLVER=2542 FILE ID=node125/4079673-1465242232 RUNJOBID= node125-1465224138-1182 PBS_JOBID= 19843237 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_11.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079673-1465242232/watcher-4079673-1465242232 -o /tmp/evaluation-result-4079673-1465242232/solver-4079673-1465242232 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079673-1465242232.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5946eb43fefc6e626d35d99afd3eec42 RANDOM SEED=514778567 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: 29161476 kB Buffers: 42168 kB Cached: 129440 kB SwapCached: 2016 kB Active: 1240404 kB Inactive: 69136 kB Active(anon): 1138672 kB Inactive(anon): 1380 kB Active(file): 101732 kB Inactive(file): 67756 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 16716 kB Writeback: 0 kB AnonPages: 2792332 kB Mapped: 10748 kB Shmem: 0 kB Slab: 568408 kB SReclaimable: 12428 kB SUnreclaim: 555980 kB KernelStack: 1520 kB PageTables: 9768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2978460 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2230272 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-06 22:13:52