| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.2 | 1800.49 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-woodw.opb |
| MD5SUM | ef3d01fb716807987360ebbfd3d821b6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 252150 |
| Total number of constraints | 1098 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1098 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 43590 |
| Number of terms in the objective function | 120 |
| Biggest coefficient in the objective function | 65537 |
| Number of bits for the biggest coefficient in the objective function | 17 |
| Sum of the numbers in the objective function | 524404 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262144 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 559950 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T04:04:34+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4100625-1466215473.opb"] 0.00/0.01 c use --random-gen="1192649507 3350762454 4246171440 2931846414 1626813557 877787163 244968598 1142118604 1716831003 1900907761 3483463737 56145746 1146268535 276007074 3924428784 2499939905 522152830 834758813 1885598601 1923174371 3695475359 2991025608 1256608092 239183771 368065877 4197360789 187167377 2799039990 1084030459 3313265660 4087051699 2804706774 2455438205 1724192518 2906450968 2604229386 332003977 2281444290 579942100 2875322094 1011259980 3532111719 1708888197 1390912058 3764885969 3521943471 3497018356 4218726961 2243358246 1502424183 3859792076 3665227629 1724170308 786643569 1630446957 1316866258 3655291236 1307665271 3723568466 620075566 762336171 2399027104 3596579553 369655364 1420036777 1198824457 3931402859 3034119947 1526162589 2081438045 51614435 2137055011 939850502 289218464 4257966947 249044091 2597836898 689811154 923278596 3885190028 2924330793 1252025307 2447342089 1046032844 3273235989 3993422523 1353582836 1745710011 1858144426 3229802826 3020575610 390452606 1847726687 2440254315 259479373 985417559 563995671 1463393879 466237220 2170043597 1995045323 1755564756 1143552196 1873297271 3068658799 3875067433 859398020 2572007690 2364060049 3505560123 3215552946 3405844740 3384307883 3309193579 462956264 2043281112 2048187515 500950212 1325435170 276827265 1591595332 386322903 192595684 1133040785 1993480288 2849762441 1231924483 69858778 1451756597 1606368819 4213493359 1277477769 3827173708 1242293369 1549543722 3424777152 4232107458 2935094357 4125989896 2949321960 4200808026 1625828978 1453002743 1036793212 2509314703 3786903316 3012704218 1433810035 2023144115 3969228382 3567686586 156118368 3057371328 1554122735 1946826472 1612106904 2470327693 3478885648 2668827683 2350732284 3082388557 1345876766 345096477 4064654579 1249803342 2084871971 2303216408 3901925756 288411343 690101566 1675017709 3531559867 848376905 968913756 2502613470 1860294139 3785429332 920947434 889301342 2967214482 1249466153 4026947946 1512680378 4248577722 3437899130 1362993980 1604437862 1865291904 1157085689 1888150741 810544355 3382821451 3301648538 2005365274 4161223522 1850341705 3204610821 4292581129 407189011 2334968422 2181917853 4024679731 145225145 2973778132 3604156427 3813978862 1011177654 2647005024 4065985956 3868143682 2059595046 954899617 3767611219 2093601798 1429702952 1298609160 643852588 3047243597 778826763 625524626 244290271 207527836 2178005466 2130889449 1669235709 2462797300 2052080900 1921314666 4131745129 3494236268 1920534519 3824590354 3654223929 2661768438 4094331147 3660440415 3626755987 804261526 1335194290 3693309616 3882423673 4016678520 1361422082 2293379166 470959430 4121447674 3071077483 2012621735 2272890467 220751205 3299367790 1889797425 3928966021 664708747 2296290367 309249801 255 362436" option to reproduce the execution 1.88/1.98 c #vars 252150 1.88/1.98 c #constraints 1098 13.09/13.14 c BCD2: Hardening is enabled. 13.09/13.14 c BCD2: BiasedSearch is enabled. 13.09/13.14 c Solving starts ... 13.09/13.14 c ============================[ Search Statistics ]============================ 13.09/13.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 13.09/13.14 c | | | | Limit GC | Var | Constra 13.09/13.14 c ============================================================================= 13.09/13.15 c 0.0s | 0 | 0 | 0 | 84688 0 | 127757 | 0 38.38/38.49 c 25.3s | 0 | 314 | 100 | 84688 0 | 127759 | 506 38.49/38.52 c 25.4s | 1 | 314 | 100 | 84688 0 | 127759 | 506 40.48/40.52 c 27.4s | 2 | 1180 | 250 | 93157 0 | 127766 | 506 42.89/42.98 c 29.8s | 2 | 1564 | 450 | 102473 0 | 127766 | 506 43.18/43.21 c 30.1s | 3 | 1607 | 475 | 102473 0 | 127766 | 506 45.38/45.44 c 32.3s | 3 | 2006 | 675 | 112721 0 | 127766 | 506 46.58/46.62 c 33.5s | 4 | 2154 | 813 | 112721 0 | 127766 | 506 48.58/48.62 c 35.5s | 4 | 2575 | 913 | 123994 0 | 127767 | 506 51.28/51.33 c 38.2s | 4 | 2728 | 1013 | 123994 0 | 127767 | 506 54.68/54.72 c 41.6s | 4 | 3206 | 1113 | 123994 0 | 127767 | 506 57.28/57.31 c 44.2s | 4 | 5058 | 1313 | 123994 0 | 127767 | 506 57.28/57.37 c 44.2s | 5 | 5065 | 1320 | 123994 0 | 127767 | 506 59.58/59.70 c 46.5s | 5 | 5375 | 1620 | 136394 0 | 127767 | 506 64.07/64.18 c 51.0s | 5 | 7805 | 1920 | 136394 0 | 127768 | 506 66.57/66.64 c 53.5s | 5 | 7918 | 2020 | 136394 0 | 127768 | 506 67.97/68.07 c 54.9s | 6 | 7981 | 2081 | 150034 0 | 127768 | 506 71.58/71.65 c 58.5s | 6 | 8593 | 2281 | 150034 0 | 127768 | 506 73.97/74.05 c 60.9s | 6 | 8735 | 2381 | 150034 0 | 127768 | 506 76.17/76.28 c 63.1s | 6 | 9154 | 2481 | 150034 0 | 127768 | 506 78.67/78.78 c 65.6s | 6 | 12975 | 2581 | 150034 0 | 127768 | 506 80.77/80.83 c 67.7s | 6 | 23722 | 2681 | 150034 0 | 127768 | 506 83.37/83.49 c 70.3s | 6 | 23947 | 2881 | 150034 0 | 127768 | 506 85.78/85.86 c 72.7s | 6 | 24138 | 3081 | 150034 0 | 127768 | 506 87.77/87.80 c 74.7s | 7 | 24286 | 3223 | 165038 0 | 127768 | 506 90.07/90.15 c 77.0s | 7 | 24903 | 3523 | 165038 0 | 127768 | 506 92.77/92.82 c 79.7s | 7 | 25100 | 3723 | 165038 0 | 127768 | 506 95.57/95.68 c 82.5s | 7 | 25319 | 3923 | 165038 0 | 127768 | 506 98.67/98.79 c 85.6s | 7 | 25522 | 4123 | 165038 0 | 127768 | 506 101.87/101.99 c 88.8s | 7 | 25728 | 4323 | 165038 0 | 127768 | 506 105.27/105.33 c 92.2s | 7 | 25945 | 4523 | 165038 0 | 127768 | 506 107.96/108.07 c 94.9s | 7 | 26159 | 4723 | 165038 0 | 127768 | 506 111.26/111.34 c 98.2s | 7 | 26352 | 4923 | 181542 0 | 127768 | 506 111.46/111.54 c 98.4s | 8 | 26364 | 4936 | 181542 0 | 127768 | 506 113.97/114.09 c 100s | 8 | 27038 | 5236 | 181542 0 | 127768 | 506 116.68/116.75 c 103s | 8 | 27502 | 5636 | 181542 0 | 127768 | 506 119.27/119.36 c 106s | 8 | 27830 | 5936 | 181542 0 | 127768 | 506 121.37/121.40 c 108s | 8 | 28129 | 6236 | 181542 0 | 127768 | 506 123.37/123.46 c 110s | 8 | 28444 | 6536 | 181542 0 | 127768 | 506 125.57/125.61 c 112s | 8 | 28740 | 6836 | 181542 0 | 127768 | 506 127.77/127.87 c 114s | 8 | 29042 | 7136 | 181542 0 | 127768 | 506 130.17/130.24 c 117s | 8 | 29379 | 7436 | 181542 0 | 127768 | 506 130.47/130.53 c 117s | 9 | 29448 | 7506 | 199697 0 | 127768 | 506 132.87/132.92 c 119s | 9 | 30042 | 7706 | 199697 0 | 127768 | 506 134.87/134.94 c 121s | 9 | 30235 | 7906 | 199697 0 | 127768 | 506 136.87/136.96 c 123s | 9 | 30444 | 8106 | 199697 0 | 127768 | 506 138.87/138.96 c 125s | 9 | 30642 | 8306 | 199697 0 | 127768 | 506 141.87/141.95 c 128s | 9 | 30947 | 8606 | 199697 0 | 127768 | 506 144.87/144.97 c 131s | 9 | 31245 | 8906 | 199697 0 | 127768 | 506 146.97/147.01 c 133s | 9 | 31444 | 9106 | 199697 0 | 127768 | 506 149.97/150.02 c 136s | 9 | 31745 | 9406 | 199697 0 | 127768 | 506 151.97/152.04 c 138s | 9 | 31941 | 9606 | 199697 0 | 127768 | 506 153.97/154.06 c 140s | 9 | 32138 | 9806 | 199697 0 | 127768 | 506 156.07/156.11 c 142s | 9 | 32337 | 10006 | 199697 0 | 127768 | 506 158.17/158.21 c 145s | 9 | 32548 | 10206 | 199697 0 | 127768 | 506 160.16/160.26 c 147s | 9 | 32748 | 10406 | 199697 0 | 127768 | 506 162.87/162.97 c 149s | 9 | 33040 | 10706 | 199697 0 | 127768 | 506 165.46/165.59 c 152s | 9 | 33341 | 11006 | 199697 0 | 127768 | 506 167.96/168.07 c 154s | 9 | 33636 | 11306 | 219667 0 | 127768 | 506 168.37/168.50 c 155s | 10 | 33693 | 11361 | 219667 0 | 127768 | 506 170.86/170.99 c 157s | 10 | 34882 | 11461 | 219667 0 | 127768 | 506 173.26/173.37 c 160s | 10 | 35414 | 11661 | 219667 0 | 127768 | 506 177.06/177.13 c 163s | 10 | 50484 | 11861 | 219667 0 | 127768 | 506 180.06/180.17 c 167s | 10 | 55199 | 11961 | 219667 0 | 127768 | 506 183.16/183.24 c 170s | 10 | 56185 | 12061 | 219667 0 | 127768 | 506 185.36/185.48 c 172s | 10 | 56905 | 12261 | 219667 0 | 127768 | 506 187.86/187.90 c 174s | 10 | 57244 | 12461 | 219667 0 | 127768 | 506 190.46/190.57 c 177s | 10 | 57499 | 12661 | 219667 0 | 127768 | 506 193.46/193.58 c 180s | 10 | 57757 | 12861 | 219667 0 | 127768 | 506 196.66/196.70 c 183s | 10 | 57992 | 13061 | 219667 0 | 127768 | 506 199.76/199.85 c 186s | 10 | 58232 | 13261 | 219667 0 | 127768 | 506 202.96/203.00 c 189s | 10 | 58468 | 13461 | 219667 0 | 127768 | 506 206.06/206.13 c 192s | 10 | 58721 | 13661 | 219667 0 | 127768 | 506 209.16/209.28 c 196s | 10 | 58961 | 13861 | 219667 0 | 127768 | 506 212.36/212.43 c 199s | 10 | 59198 | 14061 | 219667 0 | 127768 | 506 215.56/215.64 c 202s | 10 | 59439 | 14261 | 219667 0 | 127768 | 506 218.66/218.79 c 205s | 10 | 59674 | 14461 | 219667 0 | 127768 | 506 221.86/221.98 c 208s | 10 | 59915 | 14661 | 219667 0 | 127768 | 506 225.05/225.14 c 211s | 10 | 60149 | 14861 | 219667 0 | 127768 | 506 228.25/228.35 c 215s | 10 | 60405 | 15061 | 219667 0 | 127768 | 506 231.45/231.56 c 218s | 10 | 60643 | 15261 | 219667 0 | 127768 | 506 234.65/234.75 c 221s | 10 | 60876 | 15461 | 219667 0 | 127768 | 506 237.85/237.94 c 224s | 10 | 61132 | 15661 | 219667 0 | 127768 | 506 240.96/241.06 c 227s | 10 | 61361 | 15861 | 219667 0 | 127768 | 506 244.05/244.18 c 231s | 10 | 61596 | 16061 | 219667 0 | 127768 | 506 247.25/247.31 c 234s | 10 | 61826 | 16261 | 219667 0 | 127768 | 506 250.25/250.39 c 237s | 10 | 62057 | 16461 | 219667 0 | 127768 | 506 253.45/253.57 c 240s | 10 | 62311 | 16661 | 219667 0 | 127768 | 506 256.55/256.62 c 243s | 10 | 62532 | 16861 | 219667 0 | 127768 | 506 259.75/259.82 c 246s | 10 | 62770 | 17061 | 241634 0 | 127768 | 506 261.05/261.11 c 247s | 11 | 62860 | 17144 | 241634 0 | 127768 | 506 263.15/263.29 c 250s | 11 | 63646 | 17344 | 241634 0 | 127768 | 506 265.65/265.73 c 252s | 11 | 64361 | 17744 | 241634 0 | 127768 | 506 268.05/268.16 c 255s | 11 | 65120 | 18144 | 241634 0 | 127768 | 506 270.55/270.62 c 257s | 11 | 65974 | 18544 | 241634 0 | 127768 | 506 272.95/273.06 c 259s | 11 | 66679 | 18944 | 241634 0 | 127768 | 506 275.55/275.65 c 262s | 11 | 67477 | 19344 | 241634 0 | 127768 | 506 277.65/277.76 c 264s | 11 | 67925 | 19644 | 241634 0 | 127768 | 506 280.05/280.14 c 266s | 11 | 68346 | 20044 | 241634 0 | 127768 | 506 282.45/282.57 c 269s | 11 | 68885 | 20444 | 241634 0 | 127768 | 506 284.74/284.90 c 271s | 11 | 69539 | 20744 | 241634 0 | 127768 | 506 287.24/287.31 c 274s | 11 | 69995 | 21144 | 241634 0 | 127768 | 506 289.35/289.43 c 276s | 11 | 70570 | 21444 | 241634 0 | 127768 | 506 292.04/292.16 c 279s | 11 | 71301 | 21844 | 241634 0 | 127768 | 506 294.14/294.20 c 281s | 11 | 71844 | 22144 | 241634 0 | 127768 | 506 296.74/296.87 c 283s | 11 | 72547 | 22544 | 241634 0 | 127768 | 506 299.34/299.44 c 286s | 11 | 73146 | 22944 | 241634 0 | 127768 | 506 301.64/301.76 c 288s | 11 | 73572 | 23344 | 241634 0 | 127768 | 506 303.94/304.01 c 290s | 11 | 74056 | 23744 | 241634 0 | 127768 | 506 306.04/306.15 c 293s | 11 | 74813 | 24044 | 241634 0 | 127768 | 506 308.44/308.50 c 295s | 11 | 75359 | 24344 | 241634 0 | 127768 | 506 311.14/311.22 c 298s | 11 | 76063 | 24744 | 241634 0 | 127768 | 506 313.74/313.87 c 300s | 11 | 76925 | 25144 | 241634 0 | 127768 | 506 316.44/316.53 c 303s | 11 | 77687 | 25444 | 241634 0 | 127768 | 506 318.84/318.92 c 305s | 12 | 78336 | 25819 | 265798 0 | 127768 | 506 320.84/320.94 c 307s | 12 | 78915 | 26019 | 265798 0 | 127768 | 506 322.94/323.00 c 309s | 12 | 79652 | 26319 | 265798 0 | 127768 | 506 324.94/325.06 c 311s | 12 | 80232 | 26619 | 265798 0 | 127768 | 506 327.14/327.23 c 314s | 12 | 80815 | 26919 | 265798 0 | 127768 | 506 329.44/329.51 c 316s | 12 | 81583 | 27319 | 265798 0 | 127768 | 506 331.84/331.96 c 318s | 12 | 82175 | 27619 | 265798 0 | 127768 | 506 334.34/334.41 c 321s | 12 | 83018 | 28019 | 265798 0 | 127768 | 506 336.84/336.92 c 323s | 12 | 83855 | 28419 | 265798 0 | 127768 | 506 339.14/339.22 c 326s | 12 | 84604 | 28819 | 265798 0 | 127768 | 506 341.64/341.72 c 328s | 12 | 85494 | 29219 | 265798 0 | 127768 | 506 344.13/344.23 c 331s | 12 | 86194 | 29619 | 265798 0 | 127768 | 506 346.63/346.78 c 333s | 12 | 87039 | 30019 | 265798 0 | 127768 | 506 349.23/349.39 c 336s | 12 | 87927 | 30419 | 265798 0 | 127768 | 506 351.63/351.76 c 338s | 12 | 88751 | 30819 | 265798 0 | 127768 | 506 354.14/354.23 c 341s | 12 | 89357 | 31219 | 265798 0 | 127768 | 506 356.63/356.75 c 343s | 12 | 90134 | 31619 | 265798 0 | 127768 | 506 359.23/359.30 c 346s | 12 | 90733 | 32019 | 265798 0 | 127768 | 506 361.43/361.52 c 348s | 12 | 91310 | 32319 | 265798 0 | 127768 | 506 363.73/363.85 c 350s | 12 | 91983 | 32619 | 265798 0 | 127768 | 506 365.83/365.94 c 352s | 12 | 92648 | 32919 | 265798 0 | 127768 | 506 368.23/368.30 c 355s | 12 | 93266 | 33319 | 265798 0 | 127768 | 506 370.53/370.70 c 357s | 12 | 94035 | 33719 | 265798 0 | 127768 | 506 373.43/373.51 c 360s | 12 | 94988 | 34119 | 265798 0 | 127768 | 506 375.53/375.64 c 362s | 12 | 95579 | 34519 | 265798 0 | 127768 | 506 377.93/378.04 c 364s | 12 | 96287 | 34919 | 265798 0 | 127768 | 506 380.13/380.25 c 367s | 12 | 96876 | 35219 | 265798 0 | 127768 | 506 382.33/382.49 c 369s | 12 | 97611 | 35619 | 265798 0 | 127768 | 506 384.43/384.56 c 371s | 12 | 98155 | 36019 | 265798 0 | 127768 | 506 386.73/386.84 c 373s | 12 | 99000 | 36419 | 265798 0 | 127768 | 506 389.03/389.16 c 376s | 12 | 99559 | 36819 | 265798 0 | 127768 | 506 391.23/391.40 c 378s | 12 | 100278 | 37219 | 265798 0 | 127768 | 506 393.73/393.86 c 380s | 12 | 100946 | 37619 | 265798 0 | 127768 | 506 396.13/396.24 c 383s | 12 | 101621 | 38019 | 265798 0 | 127768 | 506 398.33/398.40 c 385s | 12 | 102428 | 38319 | 265798 0 | 127768 | 506 400.33/400.42 c 387s | 12 | 103234 | 38619 | 292378 0 | 127768 | 506 401.63/401.74 c 388s | 13 | 103603 | 38832 | 292378 0 | 127768 | 506 404.23/404.39 c 391s | 13 | 104667 | 39032 | 292378 0 | 127768 | 506 406.93/407.06 c 393s | 13 | 105321 | 39332 | 292378 0 | 127768 | 506 409.13/409.23 c 396s | 13 | 105858 | 39632 | 292378 0 | 127768 | 506 411.43/411.54 c 398s | 13 | 106388 | 39932 | 292378 0 | 127768 | 506 414.02/414.19 c 401s | 13 | 107060 | 40232 | 292378 0 | 127768 | 506 416.42/416.50 c 403s | 13 | 107608 | 40532 | 292378 0 | 127768 | 506 418.52/418.62 c 405s | 13 | 108384 | 40832 | 292378 0 | 127768 | 506 420.82/420.98 c 407s | 13 | 109072 | 41132 | 292378 0 | 127768 | 506 422.82/422.99 c 409s | 13 | 109517 | 41332 | 292378 0 | 127768 | 506 425.42/425.50 c 412s | 13 | 110254 | 41632 | 292378 0 | 127768 | 506 427.93/428.09 c 414s | 13 | 111150 | 42032 | 292378 0 | 127768 | 506 430.32/430.49 c 417s | 13 | 111740 | 42332 | 292378 0 | 127768 | 506 432.72/432.85 c 419s | 13 | 112311 | 42632 | 292378 0 | 127768 | 506 435.02/435.10 c 421s | 13 | 113171 | 42932 | 292378 0 | 127768 | 506 437.32/437.46 c 424s | 13 | 114137 | 43232 | 292378 0 | 127768 | 506 439.82/439.90 c 426s | 13 | 114756 | 43532 | 292378 0 | 127768 | 506 441.82/441.99 c 428s | 13 | 115365 | 43832 | 292378 0 | 127768 | 506 444.02/444.11 c 430s | 13 | 115822 | 44132 | 292378 0 | 127768 | 506 447.02/447.19 c 434s | 13 | 117039 | 44432 | 292378 0 | 127768 | 506 449.62/449.71 c 436s | 13 | 117344 | 44732 | 292378 0 | 127768 | 506 452.02/452.12 c 438s | 13 | 117648 | 45032 | 292378 0 | 127768 | 506 454.72/454.81 c 441s | 13 | 117951 | 45332 | 292378 0 | 127768 | 506 457.32/457.47 c 444s | 13 | 120348 | 45632 | 292378 0 | 127768 | 506 459.62/459.78 c 446s | 13 | 121444 | 45932 | 292378 0 | 127768 | 506 461.92/462.01 c 448s | 13 | 122088 | 46332 | 292378 0 | 127768 | 506 464.32/464.46 c 451s | 13 | 122675 | 46732 | 292378 0 | 127768 | 506 466.72/466.82 c 453s | 13 | 123152 | 47032 | 292378 0 | 127768 | 506 468.91/469.04 c 455s | 13 | 123988 | 47332 | 292378 0 | 127768 | 506 471.21/471.34 c 458s | 13 | 124705 | 47632 | 292378 0 | 127768 | 506 473.61/473.72 c 460s | 13 | 125513 | 48032 | 292378 0 | 127768 | 506 475.61/475.74 c 462s | 13 | 125942 | 48332 | 292378 0 | 127768 | 506 478.01/478.13 c 464s | 13 | 126507 | 48632 | 292378 0 | 127768 | 506 480.51/480.63 c 467s | 13 | 127327 | 49032 | 292378 0 | 127768 | 506 482.71/482.89 c 469s | 13 | 127860 | 49332 | 292378 0 | 127768 | 506 485.12/485.27 c 472s | 13 | 128361 | 49732 | 292378 0 | 127768 | 506 487.51/487.62 c 474s | 13 | 129064 | 50132 | 292378 0 | 127768 | 506 490.11/490.24 c 477s | 13 | 129685 | 50532 | 292378 0 | 127768 | 506 492.72/492.86 c 479s | 13 | 130150 | 50832 | 292378 0 | 127768 | 506 495.31/495.45 c 482s | 13 | 130469 | 51132 | 292378 0 | 127768 | 506 497.81/497.91 c 484s | 13 | 130794 | 51432 | 292378 0 | 127768 | 506 500.11/500.20 c 487s | 13 | 131100 | 51732 | 292378 0 | 127768 | 506 502.41/502.54 c 489s | 13 | 131417 | 52032 | 292378 0 | 127768 | 506 504.61/504.75 c 491s | 13 | 131761 | 52332 | 292378 0 | 127768 | 506 506.91/507.07 c 493s | 13 | 132498 | 52732 | 292378 0 | 127768 | 506 508.91/509.09 c 495s | 13 | 132891 | 53032 | 292378 0 | 127768 | 506 511.01/511.16 c 498s | 13 | 133334 | 53332 | 292378 0 | 127768 | 506 513.41/513.50 c 500s | 13 | 133941 | 53732 | 292378 0 | 127768 | 506 515.51/515.65 c 502s | 13 | 134395 | 54032 | 292378 0 | 127768 | 506 518.11/518.24 c 505s | 13 | 134921 | 54432 | 292378 0 | 127768 | 506 520.50/520.69 c 507s | 13 | 135441 | 54732 | 292378 0 | 127768 | 506 523.00/523.12 c 509s | 13 | 135999 | 55032 | 292378 0 | 127768 | 506 525.60/525.78 c 512s | 13 | 137110 | 55332 | 292378 0 | 127768 | 506 527.60/527.79 c 514s | 13 | 137775 | 55632 | 292378 0 | 127768 | 506 530.21/530.30 c 517s | 13 | 138663 | 56032 | 292378 0 | 127768 | 506 532.80/532.90 c 519s | 13 | 139787 | 56332 | 292378 0 | 127768 | 506 535.71/535.86 c 522s | 13 | 140782 | 56732 | 292378 0 | 127768 | 506 538.91/539.06 c 525s | 13 | 141568 | 57132 | 292378 0 | 127768 | 506 541.11/541.24 c 528s | 13 | 142252 | 57432 | 292378 0 | 127768 | 506 543.31/543.49 c 530s | 13 | 143172 | 57732 | 292378 0 | 127768 | 506 545.70/545.89 c 532s | 13 | 144026 | 58032 | 321616 0 | 127768 | 506 547.60/547.80 c 534s | 14 | 145058 | 58352 | 321616 0 | 127768 | 506 549.91/550.10 c 536s | 14 | 145714 | 58452 | 321616 0 | 127768 | 506 552.50/552.66 c 539s | 14 | 146479 | 58852 | 321616 0 | 127768 | 506 554.70/554.84 c 541s | 14 | 146968 | 59152 | 321616 0 | 127768 | 506 557.71/557.81 c 544s | 14 | 147565 | 59452 | 321616 0 | 127768 | 506 560.40/560.57 c 547s | 14 | 148624 | 59852 | 321616 0 | 127768 | 506 562.90/563.04 c 549s | 14 | 149444 | 60152 | 321616 0 | 127768 | 506 565.20/565.30 c 552s | 14 | 150505 | 60452 | 321616 0 | 127768 | 506 567.70/567.80 c 554s | 14 | 151852 | 60752 | 321616 0 | 127768 | 506 570.20/570.30 c 557s | 14 | 152698 | 61052 | 321616 0 | 127768 | 506 572.60/572.75 c 559s | 14 | 153603 | 61452 | 321616 0 | 127768 | 506 575.50/575.62 c 562s | 14 | 154246 | 61852 | 321616 0 | 127768 | 506 577.60/577.75 c 564s | 14 | 154633 | 62152 | 321616 0 | 127768 | 506 579.70/579.82 c 566s | 14 | 155157 | 62452 | 321616 0 | 127768 | 506 582.29/582.46 c 569s | 14 | 156022 | 62852 | 321616 0 | 127768 | 506 584.99/585.11 c 571s | 14 | 156788 | 63252 | 321616 0 | 127768 | 506 587.49/587.67 c 574s | 14 | 157445 | 63652 | 321616 0 | 127768 | 506 589.79/589.96 c 576s | 14 | 158202 | 64052 | 321616 0 | 127768 | 506 592.39/592.50 c 579s | 14 | 159129 | 64452 | 321616 0 | 127768 | 506 595.19/595.34 c 582s | 14 | 159557 | 64752 | 321616 0 | 127768 | 506 597.59/597.79 c 584s | 14 | 160291 | 65052 | 321616 0 | 127768 | 506 600.09/600.27 c 587s | 14 | 161089 | 65352 | 321616 0 | 127768 | 506 602.39/602.53 c 589s | 14 | 161846 | 65652 | 321616 0 | 127768 | 506 604.90/605.02 c 591s | 14 | 162848 | 65952 | 321616 0 | 127768 | 506 606.99/607.17 c 594s | 14 | 163711 | 66252 | 321616 0 | 127768 | 506 609.59/609.78 c 596s | 14 | 164703 | 66652 | 321616 0 | 127768 | 506 611.79/611.99 c 598s | 14 | 165380 | 66952 | 321616 0 | 127768 | 506 614.39/614.59 c 601s | 14 | 166381 | 67252 | 321616 0 | 127768 | 506 616.89/617.03 c 603s | 14 | 167171 | 67552 | 321616 0 | 127768 | 506 619.39/619.50 c 606s | 14 | 167896 | 67852 | 321616 0 | 127768 | 506 621.69/621.88 c 608s | 14 | 168648 | 68152 | 321616 0 | 127768 | 506 624.19/624.39 c 611s | 14 | 169295 | 68452 | 321616 0 | 127768 | 506 626.49/626.60 c 613s | 14 | 169695 | 68652 | 321616 0 | 127768 | 506 628.79/628.95 c 615s | 14 | 169996 | 68952 | 321616 0 | 127768 | 506 631.19/631.34 c 618s | 14 | 170296 | 69252 | 321616 0 | 127768 | 506 633.19/633.37 c 620s | 14 | 171025 | 69552 | 321616 0 | 127768 | 506 635.59/635.70 c 622s | 14 | 171805 | 69852 | 321616 0 | 127768 | 506 637.59/637.73 c 624s | 14 | 172333 | 70152 | 321616 0 | 127768 | 506 639.89/640.05 c 626s | 14 | 173036 | 70452 | 321616 0 | 127768 | 506 642.19/642.33 c 629s | 14 | 173454 | 70752 | 321616 0 | 127768 | 506 644.69/644.82 c 631s | 14 | 174598 | 71152 | 321616 0 | 127768 | 506 647.08/647.29 c 634s | 14 | 175342 | 71552 | 321616 0 | 127768 | 506 649.48/649.62 c 636s | 14 | 176056 | 71952 | 321616 0 | 127768 | 506 651.58/651.75 c 638s | 14 | 176689 | 72252 | 321616 0 | 127768 | 506 654.08/654.21 c 641s | 14 | 177325 | 72552 | 321616 0 | 127768 | 506 656.08/656.28 c 643s | 14 | 177760 | 72852 | 321616 0 | 127768 | 506 658.98/659.11 c 645s | 14 | 178780 | 73252 | 321616 0 | 127768 | 506 661.48/661.64 c 648s | 14 | 180136 | 73652 | 321616 0 | 127768 | 506 663.78/663.91 c 650s | 14 | 181022 | 73952 | 321616 0 | 127768 | 506 666.28/666.43 c 653s | 14 | 181750 | 74252 | 321616 0 | 127768 | 506 668.28/668.48 c 655s | 14 | 182530 | 74552 | 321616 0 | 127768 | 506 670.48/670.67 c 657s | 14 | 183225 | 74952 | 321616 0 | 127768 | 506 672.58/672.70 c 659s | 14 | 184023 | 75252 | 321616 0 | 127768 | 506 674.58/674.79 c 661s | 14 | 185155 | 75552 | 321616 0 | 127768 | 506 677.18/677.30 c 664s | 14 | 186129 | 75952 | 321616 0 | 127768 | 506 680.08/680.29 c 667s | 14 | 186744 | 76252 | 321616 0 | 127768 | 506 682.68/682.85 c 669s | 14 | 187319 | 76552 | 321616 0 | 127768 | 506 684.78/684.94 c 671s | 14 | 187915 | 76852 | 321616 0 | 127768 | 506 687.49/687.63 c 674s | 14 | 188602 | 77152 | 321616 0 | 127768 | 506 689.98/690.13 c 676s | 14 | 189463 | 77652 | 321616 0 | 127768 | 506 692.38/692.53 c 679s | 14 | 190239 | 78052 | 321616 0 | 127768 | 506 694.38/694.55 c 681s | 14 | 190788 | 78352 | 321616 0 | 127768 | 506 696.78/696.90 c 683s | 14 | 191529 | 78652 | 321616 0 | 127768 | 506 699.08/699.29 c 686s | 14 | 192110 | 78952 | 321616 0 | 127768 | 506 701.78/701.95 c 688s | 14 | 192912 | 79352 | 321616 0 | 127768 | 506 704.28/704.40 c 691s | 14 | 193754 | 79652 | 321616 0 | 127768 | 506 706.27/706.44 c 693s | 14 | 194338 | 79952 | 321616 0 | 127768 | 506 708.77/708.92 c 695s | 14 | 194942 | 80352 | 321616 0 | 127768 | 506 710.77/710.94 c 697s | 14 | 195428 | 80652 | 321616 0 | 127768 | 506 713.37/713.54 c 700s | 14 | 196293 | 81052 | 321616 0 | 127768 | 506 715.98/716.12 c 702s | 14 | 197086 | 81452 | 321616 0 | 127768 | 506 718.28/718.48 c 705s | 14 | 197702 | 81752 | 321616 0 | 127768 | 506 720.38/720.56 c 707s | 14 | 198377 | 82052 | 321616 0 | 127768 | 506 722.87/723.03 c 709s | 14 | 198968 | 82352 | 321616 0 | 127768 | 506 725.67/725.84 c 712s | 14 | 200036 | 82652 | 321616 0 | 127768 | 506 727.97/728.11 c 714s | 14 | 200633 | 82952 | 321616 0 | 127768 | 506 729.97/730.17 c 717s | 14 | 201112 | 83152 | 321616 0 | 127768 | 506 732.48/732.64 c 719s | 14 | 201640 | 83452 | 321616 0 | 127768 | 506 734.57/734.72 c 721s | 14 | 202141 | 83752 | 321616 0 | 127768 | 506 736.67/736.81 c 723s | 14 | 202646 | 84052 | 321616 0 | 127768 | 506 738.97/739.19 c 726s | 14 | 203064 | 84352 | 321616 0 | 127768 | 506 741.38/741.53 c 728s | 14 | 203529 | 84652 | 321616 0 | 127768 | 506 743.87/744.03 c 730s | 14 | 204019 | 84952 | 321616 0 | 127768 | 506 746.27/746.49 c 733s | 14 | 204254 | 85152 | 321616 0 | 127768 | 506 748.77/748.99 c 735s | 14 | 204530 | 85352 | 321616 0 | 127768 | 506 751.47/751.64 c 738s | 14 | 204847 | 85552 | 321616 0 | 127768 | 506 754.37/754.51 c 741s | 14 | 205140 | 85752 | 321616 0 | 127768 | 506 756.77/756.92 c 743s | 14 | 205421 | 85952 | 321616 0 | 127768 | 506 758.87/759.06 c 745s | 14 | 205750 | 86152 | 321616 0 | 127768 | 506 760.97/761.20 c 748s | 14 | 206100 | 86352 | 321616 0 | 127768 | 506 763.17/763.38 c 750s | 14 | 206464 | 86552 | 321616 0 | 127768 | 506 765.77/765.93 c 752s | 14 | 206805 | 86852 | 321616 0 | 127768 | 506 767.97/768.15 c 755s | 14 | 207264 | 87152 | 353778 0 | 127768 | 506 770.17/770.38 c 757s | 14 | 208260 | 87452 | 353778 0 | 127768 | 506 771.56/771.76 c 758s | 15 | 208738 | 87632 | 353778 0 | 127768 | 506 774.37/774.56 c 761s | 15 | 209295 | 87732 | 353778 0 | 127768 | 506 776.86/777.06 c 763s | 15 | 209683 | 88032 | 353778 0 | 127768 | 506 778.96/779.18 c 766s | 15 | 210108 | 88332 | 353778 0 | 127768 | 506 781.26/781.49 c 768s | 15 | 210894 | 88632 | 353778 0 | 127768 | 506 783.76/783.98 c 770s | 15 | 211465 | 88932 | 353778 0 | 127768 | 506 785.96/786.16 c 773s | 15 | 211961 | 89232 | 353778 0 | 127768 | 506 788.16/788.37 c 775s | 15 | 212446 | 89532 | 353778 0 | 127768 | 506 790.77/790.95 c 777s | 15 | 213135 | 89832 | 353778 0 | 127768 | 506 793.26/793.42 c 780s | 15 | 213450 | 90132 | 353778 0 | 127768 | 506 795.67/795.84 c 782s | 15 | 213761 | 90432 | 353778 0 | 127768 | 506 798.37/798.60 c 785s | 15 | 214339 | 90732 | 353778 0 | 127768 | 506 800.87/801.00 c 787s | 15 | 214995 | 91032 | 353778 0 | 127768 | 506 803.07/803.29 c 790s | 15 | 215792 | 91332 | 353778 0 | 127768 | 506 805.37/805.56 c 792s | 15 | 216538 | 91632 | 353778 0 | 127768 | 506 807.96/808.14 c 794s | 15 | 217370 | 91932 | 353778 0 | 127768 | 506 810.26/810.49 c 797s | 15 | 218447 | 92232 | 353778 0 | 127768 | 506 813.26/813.42 c 800s | 15 | 219804 | 92632 | 353778 0 | 127768 | 506 816.86/817.03 c 803s | 15 | 220570 | 92932 | 353778 0 | 127768 | 506 819.06/819.27 c 806s | 15 | 221102 | 93232 | 353778 0 | 127768 | 506 821.76/821.98 c 808s | 15 | 221412 | 93532 | 353778 0 | 127768 | 506 824.16/824.38 c 811s | 15 | 221723 | 93832 | 353778 0 | 127768 | 506 826.56/826.71 c 813s | 15 | 222496 | 94132 | 353778 0 | 127768 | 506 828.96/829.15 c 816s | 15 | 223078 | 94432 | 353778 0 | 127768 | 506 831.56/831.72 c 818s | 15 | 223676 | 94732 | 353778 0 | 127768 | 506 833.96/834.17 c 821s | 15 | 224235 | 94932 | 353778 0 | 127768 | 506 836.56/836.74 c 823s | 15 | 224739 | 95232 | 353778 0 | 127768 | 506 839.06/839.23 c 826s | 15 | 225167 | 95532 | 353778 0 | 127768 | 506 841.66/841.85 c 828s | 15 | 225695 | 95832 | 353778 0 | 127768 | 506 844.16/844.37 c 831s | 15 | 226185 | 96132 | 353778 0 | 127768 | 506 846.56/846.70 c 833s | 15 | 226578 | 96432 | 353778 0 | 127768 | 506 848.86/849.08 c 835s | 15 | 227001 | 96732 | 353778 0 | 127768 | 506 851.26/851.48 c 838s | 15 | 227540 | 97032 | 353778 0 | 127768 | 506 853.95/854.15 c 841s | 15 | 228038 | 97332 | 353778 0 | 127768 | 506 856.05/856.29 c 843s | 15 | 228491 | 97532 | 353778 0 | 127768 | 506 858.65/858.87 c 845s | 15 | 229414 | 97832 | 353778 0 | 127768 | 506 861.05/861.21 c 848s | 15 | 229807 | 98132 | 353778 0 | 127768 | 506 863.36/863.55 c 850s | 15 | 230514 | 98432 | 353778 0 | 127768 | 506 865.56/865.78 c 852s | 15 | 231355 | 98732 | 353778 0 | 127768 | 506 867.65/867.88 c 854s | 15 | 232131 | 99032 | 353778 0 | 127768 | 506 869.85/870.09 c 856s | 15 | 232616 | 99332 | 353778 0 | 127768 | 506 871.95/872.10 c 858s | 15 | 233119 | 99632 | 353778 0 | 127768 | 506 874.05/874.23 c 861s | 15 | 233674 | 99932 | 353778 0 | 127768 | 506 876.66/876.84 c 863s | 15 | 234524 | 100332 | 353778 0 | 127768 | 506 878.86/879.02 c 865s | 15 | 235396 | 100632 | 353778 0 | 127768 | 506 880.85/881.07 c 867s | 15 | 235951 | 100932 | 353778 0 | 127768 | 506 883.16/883.35 c 870s | 15 | 236506 | 101232 | 353778 0 | 127768 | 506 885.85/886.01 c 872s | 15 | 237018 | 101532 | 353778 0 | 127768 | 506 888.05/888.21 c 875s | 15 | 237601 | 101832 | 353778 0 | 127768 | 506 890.05/890.29 c 877s | 15 | 238064 | 102132 | 353778 0 | 127768 | 506 892.35/892.50 c 879s | 15 | 238532 | 102432 | 353778 0 | 127768 | 506 894.95/895.13 c 881s | 15 | 239153 | 102832 | 353778 0 | 127768 | 506 897.05/897.25 c 884s | 15 | 239669 | 103132 | 353778 0 | 127768 | 506 899.35/899.56 c 886s | 15 | 240368 | 103432 | 353778 0 | 127768 | 506 901.85/902.01 c 888s | 15 | 241022 | 103732 | 353778 0 | 127768 | 506 903.95/904.10 c 890s | 15 | 241405 | 104032 | 353778 0 | 127768 | 506 906.15/906.36 c 893s | 15 | 241960 | 104332 | 353778 0 | 127768 | 506 909.05/909.29 c 896s | 15 | 242741 | 104632 | 353778 0 | 127768 | 506 911.45/911.68 c 898s | 15 | 243272 | 104932 | 353778 0 | 127768 | 506 913.75/913.92 c 900s | 15 | 243770 | 105232 | 353778 0 | 127768 | 506 916.25/916.41 c 903s | 15 | 244385 | 105532 | 353778 0 | 127768 | 506 918.54/918.71 c 905s | 15 | 244866 | 105832 | 353778 0 | 127768 | 506 920.55/920.77 c 907s | 15 | 245320 | 106132 | 353778 0 | 127768 | 506 922.85/923.03 c 909s | 15 | 246049 | 106432 | 353778 0 | 127768 | 506 924.95/925.17 c 912s | 15 | 246461 | 106732 | 353778 0 | 127768 | 506 927.25/927.48 c 914s | 15 | 247023 | 107032 | 353778 0 | 127768 | 506 929.74/929.92 c 916s | 15 | 247747 | 107332 | 353778 0 | 127768 | 506 932.04/932.27 c 919s | 15 | 248389 | 107632 | 353778 0 | 127768 | 506 934.04/934.28 c 921s | 15 | 248845 | 107932 | 353778 0 | 127768 | 506 936.44/936.66 c 923s | 15 | 249470 | 108232 | 353778 0 | 127768 | 506 938.94/939.12 c 925s | 15 | 249990 | 108532 | 353778 0 | 127768 | 506 941.14/941.37 c 928s | 15 | 250401 | 108832 | 353778 0 | 127768 | 506 943.84/944.04 c 930s | 15 | 250857 | 109032 | 353778 0 | 127768 | 506 946.24/946.49 c 933s | 15 | 251284 | 109232 | 353778 0 | 127768 | 506 948.74/948.95 c 935s | 15 | 251882 | 109532 | 353778 0 | 127768 | 506 951.14/951.33 c 938s | 15 | 252338 | 109832 | 353778 0 | 127768 | 506 953.44/953.70 c 940s | 15 | 252877 | 110132 | 353778 0 | 127768 | 506 955.94/956.13 c 942s | 15 | 253346 | 110432 | 353778 0 | 127768 | 506 958.54/958.76 c 945s | 15 | 253747 | 110732 | 353778 0 | 127768 | 506 961.44/961.68 c 948s | 15 | 254170 | 111032 | 353778 0 | 127768 | 506 964.04/964.25 c 951s | 15 | 254480 | 111332 | 353778 0 | 127768 | 506 966.44/966.61 c 953s | 15 | 254784 | 111632 | 353778 0 | 127768 | 506 968.64/968.87 c 955s | 15 | 255115 | 111932 | 353778 0 | 127768 | 506 970.94/971.17 c 958s | 15 | 255440 | 112232 | 353778 0 | 127768 | 506 973.24/973.41 c 960s | 15 | 255763 | 112532 | 353778 0 | 127768 | 506 975.54/975.80 c 962s | 15 | 256111 | 112832 | 353778 0 | 127768 | 506 977.93/978.18 c 965s | 15 | 256455 | 113132 | 353778 0 | 127768 | 506 980.43/980.60 c 967s | 15 | 256797 | 113432 | 353778 0 | 127768 | 506 982.83/983.01 c 969s | 15 | 257124 | 113732 | 353778 0 | 127768 | 506 985.54/985.77 c 972s | 15 | 257823 | 114032 | 353778 0 | 127768 | 506 987.93/988.19 c 975s | 15 | 258471 | 114332 | 353778 0 | 127768 | 506 990.33/990.50 c 977s | 15 | 258964 | 114632 | 353778 0 | 127768 | 506 992.73/992.94 c 979s | 15 | 259516 | 114932 | 353778 0 | 127768 | 506 994.83/995.05 c 981s | 15 | 259912 | 115132 | 353778 0 | 127768 | 506 997.64/997.87 c 984s | 15 | 260453 | 115332 | 353778 0 | 127768 | 506 1000.33/1000.59 c 987s | 15 | 260853 | 115632 | 353778 0 | 127768 | 506 1002.93/1003.13 c 989s | 15 | 261197 | 115932 | 353778 0 | 127768 | 506 1005.34/1005.55 c 992s | 15 | 261798 | 116132 | 353778 0 | 127768 | 506 1007.94/1008.18 c 995s | 15 | 262252 | 116432 | 353778 0 | 127768 | 506 1010.63/1010.90 c 997s | 15 | 262781 | 116732 | 353778 0 | 127768 | 506 1012.83/1013.02 c 999s | 15 | 263291 | 116932 | 353778 0 | 127768 | 506 1015.43/1015.69 c 1002s | 15 | 263835 | 117232 | 353778 0 | 127768 | 506 1018.44/1018.61 c 1005s | 15 | 264230 | 117432 | 353778 0 | 127768 | 506 1020.63/1020.85 c 1007s | 15 | 264647 | 117732 | 353778 0 | 127768 | 506 1022.83/1023.09 c 1009s | 15 | 265187 | 118032 | 353778 0 | 127768 | 506 1025.13/1025.31 c 1012s | 15 | 265574 | 118332 | 353778 0 | 127768 | 506 1027.83/1028.09 c 1014s | 15 | 266001 | 118632 | 353778 0 | 127768 | 506 1030.13/1030.35 c 1017s | 15 | 266406 | 118932 | 353778 0 | 127768 | 506 1032.43/1032.69 c 1019s | 15 | 266946 | 119232 | 353778 0 | 127768 | 506 1034.72/1034.92 c 1021s | 15 | 267430 | 119532 | 353778 0 | 127768 | 506 1037.32/1037.59 c 1024s | 15 | 268020 | 119832 | 353778 0 | 127768 | 506 1040.02/1040.20 c 1027s | 15 | 268727 | 120232 | 353778 0 | 127768 | 506 1042.42/1042.68 c 1029s | 15 | 269331 | 120532 | 353778 0 | 127768 | 506 1044.62/1044.84 c 1031s | 15 | 269814 | 120832 | 353778 0 | 127768 | 506 1047.22/1047.46 c 1034s | 15 | 270546 | 121132 | 353778 0 | 127768 | 506 1049.72/1049.95 c 1036s | 15 | 271193 | 121432 | 353778 0 | 127768 | 506 1051.92/1052.13 c 1038s | 15 | 271609 | 121732 | 353778 0 | 127768 | 506 1054.52/1054.73 c 1041s | 15 | 272208 | 122032 | 353778 0 | 127768 | 506 1057.03/1057.26 c 1044s | 15 | 272833 | 122332 | 353778 0 | 127768 | 506 1059.52/1059.71 c 1046s | 15 | 273373 | 122632 | 353778 0 | 127768 | 506 1062.12/1062.38 c 1049s | 15 | 274066 | 122932 | 353778 0 | 127768 | 506 1064.92/1065.13 c 1051s | 15 | 274732 | 123232 | 353778 0 | 127768 | 506 1067.93/1068.14 c 1054s | 15 | 275322 | 123532 | 353778 0 | 127768 | 506 1070.13/1070.34 c 1057s | 15 | 275808 | 123732 | 353778 0 | 127768 | 506 1073.02/1073.29 c 1060s | 15 | 276662 | 124032 | 353778 0 | 127768 | 506 1075.73/1075.93 c 1062s | 15 | 277382 | 124332 | 353778 0 | 127768 | 506 1078.22/1078.46 c 1065s | 15 | 278157 | 124632 | 353778 0 | 127768 | 506 1080.72/1080.97 c 1067s | 15 | 278633 | 124932 | 353778 0 | 127768 | 506 1083.22/1083.49 c 1070s | 15 | 279334 | 125232 | 353778 0 | 127768 | 506 1085.72/1085.96 c 1072s | 15 | 279951 | 125532 | 353778 0 | 127768 | 506 1087.82/1088.03 c 1074s | 15 | 280407 | 125732 | 353778 0 | 127768 | 506 1090.52/1090.73 c 1077s | 15 | 280933 | 126032 | 353778 0 | 127768 | 506 1092.52/1092.79 c 1079s | 15 | 281211 | 126232 | 353778 0 | 127768 | 506 1094.72/1094.92 c 1081s | 15 | 281570 | 126432 | 353778 0 | 127768 | 506 1097.12/1097.35 c 1084s | 15 | 282019 | 126632 | 353778 0 | 127768 | 506 1099.42/1099.68 c 1086s | 15 | 282428 | 126832 | 353778 0 | 127768 | 506 1101.62/1101.88 c 1088s | 15 | 282701 | 127032 | 353778 0 | 127768 | 506 1103.82/1104.07 c 1090s | 15 | 283001 | 127232 | 353778 0 | 127768 | 506 1106.32/1106.52 c 1093s | 15 | 283401 | 127432 | 353778 0 | 127768 | 506 1108.63/1108.83 c 1095s | 15 | 283767 | 127632 | 353778 0 | 127768 | 506 1111.02/1111.21 c 1098s | 15 | 284129 | 127832 | 353778 0 | 127768 | 506 1113.52/1113.70 c 1100s | 15 | 284392 | 128032 | 353778 0 | 127768 | 506 1116.01/1116.29 c 1103s | 15 | 284576 | 128132 | 353778 0 | 127768 | 506 1118.21/1118.44 c 1105s | 15 | 284916 | 128332 | 353778 0 | 127768 | 506 1120.41/1120.62 c 1107s | 15 | 285368 | 128532 | 353778 0 | 127768 | 506 1123.11/1123.35 c 1110s | 15 | 285800 | 128832 | 353778 0 | 127768 | 506 1125.91/1126.15 c 1113s | 15 | 286387 | 129132 | 353778 0 | 127768 | 506 1128.71/1128.97 c 1115s | 15 | 286892 | 129432 | 353778 0 | 127768 | 506 1131.61/1131.90 c 1118s | 15 | 287264 | 129732 | 353778 0 | 127768 | 506 1134.31/1134.56 c 1121s | 15 | 287556 | 130032 | 353778 0 | 127768 | 506 1137.32/1137.54 c 1124s | 15 | 288210 | 130332 | 353778 0 | 127768 | 506 1139.42/1139.66 c 1126s | 15 | 288675 | 130532 | 353778 0 | 127768 | 506 1141.81/1142.02 c 1128s | 15 | 289495 | 130732 | 389156 0 | 127768 | 506 1143.82/1144.09 c 1130s | 15 | 289896 | 130932 | 389156 0 | 127768 | 506 1146.02/1146.29 c 1133s | 15 | 290319 | 131132 | 389156 0 | 127768 | 506 1148.81/1149.06 c 1135s | 15 | 290850 | 131432 | 389156 0 | 127768 | 506 1150.11/1150.35 c 1137s | 16 | 291142 | 131552 | 389156 0 | 127768 | 506 1154.61/1154.82 c 1141s | 16 | 291850 | 131652 | 389156 0 | 127768 | 506 1157.11/1157.31 c 1144s | 16 | 292485 | 131852 | 389156 0 | 127768 | 506 1160.01/1160.25 c 1147s | 16 | 293032 | 132152 | 389156 0 | 127768 | 506 1162.21/1162.43 c 1149s | 16 | 293350 | 132352 | 389156 0 | 127768 | 506 1164.50/1164.73 c 1151s | 16 | 293605 | 132552 | 389156 0 | 127768 | 506 1167.50/1167.73 c 1154s | 16 | 294173 | 132852 | 389156 0 | 127768 | 506 1170.11/1170.35 c 1157s | 16 | 294856 | 133152 | 389156 0 | 127768 | 506 1172.51/1172.78 c 1159s | 16 | 295318 | 133452 | 389156 0 | 127768 | 506 1175.21/1175.49 c 1162s | 16 | 296021 | 133752 | 389156 0 | 127768 | 506 1177.70/1177.97 c 1164s | 16 | 296424 | 134052 | 389156 0 | 127768 | 506 1180.22/1180.48 c 1167s | 16 | 297030 | 134352 | 389156 0 | 127768 | 506 1182.41/1182.62 c 1169s | 16 | 297467 | 134552 | 389156 0 | 127768 | 506 1184.41/1184.68 c 1171s | 16 | 297571 | 134652 | 389156 0 | 127768 | 506 1187.41/1187.64 c 1174s | 16 | 298215 | 134952 | 389156 0 | 127768 | 506 1189.81/1190.01 c 1176s | 16 | 298831 | 135152 | 389156 0 | 127768 | 506 1192.51/1192.78 c 1179s | 16 | 299555 | 135452 | 389156 0 | 127768 | 506 1195.11/1195.33 c 1182s | 16 | 300192 | 135752 | 389156 0 | 127768 | 506 1197.81/1198.02 c 1184s | 16 | 300926 | 136052 | 389156 0 | 127768 | 506 1200.51/1200.79 c 1187s | 16 | 301827 | 136352 | 389156 0 | 127768 | 506 1203.31/1203.53 c 1190s | 16 | 302586 | 136652 | 389156 0 | 127768 | 506 1205.41/1205.68 c 1192s | 16 | 303025 | 136852 | 389156 0 | 127768 | 506 1208.00/1208.25 c 1195s | 16 | 303409 | 137152 | 389156 0 | 127768 | 506 1210.60/1210.86 c 1197s | 16 | 303880 | 137452 | 389156 0 | 127768 | 506 1213.21/1213.45 c 1200s | 16 | 304525 | 137752 | 389156 0 | 127768 | 506 1215.20/1215.48 c 1202s | 16 | 304915 | 137952 | 389156 0 | 127768 | 506 1218.20/1218.49 c 1205s | 16 | 305502 | 138252 | 389156 0 | 127768 | 506 1220.50/1220.74 c 1207s | 16 | 306222 | 138452 | 389156 0 | 127768 | 506 1222.80/1223.07 c 1209s | 16 | 306739 | 138652 | 389156 0 | 127768 | 506 1225.30/1225.51 c 1212s | 16 | 307395 | 138952 | 389156 0 | 127768 | 506 1227.41/1227.69 c 1214s | 16 | 307835 | 139152 | 389156 0 | 127768 | 506 1229.71/1229.94 c 1216s | 16 | 308127 | 139252 | 389156 0 | 127768 | 506 1232.40/1232.65 c 1219s | 16 | 308690 | 139552 | 389156 0 | 127768 | 506 1235.21/1235.48 c 1222s | 16 | 309652 | 139852 | 389156 0 | 127768 | 506 1237.80/1238.06 c 1224s | 16 | 310208 | 140152 | 389156 0 | 127768 | 506 1240.30/1240.58 c 1227s | 16 | 310856 | 140452 | 389156 0 | 127768 | 506 1243.40/1243.65 c 1230s | 16 | 311475 | 140752 | 389156 0 | 127768 | 506 1246.30/1246.51 c 1233s | 16 | 311938 | 140952 | 389156 0 | 127768 | 506 1248.31/1248.60 c 1235s | 16 | 312363 | 141152 | 389156 0 | 127768 | 506 1251.10/1251.38 c 1238s | 16 | 312813 | 141452 | 389156 0 | 127768 | 506 1253.90/1254.11 c 1240s | 16 | 313230 | 141752 | 389156 0 | 127768 | 506 1255.90/1256.17 c 1243s | 16 | 313643 | 141952 | 389156 0 | 127768 | 506 1258.30/1258.53 c 1245s | 16 | 314175 | 142152 | 389156 0 | 127768 | 506 1260.99/1261.28 c 1248s | 16 | 314638 | 142452 | 389156 0 | 127768 | 506 1263.40/1263.62 c 1250s | 16 | 314969 | 142652 | 389156 0 | 127768 | 506 1266.09/1266.32 c 1253s | 16 | 315490 | 142952 | 389156 0 | 127768 | 506 1268.29/1268.54 c 1255s | 16 | 315939 | 143152 | 389156 0 | 127768 | 506 1270.59/1270.80 c 1257s | 16 | 316319 | 143352 | 389156 0 | 127768 | 506 1274.09/1274.35 c 1261s | 16 | 316991 | 143552 | 389156 0 | 127768 | 506 1276.29/1276.56 c 1263s | 16 | 317364 | 143752 | 389156 0 | 127768 | 506 1278.99/1279.25 c 1266s | 16 | 317816 | 144052 | 389156 0 | 127768 | 506 1281.69/1281.94 c 1268s | 16 | 318584 | 144352 | 389156 0 | 127768 | 506 1284.39/1284.62 c 1271s | 16 | 319238 | 144652 | 389156 0 | 127768 | 506 1286.49/1286.76 c 1273s | 16 | 319624 | 144852 | 389156 0 | 127768 | 506 1288.59/1288.88 c 1275s | 16 | 320033 | 145052 | 389156 0 | 127768 | 506 1290.89/1291.13 c 1277s | 16 | 320358 | 145252 | 389156 0 | 127768 | 506 1293.09/1293.38 c 1280s | 16 | 320711 | 145452 | 389156 0 | 127768 | 506 1295.49/1295.74 c 1282s | 16 | 321164 | 145652 | 389156 0 | 127768 | 506 1297.59/1297.89 c 1284s | 16 | 321479 | 145852 | 389156 0 | 127768 | 506 1299.99/1300.25 c 1287s | 16 | 321933 | 146052 | 389156 0 | 127768 | 506 1302.39/1302.64 c 1289s | 16 | 322129 | 146152 | 389156 0 | 127768 | 506 1304.49/1304.76 c 1291s | 16 | 322630 | 146352 | 389156 0 | 127768 | 506 1307.18/1307.48 c 1294s | 16 | 323341 | 146652 | 389156 0 | 127768 | 506 1309.48/1309.71 c 1296s | 16 | 324234 | 146852 | 389156 0 | 127768 | 506 1311.48/1311.74 c 1298s | 16 | 324942 | 147052 | 389156 0 | 127768 | 506 1314.48/1314.74 c 1301s | 16 | 325454 | 147352 | 389156 0 | 127768 | 506 1316.60/1316.82 c 1303s | 16 | 325859 | 147552 | 389156 0 | 127768 | 506 1318.79/1319.07 c 1305s | 16 | 326227 | 147752 | 389156 0 | 127768 | 506 1321.78/1322.06 c 1308s | 16 | 326535 | 147952 | 389156 0 | 127768 | 506 1324.69/1324.91 c 1311s | 16 | 326939 | 148152 | 389156 0 | 127768 | 506 1326.99/1327.22 c 1314s | 16 | 327215 | 148352 | 389156 0 | 127768 | 506 1329.39/1329.64 c 1316s | 16 | 327487 | 148552 | 389156 0 | 127768 | 506 1332.59/1332.88 c 1319s | 16 | 327761 | 148752 | 389156 0 | 127768 | 506 1334.79/1335.01 c 1321s | 16 | 328152 | 148952 | 389156 0 | 127768 | 506 1336.79/1337.04 c 1323s | 16 | 328512 | 149152 | 389156 0 | 127768 | 506 1338.79/1339.04 c 1325s | 16 | 328799 | 149352 | 389156 0 | 127768 | 506 1341.39/1341.64 c 1328s | 16 | 329256 | 149552 | 389156 0 | 127768 | 506 1343.48/1343.76 c 1330s | 16 | 329621 | 149752 | 389156 0 | 127768 | 506 1346.38/1346.61 c 1333s | 16 | 329971 | 150052 | 389156 0 | 127768 | 506 1348.49/1348.70 c 1335s | 16 | 330238 | 150252 | 389156 0 | 127768 | 506 1350.48/1350.78 c 1337s | 16 | 330523 | 150452 | 389156 0 | 127768 | 506 1352.79/1353.02 c 1339s | 16 | 330892 | 150652 | 389156 0 | 127768 | 506 1354.99/1355.29 c 1342s | 16 | 331363 | 150852 | 389156 0 | 127768 | 506 1357.29/1357.59 c 1344s | 16 | 331751 | 151052 | 389156 0 | 127768 | 506 1359.88/1360.12 c 1346s | 16 | 332122 | 151252 | 389156 0 | 127768 | 506 1361.88/1362.14 c 1348s | 16 | 332457 | 151452 | 389156 0 | 127768 | 506 1364.48/1364.76 c 1351s | 16 | 332980 | 151652 | 389156 0 | 127768 | 506 1367.08/1367.32 c 1354s | 16 | 333447 | 151852 | 389156 0 | 127768 | 506 1369.58/1369.82 c 1356s | 16 | 333850 | 151952 | 389156 0 | 127768 | 506 1372.68/1372.93 c 1359s | 16 | 334700 | 152252 | 389156 0 | 127768 | 506 1374.88/1375.13 c 1361s | 16 | 335182 | 152452 | 389156 0 | 127768 | 506 1377.38/1377.69 c 1364s | 16 | 335933 | 152652 | 389156 0 | 127768 | 506 1379.48/1379.75 c 1366s | 16 | 336185 | 152852 | 389156 0 | 127768 | 506 1381.48/1381.77 c 1368s | 16 | 336523 | 153052 | 389156 0 | 127768 | 506 1383.58/1383.82 c 1370s | 16 | 336792 | 153252 | 389156 0 | 127768 | 506 1385.89/1386.16 c 1373s | 16 | 337121 | 153452 | 389156 0 | 127768 | 506 1388.88/1389.17 c 1376s | 16 | 337545 | 153652 | 389156 0 | 127768 | 506 1392.17/1392.43 c 1379s | 16 | 338156 | 153852 | 389156 0 | 127768 | 506 1394.78/1395.00 c 1381s | 16 | 338435 | 154052 | 389156 0 | 127768 | 506 1398.48/1398.75 c 1385s | 16 | 338896 | 154252 | 389156 0 | 127768 | 506 1401.18/1401.49 c 1388s | 16 | 339505 | 154452 | 389156 0 | 127768 | 506 1403.97/1404.23 c 1391s | 16 | 340189 | 154652 | 389156 0 | 127768 | 506 1407.17/1407.44 c 1394s | 16 | 340573 | 154852 | 389156 0 | 127768 | 506 1409.98/1410.22 c 1397s | 16 | 340951 | 155052 | 389156 0 | 127768 | 506 1412.77/1413.01 c 1399s | 16 | 341427 | 155252 | 389156 0 | 127768 | 506 1415.58/1415.82 c 1402s | 16 | 341770 | 155452 | 389156 0 | 127768 | 506 1418.17/1418.41 c 1405s | 16 | 342064 | 155652 | 389156 0 | 127768 | 506 1420.67/1420.91 c 1407s | 16 | 342432 | 155852 | 389156 0 | 127768 | 506 1423.37/1423.61 c 1410s | 16 | 342945 | 156052 | 389156 0 | 127768 | 506 1425.47/1425.76 c 1412s | 16 | 343150 | 156152 | 389156 0 | 127768 | 506 1427.57/1427.82 c 1414s | 16 | 343461 | 156352 | 389156 0 | 127768 | 506 1430.46/1430.77 c 1417s | 16 | 343903 | 156552 | 389156 0 | 127768 | 506 1432.76/1433.00 c 1419s | 16 | 344361 | 156752 | 389156 0 | 127768 | 506 1435.38/1435.69 c 1422s | 16 | 344761 | 156952 | 389156 0 | 127768 | 506 1438.58/1438.86 c 1425s | 16 | 345489 | 157152 | 389156 0 | 127768 | 506 1440.87/1441.17 c 1428s | 16 | 345986 | 157352 | 389156 0 | 127768 | 506 1443.16/1443.40 c 1430s | 16 | 346416 | 157552 | 389156 0 | 127768 | 506 1446.06/1446.38 c 1433s | 16 | 346766 | 157752 | 389156 0 | 127768 | 506 1449.46/1449.70 c 1436s | 16 | 347172 | 157952 | 389156 0 | 127768 | 506 1451.66/1451.94 c 1438s | 16 | 347658 | 158152 | 389156 0 | 127768 | 506 1454.36/1454.66 c 1441s | 16 | 348003 | 158352 | 389156 0 | 127768 | 506 1456.77/1457.02 c 1443s | 16 | 348574 | 158552 | 389156 0 | 127768 | 506 1459.06/1459.36 c 1446s | 16 | 348971 | 158752 | 389156 0 | 127768 | 506 1461.36/1461.68 c 1448s | 16 | 349307 | 158952 | 389156 0 | 127768 | 506 1463.56/1463.84 c 1450s | 16 | 349594 | 159152 | 389156 0 | 127768 | 506 1466.56/1466.84 c 1453s | 16 | 349955 | 159452 | 389156 0 | 127768 | 506 1468.66/1468.95 c 1455s | 16 | 350225 | 159652 | 389156 0 | 127768 | 506 1470.66/1470.99 c 1457s | 16 | 350523 | 159852 | 389156 0 | 127768 | 506 1473.06/1473.37 c 1460s | 16 | 350937 | 160052 | 389156 0 | 127768 | 506 1476.46/1476.73 c 1463s | 16 | 351258 | 160252 | 389156 0 | 127768 | 506 1478.56/1478.85 c 1465s | 16 | 351542 | 160452 | 389156 0 | 127768 | 506 1481.16/1481.42 c 1468s | 16 | 351887 | 160652 | 389156 0 | 127768 | 506 1483.66/1483.92 c 1470s | 16 | 352092 | 160852 | 389156 0 | 127768 | 506 1485.97/1486.25 c 1473s | 16 | 352297 | 161052 | 389156 0 | 127768 | 506 1489.17/1489.42 c 1476s | 16 | 352502 | 161252 | 389156 0 | 127768 | 506 1491.25/1491.59 c 1478s | 16 | 352711 | 161452 | 389156 0 | 127768 | 506 1493.45/1493.72 c 1480s | 16 | 352926 | 161652 | 389156 0 | 127768 | 506 1495.46/1495.73 c 1482s | 16 | 353144 | 161852 | 389156 0 | 127768 | 506 1498.56/1498.83 c 1485s | 16 | 353439 | 162152 | 389156 0 | 127768 | 506 1501.56/1501.87 c 1488s | 16 | 353641 | 162352 | 389156 0 | 127768 | 506 1503.75/1504.05 c 1490s | 16 | 354125 | 162552 | 389156 0 | 127768 | 506 1506.45/1506.78 c 1493s | 16 | 354652 | 162852 | 389156 0 | 127768 | 506 1509.06/1509.34 c 1496s | 16 | 355328 | 163052 | 389156 0 | 127768 | 506 1511.86/1512.19 c 1499s | 16 | 356007 | 163352 | 389156 0 | 127768 | 506 1514.75/1515.08 c 1501s | 16 | 356544 | 163552 | 389156 0 | 127768 | 506 1516.85/1517.13 c 1503s | 16 | 356933 | 163752 | 389156 0 | 127768 | 506 1519.96/1520.27 c 1507s | 16 | 357430 | 164052 | 389156 0 | 127768 | 506 1522.15/1522.41 c 1509s | 16 | 357753 | 164252 | 389156 0 | 127768 | 506 1525.56/1525.90 c 1512s | 16 | 358269 | 164452 | 389156 0 | 127768 | 506 1528.05/1528.34 c 1515s | 16 | 358724 | 164652 | 389156 0 | 127768 | 506 1531.35/1531.69 c 1518s | 16 | 359226 | 164852 | 389156 0 | 127768 | 506 1533.75/1534.05 c 1520s | 16 | 359531 | 165052 | 389156 0 | 127768 | 506 1536.05/1536.35 c 1523s | 16 | 359691 | 165152 | 389156 0 | 127768 | 506 1539.25/1539.58 c 1526s | 16 | 360387 | 165352 | 389156 0 | 127768 | 506 1541.35/1541.67 c 1528s | 16 | 360956 | 165552 | 389156 0 | 127768 | 506 1544.05/1544.33 c 1531s | 16 | 361423 | 165852 | 389156 0 | 127768 | 506 1546.15/1546.40 c 1533s | 16 | 361821 | 166052 | 389156 0 | 127768 | 506 1548.14/1548.46 c 1535s | 16 | 362127 | 166252 | 389156 0 | 127768 | 506 1551.05/1551.35 c 1538s | 16 | 362605 | 166552 | 389156 0 | 127768 | 506 1553.84/1554.17 c 1541s | 16 | 363012 | 166852 | 389156 0 | 127768 | 506 1556.74/1557.06 c 1543s | 16 | 363304 | 167052 | 389156 0 | 127768 | 506 1559.15/1559.42 c 1546s | 16 | 363640 | 167252 | 389156 0 | 127768 | 506 1561.95/1562.27 c 1549s | 16 | 363942 | 167552 | 389156 0 | 127768 | 506 1564.05/1564.32 c 1551s | 16 | 364187 | 167752 | 389156 0 | 127768 | 506 1567.04/1567.37 c 1554s | 16 | 364650 | 167952 | 389156 0 | 127768 | 506 1569.45/1569.71 c 1556s | 16 | 364881 | 168152 | 389156 0 | 127768 | 506 1571.54/1571.89 c 1558s | 16 | 365158 | 168352 | 389156 0 | 127768 | 506 1573.85/1574.17 c 1561s | 16 | 365486 | 168552 | 389156 0 | 127768 | 506 1576.24/1576.53 c 1563s | 16 | 366031 | 168752 | 389156 0 | 127768 | 506 1578.44/1578.72 c 1565s | 16 | 366688 | 168952 | 389156 0 | 127768 | 506 1580.64/1580.95 c 1567s | 16 | 366967 | 169052 | 389156 0 | 127768 | 506 1583.44/1583.75 c 1570s | 16 | 367575 | 169352 | 389156 0 | 127768 | 506 1585.54/1585.82 c 1572s | 16 | 368129 | 169552 | 389156 0 | 127768 | 506 1587.74/1588.06 c 1574s | 16 | 368850 | 169752 | 389156 0 | 127768 | 506 1590.14/1590.43 c 1577s | 16 | 369425 | 169952 | 389156 0 | 127768 | 506 1593.04/1593.32 c 1580s | 16 | 370193 | 170252 | 389156 0 | 127768 | 506 1595.14/1595.40 c 1582s | 16 | 370454 | 170352 | 389156 0 | 127768 | 506 1597.24/1597.59 c 1584s | 16 | 370923 | 170552 | 389156 0 | 127768 | 506 1599.84/1600.17 c 1587s | 16 | 371640 | 170752 | 389156 0 | 127768 | 506 1601.84/1602.18 c 1589s | 16 | 372195 | 170952 | 389156 0 | 127768 | 506 1604.14/1604.49 c 1591s | 16 | 372886 | 171152 | 389156 0 | 127768 | 506 1606.64/1606.98 c 1593s | 16 | 373474 | 171452 | 389156 0 | 127768 | 506 1609.84/1610.14 c 1596s | 16 | 373996 | 171652 | 389156 0 | 127768 | 506 1612.14/1612.41 c 1599s | 16 | 374643 | 171852 | 389156 0 | 127768 | 506 1614.74/1615.00 c 1601s | 16 | 375391 | 172052 | 389156 0 | 127768 | 506 1617.04/1617.35 c 1604s | 16 | 376108 | 172252 | 389156 0 | 127768 | 506 1621.03/1621.32 c 1608s | 16 | 376422 | 172552 | 389156 0 | 127768 | 506 1623.63/1623.98 c 1610s | 16 | 376722 | 172852 | 389156 0 | 127768 | 506 1626.64/1626.91 c 1613s | 16 | 377024 | 173152 | 389156 0 | 127768 | 506 1629.43/1629.73 c 1616s | 16 | 377374 | 173452 | 389156 0 | 127768 | 506 1631.43/1631.76 c 1618s | 16 | 377920 | 173652 | 389156 0 | 127768 | 506 1633.64/1633.93 c 1620s | 16 | 378390 | 173752 | 389156 0 | 127768 | 506 1636.23/1636.58 c 1623s | 16 | 379077 | 174052 | 389156 0 | 127768 | 506 1638.84/1639.12 c 1625s | 16 | 379516 | 174352 | 389156 0 | 127768 | 506 1641.13/1641.46 c 1628s | 16 | 380005 | 174552 | 389156 0 | 127768 | 506 1643.34/1643.61 c 1630s | 16 | 380451 | 174752 | 389156 0 | 127768 | 506 1646.13/1646.42 c 1633s | 16 | 381127 | 175052 | 389156 0 | 127768 | 506 1648.43/1648.75 c 1635s | 16 | 381689 | 175252 | 389156 0 | 127768 | 506 1651.03/1651.36 c 1638s | 16 | 382201 | 175552 | 389156 0 | 127768 | 506 1653.83/1654.18 c 1641s | 16 | 382741 | 175752 | 389156 0 | 127768 | 506 1656.34/1656.65 c 1643s | 16 | 383351 | 176052 | 389156 0 | 127768 | 506 1658.73/1659.04 c 1645s | 16 | 384059 | 176352 | 389156 0 | 127768 | 506 1661.23/1661.54 c 1648s | 16 | 384832 | 176652 | 389156 0 | 127768 | 506 1663.53/1663.89 c 1650s | 16 | 385432 | 176952 | 389156 0 | 127768 | 506 1665.63/1665.97 c 1652s | 16 | 385837 | 177152 | 389156 0 | 127768 | 506 1668.63/1668.96 c 1655s | 16 | 386445 | 177452 | 389156 0 | 127768 | 506 1670.63/1670.99 c 1657s | 16 | 386734 | 177652 | 389156 0 | 127768 | 506 1672.94/1673.28 c 1660s | 16 | 386879 | 177752 | 389156 0 | 127768 | 506 1675.53/1675.80 c 1662s | 16 | 387344 | 177952 | 389156 0 | 127768 | 506 1678.13/1678.43 c 1665s | 16 | 387678 | 178152 | 389156 0 | 127768 | 506 1680.42/1680.79 c 1667s | 16 | 388036 | 178352 | 389156 0 | 127768 | 506 1682.92/1683.25 c 1670s | 16 | 388409 | 178552 | 389156 0 | 127768 | 506 1686.03/1686.37 c 1673s | 16 | 388863 | 178752 | 389156 0 | 127768 | 506 1688.72/1689.10 c 1675s | 16 | 389257 | 178952 | 389156 0 | 127768 | 506 1692.82/1693.15 c 1680s | 16 | 389654 | 179152 | 389156 0 | 127768 | 506 1695.42/1695.70 c 1682s | 16 | 389992 | 179352 | 389156 0 | 127768 | 506 1698.23/1698.57 c 1685s | 16 | 390440 | 179552 | 389156 0 | 127768 | 506 1702.02/1702.39 c 1689s | 16 | 390822 | 179752 | 389156 0 | 127768 | 506 1704.82/1705.13 c 1691s | 16 | 391417 | 179952 | 389156 0 | 127768 | 506 1707.42/1707.71 c 1694s | 16 | 391814 | 180152 | 389156 0 | 127768 | 506 1709.52/1709.88 c 1696s | 16 | 391917 | 180252 | 389156 0 | 127768 | 506 1712.43/1712.72 c 1699s | 16 | 392219 | 180552 | 389156 0 | 127768 | 506 1715.22/1715.56 c 1702s | 16 | 392522 | 180852 | 389156 0 | 127768 | 506 1717.31/1717.64 c 1704s | 16 | 392798 | 181052 | 389156 0 | 127768 | 506 1719.52/1719.87 c 1706s | 16 | 393310 | 181252 | 389156 0 | 127768 | 506 1721.61/1721.97 c 1708s | 16 | 393805 | 181452 | 389156 0 | 127768 | 506 1725.31/1725.68 c 1712s | 16 | 394474 | 181652 | 389156 0 | 127768 | 506 1727.42/1727.70 c 1714s | 16 | 394894 | 181852 | 389156 0 | 127768 | 506 1730.12/1730.40 c 1717s | 16 | 395534 | 182152 | 389156 0 | 127768 | 506 1732.91/1733.28 c 1720s | 16 | 396197 | 182452 | 389156 0 | 127768 | 506 1736.32/1736.67 c 1723s | 16 | 396734 | 182752 | 389156 0 | 127768 | 506 1738.52/1738.82 c 1725s | 16 | 396902 | 182852 | 389156 0 | 127768 | 506 1741.21/1741.51 c 1728s | 16 | 397326 | 183052 | 389156 0 | 127768 | 506 1743.41/1743.79 c 1730s | 16 | 397728 | 183252 | 389156 0 | 127768 | 506 1745.62/1745.94 c 1732s | 16 | 398120 | 183452 | 389156 0 | 127768 | 506 1747.62/1747.96 c 1734s | 16 | 398269 | 183552 | 389156 0 | 127768 | 506 1749.82/1750.15 c 1737s | 16 | 398574 | 183752 | 389156 0 | 127768 | 506 1751.91/1752.23 c 1739s | 16 | 398834 | 183952 | 389156 0 | 127768 | 506 1754.81/1755.14 c 1741s | 16 | 399392 | 184152 | 389156 0 | 127768 | 506 1756.91/1757.22 c 1744s | 16 | 399704 | 184352 | 389156 0 | 127768 | 506 1760.11/1760.47 c 1747s | 16 | 400248 | 184652 | 389156 0 | 127768 | 506 1764.21/1764.52 c 1751s | 16 | 400759 | 184852 | 389156 0 | 127768 | 506 1767.01/1767.35 c 1754s | 16 | 401096 | 185052 | 389156 0 | 127768 | 506 1771.30/1771.63 c 1758s | 16 | 401752 | 185252 | 389156 0 | 127768 | 506 1773.51/1773.82 c 1760s | 16 | 402192 | 185452 | 389156 0 | 127768 | 506 1775.81/1776.15 c 1762s | 16 | 402396 | 185652 | 389156 0 | 127768 | 506 1778.00/1778.38 c 1765s | 16 | 402594 | 185852 | 389156 0 | 127768 | 506 1780.10/1780.43 c 1767s | 16 | 402851 | 186052 | 389156 0 | 127768 | 506 1782.11/1782.47 c 1769s | 16 | 403096 | 186252 | 389156 0 | 127768 | 506 1784.21/1784.54 c 1771s | 16 | 403255 | 186352 | 389156 0 | 127768 | 506 1787.10/1787.46 c 1774s | 16 | 403737 | 186652 | 389156 0 | 127768 | 506 1790.01/1790.39 c 1777s | 16 | 404278 | 186952 | 389156 0 | 127768 | 506 1792.10/1792.49 c 1779s | 16 | 404694 | 187152 | 389156 0 | 127768 | 506 1794.40/1794.75 c 1781s | 16 | 405165 | 187352 | 389156 0 | 127768 | 506 1798.80/1799.13 c 1785s | 16 | 405916 | 187652 | 389156 0 | 127768 | 506
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-4100625-1466215473/watcher-4100625-1466215473 -o /tmp/evaluation-result-4100625-1466215473/solver-4100625-1466215473 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100625-1466215473.opb pid=2705 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.27 2.24 2.24 2/179 2708 /proc/meminfo: memFree=29273744/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=703932 CPUtime=0 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 2621 0 0 0 0 0 0 0 20 0 4 0 23594525 720826368 3493 33554432000 4194304 16246674 140734905528480 140734905527904 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 176751 3502 441 2943 0 173645 0 [pid=2708/tid=2709] ppid=2705 vsize=722364 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 739700736 3563 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=726460 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23594525 743895040 3580 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=730556 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23594525 748089344 3597 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100123 s] /proc/loadavg: 2.27 2.24 2.24 2/179 2708 /proc/meminfo: memFree=29273744/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=1302084 CPUtime=0.08 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 29546 0 0 0 4 4 0 0 20 0 4 0 23594525 1333334016 30355 33554432000 4194304 16246674 140734905528480 140734905527792 7377409 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 325521 30371 801 2943 0 322415 0 [pid=2708/tid=2709] ppid=2705 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 1333334016 30381 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23594525 1333334016 30393 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 1333334016 30403 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.200504 s] /proc/loadavg: 2.27 2.24 2.24 2/179 2708 /proc/meminfo: memFree=29273744/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 45872 0 0 0 13 6 0 0 20 0 4 0 23594525 1344868352 47192 33554432000 4194304 16246674 140734905528480 140734905527792 8058611 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 328337 47192 801 2943 0 325231 0 [pid=2708/tid=2709] ppid=2705 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 1344868352 47192 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23594525 1344868352 47192 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 1344868352 47192 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300501 s] /proc/loadavg: 2.27 2.24 2.24 2/179 2708 /proc/meminfo: memFree=29273744/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 51965 0 0 0 22 7 0 0 20 0 4 0 23594525 1344868352 53285 33554432000 4194304 16246674 140734905528480 140734905527792 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 328337 53285 801 2943 0 325231 0 [pid=2708/tid=2709] ppid=2705 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 1344868352 53285 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23594525 1344868352 53285 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 1344868352 53285 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700416 s] /proc/loadavg: 2.27 2.24 2.24 2/179 2708 /proc/meminfo: memFree=29273744/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 64481 0 0 0 60 9 0 0 20 0 4 0 23594525 1344868352 65801 33554432000 4194304 16246674 140734905528480 140734905526272 13752840 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 328337 65801 802 2943 0 325231 0 [pid=2708/tid=2709] ppid=2705 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 1344868352 65801 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23594525 1344868352 65801 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 1344868352 65801 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50041 s] /proc/loadavg: 2.27 2.24 2.24 3/183 2712 /proc/meminfo: memFree=28997612/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 82139 0 0 0 138 11 0 0 20 0 4 0 23594525 1344868352 83459 33554432000 4194304 16246674 140734905528480 140734905526464 7369860 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 328337 83459 802 2943 0 325231 0 [pid=2708/tid=2709] ppid=2705 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 1344868352 83459 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23594525 1344868352 83459 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 1344868352 83459 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.1004 s] /proc/loadavg: 2.25 2.24 2.23 3/183 2712 /proc/meminfo: memFree=28742544/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=1427012 CPUtime=3.08 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 150306 0 0 0 288 20 0 0 20 0 4 0 23594525 1461260288 151626 33554432000 4194304 16246674 140734905528480 140734905527792 5595597 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 356753 151626 837 2943 0 353647 0 [pid=2708/tid=2709] ppid=2705 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 1461260288 151626 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23594525 1461260288 151626 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 1461260288 151626 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1427012 [startup+6.3004 s] /proc/loadavg: 2.25 2.24 2.23 3/183 2712 /proc/meminfo: memFree=28631168/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=1427012 CPUtime=6.29 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 174353 0 0 0 605 24 0 0 20 0 4 0 23594525 1461260288 175673 33554432000 4194304 16246674 140734905528480 140734905510400 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 356753 175682 837 2943 0 353647 0 [pid=2708/tid=2709] ppid=2705 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 1461260288 175686 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23594525 1461260288 175690 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 1461260288 175694 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1427012 [startup+12.7004 s] /proc/loadavg: 2.21 2.23 2.23 3/183 2712 /proc/meminfo: memFree=27714468/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=1751620 CPUtime=12.69 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 378535 0 0 0 1217 52 0 0 20 0 4 0 23594525 1793658880 379855 33554432000 4194304 16246674 140734905528480 140734905510400 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 437905 379855 845 2943 0 434799 0 [pid=2708/tid=2709] ppid=2705 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 1793658880 379855 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 1793658880 379855 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 1793658880 379855 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1751620 [startup+25.5005 s] /proc/loadavg: 2.18 2.22 2.23 3/183 2712 /proc/meminfo: memFree=27662028/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=1751620 CPUtime=25.48 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 378590 0 0 0 2496 52 0 0 20 0 4 0 23594525 1793658880 379910 33554432000 4194304 16246674 140734905528480 140734905510400 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 437905 379910 898 2943 0 434799 0 [pid=2708/tid=2709] ppid=2705 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 1793658880 379910 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 1793658880 379910 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 1793658880 379910 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1751620 [startup+51.1005 s] /proc/loadavg: 2.33 2.25 2.24 3/183 2712 /proc/meminfo: memFree=27567016/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=1751620 CPUtime=51.08 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 378590 0 0 0 5056 52 0 0 20 0 4 0 23594525 1793658880 379910 33554432000 4194304 16246674 140734905528480 140734905527656 5600808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 437905 379910 898 2943 0 434799 0 [pid=2708/tid=2709] ppid=2705 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 1793658880 379910 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 1793658880 379910 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 1793658880 379910 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1751620 [startup+102.3 s] /proc/loadavg: 2.25 2.24 2.23 3/183 2713 /proc/meminfo: memFree=27444408/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=1751620 CPUtime=102.27 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 378592 0 0 0 10175 52 0 0 20 0 4 0 23594525 1793658880 379912 33554432000 4194304 16246674 140734905528480 140734905510400 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 437905 379912 900 2943 0 434799 0 [pid=2708/tid=2709] ppid=2705 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 1793658880 379912 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 1793658880 379912 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 1793658880 379912 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1751620 ################ # More data... # ################ /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3343454208 758062 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=3265092 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3343454208 758062 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=3265092 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 3343454208 758062 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 3265092 [startup+1362.3 s] /proc/loadavg: 2.19 2.21 2.21 3/183 2745 /proc/meminfo: memFree=24346152/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=3287620 CPUtime=1362.08 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 762596 0 0 0 136087 121 0 0 20 0 4 0 23594525 3366522880 763916 33554432000 4194304 16246674 140734905528480 140734905527656 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 821905 763916 904 2943 0 818799 0 [pid=2708/tid=2709] ppid=2705 vsize=3287620 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3366522880 763916 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=3287620 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3366522880 763916 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=3287620 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 3366522880 763916 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 3287620 [startup+1422.3 s] /proc/loadavg: 2.14 2.20 2.20 3/183 2746 /proc/meminfo: memFree=24189828/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=3336772 CPUtime=1422.08 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 774884 0 0 0 142082 126 0 0 20 0 4 0 23594525 3416854528 776204 33554432000 4194304 16246674 140734905528480 140734905527576 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 834193 776204 904 2943 0 831087 0 [pid=2708/tid=2709] ppid=2705 vsize=3336772 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3416854528 776204 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=3336772 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3416854528 776204 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=3336772 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 3416854528 776204 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 3336772 [startup+1482.3 s] /proc/loadavg: 2.23 2.21 2.20 3/183 2747 /proc/meminfo: memFree=24072684/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=3385924 CPUtime=1482.06 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 787173 0 0 0 148074 132 0 0 20 0 4 0 23594525 3467186176 788493 33554432000 4194304 16246674 140734905528480 140734905527656 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 846481 788493 905 2943 0 843375 0 [pid=2708/tid=2709] ppid=2705 vsize=3385924 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3467186176 788493 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=3385924 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3467186176 788493 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=3385924 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 3467186176 788493 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 3385924 [startup+1542.31 s] /proc/loadavg: 2.20 2.20 2.19 3/184 2751 /proc/meminfo: memFree=23946740/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=3430980 CPUtime=1542.06 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 798437 0 0 0 154067 139 0 0 20 0 4 0 23594525 3513323520 799757 33554432000 4194304 16246674 140734905528480 140734905510400 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 857745 799757 905 2943 0 854639 0 [pid=2708/tid=2709] ppid=2705 vsize=3430980 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3513323520 799757 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=3430980 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3513323520 799757 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=3430980 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 3513323520 799757 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 3430980 [startup+1602.3 s] /proc/loadavg: 2.28 2.22 2.20 4/183 2800 /proc/meminfo: memFree=25707968/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=3478084 CPUtime=1602.04 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 810216 0 0 0 160056 148 0 0 20 0 4 0 23594525 3561558016 811538 33554432000 4194304 16246674 140734905528480 140734905527656 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 869521 811538 906 2943 0 866415 0 [pid=2708/tid=2709] ppid=2705 vsize=3478084 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3561558016 811538 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=3478084 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3561558016 811538 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=3478084 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 3561558016 811538 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 3478084 [startup+1662.3 s] /proc/loadavg: 2.32 2.24 2.20 3/183 2802 /proc/meminfo: memFree=25663652/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=3522116 CPUtime=1662.03 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 821227 0 0 0 166046 157 0 0 20 0 4 0 23594525 3606646784 822546 33554432000 4194304 16246674 140734905528480 140734905527656 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 880529 822546 906 2943 0 877423 0 [pid=2708/tid=2709] ppid=2705 vsize=3522116 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3606646784 822546 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=3522116 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3606646784 822546 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=3522116 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 3606646784 822546 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 3522116 [startup+1722.3 s] /proc/loadavg: 2.21 2.22 2.19 3/183 2803 /proc/meminfo: memFree=25565776/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=3619396 CPUtime=1722.01 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 845560 0 0 0 172036 165 0 0 20 0 4 0 23594525 3706261504 846866 33554432000 4194304 16246674 140734905528480 140734905510400 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 904849 846866 906 2943 0 901743 0 [pid=2708/tid=2709] ppid=2705 vsize=3619396 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3706261504 846866 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=3619396 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3706261504 846866 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=3619396 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 3706261504 846866 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 3619396 [startup+1782.3 s] /proc/loadavg: 2.16 2.21 2.19 3/183 2804 /proc/meminfo: memFree=25565680/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=3619396 CPUtime=1782.01 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 845562 0 0 0 178030 171 0 0 20 0 4 0 23594525 3706261504 846866 33554432000 4194304 16246674 140734905528480 140734905527656 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 904849 846866 906 2943 0 901743 0 [pid=2708/tid=2709] ppid=2705 vsize=3619396 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3706261504 846866 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=3619396 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3706261504 846866 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=3619396 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 3706261504 846866 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 3619396 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.25 2.23 2.19 3/183 2805 /proc/meminfo: memFree=25558232/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=3626564 CPUtime=1800 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) R 2705 2708 579 0 -1 4202496 847354 0 0 0 179827 173 0 0 20 0 4 0 23594525 3713601536 848658 33554432000 4194304 16246674 140734905528480 140734905527656 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 906641 848658 906 2943 0 903535 0 [pid=2708/tid=2709] ppid=2705 vsize=3626564 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2709/stat : 2709 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3713601536 848658 33554432000 4194304 16246674 140734905528480 139879514090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=3626564 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) S 2705 2708 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23594525 3713601536 848658 33554432000 4194304 16246674 140734905528480 139879434398960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2708/tid=2711] ppid=2705 vsize=3626564 CPUtime=0 cores=0,2,4,6 /proc/2708/task/2711/stat : 2711 (toysat) S 2705 2708 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23594525 3713601536 848658 33554432000 4194304 16246674 140734905528480 139879423925424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 3626564 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 2708 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 2.25 2.23 2.19 3/183 2805 /proc/meminfo: memFree=25558232/32872528 swapFree=17888/1798212 [pid=2708] ppid=2705 vsize=0 CPUtime=1800.11 cores=0,2,4,6 /proc/2708/stat : 2708 (toysat) Z 2705 2708 579 0 -1 4203532 847354 0 0 0 179828 183 0 0 20 0 2 0 23594525 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2708/statm: 0 0 0 0 0 0 0 [pid=2708/tid=2710] ppid=2705 vsize=0 CPUtime=0.09 cores=0,2,4,6 /proc/2708/task/2710/stat : 2710 (toysat) R 2705 2708 579 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 23594525 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.49 CPU time (s): 1800.2 CPU user time (s): 1798.28 CPU system time (s): 1.91471 CPU usage (%): 99.9839 Max. virtual memory (cumulated for all children) (KiB): 3626564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.28 system time used= 1.91471 maximum resident set size= 3394632 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 847354 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= 147 involuntary context switches= 2766 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5953 second user time and 7.02493 second system time The end
Begin job on node123 at 2016-06-18 04:04:34 IDJOB=4100625 IDBENCH=1641 IDSOLVER=2542 FILE ID=node123/4100625-1466215473 RUNJOBID= node123-1466206081-595 PBS_JOBID= 19918154 Free space on /tmp= 71608 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-woodw.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100625-1466215473/watcher-4100625-1466215473 -o /tmp/evaluation-result-4100625-1466215473/solver-4100625-1466215473 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100625-1466215473.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ef3d01fb716807987360ebbfd3d821b6 RANDOM SEED=1920414067 node123.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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: 29274216 kB Buffers: 103384 kB Cached: 182316 kB SwapCached: 1648 kB Active: 884424 kB Inactive: 177124 kB Active(anon): 777056 kB Inactive(anon): 1152 kB Active(file): 107368 kB Inactive(file): 175972 kB Unevictable: 1798212 kB Mlocked: 17888 kB SwapTotal: 67108856 kB SwapFree: 67099316 kB Dirty: 28356 kB Writeback: 0 kB AnonPages: 2573620 kB Mapped: 10664 kB Shmem: 0 kB Slab: 602520 kB SReclaimable: 46396 kB SUnreclaim: 556124 kB KernelStack: 1480 kB PageTables: 9796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3027144 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1785856 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= 71592 MiB End job on node123 at 2016-06-18 04:34:35