Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2016-05-02 | ? (TO) | 1800.22 | 1800.51 |
Name | /PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-33-100-0.wbo |
MD5SUM | d915342d89d3c1a99150a18d4b9b72d0 |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 162041 |
Best CPU time to get the best result obtained on this benchmark | 204.282 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 77106 |
Total number of constraints | 218779 |
Number of soft constraints | 146522 |
Number of constraints which are clauses | 205559 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13220 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
Top cost | 7396999 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 7396998 |
Biggest number in a constraint | 129 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 510 |
Number of bits of the biggest sum of numbers | 9 |
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-16T13:07:36+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","--wbo","--search=bcd2","HOME/instance-4093082-1466075255.wbo"] 0.00/0.01 c use --random-gen="679266434 4143173009 1284270091 3886976190 3244064472 4233460468 1313916003 1828498646 570513274 2424175321 3534263186 1312320018 1493673410 3445661188 331053697 2598555699 4268588116 1269007026 270384838 439133834 2779723727 1895180249 3335208154 3490445604 1777626383 3170091429 2680210643 3059867426 2714373630 941991801 1500447932 559575326 1957968175 569175842 1409736140 3436824327 1165255442 2972230647 3258451730 2952516487 2866816702 334310294 4097500332 1470058345 684272938 3023482226 3887014442 2868659792 3090443666 3232056093 2711761180 627859672 3032532153 4053371130 3618265837 3026213590 1948773396 3349221107 1760751521 514184124 3902009798 4120473516 2793285073 1635380476 1014064253 1617714617 3756468391 3043903207 3612016607 3404713694 231986525 3737567958 1279130115 2243522204 2490586198 714172417 971889185 3034832291 1241124933 2559013299 2024015446 945929435 4035734904 305540218 1969655473 2904210596 2818606436 4151989136 2472707246 3527917965 2964831364 2673621577 2784881495 2761135666 1357568373 1117028332 4218370977 3344184378 1626826116 3240771345 3701534122 45968696 1820037394 2683372545 533573243 1398579172 245925567 961193305 3072531640 3631898188 1562853760 4222441047 3104750045 21283021 4028018015 2329085283 665551624 3287355663 3194036856 1532267381 3892222642 1770957476 1353592251 3827893224 2530828165 589661878 1004018423 695401334 1572174023 3750559538 3353711462 2891058564 778613881 2219296156 2913007941 3472921869 1478577752 5249732 2641887979 4053023401 3876385815 2629447707 1300815976 3721932992 1484992885 99164714 3218962456 930514805 2202003858 1005779406 642122487 3384094087 2301795494 212848937 1719889139 739732683 2152958946 2356825188 3693243903 1977613378 3825890853 563274789 326848938 958186233 925983629 2461191714 3549043421 2863162436 1610472683 2705151205 2454257777 1351754672 1395495935 257338061 3109824130 3539734538 3102299122 3230279481 2858608486 575626100 473304580 2201025716 1684939845 936410419 4268329864 3861307703 2361860652 4145396413 1147276926 3248309926 2552437595 961417157 3612784125 3019472887 2521018825 4240759447 3082319083 225433155 3235365833 348024823 2431727953 1850813141 2668625320 4270972588 3544649235 1476507707 3627000725 2220331768 2195492636 2976659910 565727840 214007441 1435515601 925792076 4223528128 3415439867 2966644972 3882983512 4081907914 390319193 1959260898 2434971183 3696139843 2872001046 1727992760 2965111451 1453442881 1140795619 1338517385 1466442758 2002532710 3018852556 2959438861 2484027310 998547281 2286069330 3732995878 74650728 2667927176 2990923934 680350052 218762541 548874543 240652969 2604337232 749219869 2891860971 2108394605 1234411472 1508878928 688012942 2214465039 801913425 2929838409 3922435255 244753098 255 362436" option to reproduce the execution 9.89/9.99 c #vars 77106 9.89/9.99 c #constraints 218779 15.49/15.56 c BCD2: Hardening is enabled. 15.49/15.56 c BCD2: BiasedSearch is enabled. 15.49/15.56 c Solving starts ... 15.49/15.56 c ============================[ Search Statistics ]============================ 15.49/15.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 15.49/15.56 c | | | | Limit GC | Var | Constra 15.49/15.56 c ============================================================================= 15.49/15.60 c 0.0s | 0 | 0 | 0 | 147468 0 | 1 | 0 19.08/19.10 c 3.5s | 0 | 1103157 | 100 | 147468 0 | 1 | 0 19.18/19.20 c 3.6s | 1 | 1103157 | 100 | 147468 0 | 1 | 0 21.38/21.41 c 5.8s | 1 | 1650723 | 126 | 162215 0 | 1 | 0 21.38/21.41 c #cpu_time = 5.636s 21.38/21.41 c #wall_clock_time = 5.651s 21.38/21.41 c #decision = 1650723 21.38/21.41 c #random_decision = 5710 21.38/21.41 c #conflict = 126 21.38/21.41 c #restart = 1 21.38/21.46 o 25688 21.78/21.89 c BCD2: updating upper bound: 7397050 -> 25739 22.88/22.91 c BCD2: 0 <= obj <= 25739 22.88/22.93 c BCD2: #cores=0, #unrelaxed=146523, #relaxed=0, #hardened=0 22.88/22.93 c BCD2: #sat=1 #unsat=1 bias=1/2 22.88/22.95 c Solving starts ... 22.88/22.95 c ============================[ Search Statistics ]============================ 22.88/22.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 22.88/22.95 c | | | | Limit GC | Var | Constra 22.88/22.95 c ============================================================================= 22.88/22.95 c 0.0s | 0 | 0 | 0 | 162215 0 | 1 | 0 23.09/23.17 c 0.2s | 0 | 0 | 0 | 162215 0 | 1 | 0 23.09/23.17 c #cpu_time = 0.221s 23.09/23.17 c #wall_clock_time = 0.222s 23.09/23.17 c #decision = 0 23.09/23.17 c #random_decision = 0 23.09/23.17 c #conflict = 0 23.09/23.17 c #restart = 0 23.09/23.17 c BCD2: found a new core of size 1: cost of the new core is >=52 23.09/23.17 c lower bound updated to 0 23.19/23.23 c BCD2: 52 <= obj <= 25739 23.19/23.23 c BCD2: #cores=1, #unrelaxed=146522, #relaxed=1, #hardened=0 23.19/23.23 c BCD2: #sat=1 #unsat=2 bias=2/3 23.19/23.24 c Solving starts ... 23.19/23.25 c ============================[ Search Statistics ]============================ 23.19/23.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 23.19/23.25 c | | | | Limit GC | Var | Constra 23.19/23.25 c ============================================================================= 23.19/23.25 c 0.0s | 0 | 0 | 0 | 162215 0 | 1 | 0 23.98/24.07 c 0.8s | 1 | 147154 | 100 | 162215 0 | 1 | 0 25.89/25.97 c 2.7s | 2 | 295363 | 250 | 178437 0 | 1 | 0 28.28/28.30 c 5.1s | 3 | 451742 | 475 | 196281 0 | 1 | 0 30.28/30.38 c 7.1s | 3 | 599004 | 775 | 215910 0 | 1 | 0 30.68/30.75 c 7.5s | 4 | 599203 | 813 | 215910 0 | 1 | 0 32.78/32.83 c 9.6s | 5 | 755828 | 1320 | 237502 0 | 1 | 0 34.98/35.08 c 11.8s | 6 | 903577 | 2081 | 261253 0 | 1 | 0 37.18/37.22 c 14.0s | 6 | 1052598 | 3181 | 287379 0 | 1 | 0 37.28/37.32 c 14.1s | 7 | 1052648 | 3223 | 287379 0 | 1 | 0 39.38/39.44 c 16.2s | 7 | 1199744 | 3523 | 287379 0 | 1 | 0 41.68/41.71 c 18.5s | 7 | 1201260 | 4023 | 287379 0 | 1 | 0 44.18/44.25 c 21.0s | 7 | 1202548 | 4623 | 287379 0 | 1 | 0 45.19/45.23 c 22.0s | 8 | 1203137 | 4936 | 316117 0 | 1 | 0 47.88/47.95 c 24.7s | 8 | 1351842 | 5236 | 316117 0 | 1 | 0 50.08/50.10 c 26.9s | 8 | 1353596 | 5936 | 316117 0 | 1 | 0 52.08/52.17 c 28.9s | 8 | 1354457 | 6436 | 316117 0 | 1 | 0 54.48/54.50 c 31.3s | 8 | 1382566 | 7036 | 316117 0 | 1 | 0 56.28/56.33 c 33.1s | 9 | 1383443 | 7506 | 347729 0 | 1 | 0 58.39/58.42 c 35.2s | 9 | 1530974 | 8006 | 347729 0 | 1 | 0 60.88/60.96 c 37.7s | 9 | 1532453 | 8706 | 347729 0 | 1 | 0 62.98/63.03 c 39.8s | 9 | 1535943 | 9806 | 347729 0 | 1 | 0 65.08/65.16 c 41.9s | 9 | 1539383 | 10906 | 347729 0 | 1 | 0 66.78/66.85 c 43.6s | 10 | 1540490 | 11361 | 382502 0 | 1 | 0 68.98/69.03 c 45.8s | 10 | 1689034 | 11661 | 382502 0 | 1 | 0 71.58/71.63 c 48.4s | 10 | 1691370 | 12161 | 382502 0 | 1 | 0 73.68/73.77 c 50.5s | 10 | 1693779 | 12961 | 382502 0 | 1 | 0 75.78/75.84 c 52.6s | 10 | 1695111 | 13561 | 382502 0 | 1 | 0 77.97/78.00 c 54.8s | 10 | 1696103 | 13961 | 382502 0 | 1 | 0 80.08/80.15 c 56.9s | 10 | 1697067 | 14361 | 382502 0 | 1 | 0 82.18/82.24 c 59.0s | 10 | 1698599 | 14961 | 382502 0 | 1 | 0 84.38/84.44 c 61.2s | 10 | 1699951 | 15661 | 382502 0 | 1 | 0 86.37/86.49 c 63.2s | 10 | 1701100 | 16261 | 382502 0 | 1 | 0 88.77/88.80 c 65.6s | 10 | 1702430 | 16961 | 420753 0 | 1 | 0 89.37/89.47 c 66.2s | 11 | 1702745 | 17144 | 420753 0 | 1 | 0 91.38/91.48 c 68.2s | 11 | 1850811 | 17844 | 420753 0 | 1 | 0 94.27/94.33 c 71.1s | 11 | 1853706 | 18344 | 420753 0 | 1 | 0 96.79/96.83 c 73.6s | 11 | 1854606 | 18644 | 420753 0 | 1 | 0 98.88/98.95 c 75.7s | 11 | 1856011 | 19244 | 420753 0 | 1 | 0 101.18/101.26 c 78.0s | 11 | 1856653 | 19544 | 420753 0 | 1 | 0 103.78/103.88 c 80.6s | 11 | 1857630 | 19944 | 420753 0 | 1 | 0 105.88/105.99 c 82.7s | 11 | 1858221 | 20244 | 420753 0 | 1 | 0 107.98/108.02 c 84.8s | 11 | 1858616 | 20444 | 420753 0 | 1 | 0 110.18/110.26 c 87.0s | 11 | 1859198 | 20744 | 420753 0 | 1 | 0 112.47/112.59 c 89.3s | 11 | 1859808 | 21044 | 420753 0 | 1 | 0 114.67/114.73 c 91.5s | 11 | 1861018 | 21444 | 420753 0 | 1 | 0 116.97/117.03 c 93.8s | 11 | 1861907 | 21844 | 420753 0 | 1 | 0 119.27/119.34 c 96.1s | 11 | 1862775 | 22344 | 420753 0 | 1 | 0 121.37/121.44 c 98.2s | 11 | 1863472 | 22644 | 420753 0 | 1 | 0 123.37/123.49 c 100s | 11 | 1866504 | 23844 | 420753 0 | 1 | 0 125.48/125.51 c 102s | 11 | 1868409 | 24644 | 420753 0 | 1 | 0 127.47/127.57 c 104s | 11 | 1870642 | 25344 | 420753 0 | 1 | 0 129.47/129.55 c 106s | 12 | 1871551 | 25819 | 462829 0 | 1 | 0 132.27/132.35 c 109s | 12 | 2018992 | 26019 | 462829 0 | 1 | 0 134.37/134.40 c 111s | 12 | 2020882 | 26619 | 462829 0 | 1 | 0 136.57/136.67 c 113s | 12 | 2022801 | 27719 | 462829 0 | 1 | 0 139.07/139.16 c 115s | 12 | 2023866 | 28219 | 462829 0 | 1 | 0 141.37/141.44 c 118s | 12 | 2024807 | 28619 | 462829 0 | 1 | 0 143.47/143.54 c 120s | 12 | 2026468 | 28919 | 462829 0 | 1 | 0 145.97/146.07 c 122s | 12 | 2028181 | 29319 | 462829 0 | 1 | 0 147.96/148.09 c 124s | 12 | 2029474 | 29619 | 462829 0 | 1 | 0 151.06/151.14 c 127s | 12 | 2030881 | 29919 | 462829 0 | 1 | 0 153.67/153.75 c 130s | 12 | 2032513 | 30219 | 462829 0 | 1 | 0 155.77/155.82 c 132s | 12 | 2032939 | 30319 | 462829 0 | 1 | 0 158.17/158.22 c 134s | 12 | 2034667 | 30719 | 462829 0 | 1 | 0 160.27/160.36 c 137s | 12 | 2035848 | 31019 | 462829 0 | 1 | 0 162.47/162.54 c 139s | 12 | 2036972 | 31319 | 462829 0 | 1 | 0 164.87/164.91 c 141s | 12 | 2037967 | 31619 | 462829 0 | 1 | 0 167.36/167.46 c 144s | 12 | 2038319 | 31819 | 462829 0 | 1 | 0 169.66/169.72 c 146s | 12 | 2039323 | 32119 | 462829 0 | 1 | 0 172.06/172.12 c 148s | 12 | 2040111 | 32419 | 462829 0 | 1 | 0 174.66/174.78 c 151s | 12 | 2041279 | 32719 | 462829 0 | 1 | 0 177.36/177.40 c 154s | 12 | 2042252 | 33019 | 462829 0 | 1 | 0 179.37/179.46 c 156s | 12 | 2042725 | 33219 | 462829 0 | 1 | 0 181.47/181.53 c 158s | 12 | 2043405 | 33519 | 462829 0 | 1 | 0 184.06/184.19 c 160s | 12 | 2044101 | 33819 | 462829 0 | 1 | 0 187.26/187.38 c 164s | 12 | 2044841 | 34119 | 462829 0 | 1 | 0 189.56/189.63 c 166s | 12 | 2045213 | 34319 | 462829 0 | 1 | 0 192.05/192.11 c 168s | 12 | 2045736 | 34519 | 462829 0 | 1 | 0 195.36/195.45 c 172s | 12 | 2046481 | 34819 | 462829 0 | 1 | 0 197.86/198.00 c 174s | 12 | 2047133 | 35019 | 462829 0 | 1 | 0 200.35/200.40 c 177s | 12 | 2048300 | 35419 | 462829 0 | 1 | 0 202.75/202.80 c 179s | 12 | 2049356 | 35719 | 462829 0 | 1 | 0 204.75/204.87 c 181s | 12 | 2050248 | 36019 | 462829 0 | 1 | 0 207.06/207.16 c 183s | 12 | 2051263 | 36319 | 462829 0 | 1 | 0 209.46/209.50 c 186s | 12 | 2052177 | 36619 | 462829 0 | 1 | 0 212.05/212.14 c 188s | 12 | 2053153 | 36919 | 462829 0 | 1 | 0 214.95/215.01 c 191s | 12 | 2053910 | 37219 | 462829 0 | 1 | 0 218.05/218.13 c 194s | 12 | 2054867 | 37519 | 462829 0 | 1 | 0 220.15/220.25 c 197s | 12 | 2055351 | 37719 | 462829 0 | 1 | 0 223.05/223.19 c 199s | 12 | 2055884 | 37919 | 462829 0 | 1 | 0 225.75/225.82 c 202s | 12 | 2056228 | 38119 | 462829 0 | 1 | 0 228.05/228.18 c 204s | 12 | 2057078 | 38419 | 462829 0 | 1 | 0 230.45/230.58 c 207s | 12 | 2058272 | 38719 | 509112 0 | 1 | 0 231.35/231.44 c 208s | 13 | 2058604 | 38832 | 509112 0 | 1 | 0 233.55/233.66 c 210s | 13 | 2205800 | 38932 | 509112 0 | 1 | 0 235.85/235.99 c 212s | 13 | 2207416 | 39232 | 509112 0 | 1 | 0 238.05/238.10 c 214s | 13 | 2209224 | 39832 | 509112 0 | 1 | 0 240.05/240.12 c 216s | 13 | 2211060 | 40532 | 509112 0 | 1 | 0 243.05/243.20 c 219s | 13 | 2212863 | 41132 | 509112 0 | 1 | 0 245.15/245.29 c 222s | 13 | 2214171 | 41832 | 509112 0 | 1 | 0 247.15/247.29 c 224s | 13 | 2214987 | 42232 | 509112 0 | 1 | 0 249.35/249.41 c 226s | 13 | 2215548 | 42432 | 509112 0 | 1 | 0 251.64/251.73 c 228s | 13 | 2216165 | 42632 | 509112 0 | 1 | 0 253.85/253.95 c 230s | 13 | 2217419 | 42932 | 509112 0 | 1 | 0 256.85/256.97 c 233s | 13 | 2218122 | 43232 | 509112 0 | 1 | 0 259.45/259.56 c 236s | 13 | 2218739 | 43432 | 509112 0 | 1 | 0 261.55/261.66 c 238s | 13 | 2228685 | 43732 | 509112 0 | 1 | 0 263.85/263.98 c 240s | 13 | 2231275 | 44332 | 509112 0 | 1 | 0 265.95/266.08 c 242s | 13 | 2232303 | 44932 | 509112 0 | 1 | 0 268.46/268.57 c 245s | 13 | 2233434 | 45632 | 509112 0 | 1 | 0 270.56/270.61 c 247s | 13 | 2233985 | 45932 | 509112 0 | 1 | 0 273.25/273.31 c 250s | 13 | 2234606 | 46332 | 509112 0 | 1 | 0 275.35/275.46 c 252s | 13 | 2235391 | 46632 | 509112 0 | 1 | 0 277.84/277.96 c 254s | 13 | 2236076 | 47032 | 509112 0 | 1 | 0 280.15/280.22 c 256s | 13 | 2236612 | 47332 | 509112 0 | 1 | 0 282.35/282.47 c 259s | 13 | 2237368 | 47632 | 509112 0 | 1 | 0 284.44/284.59 c 261s | 13 | 2238036 | 48032 | 509112 0 | 1 | 0 286.85/286.95 c 263s | 13 | 2238876 | 48532 | 509112 0 | 1 | 0 288.95/289.09 c 265s | 13 | 2240152 | 49132 | 509112 0 | 1 | 0 291.24/291.32 c 268s | 13 | 2241178 | 49632 | 509112 0 | 1 | 0 293.24/293.34 c 270s | 13 | 2241954 | 50032 | 509112 0 | 1 | 0 295.44/295.50 c 272s | 13 | 2242949 | 50432 | 509112 0 | 1 | 0 297.44/297.54 c 274s | 13 | 2243640 | 50832 | 509112 0 | 1 | 0 299.54/299.69 c 276s | 13 | 2244823 | 51232 | 509112 0 | 1 | 0 302.14/302.20 c 278s | 13 | 2245402 | 51632 | 509112 0 | 1 | 0 304.14/304.21 c 280s | 13 | 2245813 | 51932 | 509112 0 | 1 | 0 307.14/307.24 c 283s | 13 | 2246323 | 52232 | 509112 0 | 1 | 0 309.44/309.50 c 286s | 13 | 2246718 | 52432 | 509112 0 | 1 | 0 312.04/312.18 c 288s | 13 | 2247697 | 52732 | 509112 0 | 1 | 0 314.44/314.60 c 291s | 13 | 2248379 | 53132 | 509112 0 | 1 | 0 317.04/317.16 c 293s | 13 | 2249213 | 53532 | 509112 0 | 1 | 0 319.53/319.66 c 296s | 13 | 2250078 | 53932 | 509112 0 | 1 | 0 321.84/321.99 c 298s | 13 | 2250965 | 54332 | 509112 0 | 1 | 0 324.64/324.71 c 301s | 13 | 2252004 | 54732 | 509112 0 | 1 | 0 327.14/327.20 c 303s | 13 | 2253060 | 55132 | 509112 0 | 1 | 0 329.54/329.60 c 306s | 13 | 2253964 | 55432 | 509112 0 | 1 | 0 331.53/331.68 c 308s | 13 | 2254446 | 55732 | 509112 0 | 1 | 0 333.74/333.87 c 310s | 13 | 2254898 | 56032 | 509112 0 | 1 | 0 336.04/336.16 c 312s | 13 | 2256158 | 56532 | 509112 0 | 1 | 0 338.04/338.19 c 314s | 13 | 2256931 | 56832 | 509112 0 | 1 | 0 340.63/340.72 c 317s | 13 | 2257772 | 57232 | 509112 0 | 1 | 0 343.33/343.45 c 320s | 13 | 2258668 | 57632 | 509112 0 | 1 | 0 345.44/345.57 c 322s | 13 | 2259250 | 57932 | 560024 0 | 1 | 0 347.65/347.78 c 324s | 13 | 2259916 | 58232 | 560024 0 | 1 | 0 348.54/348.67 c 325s | 14 | 2260108 | 58352 | 560024 0 | 1 | 0 351.23/351.35 c 328s | 14 | 2407532 | 58452 | 560024 0 | 1 | 0 353.23/353.37 c 330s | 14 | 2409081 | 58852 | 560024 0 | 1 | 0 355.44/355.52 c 332s | 14 | 2409814 | 59052 | 560024 0 | 1 | 0 357.54/357.61 c 334s | 14 | 2410893 | 59452 | 560024 0 | 1 | 0 359.54/359.64 c 336s | 14 | 2412154 | 59752 | 560024 0 | 1 | 0 362.33/362.42 c 339s | 14 | 2413685 | 60152 | 560024 0 | 1 | 0 364.43/364.58 c 341s | 14 | 2414518 | 60452 | 560024 0 | 1 | 0 367.13/367.21 c 343s | 14 | 2415740 | 60852 | 560024 0 | 1 | 0 369.73/369.80 c 346s | 14 | 2417093 | 61252 | 560024 0 | 1 | 0 372.03/372.10 c 348s | 14 | 2418349 | 61652 | 560024 0 | 1 | 0 374.04/374.13 c 350s | 14 | 2419257 | 61952 | 560024 0 | 1 | 0 376.42/376.54 c 353s | 14 | 2420449 | 62352 | 560024 0 | 1 | 0 379.13/379.20 c 355s | 14 | 2421150 | 62552 | 560024 0 | 1 | 0 381.93/382.02 c 358s | 14 | 2421944 | 62852 | 560024 0 | 1 | 0 384.33/384.42 c 361s | 14 | 2422812 | 63152 | 560024 0 | 1 | 0 386.83/386.94 c 363s | 14 | 2423862 | 63452 | 560024 0 | 1 | 0 389.23/389.39 c 366s | 14 | 2424551 | 63852 | 560024 0 | 1 | 0 392.33/392.46 c 369s | 14 | 2425141 | 64052 | 560024 0 | 1 | 0 394.53/394.60 c 371s | 14 | 2425505 | 64252 | 560024 0 | 1 | 0 397.32/397.46 c 374s | 14 | 2426828 | 64552 | 560024 0 | 1 | 0 399.62/399.78 c 376s | 14 | 2428061 | 64852 | 560024 0 | 1 | 0 402.32/402.40 c 379s | 14 | 2429149 | 65252 | 560024 0 | 1 | 0 404.83/404.93 c 381s | 14 | 2430066 | 65552 | 560024 0 | 1 | 0 407.23/407.35 c 384s | 14 | 2430781 | 65852 | 560024 0 | 1 | 0 409.82/409.98 c 386s | 14 | 2432096 | 66252 | 560024 0 | 1 | 0 412.22/412.30 c 389s | 14 | 2432819 | 66452 | 560024 0 | 1 | 0 414.73/414.85 c 391s | 14 | 2433510 | 66652 | 560024 0 | 1 | 0 417.32/417.46 c 394s | 14 | 2434068 | 66852 | 560024 0 | 1 | 0 420.24/420.38 c 397s | 14 | 2434640 | 67052 | 560024 0 | 1 | 0 423.02/423.19 c 399s | 14 | 2435192 | 67252 | 560024 0 | 1 | 0 425.12/425.23 c 401s | 14 | 2435471 | 67352 | 560024 0 | 1 | 0 427.62/427.77 c 404s | 14 | 2435996 | 67552 | 560024 0 | 1 | 0 429.72/429.83 c 406s | 14 | 2436217 | 67652 | 560024 0 | 1 | 0 433.32/433.47 c 410s | 14 | 2436736 | 67852 | 560024 0 | 1 | 0 436.32/436.42 c 413s | 14 | 2437305 | 68052 | 560024 0 | 1 | 0 438.62/438.77 c 415s | 14 | 2437762 | 68252 | 560024 0 | 1 | 0 441.22/441.34 c 418s | 14 | 2438248 | 68452 | 560024 0 | 1 | 0 443.62/443.78 c 420s | 14 | 2438650 | 68652 | 560024 0 | 1 | 0 446.42/446.52 c 423s | 14 | 2438885 | 68752 | 560024 0 | 1 | 0 449.42/449.57 c 426s | 14 | 2439220 | 68852 | 560024 0 | 1 | 0 453.62/453.72 c 430s | 14 | 2439439 | 68952 | 560024 0 | 1 | 0 456.91/457.01 c 433s | 14 | 2439665 | 69052 | 560024 0 | 1 | 0 459.31/459.49 c 436s | 14 | 2439855 | 69152 | 560024 0 | 1 | 0 463.81/463.93 c 440s | 14 | 2440382 | 69352 | 560024 0 | 1 | 0 466.42/466.57 c 443s | 14 | 2440873 | 69552 | 560024 0 | 1 | 0 469.02/469.14 c 445s | 14 | 2441689 | 69852 | 560024 0 | 1 | 0 471.01/471.15 c 447s | 14 | 2441878 | 69952 | 560024 0 | 1 | 0 474.21/474.31 c 451s | 14 | 2442221 | 70152 | 560024 0 | 1 | 0 476.22/476.33 c 453s | 14 | 2442645 | 70252 | 560024 0 | 1 | 0 480.41/480.52 c 457s | 14 | 2443138 | 70452 | 560024 0 | 1 | 0 482.41/482.54 c 459s | 14 | 2443667 | 70552 | 560024 0 | 1 | 0 486.41/486.51 c 463s | 14 | 2443973 | 70752 | 560024 0 | 1 | 0 489.71/489.80 c 466s | 14 | 2444310 | 70852 | 560024 0 | 1 | 0 492.01/492.15 c 468s | 14 | 2445386 | 71152 | 560024 0 | 1 | 0 494.41/494.52 c 471s | 14 | 2447055 | 71452 | 560024 0 | 1 | 0 496.51/496.67 c 473s | 14 | 2447946 | 71752 | 560024 0 | 1 | 0 498.71/498.83 c 475s | 14 | 2448580 | 72052 | 560024 0 | 1 | 0 501.81/501.95 c 478s | 14 | 2449588 | 72352 | 560024 0 | 1 | 0 505.01/505.19 c 481s | 14 | 2450116 | 72552 | 560024 0 | 1 | 0 507.21/507.33 c 484s | 14 | 2450800 | 72752 | 560024 0 | 1 | 0 510.31/510.43 c 487s | 14 | 2451377 | 72952 | 560024 0 | 1 | 0 513.01/513.15 c 489s | 14 | 2452197 | 73252 | 560024 0 | 1 | 0 516.31/516.45 c 493s | 14 | 2453252 | 73552 | 560024 0 | 1 | 0 518.80/518.94 c 495s | 14 | 2453885 | 73752 | 560024 0 | 1 | 0 523.00/523.11 c 499s | 14 | 2454464 | 73952 | 560024 0 | 1 | 0 525.41/525.59 c 502s | 14 | 2454988 | 74152 | 560024 0 | 1 | 0 527.71/527.81 c 504s | 14 | 2455554 | 74352 | 560024 0 | 1 | 0 531.32/531.42 c 508s | 14 | 2456674 | 74652 | 560024 0 | 1 | 0 533.41/533.60 c 510s | 14 | 2457213 | 74852 | 560024 0 | 1 | 0 536.71/536.84 c 513s | 14 | 2457666 | 75052 | 560024 0 | 1 | 0 541.21/541.36 c 518s | 14 | 2457867 | 75152 | 560024 0 | 1 | 0 545.80/545.94 c 522s | 14 | 2457983 | 75252 | 560024 0 | 1 | 0 549.50/549.60 c 526s | 14 | 2458160 | 75352 | 560024 0 | 1 | 0 552.40/552.58 c 529s | 14 | 2458430 | 75452 | 560024 0 | 1 | 0 556.20/556.33 c 533s | 14 | 2458877 | 75652 | 560024 0 | 1 | 0 559.20/559.34 c 536s | 14 | 2459119 | 75752 | 560024 0 | 1 | 0 562.90/563.03 c 539s | 14 | 2459265 | 75852 | 560024 0 | 1 | 0 567.60/567.76 c 544s | 14 | 2459402 | 75952 | 560024 0 | 1 | 0 570.80/570.95 c 547s | 14 | 2459603 | 76052 | 560024 0 | 1 | 0 573.20/573.38 c 550s | 14 | 2459933 | 76152 | 560024 0 | 1 | 0 575.89/576.09 c 552s | 14 | 2460313 | 76252 | 560024 0 | 1 | 0 579.61/579.75 c 556s | 14 | 2460584 | 76352 | 560024 0 | 1 | 0 582.20/582.36 c 559s | 14 | 2460993 | 76452 | 560024 0 | 1 | 0 584.70/584.88 c 561s | 14 | 2461250 | 76552 | 560024 0 | 1 | 0 587.60/587.78 c 564s | 14 | 2461786 | 76852 | 560024 0 | 1 | 0 590.49/590.66 c 567s | 14 | 2462480 | 77052 | 560024 0 | 1 | 0 592.80/592.91 c 569s | 14 | 2463240 | 77252 | 560024 0 | 1 | 0 595.20/595.34 c 572s | 14 | 2464095 | 77452 | 560024 0 | 1 | 0 597.39/597.57 c 574s | 14 | 2465262 | 77752 | 560024 0 | 1 | 0 599.80/599.99 c 576s | 14 | 2466612 | 78052 | 560024 0 | 1 | 0 602.59/602.79 c 579s | 14 | 2468079 | 78352 | 560024 0 | 1 | 0 605.29/605.40 c 582s | 14 | 2468977 | 78652 | 560024 0 | 1 | 0 608.09/608.22 c 584s | 14 | 2470100 | 78952 | 560024 0 | 1 | 0 610.69/610.86 c 587s | 14 | 2471080 | 79252 | 560024 0 | 1 | 0 613.09/613.29 c 590s | 14 | 2471758 | 79452 | 560024 0 | 1 | 0 616.50/616.63 c 593s | 14 | 2472259 | 79652 | 560024 0 | 1 | 0 619.09/619.28 c 596s | 14 | 2472767 | 79852 | 560024 0 | 1 | 0 622.09/622.24 c 598s | 14 | 2473438 | 80152 | 560024 0 | 1 | 0 625.49/625.63 c 602s | 14 | 2474192 | 80352 | 560024 0 | 1 | 0 628.69/628.84 c 605s | 14 | 2475239 | 80552 | 560024 0 | 1 | 0 631.30/631.48 c 608s | 14 | 2476124 | 80752 | 560024 0 | 1 | 0 633.89/634.08 c 610s | 14 | 2476466 | 80852 | 560024 0 | 1 | 0 636.99/637.19 c 613s | 14 | 2477082 | 81052 | 560024 0 | 1 | 0 640.29/640.42 c 617s | 14 | 2477705 | 81252 | 560024 0 | 1 | 0 642.59/642.76 c 619s | 14 | 2478501 | 81452 | 560024 0 | 1 | 0 645.49/645.62 c 622s | 14 | 2479162 | 81652 | 560024 0 | 1 | 0 648.09/648.28 c 625s | 14 | 2479722 | 81852 | 560024 0 | 1 | 0 651.58/651.74 c 628s | 14 | 2480733 | 82052 | 560024 0 | 1 | 0 653.98/654.11 c 630s | 14 | 2481372 | 82252 | 560024 0 | 1 | 0 656.59/656.78 c 633s | 14 | 2482165 | 82452 | 560024 0 | 1 | 0 659.28/659.40 c 636s | 14 | 2482865 | 82652 | 560024 0 | 1 | 0 663.38/663.58 c 640s | 14 | 2483683 | 82852 | 560024 0 | 1 | 0 666.49/666.70 c 643s | 14 | 2484104 | 82952 | 560024 0 | 1 | 0 669.08/669.26 c 646s | 14 | 2484399 | 83052 | 560024 0 | 1 | 0 672.00/672.12 c 648s | 14 | 2485090 | 83252 | 560024 0 | 1 | 0 674.48/674.64 c 651s | 14 | 2485816 | 83452 | 560024 0 | 1 | 0 677.98/678.15 c 654s | 14 | 2486586 | 83652 | 560024 0 | 1 | 0 681.38/681.57 c 658s | 14 | 2487087 | 83852 | 560024 0 | 1 | 0 684.39/684.50 c 661s | 14 | 2487667 | 84052 | 560024 0 | 1 | 0 688.08/688.28 c 665s | 14 | 2488254 | 84252 | 560024 0 | 1 | 0 690.18/690.35 c 667s | 14 | 2488500 | 84352 | 560024 0 | 1 | 0 692.28/692.44 c 669s | 14 | 2488762 | 84452 | 560024 0 | 1 | 0 694.28/694.46 c 671s | 14 | 2488985 | 84552 | 560024 0 | 1 | 0 696.98/697.19 c 673s | 14 | 2489292 | 84652 | 560024 0 | 1 | 0 699.18/699.32 c 676s | 14 | 2489542 | 84752 | 560024 0 | 1 | 0 702.08/702.25 c 679s | 14 | 2490109 | 84852 | 560024 0 | 1 | 0 705.98/706.16 c 682s | 14 | 2623246 | 85052 | 560024 0 | 1 | 0 708.29/708.49 c 685s | 14 | 2623535 | 85152 | 560024 0 | 1 | 0 710.68/710.85 c 687s | 14 | 2623750 | 85252 | 560024 0 | 1 | 0 714.18/714.34 c 691s | 14 | 2623982 | 85352 | 560024 0 | 1 | 0 716.58/716.75 c 693s | 14 | 2624907 | 85552 | 560024 0 | 1 | 0 719.48/719.69 c 696s | 14 | 2625635 | 85852 | 560024 0 | 1 | 0 722.17/722.31 c 699s | 14 | 2626817 | 86152 | 560024 0 | 1 | 0 724.58/724.70 c 701s | 14 | 2627882 | 86452 | 560024 0 | 1 | 0 727.08/727.26 c 704s | 14 | 2628972 | 86752 | 560024 0 | 1 | 0 729.88/730.03 c 706s | 14 | 2629424 | 86952 | 616027 0 | 1 | 0 732.68/732.90 c 709s | 14 | 2629970 | 87152 | 616027 0 | 1 | 0 735.27/735.49 c 712s | 14 | 2631127 | 87452 | 616027 0 | 1 | 0 737.37/737.54 c 714s | 15 | 2631889 | 87632 | 616027 0 | 1 | 0 742.98/743.16 c 719s | 15 | 2779004 | 87732 | 616027 0 | 1 | 0 745.78/745.96 c 722s | 15 | 2779665 | 87932 | 616027 0 | 1 | 0 747.98/748.17 c 724s | 15 | 2780332 | 88132 | 616027 0 | 1 | 0 751.37/751.55 c 728s | 15 | 2780901 | 88332 | 616027 0 | 1 | 0 753.38/753.56 c 730s | 15 | 2781485 | 88532 | 616027 0 | 1 | 0 755.68/755.83 c 732s | 15 | 2782214 | 88732 | 616027 0 | 1 | 0 758.57/758.75 c 735s | 15 | 2782968 | 88932 | 616027 0 | 1 | 0 761.77/761.95 c 738s | 15 | 2784050 | 89232 | 616027 0 | 1 | 0 763.88/764.08 c 740s | 15 | 2784369 | 89332 | 616027 0 | 1 | 0 766.58/766.75 c 743s | 15 | 2785047 | 89532 | 616027 0 | 1 | 0 769.77/769.92 c 746s | 15 | 2785822 | 89732 | 616027 0 | 1 | 0 772.96/773.10 c 749s | 15 | 2786688 | 89932 | 616027 0 | 1 | 0 774.97/775.12 c 751s | 15 | 2787437 | 90132 | 616027 0 | 1 | 0 777.47/777.62 c 754s | 15 | 2788086 | 90332 | 616027 0 | 1 | 0 780.47/780.63 c 757s | 15 | 2788737 | 90532 | 616027 0 | 1 | 0 783.77/783.91 c 760s | 15 | 2789256 | 90732 | 616027 0 | 1 | 0 785.77/785.98 c 762s | 15 | 2790375 | 90932 | 616027 0 | 1 | 0 787.86/788.04 c 764s | 15 | 2791098 | 91132 | 616027 0 | 1 | 0 791.27/791.47 c 768s | 15 | 2791610 | 91232 | 616027 0 | 1 | 0 793.46/793.64 c 770s | 15 | 2792244 | 91332 | 616027 0 | 1 | 0 795.77/795.90 c 772s | 15 | 2792703 | 91432 | 616027 0 | 1 | 0 798.57/798.75 c 775s | 15 | 2793619 | 91632 | 616027 0 | 1 | 0 800.77/800.91 c 777s | 15 | 2794584 | 91832 | 616027 0 | 1 | 0 803.76/803.99 c 780s | 15 | 2795683 | 92132 | 616027 0 | 1 | 0 805.86/806.03 c 782s | 15 | 2796233 | 92332 | 616027 0 | 1 | 0 808.96/809.19 c 785s | 15 | 2796749 | 92532 | 616027 0 | 1 | 0 811.06/811.29 c 788s | 15 | 2797410 | 92732 | 616027 0 | 1 | 0 813.27/813.40 c 790s | 15 | 2797994 | 92932 | 616027 0 | 1 | 0 815.56/815.70 c 792s | 15 | 2798527 | 93132 | 616027 0 | 1 | 0 817.86/818.05 c 794s | 15 | 2799173 | 93332 | 616027 0 | 1 | 0 820.26/820.49 c 797s | 15 | 2799675 | 93532 | 616027 0 | 1 | 0 823.56/823.75 c 800s | 15 | 2800207 | 93732 | 616027 0 | 1 | 0 827.56/827.70 c 804s | 15 | 2800780 | 93932 | 616027 0 | 1 | 0 830.37/830.57 c 807s | 15 | 2801422 | 94132 | 616027 0 | 1 | 0 832.86/833.01 c 809s | 15 | 2801871 | 94332 | 616027 0 | 1 | 0 834.87/835.09 c 811s | 15 | 2802292 | 94532 | 616027 0 | 1 | 0 838.56/838.74 c 815s | 15 | 2802883 | 94732 | 616027 0 | 1 | 0 841.26/841.44 c 818s | 15 | 2803529 | 94932 | 616027 0 | 1 | 0 844.86/845.08 c 821s | 15 | 2804459 | 95132 | 616027 0 | 1 | 0 847.66/847.87 c 824s | 15 | 2805283 | 95332 | 616027 0 | 1 | 0 850.96/851.10 c 827s | 15 | 2805983 | 95532 | 616027 0 | 1 | 0 853.76/853.90 c 830s | 15 | 2806681 | 95732 | 616027 0 | 1 | 0 856.16/856.34 c 833s | 15 | 2807390 | 95932 | 616027 0 | 1 | 0 859.35/859.59 c 836s | 15 | 2808143 | 96132 | 616027 0 | 1 | 0 863.06/863.27 c 840s | 15 | 2808568 | 96332 | 616027 0 | 1 | 0 865.16/865.33 c 842s | 15 | 2809119 | 96432 | 616027 0 | 1 | 0 869.05/869.24 c 845s | 15 | 2809917 | 96632 | 616027 0 | 1 | 0 871.26/871.40 c 848s | 15 | 2810160 | 96732 | 616027 0 | 1 | 0 873.56/873.78 c 850s | 15 | 2810426 | 96832 | 616027 0 | 1 | 0 877.96/878.16 c 854s | 15 | 2811404 | 97032 | 616027 0 | 1 | 0 881.46/881.66 c 858s | 15 | 2812264 | 97232 | 616027 0 | 1 | 0 884.15/884.30 c 861s | 15 | 2812692 | 97532 | 616027 0 | 1 | 0 886.15/886.33 c 863s | 15 | 2813008 | 97732 | 616027 0 | 1 | 0 888.66/888.87 c 865s | 15 | 2814361 | 98232 | 616027 0 | 1 | 0 891.05/891.24 c 867s | 15 | 2815290 | 98532 | 616027 0 | 1 | 0 893.45/893.66 c 870s | 15 | 2816164 | 98832 | 616027 0 | 1 | 0 895.76/895.98 c 872s | 15 | 2816985 | 99132 | 616027 0 | 1 | 0 898.85/899.03 c 875s | 15 | 2817814 | 99432 | 616027 0 | 1 | 0 901.65/901.89 c 878s | 15 | 2818643 | 99732 | 616027 0 | 1 | 0 903.95/904.16 c 880s | 15 | 2819524 | 100032 | 616027 0 | 1 | 0 906.75/906.92 c 883s | 15 | 2820614 | 100432 | 616027 0 | 1 | 0 908.95/909.13 c 885s | 15 | 2821468 | 100732 | 616027 0 | 1 | 0 911.25/911.46 c 888s | 15 | 2822352 | 101032 | 616027 0 | 1 | 0 914.25/914.47 c 891s | 15 | 2822919 | 101332 | 616027 0 | 1 | 0 917.25/917.46 c 894s | 15 | 2823151 | 101532 | 616027 0 | 1 | 0 920.25/920.46 c 897s | 15 | 2823364 | 101732 | 616027 0 | 1 | 0 923.05/923.25 c 900s | 15 | 2823609 | 101932 | 616027 0 | 1 | 0 926.05/926.23 c 902s | 15 | 2823821 | 102132 | 616027 0 | 1 | 0 929.46/929.62 c 906s | 15 | 2824034 | 102332 | 616027 0 | 1 | 0 932.05/932.26 c 909s | 15 | 2824454 | 102532 | 616027 0 | 1 | 0 934.55/934.70 c 911s | 15 | 2825074 | 102832 | 616027 0 | 1 | 0 937.55/937.70 c 914s | 15 | 2825396 | 103032 | 616027 0 | 1 | 0 939.75/939.96 c 916s | 15 | 2826127 | 103232 | 616027 0 | 1 | 0 942.45/942.64 c 919s | 15 | 2826454 | 103432 | 616027 0 | 1 | 0 945.55/945.72 c 922s | 15 | 2826800 | 103632 | 616027 0 | 1 | 0 948.55/948.73 c 925s | 15 | 2827376 | 103832 | 616027 0 | 1 | 0 950.64/950.84 c 927s | 15 | 2827822 | 104032 | 616027 0 | 1 | 0 953.34/953.56 c 930s | 15 | 2828478 | 104332 | 616027 0 | 1 | 0 956.64/956.87 c 933s | 15 | 2829216 | 104632 | 616027 0 | 1 | 0 960.04/960.21 c 936s | 15 | 2829656 | 104832 | 616027 0 | 1 | 0 962.54/962.79 c 939s | 15 | 2830101 | 105032 | 616027 0 | 1 | 0 965.44/965.68 c 942s | 15 | 2830584 | 105232 | 616027 0 | 1 | 0 967.64/967.83 c 944s | 15 | 2831120 | 105432 | 616027 0 | 1 | 0 970.14/970.38 c 947s | 15 | 2831727 | 105632 | 616027 0 | 1 | 0 972.64/972.85 c 949s | 15 | 2832184 | 105832 | 616027 0 | 1 | 0 974.94/975.11 c 951s | 15 | 2832777 | 106032 | 616027 0 | 1 | 0 977.54/977.77 c 954s | 15 | 2833127 | 106232 | 616027 0 | 1 | 0 980.54/980.77 c 957s | 15 | 2833733 | 106432 | 616027 0 | 1 | 0 982.94/983.12 c 959s | 15 | 2834219 | 106632 | 616027 0 | 1 | 0 985.55/985.75 c 962s | 15 | 2834766 | 106832 | 616027 0 | 1 | 0 988.13/988.35 c 965s | 15 | 2835520 | 107132 | 616027 0 | 1 | 0 991.64/991.82 c 968s | 15 | 2835938 | 107332 | 616027 0 | 1 | 0 995.24/995.42 c 972s | 15 | 2836339 | 107532 | 616027 0 | 1 | 0 998.33/998.52 c 975s | 15 | 2836727 | 107732 | 616027 0 | 1 | 0 1000.34/1000.54 c 977s | 15 | 2836872 | 107832 | 616027 0 | 1 | 0 1002.53/1002.79 c 979s | 15 | 2837021 | 107932 | 616027 0 | 1 | 0 1005.13/1005.35 c 982s | 15 | 2837478 | 108132 | 616027 0 | 1 | 0 1008.44/1008.66 c 985s | 15 | 2837822 | 108332 | 616027 0 | 1 | 0 1011.43/1011.67 c 988s | 15 | 2838222 | 108532 | 616027 0 | 1 | 0 1014.44/1014.68 c 991s | 15 | 2838543 | 108732 | 616027 0 | 1 | 0 1018.33/1018.54 c 995s | 15 | 2838857 | 108932 | 616027 0 | 1 | 0 1022.14/1022.34 c 999s | 15 | 2839215 | 109132 | 616027 0 | 1 | 0 1025.73/1025.97 c 1002s | 15 | 2839508 | 109332 | 616027 0 | 1 | 0 1029.33/1029.58 c 1006s | 15 | 2839810 | 109532 | 616027 0 | 1 | 0 1033.94/1034.14 c 1010s | 15 | 2840138 | 109732 | 616027 0 | 1 | 0 1037.43/1037.68 c 1014s | 15 | 2840469 | 109932 | 616027 0 | 1 | 0 1040.33/1040.56 c 1017s | 15 | 2840827 | 110132 | 616027 0 | 1 | 0 1044.03/1044.26 c 1021s | 15 | 2841117 | 110332 | 616027 0 | 1 | 0 1046.33/1046.58 c 1023s | 15 | 2841571 | 110532 | 616027 0 | 1 | 0 1049.63/1049.89 c 1026s | 15 | 2842045 | 110732 | 616027 0 | 1 | 0 1053.23/1053.40 c 1030s | 15 | 2842393 | 110932 | 616027 0 | 1 | 0 1057.03/1057.22 c 1033s | 15 | 2842759 | 111132 | 616027 0 | 1 | 0 1060.43/1060.61 c 1037s | 15 | 2843092 | 111332 | 616027 0 | 1 | 0 1063.33/1063.58 c 1040s | 15 | 2843426 | 111532 | 616027 0 | 1 | 0 1065.62/1065.88 c 1042s | 15 | 2843626 | 111632 | 616027 0 | 1 | 0 1068.72/1068.92 c 1045s | 15 | 2843999 | 111832 | 616027 0 | 1 | 0 1071.82/1072.08 c 1048s | 15 | 2844966 | 112032 | 616027 0 | 1 | 0 1073.92/1074.17 c 1050s | 15 | 2845250 | 112132 | 616027 0 | 1 | 0 1077.02/1077.29 c 1054s | 15 | 2846027 | 112332 | 616027 0 | 1 | 0 1079.92/1080.18 c 1056s | 15 | 2846369 | 112532 | 616027 0 | 1 | 0 1082.72/1082.98 c 1059s | 15 | 2847073 | 112732 | 616027 0 | 1 | 0 1085.12/1085.33 c 1062s | 15 | 2847315 | 112832 | 616027 0 | 1 | 0 1087.83/1088.01 c 1064s | 15 | 2847914 | 113032 | 616027 0 | 1 | 0 1091.52/1091.79 c 1068s | 15 | 2848465 | 113232 | 616027 0 | 1 | 0 1094.02/1094.27 c 1071s | 15 | 2848780 | 113432 | 616027 0 | 1 | 0 1097.62/1097.87 c 1074s | 15 | 2849166 | 113632 | 616027 0 | 1 | 0 1100.42/1100.66 c 1077s | 15 | 2849907 | 113832 | 616027 0 | 1 | 0 1103.81/1104.07 c 1080s | 15 | 2850502 | 114132 | 616027 0 | 1 | 0 1107.22/1107.41 c 1084s | 15 | 2850771 | 114332 | 616027 0 | 1 | 0 1109.32/1109.52 c 1086s | 15 | 2850911 | 114432 | 616027 0 | 1 | 0 1112.32/1112.51 c 1089s | 15 | 2851247 | 114632 | 616027 0 | 1 | 0 1114.32/1114.51 c 1091s | 15 | 2851421 | 114732 | 616027 0 | 1 | 0 1116.82/1117.04 c 1093s | 15 | 2851618 | 114832 | 616027 0 | 1 | 0 1118.91/1119.20 c 1095s | 15 | 2851803 | 114932 | 616027 0 | 1 | 0 1121.51/1121.73 c 1098s | 15 | 2851952 | 115032 | 616027 0 | 1 | 0 1124.62/1124.86 c 1101s | 15 | 2852230 | 115232 | 616027 0 | 1 | 0 1127.22/1127.48 c 1104s | 15 | 2852651 | 115432 | 616027 0 | 1 | 0 1130.21/1130.42 c 1107s | 15 | 2852998 | 115632 | 616027 0 | 1 | 0 1132.41/1132.69 c 1109s | 15 | 2853176 | 115732 | 616027 0 | 1 | 0 1135.31/1135.57 c 1112s | 15 | 2853453 | 115932 | 616027 0 | 1 | 0 1138.01/1138.27 c 1115s | 15 | 2853889 | 116132 | 616027 0 | 1 | 0 1140.81/1141.08 c 1117s | 15 | 2854192 | 116332 | 616027 0 | 1 | 0 1144.11/1144.39 c 1121s | 15 | 2854734 | 116532 | 616027 0 | 1 | 0 1147.22/1147.43 c 1124s | 15 | 2855631 | 116732 | 616027 0 | 1 | 0 1151.01/1151.20 c 1127s | 15 | 2856422 | 116932 | 616027 0 | 1 | 0 1154.41/1154.64 c 1131s | 15 | 2856811 | 117132 | 616027 0 | 1 | 0 1156.91/1157.17 c 1133s | 15 | 2857197 | 117332 | 616027 0 | 1 | 0 1160.02/1160.29 c 1137s | 15 | 2857569 | 117532 | 616027 0 | 1 | 0 1163.01/1163.20 c 1139s | 15 | 2858115 | 117732 | 616027 0 | 1 | 0 1165.71/1165.90 c 1142s | 15 | 2858546 | 117932 | 616027 0 | 1 | 0 1169.51/1169.76 c 1146s | 15 | 2859057 | 118132 | 616027 0 | 1 | 0 1171.71/1171.98 c 1148s | 15 | 2859208 | 118232 | 616027 0 | 1 | 0 1175.10/1175.35 c 1152s | 15 | 2859495 | 118432 | 616027 0 | 1 | 0 1178.41/1178.68 c 1155s | 15 | 2860755 | 118632 | 616027 0 | 1 | 0 1180.61/1180.89 c 1157s | 15 | 2861402 | 118932 | 616027 0 | 1 | 0 1183.71/1183.97 c 1160s | 15 | 2861836 | 119132 | 616027 0 | 1 | 0 1186.41/1186.64 c 1163s | 15 | 2862190 | 119332 | 616027 0 | 1 | 0 1189.11/1189.36 c 1166s | 15 | 2862496 | 119532 | 616027 0 | 1 | 0 1192.70/1192.94 c 1169s | 15 | 2862811 | 119732 | 616027 0 | 1 | 0 1197.01/1197.21 c 1173s | 15 | 2863205 | 119932 | 616027 0 | 1 | 0 1199.11/1199.31 c 1176s | 15 | 2863311 | 120032 | 616027 0 | 1 | 0 1202.00/1202.24 c 1178s | 15 | 2863429 | 120132 | 616027 0 | 1 | 0 1204.21/1204.46 c 1181s | 15 | 2863523 | 120232 | 616027 0 | 1 | 0 1209.71/1209.93 c 1186s | 15 | 2863761 | 120332 | 616027 0 | 1 | 0 1218.62/1218.87 c 1195s | 15 | 2863967 | 120432 | 616027 0 | 1 | 0 1226.21/1226.40 c 1203s | 15 | 2864062 | 120532 | 616027 0 | 1 | 0 1235.30/1235.56 c 1212s | 15 | 2864165 | 120632 | 616027 0 | 1 | 0 1242.39/1242.68 c 1219s | 15 | 2864284 | 120732 | 616027 0 | 1 | 0 1250.10/1250.34 c 1227s | 15 | 2864385 | 120832 | 616027 0 | 1 | 0 1254.70/1254.96 c 1231s | 15 | 2864539 | 120932 | 616027 0 | 1 | 0 1259.80/1260.04 c 1236s | 15 | 2864735 | 121032 | 616027 0 | 1 | 0 1268.10/1268.32 c 1245s | 15 | 2864833 | 121132 | 616027 0 | 1 | 0 1276.80/1277.07 c 1253s | 15 | 2864979 | 121232 | 616027 0 | 1 | 0 1285.19/1285.41 c 1262s | 15 | 2865110 | 121332 | 616027 0 | 1 | 0 1295.19/1295.42 c 1272s | 15 | 2865247 | 121432 | 616027 0 | 1 | 0 1302.99/1303.28 c 1280s | 15 | 2865370 | 121532 | 616027 0 | 1 | 0 1310.38/1310.69 c 1287s | 15 | 2865499 | 121632 | 616027 0 | 1 | 0 1317.38/1317.68 c 1294s | 15 | 2865629 | 121732 | 616027 0 | 1 | 0 1324.09/1324.39 c 1301s | 15 | 2865738 | 121832 | 616027 0 | 1 | 0 1331.89/1332.19 c 1308s | 15 | 2865841 | 121932 | 616027 0 | 1 | 0 1335.49/1335.77 c 1312s | 15 | 2865946 | 122032 | 616027 0 | 1 | 0 1342.08/1342.31 c 1319s | 15 | 2866077 | 122132 | 616027 0 | 1 | 0 1350.28/1350.53 c 1327s | 15 | 2866203 | 122232 | 616027 0 | 1 | 0 1356.08/1356.35 c 1333s | 15 | 2866335 | 122332 | 616027 0 | 1 | 0 1362.48/1362.77 c 1339s | 15 | 2866461 | 122432 | 616027 0 | 1 | 0 1368.58/1368.81 c 1345s | 15 | 2866564 | 122532 | 616027 0 | 1 | 0 1370.68/1370.93 c 1347s | 15 | 2997216 | 122632 | 616027 0 | 1 | 0 1372.98/1373.23 c 1349s | 15 | 2998205 | 123232 | 616027 0 | 1 | 0 1376.18/1376.42 c 1353s | 15 | 2999005 | 123432 | 616027 0 | 1 | 0 1379.68/1379.98 c 1356s | 15 | 2999655 | 123632 | 616027 0 | 1 | 0 1382.28/1382.52 c 1359s | 15 | 3000222 | 123832 | 616027 0 | 1 | 0 1386.18/1386.44 c 1363s | 15 | 3000748 | 124032 | 616027 0 | 1 | 0 1388.48/1388.76 c 1365s | 15 | 3000957 | 124132 | 616027 0 | 1 | 0 1391.39/1391.65 c 1368s | 15 | 3001438 | 124332 | 616027 0 | 1 | 0 1395.87/1396.18 c 1372s | 15 | 3001785 | 124532 | 616027 0 | 1 | 0 1399.57/1399.88 c 1376s | 15 | 3002143 | 124732 | 616027 0 | 1 | 0 1402.48/1402.72 c 1379s | 15 | 3002822 | 124932 | 616027 0 | 1 | 0 1405.17/1405.40 c 1382s | 15 | 3003464 | 125132 | 616027 0 | 1 | 0 1409.57/1409.83 c 1386s | 15 | 3004063 | 125332 | 616027 0 | 1 | 0 1412.97/1413.28 c 1390s | 15 | 3004673 | 125532 | 616027 0 | 1 | 0 1416.48/1416.77 c 1393s | 15 | 3005237 | 125732 | 616027 0 | 1 | 0 1419.27/1419.53 c 1396s | 15 | 3005796 | 125932 | 616027 0 | 1 | 0 1422.67/1422.91 c 1399s | 15 | 3006467 | 126132 | 616027 0 | 1 | 0 1426.17/1426.46 c 1403s | 15 | 3007108 | 126332 | 616027 0 | 1 | 0 1429.47/1429.70 c 1406s | 15 | 3007716 | 126532 | 616027 0 | 1 | 0 1431.67/1431.98 c 1408s | 15 | 3007987 | 126632 | 616027 0 | 1 | 0 1434.57/1434.89 c 1411s | 15 | 3008991 | 126832 | 616027 0 | 1 | 0 1436.77/1437.01 c 1413s | 15 | 3009609 | 127232 | 616027 0 | 1 | 0 1438.87/1439.16 c 1415s | 15 | 3010586 | 127532 | 616027 0 | 1 | 0 1440.88/1441.19 c 1417s | 15 | 3011756 | 127832 | 616027 0 | 1 | 0 1443.67/1443.98 c 1420s | 15 | 3012815 | 128132 | 616027 0 | 1 | 0 1446.06/1446.31 c 1423s | 15 | 3013821 | 128432 | 616027 0 | 1 | 0 1448.16/1448.46 c 1425s | 15 | 3014355 | 128632 | 616027 0 | 1 | 0 1450.36/1450.63 c 1427s | 15 | 3015061 | 128832 | 616027 0 | 1 | 0 1454.37/1454.63 c 1431s | 15 | 3015797 | 129032 | 616027 0 | 1 | 0 1456.66/1456.94 c 1433s | 15 | 3016346 | 129232 | 616027 0 | 1 | 0 1458.77/1459.02 c 1435s | 15 | 3016574 | 129332 | 616027 0 | 1 | 0 1462.56/1462.83 c 1439s | 15 | 3017163 | 129532 | 616027 0 | 1 | 0 1465.07/1465.39 c 1442s | 15 | 3017386 | 129632 | 616027 0 | 1 | 0 1467.18/1467.44 c 1444s | 15 | 3018206 | 129832 | 616027 0 | 1 | 0 1469.77/1470.05 c 1446s | 15 | 3018873 | 130132 | 616027 0 | 1 | 0 1471.97/1472.21 c 1448s | 15 | 3019599 | 130432 | 616027 0 | 1 | 0 1474.36/1474.62 c 1451s | 15 | 3020100 | 130632 | 677630 0 | 1 | 0 1476.77/1477.05 c 1453s | 15 | 3020821 | 130832 | 677630 0 | 1 | 0 1478.96/1479.24 c 1455s | 15 | 3021449 | 131032 | 677630 0 | 1 | 0 1481.57/1481.89 c 1458s | 15 | 3022184 | 131332 | 677630 0 | 1 | 0 1483.96/1484.28 c 1461s | 15 | 3022783 | 131532 | 677630 0 | 1 | 0 1484.26/1484.57 c 1461s | 16 | 3022868 | 131552 | 677630 0 | 1 | 0 1494.16/1494.44 c 1471s | 16 | 3169695 | 131652 | 677630 0 | 1 | 0 1496.56/1496.82 c 1473s | 16 | 3170309 | 131852 | 677630 0 | 1 | 0 1499.07/1499.36 c 1476s | 16 | 3170857 | 132152 | 677630 0 | 1 | 0 1501.66/1501.96 c 1478s | 16 | 3171354 | 132452 | 677630 0 | 1 | 0 1504.67/1504.94 c 1481s | 16 | 3171927 | 132752 | 677630 0 | 1 | 0 1507.56/1507.88 c 1484s | 16 | 3172617 | 133052 | 677630 0 | 1 | 0 1510.66/1510.91 c 1487s | 16 | 3173104 | 133352 | 677630 0 | 1 | 0 1513.56/1513.89 c 1490s | 16 | 3173722 | 133652 | 677630 0 | 1 | 0 1516.26/1516.56 c 1493s | 16 | 3174384 | 133952 | 677630 0 | 1 | 0 1518.36/1518.66 c 1495s | 16 | 3174962 | 134152 | 677630 0 | 1 | 0 1520.65/1520.95 c 1497s | 16 | 3175509 | 134452 | 677630 0 | 1 | 0 1523.26/1523.54 c 1500s | 16 | 3176200 | 134752 | 677630 0 | 1 | 0 1525.85/1526.14 c 1502s | 16 | 3176916 | 135052 | 677630 0 | 1 | 0 1528.46/1528.77 c 1505s | 16 | 3177592 | 135352 | 677630 0 | 1 | 0 1531.16/1531.45 c 1508s | 16 | 3178250 | 135652 | 677630 0 | 1 | 0 1533.75/1534.03 c 1510s | 16 | 3178895 | 135952 | 677630 0 | 1 | 0 1536.05/1536.38 c 1513s | 16 | 3179496 | 136152 | 677630 0 | 1 | 0 1538.96/1539.24 c 1515s | 16 | 3180450 | 136452 | 677630 0 | 1 | 0 1541.96/1542.30 c 1519s | 16 | 3181194 | 136652 | 677630 0 | 1 | 0 1544.26/1544.59 c 1521s | 16 | 3181514 | 136752 | 677630 0 | 1 | 0 1546.96/1547.21 c 1523s | 16 | 3182090 | 136952 | 677630 0 | 1 | 0 1549.45/1549.78 c 1526s | 16 | 3183241 | 137252 | 677630 0 | 1 | 0 1552.05/1552.37 c 1529s | 16 | 3184149 | 137452 | 677630 0 | 1 | 0 1554.65/1554.91 c 1531s | 16 | 3184964 | 137652 | 677630 0 | 1 | 0 1556.65/1556.98 c 1533s | 16 | 3185743 | 137852 | 677630 0 | 1 | 0 1558.95/1559.26 c 1536s | 16 | 3186640 | 138052 | 677630 0 | 1 | 0 1561.65/1562.00 c 1538s | 16 | 3187681 | 138252 | 677630 0 | 1 | 0 1564.75/1565.05 c 1541s | 16 | 3188119 | 138452 | 677630 0 | 1 | 0 1566.95/1567.29 c 1544s | 16 | 3188729 | 138652 | 677630 0 | 1 | 0 1570.05/1570.35 c 1547s | 16 | 3189603 | 138852 | 677630 0 | 1 | 0 1572.54/1572.85 c 1549s | 16 | 3190264 | 139052 | 677630 0 | 1 | 0 1575.25/1575.50 c 1552s | 16 | 3191038 | 139252 | 677630 0 | 1 | 0 1577.65/1577.98 c 1554s | 16 | 3191625 | 139452 | 677630 0 | 1 | 0 1579.95/1580.22 c 1556s | 16 | 3192059 | 139652 | 677630 0 | 1 | 0 1582.85/1583.12 c 1559s | 16 | 3192748 | 139852 | 677630 0 | 1 | 0 1586.35/1586.65 c 1563s | 16 | 3193245 | 140052 | 677630 0 | 1 | 0 1589.45/1589.73 c 1566s | 16 | 3193938 | 140252 | 677630 0 | 1 | 0 1592.05/1592.31 c 1569s | 16 | 3194528 | 140452 | 677630 0 | 1 | 0 1594.55/1594.86 c 1571s | 16 | 3195063 | 140652 | 677630 0 | 1 | 0 1597.35/1597.63 c 1574s | 16 | 3195624 | 140852 | 677630 0 | 1 | 0 1600.45/1600.72 c 1577s | 16 | 3195953 | 141052 | 677630 0 | 1 | 0 1606.95/1607.23 c 1583s | 16 | 3196309 | 141252 | 677630 0 | 1 | 0 1610.74/1611.03 c 1587s | 16 | 3196449 | 141352 | 677630 0 | 1 | 0 1614.84/1615.16 c 1591s | 16 | 3196584 | 141452 | 677630 0 | 1 | 0 1619.64/1619.98 c 1596s | 16 | 3196706 | 141552 | 677630 0 | 1 | 0 1624.24/1624.57 c 1601s | 16 | 3196809 | 141652 | 677630 0 | 1 | 0 1628.54/1628.82 c 1605s | 16 | 3196956 | 141752 | 677630 0 | 1 | 0 1634.44/1634.73 c 1611s | 16 | 3197068 | 141852 | 677630 0 | 1 | 0 1637.04/1637.36 c 1614s | 16 | 3197474 | 141952 | 677630 0 | 1 | 0 1639.44/1639.70 c 1616s | 16 | 3197713 | 142052 | 677630 0 | 1 | 0 1641.64/1641.92 c 1618s | 16 | 3198014 | 142152 | 677630 0 | 1 | 0 1644.44/1644.73 c 1621s | 16 | 3198196 | 142252 | 677630 0 | 1 | 0 1647.65/1647.95 c 1624s | 16 | 3198557 | 142352 | 677630 0 | 1 | 0 1649.85/1650.17 c 1626s | 16 | 3198855 | 142452 | 677630 0 | 1 | 0 1652.53/1652.80 c 1629s | 16 | 3199186 | 142552 | 677630 0 | 1 | 0 1655.14/1655.45 c 1632s | 16 | 3199513 | 142652 | 677630 0 | 1 | 0 1657.34/1657.67 c 1634s | 16 | 3199855 | 142752 | 677630 0 | 1 | 0 1660.13/1660.49 c 1637s | 16 | 3200085 | 142852 | 677630 0 | 1 | 0 1663.23/1663.54 c 1640s | 16 | 3200351 | 142952 | 677630 0 | 1 | 0 1665.73/1666.05 c 1642s | 16 | 3200627 | 143052 | 677630 0 | 1 | 0 1668.73/1669.00 c 1645s | 16 | 3200977 | 143152 | 677630 0 | 1 | 0 1671.63/1671.96 c 1648s | 16 | 3201317 | 143252 | 677630 0 | 1 | 0 1673.73/1674.07 c 1650s | 16 | 3201537 | 143352 | 677630 0 | 1 | 0 1677.43/1677.72 c 1654s | 16 | 3201698 | 143452 | 677630 0 | 1 | 0 1681.93/1682.26 c 1659s | 16 | 3202047 | 143652 | 677630 0 | 1 | 0 1684.03/1684.39 c 1661s | 16 | 3202167 | 143752 | 677630 0 | 1 | 0 1689.03/1689.39 c 1666s | 16 | 3202490 | 143952 | 677630 0 | 1 | 0 1691.43/1691.72 c 1668s | 16 | 3202707 | 144052 | 677630 0 | 1 | 0 1693.63/1693.94 c 1670s | 16 | 3202856 | 144152 | 677630 0 | 1 | 0 1695.63/1695.97 c 1672s | 16 | 3203060 | 144252 | 677630 0 | 1 | 0 1697.83/1698.16 c 1674s | 16 | 3203226 | 144352 | 677630 0 | 1 | 0 1701.13/1701.48 c 1678s | 16 | 3203339 | 144452 | 677630 0 | 1 | 0 1703.74/1704.06 c 1680s | 16 | 3203475 | 144552 | 677630 0 | 1 | 0 1707.73/1708.04 c 1684s | 16 | 3203589 | 144652 | 677630 0 | 1 | 0 1710.92/1711.29 c 1688s | 16 | 3203801 | 144752 | 677630 0 | 1 | 0 1713.23/1713.51 c 1690s | 16 | 3203936 | 144852 | 677630 0 | 1 | 0 1715.52/1715.84 c 1692s | 16 | 3204068 | 144952 | 677630 0 | 1 | 0 1717.82/1718.11 c 1694s | 16 | 3204194 | 145052 | 677630 0 | 1 | 0 1720.14/1720.47 c 1697s | 16 | 3204323 | 145152 | 677630 0 | 1 | 0 1723.63/1723.93 c 1700s | 16 | 3204467 | 145252 | 677630 0 | 1 | 0 1726.42/1726.70 c 1703s | 16 | 3204636 | 145352 | 677630 0 | 1 | 0 1729.52/1729.89 c 1706s | 16 | 3204760 | 145452 | 677630 0 | 1 | 0 1732.82/1733.17 c 1709s | 16 | 3204888 | 145552 | 677630 0 | 1 | 0 1735.92/1736.20 c 1712s | 16 | 3205156 | 145652 | 677630 0 | 1 | 0 1738.72/1739.10 c 1715s | 16 | 3205312 | 145752 | 677630 0 | 1 | 0 1742.53/1742.81 c 1719s | 16 | 3205422 | 145852 | 677630 0 | 1 | 0 1745.62/1745.97 c 1722s | 16 | 3205669 | 146052 | 677630 0 | 1 | 0 1748.22/1748.51 c 1725s | 16 | 3205895 | 146252 | 677630 0 | 1 | 0 1750.52/1750.86 c 1727s | 16 | 3206102 | 146452 | 677630 0 | 1 | 0 1753.23/1753.53 c 1730s | 16 | 3206331 | 146652 | 677630 0 | 1 | 0 1756.02/1756.38 c 1733s | 16 | 3206487 | 146752 | 677630 0 | 1 | 0 1758.82/1759.19 c 1735s | 16 | 3206612 | 146852 | 677630 0 | 1 | 0 1761.52/1761.80 c 1738s | 16 | 3206736 | 146952 | 677630 0 | 1 | 0 1764.23/1764.55 c 1741s | 16 | 3206871 | 147052 | 677630 0 | 1 | 0 1768.72/1769.06 c 1745s | 16 | 3207326 | 147352 | 677630 0 | 1 | 0 1771.22/1771.55 c 1748s | 16 | 3207670 | 147552 | 677630 0 | 1 | 0 1773.52/1773.81 c 1750s | 16 | 3207949 | 147752 | 677630 0 | 1 | 0 1776.32/1776.69 c 1753s | 16 | 3208299 | 147952 | 677630 0 | 1 | 0 1778.53/1778.82 c 1755s | 16 | 3208512 | 148052 | 677630 0 | 1 | 0 1782.32/1782.62 c 1759s | 16 | 3208982 | 148252 | 677630 0 | 1 | 0 1785.02/1785.32 c 1762s | 16 | 3209190 | 148352 | 677630 0 | 1 | 0 1788.82/1789.10 c 1765s | 16 | 3209685 | 148552 | 677630 0 | 1 | 0 1792.51/1792.80 c 1769s | 16 | 3210097 | 148752 | 677630 0 | 1 | 0 1796.41/1796.75 c 1773s | 16 | 3210495 | 148952 | 677630 0 | 1 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093082-1466075255/watcher-4093082-1466075255 -o /tmp/evaluation-result-4093082-1466075255/solver-4093082-1466075255 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466075236-16167 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093082-1466075255.wbo pid=16294 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.62 1.62 1.93 3/180 16297 /proc/meminfo: memFree=30254576/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=745916 CPUtime=0 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 2785 0 0 0 0 0 0 0 20 0 4 0 9571496 763817984 3656 33554432000 4194304 16246674 140736221215296 140736221214720 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 187247 3668 441 2943 0 184141 0 [pid=16297/tid=16298] ppid=16294 vsize=764348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 782692352 3726 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=768444 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 786886656 3742 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=772540 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 791080960 3760 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.10018 s] /proc/loadavg: 1.62 1.62 1.93 3/180 16297 /proc/meminfo: memFree=30254576/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=1302084 CPUtime=0.08 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 24840 0 0 0 6 2 0 0 20 0 4 0 9571496 1333334016 25652 33554432000 4194304 16246674 140736221215296 140736221214608 7402890 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 325521 25667 800 2943 0 322415 0 [pid=16297/tid=16298] ppid=16294 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1333334016 25678 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1333334016 25689 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1333334016 25699 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.20059 s] /proc/loadavg: 1.62 1.62 1.93 3/180 16297 /proc/meminfo: memFree=30254576/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=1313348 CPUtime=0.18 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 45800 0 0 0 13 5 0 0 20 0 4 0 9571496 1344868352 47122 33554432000 4194304 16246674 140736221215296 140736221214608 8055451 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 328337 47122 801 2943 0 325231 0 [pid=16297/tid=16298] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 47122 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 47122 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 47122 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1313348 [startup+0.300518 s] /proc/loadavg: 1.62 1.62 1.93 3/180 16297 /proc/meminfo: memFree=30254576/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 60643 0 0 0 22 7 0 0 20 0 4 0 9571496 1344868352 61965 33554432000 4194304 16246674 140736221215296 140736221214608 4220894 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 328337 61965 801 2943 0 325231 0 [pid=16297/tid=16298] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 61965 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 61965 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 61965 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700439 s] /proc/loadavg: 1.62 1.62 1.93 3/180 16297 /proc/meminfo: memFree=30254576/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 65581 0 0 0 61 8 0 0 20 0 4 0 9571496 1344868352 66903 33554432000 4194304 16246674 140736221215296 140736221214608 7439436 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 328337 66903 801 2943 0 325231 0 [pid=16297/tid=16298] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 66903 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 66903 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 66903 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50044 s] /proc/loadavg: 1.62 1.62 1.93 3/185 16302 /proc/meminfo: memFree=29735928/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 80313 0 0 0 139 10 0 0 20 0 4 0 9571496 1344868352 81635 33554432000 4194304 16246674 140736221215296 140736221213184 7361381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 328337 81635 802 2943 0 325231 0 [pid=16297/tid=16298] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 81635 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 81635 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 81635 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10038 s] /proc/loadavg: 1.62 1.62 1.93 3/185 16302 /proc/meminfo: memFree=29670828/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=1313348 CPUtime=3.08 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 97231 0 0 0 296 12 0 0 20 0 4 0 9571496 1344868352 98553 33554432000 4194304 16246674 140736221215296 140736221197184 6168673 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 328337 98553 834 2943 0 325231 0 [pid=16297/tid=16298] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 98553 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 98553 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 98553 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1313348 [startup+6.30042 s] /proc/loadavg: 1.73 1.65 1.94 4/185 16302 /proc/meminfo: memFree=29260492/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=1313348 CPUtime=6.29 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 175171 0 0 0 605 24 0 0 20 0 4 0 9571496 1344868352 176493 33554432000 4194304 16246674 140736221215296 140736221197184 9616021 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 328337 176505 834 2943 0 325231 0 [pid=16297/tid=16298] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 176511 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 176519 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1344868352 176526 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1313348 [startup+12.7004 s] /proc/loadavg: 1.75 1.65 1.94 3/185 16302 /proc/meminfo: memFree=28010576/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=1401412 CPUtime=12.68 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 290993 0 0 0 1227 41 0 0 20 0 4 0 9571496 1435045888 292315 33554432000 4194304 16246674 140736221215296 140736221197184 6757192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 350353 292315 859 2943 0 347247 0 [pid=16297/tid=16298] ppid=16294 vsize=1401412 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1435045888 292315 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=1401412 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1435045888 292315 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=1401412 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1435045888 292315 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1401412 [startup+25.5005 s] /proc/loadavg: 1.88 1.68 1.94 3/185 16302 /proc/meminfo: memFree=27643384/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=1611332 CPUtime=25.49 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 343483 0 0 0 2501 48 0 0 20 0 4 0 9571496 1650003968 344805 33554432000 4194304 16246674 140736221215296 140736221214608 13950688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 402833 344805 932 2943 0 399727 0 [pid=16297/tid=16298] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344805 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344805 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344805 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1611332 [startup+51.1005 s] /proc/loadavg: 1.98 1.72 1.95 3/185 16302 /proc/meminfo: memFree=27595120/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=1611332 CPUtime=51.08 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 343546 0 0 0 5060 48 0 0 20 0 4 0 9571496 1650003968 344868 33554432000 4194304 16246674 140736221215296 140736221197184 12415760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 402833 344868 932 2943 0 399727 0 [pid=16297/tid=16298] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344868 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344868 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344868 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1611332 [startup+102.301 s] /proc/loadavg: 2.17 1.81 1.96 4/185 16303 /proc/meminfo: memFree=27594660/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=1611332 CPUtime=102.29 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 343546 0 0 0 10179 50 0 0 20 0 4 0 9571496 1650003968 344868 33554432000 4194304 16246674 140736221215296 140736221197184 5674844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 402833 344868 932 2943 0 399727 0 [pid=16297/tid=16298] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344868 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344868 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=1611332 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 1650003968 344868 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1611332 ################ # More data... # ################ [pid=16297] ppid=16294 vsize=3298884 CPUtime=1362.09 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 765234 0 0 0 135769 440 0 0 20 0 4 0 9571496 3378057216 766556 33554432000 4194304 16246674 140736221215296 140736221214392 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 824721 766556 935 2943 0 821615 0 [pid=16297/tid=16298] ppid=16294 vsize=3298884 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3378057216 766556 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=3298884 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3378057216 766556 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=3298884 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3378057216 766556 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.09 Current children cumulated vsize (KiB) 3298884 [startup+1422.3 s] /proc/loadavg: 2.21 2.23 2.16 3/185 16339 /proc/meminfo: memFree=23966184/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=3337796 CPUtime=1422.08 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 775071 0 0 0 141752 456 0 0 20 0 4 0 9571496 3417903104 776393 33554432000 4194304 16246674 140736221215296 140736221214472 13898695 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 834449 776393 935 2943 0 831343 0 [pid=16297/tid=16298] ppid=16294 vsize=3337796 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3417903104 776393 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=3337796 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3417903104 776393 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=3337796 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3417903104 776393 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 3337796 [startup+1482.3 s] /proc/loadavg: 2.22 2.23 2.16 3/185 16340 /proc/meminfo: memFree=23839492/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=3415620 CPUtime=1482.06 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 794622 0 0 0 147729 477 0 0 20 0 4 0 9571496 3497594880 795944 33554432000 4194304 16246674 140736221215296 140736221214392 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 853905 795944 935 2943 0 850799 0 [pid=16297/tid=16298] ppid=16294 vsize=3415620 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3497594880 795944 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=3415620 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3497594880 795944 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=3415620 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3497594880 795944 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 3415620 [startup+1542.31 s] /proc/loadavg: 2.20 2.22 2.16 3/185 16342 /proc/meminfo: memFree=23647692/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=3473988 CPUtime=1542.06 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 809214 0 0 0 153703 503 0 0 20 0 4 0 9571496 3557363712 810536 33554432000 4194304 16246674 140736221215296 140736221214472 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 868497 810536 935 2943 0 865391 0 [pid=16297/tid=16298] ppid=16294 vsize=3473988 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3557363712 810536 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=3473988 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3557363712 810536 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=3473988 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3557363712 810536 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 3473988 [startup+1602.3 s] /proc/loadavg: 2.21 2.22 2.16 3/185 16343 /proc/meminfo: memFree=23465192/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=3587652 CPUtime=1602.04 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 837630 0 0 0 159681 523 0 0 20 0 4 0 9571496 3673755648 838952 33554432000 4194304 16246674 140736221215296 140736221214472 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 896913 838952 935 2943 0 893807 0 [pid=16297/tid=16298] ppid=16294 vsize=3587652 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3673755648 838952 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=3587652 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3673755648 838952 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=3587652 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3673755648 838952 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 3587652 [startup+1662.3 s] /proc/loadavg: 2.32 2.25 2.18 3/185 16344 /proc/meminfo: memFree=23253184/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=3677764 CPUtime=1662.03 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 860158 0 0 0 165650 553 0 0 20 0 4 0 9571496 3766030336 861480 33554432000 4194304 16246674 140736221215296 140736221214472 4226538 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 919441 861480 935 2943 0 916335 0 [pid=16297/tid=16298] ppid=16294 vsize=3677764 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3766030336 861480 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=3677764 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3766030336 861480 33554432000 4194304 16246674 140736221215296 140288446143504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=3677764 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3766030336 861480 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 3677764 [startup+1722.3 s] /proc/loadavg: 2.24 2.23 2.18 3/185 16345 /proc/meminfo: memFree=23024192/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=3803716 CPUtime=1722.03 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 891618 0 0 0 171629 574 0 0 20 0 4 0 9571496 3895005184 892940 33554432000 4194304 16246674 140736221215296 140736221214472 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 950929 892940 935 2943 0 947823 0 [pid=16297/tid=16298] ppid=16294 vsize=3803716 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3895005184 892940 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=3803716 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3895005184 892940 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=3803716 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3895005184 892940 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1722.03 Current children cumulated vsize (KiB) 3803716 [startup+1782.3 s] /proc/loadavg: 2.23 2.23 2.18 4/185 16346 /proc/meminfo: memFree=22808296/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=3885636 CPUtime=1782.02 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 912126 0 0 0 177603 599 0 0 20 0 4 0 9571496 3978891264 913448 33554432000 4194304 16246674 140736221215296 140736221214472 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 971409 913448 935 2943 0 968303 0 [pid=16297/tid=16298] ppid=16294 vsize=3885636 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3978891264 913448 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=3885636 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3978891264 913448 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=3885636 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3978891264 913448 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1782.02 Current children cumulated vsize (KiB) 3885636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.31 2.25 2.19 3/185 16346 /proc/meminfo: memFree=22766108/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=3899972 CPUtime=1800.01 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) R 16294 16297 12407 0 -1 4202496 915710 0 0 0 179395 606 0 0 20 0 4 0 9571496 3993571328 917032 33554432000 4194304 16246674 140736221215296 140736221214392 4220552 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 974993 917032 935 2943 0 971887 0 [pid=16297/tid=16298] ppid=16294 vsize=3899972 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16298/stat : 16298 (toysat) S 16294 16297 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9571496 3993571328 917032 33554432000 4194304 16246674 140736221215296 140288456633584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=3899972 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) S 16294 16297 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9571496 3993571328 917032 33554432000 4194304 16246674 140736221215296 140288446143728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16297/tid=16300] ppid=16294 vsize=3899972 CPUtime=0 cores=1,3,5,7 /proc/16297/task/16300/stat : 16300 (toysat) S 16294 16297 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9571496 3993571328 917032 33554432000 4194304 16246674 140736221215296 140288328723632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 3899972 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 16297 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 2.31 2.25 2.19 3/185 16346 /proc/meminfo: memFree=22766108/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=0 CPUtime=1800.12 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) Z 16294 16297 12407 0 -1 4203532 915710 0 0 0 179396 616 0 0 20 0 2 0 9571496 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 0 0 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=0 CPUtime=0.09 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) R 16294 16297 12407 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 9571496 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 [startup+1800.5 s] /proc/loadavg: 2.31 2.25 2.19 3/185 16346 /proc/meminfo: memFree=22766108/32872528 swapFree=1504664/1684536 [pid=16297] ppid=16294 vsize=0 CPUtime=1800.22 cores=1,3,5,7 /proc/16297/stat : 16297 (toysat) Z 16294 16297 12407 0 -1 4203532 915710 0 0 0 179396 626 0 0 20 0 2 0 9571496 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16297/statm: 0 0 0 0 0 0 0 [pid=16297/tid=16299] ppid=16294 vsize=0 CPUtime=0.18 cores=1,3,5,7 /proc/16297/task/16299/stat : 16299 (toysat) R 16294 16297 12407 0 -1 4203588 8 0 0 0 0 18 0 0 20 0 2 0 9571496 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.22 CPU user time (s): 1793.96 CPU system time (s): 6.26405 CPU usage (%): 99.9842 Max. virtual memory (cumulated for all children) (KiB): 3899972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.96 system time used= 6.26405 maximum resident set size= 3668128 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 915710 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= 371 involuntary context switches= 1809 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.6204 second user time and 15.1237 second system time The end
Begin job on node135 at 2016-06-16 13:07:36 IDJOB=4093082 IDBENCH=78615 IDSOLVER=2553 FILE ID=node135/4093082-1466075255 RUNJOBID= node135-1466075236-16167 PBS_JOBID= 19904004 Free space on /tmp= 71704 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl--soft-33-100-0.wbo COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093082-1466075255/watcher-4093082-1466075255 -o /tmp/evaluation-result-4093082-1466075255/solver-4093082-1466075255 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466075236-16167 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093082-1466075255.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d915342d89d3c1a99150a18d4b9b72d0 RANDOM SEED=980321637 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 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 : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 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 : 2667.004 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: 30258824 kB Buffers: 17384 kB Cached: 117820 kB SwapCached: 2276 kB Active: 181700 kB Inactive: 42812 kB Active(anon): 89952 kB Inactive(anon): 1492 kB Active(file): 91748 kB Inactive(file): 41320 kB Unevictable: 1684536 kB Mlocked: 1504664 kB SwapTotal: 67108856 kB SwapFree: 67099236 kB Dirty: 49816 kB Writeback: 0 kB AnonPages: 1774836 kB Mapped: 10140 kB Shmem: 0 kB Slab: 567848 kB SReclaimable: 11432 kB SUnreclaim: 556416 kB KernelStack: 1416 kB PageTables: 9536 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2815040 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 184320 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= 71688 MiB End job on node135 at 2016-06-16 13:37:36