| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/lopes/ normalized-70.opb |
| MD5SUM | 4f155d4f8b05885565510d4fbd89c993 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| 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 | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 12552 |
| Total number of constraints | 283802 |
| Number of constraints which are clauses | 254979 |
| Number of constraints which are cardinality constraints (but not clauses) | 914 |
| Number of constraints which are nor clauses,nor cardinality constraints | 27909 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 270 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 271 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-07T07:21:06+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-4078870-1465276866.opb"] 0.00/0.01 c use --random-gen="3880759672 1081566873 711481009 1210166008 1017446081 3117131072 816392606 4064420721 588527391 3445468715 2256532682 681093980 885340827 4255257785 31607718 2249041309 2635572799 817055248 3427663188 3241677435 1297580815 3535393262 903407151 2260123153 1262902311 756854278 3517378644 1208947915 1272524009 168019480 3041883030 4070753366 253436508 40370115 3211088136 1362780406 2643939744 2575848131 3593792461 3523642708 3742059668 693644630 2333587291 1310195652 3378110697 1214263611 1604959997 3073481696 2480019021 30285243 1465442939 572889840 1091414332 778440513 243989672 1471456563 355230044 1624022575 3297770650 3810632517 3194879976 2259529738 3156687065 2089241966 3077020350 1253752927 860864132 2404415704 2110773973 2246805371 2101245832 4161568745 585269659 3486904572 1181339956 4145343542 3430143715 1523451178 2681492105 3795783022 2333855883 2855289633 2057658131 4109121977 1498493146 3124235773 931557588 3690128711 3508791015 2102354821 1043361385 2183517155 2795244717 1204631865 451802122 1819506140 439832963 3674025664 3362239876 118032418 917647260 2481258795 4166471835 578496683 3644854444 775753561 2144829754 2203915552 2910400310 2525055011 2601097800 1170509209 1608399430 507851488 342881482 2479746835 3222384827 3264115400 1077632217 656048369 284501972 1655114407 2921811710 598971443 1783589695 4024757138 1365804815 1481552836 3256347242 3832417569 3617918278 3016634788 2028648260 2745479581 2979063782 967642842 2526408320 2554746005 687259477 3780403695 4185840277 1224815750 3254253872 1527322200 148974543 1043197118 2090727580 3225646129 2404086696 2333439962 3177339550 3676261378 2450917944 797299683 3202039909 1812698977 670294470 3108882351 4204150861 3359296432 1561052242 667282283 3624076122 3646381677 232714704 595842115 3992438988 2041568217 1738047559 614608530 1288540623 1316191062 1241660402 3432712641 3875584993 2096901537 2488590380 3961284832 3374632189 2547976556 141951653 2223707939 525975992 1563457433 3760054544 1305409275 3014951306 1613142856 4287902403 2220636667 452378163 3552737728 2270524192 3199026179 1680342195 2997225567 3512452373 1442909598 474724778 1493003138 342425167 4225038797 1042199347 622771446 3572246845 1436961919 1315488704 2825307491 3075030683 3262249046 210785989 2598831575 588577423 255958053 300297434 412484333 3192090526 2334444175 2210600054 2564286064 2893306810 1794777406 460695170 1558488151 2580833795 115665274 4220709797 4196280095 2215503206 2294782066 784827609 4036613429 1249931964 3070022200 127216891 3563046443 3598149592 390040053 800415519 1372753041 2661877266 2960377364 1103907852 3173999803 2668520707 354007243 1155816705 644699944 2514789722 3946012631 578490111 3001470730 3589460616 2414664859 2510271247 744086732 255 362436" option to reproduce the execution 2.20/2.22 c #vars 12552 2.20/2.22 c #constraints 283802 6.99/7.01 c Solving starts ... 6.99/7.01 c ============================[ Search Statistics ]============================ 6.99/7.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.99/7.01 c | | | | Limit GC | Var | Constra 6.99/7.01 c ============================================================================= 6.99/7.01 c 0.0s | 0 | 0 | 0 | 97782 0 | 132 | 0 7.39/7.45 c 0.4s | 1 | 121 | 100 | 97782 0 | 132 | 1440 8.99/9.04 c 2.0s | 2 | 11695 | 250 | 107561 0 | 132 | 1440 10.79/10.87 c 3.9s | 3 | 24326 | 475 | 118318 0 | 132 | 1440 13.78/13.89 c 6.9s | 3 | 51922 | 675 | 130150 0 | 132 | 1440 14.68/14.75 c 7.7s | 4 | 62189 | 813 | 130150 0 | 132 | 1440 16.49/16.54 c 9.5s | 5 | 90734 | 1320 | 143165 0 | 132 | 1440 18.98/19.05 c 12.0s | 5 | 119409 | 1720 | 157482 0 | 132 | 1440 21.18/21.22 c 14.2s | 5 | 148121 | 2020 | 157482 0 | 133 | 1452 22.09/22.14 c 15.1s | 6 | 159389 | 2081 | 173231 0 | 133 | 1452 24.19/24.29 c 17.3s | 6 | 191955 | 2481 | 173231 0 | 134 | 1464 25.78/25.88 c 18.9s | 7 | 229788 | 3223 | 190555 0 | 134 | 1464 27.88/27.91 c 20.9s | 7 | 253196 | 3723 | 190555 0 | 134 | 1464 29.98/30.05 c 23.0s | 7 | 275180 | 4723 | 190555 0 | 134 | 1464 30.38/30.47 c 23.5s | 8 | 275480 | 4936 | 209611 0 | 134 | 1464 32.48/32.52 c 25.5s | 8 | 296674 | 5536 | 209611 0 | 135 | 1476 34.58/34.67 c 27.7s | 8 | 297741 | 6236 | 209611 0 | 135 | 1476 36.68/36.79 c 29.8s | 8 | 298893 | 7136 | 209611 0 | 135 | 1476 37.78/37.86 c 30.9s | 9 | 299382 | 7506 | 230573 0 | 135 | 1476 39.78/39.86 c 32.9s | 9 | 319494 | 8106 | 230573 0 | 135 | 1476 41.98/42.03 c 35.0s | 9 | 342353 | 9806 | 230573 0 | 135 | 1476 43.78/43.80 c 36.8s | 10 | 373848 | 11361 | 253631 0 | 135 | 1476 45.88/45.94 c 38.9s | 10 | 376461 | 12761 | 253631 0 | 135 | 1476 47.88/47.96 c 40.9s | 10 | 378060 | 14161 | 253631 0 | 135 | 1476 49.99/50.02 c 43.0s | 10 | 379647 | 15561 | 253631 0 | 135 | 1476 52.09/52.16 c 45.2s | 10 | 381089 | 16861 | 253631 0 | 135 | 1476 52.69/52.72 c 45.7s | 11 | 381413 | 17144 | 278995 0 | 135 | 1476 54.89/54.93 c 47.9s | 11 | 404038 | 18444 | 278995 0 | 135 | 1476 56.89/56.98 c 50.0s | 11 | 431078 | 19344 | 278995 0 | 135 | 1476 58.99/59.09 c 52.1s | 11 | 449252 | 19844 | 278995 0 | 135 | 1476 61.69/61.79 c 54.8s | 11 | 512470 | 20944 | 278995 0 | 135 | 1476 63.79/63.88 c 56.9s | 11 | 538948 | 21644 | 278995 0 | 135 | 1476 66.09/66.14 c 59.1s | 11 | 549819 | 22544 | 278995 0 | 135 | 1476 68.38/68.42 c 61.4s | 11 | 556840 | 24144 | 278995 0 | 135 | 1476 70.39/70.49 c 63.5s | 11 | 559435 | 24944 | 278995 0 | 135 | 1476 72.08/72.15 c 65.1s | 12 | 567888 | 25819 | 306895 0 | 135 | 1476 74.68/74.72 c 67.7s | 12 | 575650 | 26419 | 306895 0 | 135 | 1476 76.68/76.73 c 69.7s | 12 | 581041 | 27319 | 306895 0 | 135 | 1476 78.88/78.93 c 71.9s | 12 | 582333 | 28219 | 306895 0 | 135 | 1476 81.28/81.30 c 74.3s | 12 | 583313 | 28919 | 306895 0 | 135 | 1476 83.28/83.32 c 76.3s | 12 | 590454 | 29919 | 306895 0 | 135 | 1476 85.48/85.53 c 78.5s | 12 | 610692 | 30819 | 306895 0 | 135 | 1476 87.68/87.74 c 80.7s | 12 | 626054 | 31719 | 306895 0 | 135 | 1476 89.98/90.04 c 83.0s | 12 | 639900 | 32419 | 306895 0 | 135 | 1476 92.18/92.24 c 85.2s | 12 | 655564 | 33219 | 306895 0 | 135 | 1476 94.47/94.52 c 87.5s | 12 | 662137 | 33919 | 306895 0 | 135 | 1476 96.67/96.71 c 89.7s | 12 | 666246 | 34519 | 306895 0 | 135 | 1476 98.67/98.78 c 91.8s | 12 | 667508 | 35019 | 306895 0 | 135 | 1476 101.28/101.30 c 94.3s | 12 | 668907 | 35619 | 306895 0 | 135 | 1476 103.27/103.34 c 96.3s | 12 | 669539 | 36019 | 306895 0 | 135 | 1476 105.47/105.58 c 98.6s | 12 | 670232 | 36419 | 306895 0 | 135 | 1476 107.78/107.83 c 100s | 12 | 675368 | 37019 | 306895 0 | 135 | 1476 110.08/110.15 c 103s | 12 | 677494 | 37519 | 306895 0 | 135 | 1476 112.07/112.18 c 105s | 12 | 678326 | 37919 | 306895 0 | 135 | 1476 114.17/114.28 c 107s | 12 | 680560 | 38319 | 306895 0 | 135 | 1476 115.67/115.79 c 108s | 13 | 687635 | 38832 | 337585 0 | 135 | 1476 117.77/117.81 c 110s | 13 | 690867 | 40432 | 337585 0 | 136 | 1488 120.07/120.12 c 113s | 13 | 692027 | 41232 | 337585 0 | 136 | 1488 122.07/122.13 c 115s | 13 | 692767 | 41832 | 337585 0 | 136 | 1488 124.47/124.50 c 117s | 13 | 693588 | 42532 | 337585 0 | 136 | 1488 126.67/126.71 c 119s | 13 | 694390 | 43232 | 337585 0 | 136 | 1488 128.67/128.76 c 121s | 13 | 695071 | 43832 | 337585 0 | 136 | 1488 130.87/130.96 c 123s | 13 | 699328 | 44532 | 337585 0 | 136 | 1488 133.07/133.11 c 126s | 13 | 701528 | 45132 | 337585 0 | 136 | 1488 135.17/135.28 c 128s | 13 | 702225 | 45732 | 337585 0 | 136 | 1488 137.37/137.40 c 130s | 13 | 703942 | 46332 | 337585 0 | 136 | 1488 139.37/139.40 c 132s | 13 | 704925 | 46932 | 337585 0 | 136 | 1488 141.37/141.41 c 134s | 13 | 706537 | 47432 | 337585 0 | 136 | 1488 143.37/143.44 c 136s | 13 | 736079 | 48332 | 337585 0 | 136 | 1488 145.37/145.47 c 138s | 13 | 763895 | 49432 | 337585 0 | 136 | 1488 147.38/147.47 c 140s | 13 | 789329 | 50532 | 337585 0 | 136 | 1488 149.37/149.47 c 142s | 13 | 806634 | 51632 | 337585 0 | 136 | 1488 151.47/151.55 c 144s | 13 | 822536 | 52832 | 337585 0 | 136 | 1488 153.57/153.61 c 146s | 13 | 836790 | 53532 | 337585 0 | 136 | 1488 155.77/155.80 c 148s | 13 | 859183 | 54332 | 337585 0 | 136 | 1488 157.77/157.83 c 150s | 13 | 870590 | 54932 | 337585 0 | 136 | 1488 159.86/159.99 c 152s | 13 | 875921 | 55532 | 337585 0 | 136 | 1488 161.96/162.03 c 155s | 13 | 878706 | 56032 | 337585 0 | 136 | 1488 163.97/164.08 c 157s | 13 | 883943 | 56532 | 337585 0 | 136 | 1488 165.96/166.10 c 159s | 13 | 892823 | 57232 | 337585 0 | 136 | 1488 168.06/168.14 c 161s | 13 | 904192 | 57932 | 337585 0 | 136 | 1488 169.47/169.53 c 162s | 14 | 906631 | 58352 | 371344 0 | 136 | 1488 171.96/172.05 c 165s | 14 | 918492 | 58552 | 371344 0 | 137 | 1500 174.16/174.24 c 167s | 14 | 931230 | 59152 | 371344 0 | 137 | 1500 176.26/176.32 c 169s | 14 | 934841 | 59952 | 371344 0 | 137 | 1500 178.36/178.48 c 171s | 14 | 935611 | 60652 | 371344 0 | 137 | 1500 180.56/180.67 c 173s | 14 | 941836 | 61352 | 371344 0 | 137 | 1500 182.76/182.87 c 175s | 14 | 942924 | 62052 | 371344 0 | 137 | 1500 185.16/185.27 c 178s | 14 | 944348 | 62752 | 371344 0 | 137 | 1500 187.46/187.54 c 180s | 14 | 946865 | 63452 | 371344 0 | 137 | 1500 189.56/189.66 c 182s | 14 | 947998 | 64052 | 371344 0 | 137 | 1500 191.86/191.92 c 184s | 14 | 949018 | 64752 | 371344 0 | 137 | 1500 194.06/194.12 c 187s | 14 | 949735 | 65352 | 371344 0 | 137 | 1500 196.16/196.28 c 189s | 14 | 950498 | 65952 | 371344 0 | 137 | 1500 198.36/198.40 c 191s | 14 | 951216 | 66552 | 371344 0 | 137 | 1500 200.36/200.45 c 193s | 14 | 952357 | 67152 | 371344 0 | 137 | 1500 202.46/202.53 c 195s | 14 | 952919 | 67652 | 371344 0 | 137 | 1500 204.56/204.67 c 197s | 14 | 954439 | 68252 | 371344 0 | 137 | 1500 206.95/207.02 c 200s | 14 | 962739 | 69052 | 371344 0 | 137 | 1500 208.96/209.07 c 202s | 14 | 983851 | 69852 | 371344 0 | 137 | 1500 211.26/211.33 c 204s | 14 | 987268 | 70452 | 371344 0 | 137 | 1500 213.55/213.62 c 206s | 14 | 988387 | 70952 | 371344 0 | 137 | 1500 215.95/216.03 c 209s | 14 | 989485 | 71452 | 371344 0 | 137 | 1500 218.05/218.11 c 211s | 14 | 998315 | 71952 | 371344 0 | 137 | 1500 220.06/220.14 c 213s | 14 | 1006564 | 72652 | 371344 0 | 137 | 1500 222.26/222.38 c 215s | 14 | 1011765 | 73252 | 371344 0 | 137 | 1500 224.55/224.63 c 217s | 14 | 1012419 | 73852 | 371344 0 | 137 | 1500 226.56/226.70 c 219s | 14 | 1014810 | 74452 | 371344 0 | 137 | 1500 229.15/229.24 c 222s | 14 | 1019267 | 74952 | 371344 0 | 137 | 1500 231.55/231.63 c 224s | 14 | 1021376 | 75452 | 371344 0 | 137 | 1500 233.65/233.75 c 226s | 14 | 1037129 | 76152 | 371344 0 | 137 | 1500 235.75/235.88 c 228s | 14 | 1048119 | 77552 | 371344 0 | 137 | 1500 237.95/238.09 c 231s | 14 | 1055164 | 79252 | 371344 0 | 137 | 1500 240.05/240.15 c 233s | 14 | 1059945 | 81052 | 371344 0 | 137 | 1500 242.25/242.31 c 235s | 14 | 1063235 | 82652 | 371344 0 | 137 | 1500 244.35/244.44 c 237s | 14 | 1065236 | 83652 | 371344 0 | 137 | 1500 246.46/246.57 c 239s | 14 | 1071330 | 85052 | 371344 0 | 137 | 1500 248.66/248.74 c 241s | 14 | 1073258 | 85652 | 371344 0 | 137 | 1500 250.86/250.96 c 243s | 14 | 1077925 | 86352 | 371344 0 | 137 | 1500 252.96/253.05 c 246s | 14 | 1084744 | 86952 | 371344 0 | 137 | 1500 255.26/255.39 c 248s | 14 | 1086423 | 87452 | 408479 0 | 137 | 1500 256.15/256.25 c 249s | 15 | 1087104 | 87632 | 408479 0 | 137 | 1500 258.35/258.45 c 251s | 15 | 1093988 | 87932 | 408479 0 | 137 | 1500 260.55/260.64 c 253s | 15 | 1109951 | 88432 | 408479 0 | 138 | 1512 262.75/262.82 c 255s | 15 | 1112075 | 88932 | 408479 0 | 138 | 1512 264.95/265.00 c 257s | 15 | 1115891 | 89532 | 408479 0 | 138 | 1512 267.26/267.35 c 260s | 15 | 1117238 | 90032 | 408479 0 | 138 | 1512 269.85/269.94 c 262s | 15 | 1117871 | 90532 | 408479 0 | 138 | 1512 271.95/272.05 c 265s | 15 | 1118620 | 90932 | 408479 0 | 138 | 1512 273.96/274.08 c 267s | 15 | 1120331 | 91332 | 408479 0 | 138 | 1512 276.06/276.18 c 269s | 15 | 1120793 | 91732 | 408479 0 | 138 | 1512 278.65/278.71 c 271s | 15 | 1121372 | 92232 | 408479 0 | 138 | 1512 280.75/280.82 c 273s | 15 | 1121843 | 92632 | 408479 0 | 138 | 1512 283.15/283.21 c 276s | 15 | 1122452 | 93132 | 408479 0 | 138 | 1512 285.54/285.61 c 278s | 15 | 1123069 | 93632 | 408479 0 | 138 | 1512 287.94/288.10 c 281s | 15 | 1123665 | 94132 | 408479 0 | 138 | 1512 290.04/290.12 c 283s | 15 | 1124110 | 94532 | 408479 0 | 138 | 1512 292.44/292.52 c 285s | 15 | 1124694 | 95032 | 408479 0 | 138 | 1512 294.54/294.63 c 287s | 15 | 1125130 | 95432 | 408479 0 | 138 | 1512 296.54/296.66 c 289s | 15 | 1125653 | 95832 | 408479 0 | 138 | 1512 298.84/298.93 c 291s | 15 | 1126132 | 96232 | 408479 0 | 138 | 1512 301.35/301.47 c 294s | 15 | 1126589 | 96632 | 408479 0 | 138 | 1512 303.74/303.87 c 296s | 15 | 1127490 | 97032 | 408479 0 | 138 | 1512 306.04/306.12 c 299s | 15 | 1129162 | 97432 | 408479 0 | 138 | 1512 308.14/308.21 c 301s | 15 | 1129547 | 97732 | 408479 0 | 138 | 1512 310.64/310.77 c 303s | 15 | 1132539 | 98232 | 408479 0 | 138 | 1512 313.14/313.22 c 306s | 15 | 1133401 | 98732 | 408479 0 | 138 | 1512 315.14/315.28 c 308s | 15 | 1134133 | 99132 | 408479 0 | 138 | 1512 317.13/317.28 c 310s | 15 | 1135320 | 99532 | 408479 0 | 138 | 1512 319.23/319.31 c 312s | 15 | 1136461 | 99932 | 408479 0 | 138 | 1512 321.33/321.47 c 314s | 15 | 1137374 | 100332 | 408479 0 | 138 | 1512 323.63/323.78 c 316s | 15 | 1137945 | 100732 | 408479 0 | 138 | 1512 325.73/325.88 c 318s | 15 | 1140992 | 101232 | 408479 0 | 138 | 1512 327.93/328.05 c 321s | 15 | 1141723 | 101632 | 408479 0 | 138 | 1512 330.23/330.32 c 323s | 15 | 1142235 | 102032 | 408479 0 | 138 | 1512 332.33/332.46 c 325s | 15 | 1143096 | 102532 | 408479 0 | 138 | 1512 334.73/334.81 c 327s | 15 | 1143579 | 102932 | 408479 0 | 138 | 1512 336.83/336.98 c 329s | 15 | 1146929 | 103332 | 408479 0 | 138 | 1512 338.93/339.08 c 332s | 15 | 1148126 | 103732 | 408479 0 | 138 | 1512 341.43/341.50 c 334s | 15 | 1148731 | 104132 | 408479 0 | 138 | 1512 343.83/343.90 c 336s | 15 | 1149835 | 104532 | 408479 0 | 138 | 1512 345.94/346.10 c 339s | 15 | 1150372 | 104932 | 408479 0 | 138 | 1512 348.34/348.47 c 341s | 15 | 1150884 | 105332 | 408479 0 | 138 | 1512 350.34/350.49 c 343s | 15 | 1151357 | 105732 | 408479 0 | 138 | 1512 352.94/353.05 c 346s | 15 | 1151960 | 106232 | 408479 0 | 138 | 1512 355.24/355.40 c 348s | 15 | 1153014 | 106732 | 408479 0 | 138 | 1512 357.54/357.61 c 350s | 15 | 1153870 | 107232 | 408479 0 | 138 | 1512 359.64/359.76 c 352s | 15 | 1154369 | 107632 | 408479 0 | 138 | 1512 362.03/362.15 c 355s | 15 | 1155046 | 108132 | 408479 0 | 138 | 1512 364.43/364.50 c 357s | 15 | 1155494 | 108532 | 408479 0 | 138 | 1512 366.53/366.65 c 359s | 15 | 1156001 | 108932 | 408479 0 | 138 | 1512 368.93/369.02 c 362s | 15 | 1156602 | 109432 | 408479 0 | 138 | 1512 370.93/371.09 c 364s | 15 | 1157379 | 109732 | 408479 0 | 138 | 1512 373.33/373.48 c 366s | 15 | 1157955 | 110132 | 408479 0 | 138 | 1512 375.73/375.85 c 368s | 15 | 1158719 | 110632 | 408479 0 | 138 | 1512 377.93/378.07 c 371s | 15 | 1159188 | 111032 | 408479 0 | 138 | 1512 380.13/380.26 c 373s | 15 | 1164120 | 111632 | 408479 0 | 138 | 1512 382.13/382.29 c 375s | 15 | 1166312 | 112132 | 408479 0 | 138 | 1512 384.53/384.67 c 377s | 15 | 1169288 | 112632 | 408479 0 | 138 | 1512 386.62/386.70 c 379s | 15 | 1170647 | 113032 | 408479 0 | 138 | 1512 388.72/388.87 c 381s | 15 | 1171109 | 113432 | 408479 0 | 138 | 1512 390.82/390.98 c 383s | 15 | 1171748 | 113832 | 408479 0 | 138 | 1512 393.12/393.28 c 386s | 15 | 1172234 | 114132 | 408479 0 | 138 | 1512 395.82/395.92 c 388s | 15 | 1172680 | 114532 | 408479 0 | 138 | 1512 398.23/398.33 c 391s | 15 | 1173221 | 114932 | 408479 0 | 138 | 1512 400.72/400.86 c 393s | 15 | 1173684 | 115332 | 408479 0 | 138 | 1512 402.82/402.97 c 395s | 15 | 1174231 | 115732 | 408479 0 | 138 | 1512 405.22/405.34 c 398s | 15 | 1174813 | 116232 | 408479 0 | 138 | 1512 407.62/407.70 c 400s | 15 | 1175292 | 116632 | 408479 0 | 138 | 1512 409.62/409.71 c 402s | 15 | 1175904 | 117032 | 408479 0 | 138 | 1512 411.62/411.77 c 404s | 15 | 1176533 | 117432 | 408479 0 | 138 | 1512 414.02/414.10 c 407s | 15 | 1177032 | 117732 | 408479 0 | 138 | 1512 416.52/416.60 c 409s | 15 | 1177542 | 118132 | 408479 0 | 138 | 1512 418.62/418.79 c 411s | 15 | 1178020 | 118532 | 408479 0 | 138 | 1512 421.22/421.34 c 414s | 15 | 1178506 | 118932 | 408479 0 | 138 | 1512 423.52/423.69 c 416s | 15 | 1178986 | 119332 | 408479 0 | 138 | 1512 425.92/426.00 c 418s | 15 | 1179454 | 119732 | 408479 0 | 138 | 1512 428.31/428.43 c 421s | 15 | 1180012 | 120132 | 408479 0 | 138 | 1512 430.71/430.84 c 423s | 15 | 1180496 | 120532 | 408479 0 | 138 | 1512 433.11/433.20 c 426s | 15 | 1181046 | 120932 | 408479 0 | 138 | 1512 435.32/435.49 c 428s | 15 | 1181546 | 121332 | 408479 0 | 138 | 1512 437.73/437.90 c 430s | 15 | 1182019 | 121732 | 408479 0 | 138 | 1512 439.82/439.94 c 432s | 15 | 1182366 | 122032 | 408479 0 | 138 | 1512 442.32/442.46 c 435s | 15 | 1183581 | 122432 | 408479 0 | 138 | 1512 444.52/444.61 c 437s | 15 | 1186545 | 122732 | 408479 0 | 138 | 1512 446.92/447.04 c 440s | 15 | 1187068 | 123032 | 408479 0 | 138 | 1512 449.42/449.55 c 442s | 15 | 1188376 | 123332 | 408479 0 | 138 | 1512 452.12/452.24 c 445s | 15 | 1188756 | 123632 | 408479 0 | 138 | 1512 454.52/454.68 c 447s | 15 | 1189125 | 123932 | 408479 0 | 138 | 1512 456.62/456.74 c 449s | 15 | 1189530 | 124232 | 408479 0 | 138 | 1512 459.22/459.34 c 452s | 15 | 1190117 | 124632 | 408479 0 | 138 | 1512 461.92/462.03 c 455s | 15 | 1190474 | 124932 | 408479 0 | 138 | 1512 464.61/464.74 c 457s | 15 | 1190830 | 125232 | 408479 0 | 138 | 1512 466.81/466.92 c 459s | 15 | 1191179 | 125532 | 408479 0 | 138 | 1512 469.21/469.30 c 462s | 15 | 1191505 | 125832 | 408479 0 | 138 | 1512 471.31/471.45 c 464s | 15 | 1191865 | 126132 | 408479 0 | 138 | 1512 473.41/473.57 c 466s | 15 | 1192453 | 126432 | 408479 0 | 138 | 1512 475.81/475.91 c 468s | 15 | 1192952 | 126832 | 408479 0 | 138 | 1512 478.11/478.20 c 471s | 15 | 1193397 | 127132 | 408479 0 | 138 | 1512 480.71/480.86 c 473s | 15 | 1193968 | 127532 | 408479 0 | 138 | 1512 483.01/483.16 c 476s | 15 | 1194805 | 127932 | 408479 0 | 138 | 1512 485.51/485.69 c 478s | 15 | 1195170 | 128232 | 408479 0 | 138 | 1512 488.31/488.40 c 481s | 15 | 1195523 | 128532 | 408479 0 | 138 | 1512 490.61/490.76 c 483s | 15 | 1195910 | 128832 | 408479 0 | 138 | 1512 493.21/493.32 c 486s | 15 | 1196249 | 129132 | 408479 0 | 138 | 1512 495.70/495.86 c 488s | 15 | 1196587 | 129432 | 408479 0 | 138 | 1512 498.10/498.23 c 491s | 15 | 1196925 | 129732 | 408479 0 | 138 | 1512 500.20/500.36 c 493s | 15 | 1197262 | 130032 | 408479 0 | 138 | 1512 502.71/502.83 c 495s | 15 | 1197840 | 130432 | 408479 0 | 138 | 1512 504.91/505.09 c 498s | 15 | 1198214 | 130732 | 449327 0 | 138 | 1512 507.50/507.66 c 500s | 15 | 1198527 | 131032 | 449327 0 | 138 | 1512 509.90/510.06 c 503s | 15 | 1198863 | 131332 | 449327 0 | 138 | 1512 511.30/511.40 c 504s | 16 | 1199122 | 131552 | 449327 0 | 138 | 1512 513.50/513.60 c 506s | 16 | 1215505 | 131652 | 449327 0 | 138 | 1512 516.31/516.47 c 509s | 16 | 1228480 | 131852 | 449327 0 | 140 | 1536 518.81/518.97 c 511s | 16 | 1232091 | 132352 | 449327 0 | 140 | 1536 521.01/521.18 c 514s | 16 | 1232479 | 132652 | 449327 0 | 140 | 1536 523.40/523.56 c 516s | 16 | 1232885 | 132952 | 449327 0 | 140 | 1536 525.60/525.72 c 518s | 16 | 1235625 | 133352 | 449327 0 | 140 | 1536 527.60/527.73 c 520s | 16 | 1242791 | 133652 | 449327 0 | 140 | 1536 530.60/530.75 c 523s | 16 | 1251023 | 133852 | 449327 0 | 142 | 1560 533.70/533.89 c 526s | 16 | 1273606 | 134552 | 449327 0 | 142 | 1560 535.80/535.92 c 528s | 16 | 1284466 | 135452 | 449327 0 | 142 | 1560 537.80/537.93 c 530s | 16 | 1296040 | 136552 | 449327 0 | 142 | 1560 539.90/540.06 c 533s | 16 | 1305043 | 139852 | 449327 0 | 142 | 1560 542.10/542.22 c 535s | 16 | 1305752 | 140252 | 449327 0 | 142 | 1560 544.30/544.43 c 537s | 16 | 1306110 | 140552 | 449327 0 | 142 | 1560 546.70/546.89 c 539s | 16 | 1306562 | 140952 | 449327 0 | 142 | 1560 549.09/549.27 c 542s | 16 | 1307137 | 141452 | 449327 0 | 142 | 1560 551.39/551.50 c 544s | 16 | 1307692 | 141952 | 449327 0 | 142 | 1560 553.79/553.90 c 546s | 16 | 1308137 | 142352 | 449327 0 | 142 | 1560 555.89/556.00 c 548s | 16 | 1308601 | 142752 | 449327 0 | 142 | 1560 558.09/558.20 c 551s | 16 | 1309058 | 143152 | 449327 0 | 142 | 1560 560.59/560.71 c 553s | 16 | 1309598 | 143652 | 449327 0 | 142 | 1560 562.69/562.80 c 555s | 16 | 1310020 | 144052 | 449327 0 | 142 | 1560 564.69/564.88 c 557s | 16 | 1310563 | 144552 | 449327 0 | 142 | 1560 567.29/567.41 c 560s | 16 | 1311096 | 145052 | 449327 0 | 142 | 1560 569.49/569.62 c 562s | 16 | 1311525 | 145452 | 449327 0 | 142 | 1560 572.00/572.17 c 565s | 16 | 1312244 | 145952 | 449327 0 | 142 | 1560 574.29/574.47 c 567s | 16 | 1312572 | 146252 | 449327 0 | 142 | 1560 576.79/576.92 c 569s | 16 | 1313008 | 146652 | 449327 0 | 142 | 1560 579.49/579.69 c 572s | 16 | 1313456 | 147052 | 449327 0 | 142 | 1560 581.80/581.93 c 574s | 16 | 1313904 | 147452 | 449327 0 | 142 | 1560 583.89/584.07 c 577s | 16 | 1314355 | 147852 | 449327 0 | 142 | 1560 586.39/586.54 c 579s | 16 | 1314947 | 148252 | 449327 0 | 142 | 1560 588.79/588.93 c 581s | 16 | 1315459 | 148652 | 449327 0 | 142 | 1560 590.99/591.19 c 584s | 16 | 1315909 | 149052 | 449327 0 | 142 | 1560 593.18/593.39 c 586s | 16 | 1316338 | 149452 | 449327 0 | 142 | 1560 595.39/595.55 c 588s | 16 | 1316766 | 149852 | 449327 0 | 142 | 1560 597.49/597.60 c 590s | 16 | 1317201 | 150252 | 449327 0 | 142 | 1560 599.89/600.06 c 593s | 16 | 1319532 | 150752 | 449327 0 | 142 | 1560 602.19/602.31 c 595s | 16 | 1323702 | 152152 | 449327 0 | 142 | 1560 604.39/604.50 c 597s | 16 | 1326503 | 153152 | 449327 0 | 142 | 1560 606.39/606.56 c 599s | 16 | 1329009 | 154152 | 449327 0 | 142 | 1560 608.39/608.58 c 601s | 16 | 1332362 | 155452 | 449327 0 | 142 | 1560 610.79/610.95 c 603s | 16 | 1358714 | 155852 | 449327 0 | 142 | 1560 612.99/613.16 c 606s | 16 | 1391964 | 156752 | 449327 0 | 142 | 1560 615.49/615.69 c 608s | 16 | 1392445 | 157052 | 449327 0 | 142 | 1560 617.59/617.75 c 610s | 16 | 1414362 | 158052 | 449327 0 | 142 | 1560 620.09/620.21 c 613s | 16 | 1426391 | 158352 | 449327 0 | 142 | 1560 622.09/622.27 c 615s | 16 | 1461642 | 159252 | 449327 0 | 142 | 1560 624.69/624.84 c 617s | 16 | 1474724 | 159652 | 449327 0 | 142 | 1560 627.18/627.36 c 620s | 16 | 1479227 | 160152 | 449327 0 | 142 | 1560 629.58/629.74 c 622s | 16 | 1487029 | 160552 | 449327 0 | 142 | 1560 631.88/632.02 c 625s | 16 | 1489530 | 160852 | 449327 0 | 142 | 1560 634.38/634.57 c 627s | 16 | 1490096 | 161152 | 449327 0 | 142 | 1560 636.98/637.12 c 630s | 16 | 1490416 | 161452 | 449327 0 | 142 | 1560 639.18/639.30 c 632s | 16 | 1492649 | 161952 | 449327 0 | 142 | 1560 641.58/641.76 c 634s | 16 | 1494594 | 162552 | 449327 0 | 142 | 1560 644.18/644.33 c 637s | 16 | 1495293 | 162852 | 449327 0 | 142 | 1560 646.28/646.40 c 639s | 16 | 1495890 | 163152 | 449327 0 | 142 | 1560 648.89/649.03 c 642s | 16 | 1496577 | 163552 | 449327 0 | 142 | 1560 651.19/651.32 c 644s | 16 | 1497297 | 163952 | 449327 0 | 142 | 1560 653.48/653.60 c 646s | 16 | 1497773 | 164252 | 449327 0 | 142 | 1560 655.49/655.66 c 648s | 16 | 1498987 | 164752 | 449327 0 | 142 | 1560 658.28/658.43 c 651s | 16 | 1499827 | 165152 | 449327 0 | 142 | 1560 660.28/660.43 c 653s | 16 | 1512160 | 165752 | 449327 0 | 142 | 1560 662.88/663.03 c 656s | 16 | 1523253 | 166452 | 449327 0 | 142 | 1560 664.88/665.06 c 658s | 16 | 1523762 | 166752 | 449327 0 | 142 | 1560 667.27/667.45 c 660s | 16 | 1524148 | 167052 | 449327 0 | 142 | 1560 670.07/670.20 c 663s | 16 | 1524516 | 167352 | 449327 0 | 142 | 1560 672.47/672.62 c 665s | 16 | 1524969 | 167652 | 449327 0 | 142 | 1560 674.47/674.69 c 667s | 16 | 1530838 | 168052 | 449327 0 | 142 | 1560 676.87/677.04 c 670s | 16 | 1540299 | 168452 | 449327 0 | 142 | 1560 678.97/679.11 c 672s | 16 | 1565983 | 169252 | 449327 0 | 142 | 1560 681.17/681.38 c 674s | 16 | 1569512 | 169652 | 449327 0 | 142 | 1560 683.67/683.82 c 676s | 16 | 1586439 | 170152 | 449327 0 | 142 | 1560 686.17/686.32 c 679s | 16 | 1587014 | 170452 | 449327 0 | 142 | 1560 688.67/688.85 c 681s | 16 | 1598063 | 171052 | 449327 0 | 142 | 1560 691.07/691.23 c 684s | 16 | 1598493 | 171352 | 449327 0 | 142 | 1560 693.27/693.45 c 686s | 16 | 1603362 | 171652 | 449327 0 | 142 | 1560 695.77/695.95 c 688s | 16 | 1625857 | 172152 | 449327 0 | 142 | 1560 698.57/698.76 c 691s | 16 | 1637620 | 172652 | 449327 0 | 142 | 1560 700.87/701.08 c 694s | 16 | 1637846 | 172852 | 449327 0 | 142 | 1560 703.57/703.71 c 696s | 16 | 1652756 | 173352 | 449327 0 | 142 | 1560 705.57/705.73 c 698s | 16 | 1673552 | 174252 | 449327 0 | 142 | 1560 707.77/707.92 c 700s | 16 | 1681436 | 174952 | 449327 0 | 142 | 1560 710.07/710.27 c 703s | 16 | 1687016 | 175352 | 449327 0 | 142 | 1560 713.36/713.56 c 706s | 16 | 1700615 | 175852 | 449327 0 | 142 | 1560 715.66/715.80 c 708s | 16 | 1711924 | 176452 | 449327 0 | 142 | 1560 718.06/718.23 c 711s | 16 | 1713858 | 176752 | 449327 0 | 142 | 1560 720.66/720.86 c 713s | 16 | 1714739 | 177052 | 449327 0 | 142 | 1560 722.86/723.06 c 716s | 16 | 1715977 | 177352 | 449327 0 | 142 | 1560 724.96/725.17 c 718s | 16 | 1716753 | 177652 | 449327 0 | 142 | 1560 727.46/727.63 c 720s | 16 | 1719419 | 178052 | 449327 0 | 142 | 1560 730.06/730.28 c 723s | 16 | 1720385 | 178352 | 449327 0 | 142 | 1560 732.57/732.74 c 725s | 16 | 1725833 | 178952 | 449327 0 | 142 | 1560 735.36/735.52 c 728s | 16 | 1726179 | 179252 | 449327 0 | 142 | 1560 737.75/737.90 c 730s | 16 | 1726521 | 179552 | 449327 0 | 142 | 1560 740.16/740.31 c 733s | 16 | 1726847 | 179852 | 449327 0 | 142 | 1560 742.15/742.33 c 735s | 16 | 1731657 | 180352 | 449327 0 | 142 | 1560 744.35/744.54 c 737s | 16 | 1742555 | 181352 | 449327 0 | 142 | 1560 746.65/746.81 c 739s | 16 | 1760388 | 182352 | 449327 0 | 142 | 1560 748.96/749.15 c 742s | 16 | 1764616 | 183052 | 449327 0 | 142 | 1560 751.65/751.83 c 744s | 16 | 1768854 | 183552 | 449327 0 | 142 | 1560 754.56/754.77 c 747s | 16 | 1769233 | 183852 | 449327 0 | 142 | 1560 757.65/757.84 c 750s | 16 | 1769569 | 184152 | 449327 0 | 142 | 1560 760.35/760.51 c 753s | 16 | 1769911 | 184452 | 449327 0 | 142 | 1560 763.35/763.51 c 756s | 16 | 1770300 | 184752 | 449327 0 | 142 | 1560 765.95/766.12 c 759s | 16 | 1770643 | 185052 | 449327 0 | 142 | 1560 768.65/768.86 c 761s | 16 | 1770988 | 185352 | 449327 0 | 142 | 1560 771.45/771.62 c 764s | 16 | 1771332 | 185652 | 449327 0 | 142 | 1560 773.75/773.91 c 766s | 16 | 1771680 | 185952 | 449327 0 | 142 | 1560 776.45/776.69 c 769s | 16 | 1772119 | 186352 | 449327 0 | 142 | 1560 778.94/779.12 c 772s | 16 | 1772455 | 186652 | 449327 0 | 142 | 1560 781.24/781.48 c 774s | 16 | 1772813 | 186852 | 449327 0 | 142 | 1560 783.84/784.07 c 777s | 16 | 1773150 | 187152 | 449327 0 | 142 | 1560 786.54/786.76 c 779s | 16 | 1773471 | 187452 | 449327 0 | 142 | 1560 789.24/789.43 c 782s | 16 | 1773815 | 187752 | 449327 0 | 142 | 1560 791.54/791.76 c 784s | 16 | 1774147 | 188052 | 449327 0 | 142 | 1560 794.04/794.30 c 787s | 16 | 1774504 | 188352 | 449327 0 | 142 | 1560 796.24/796.44 c 789s | 16 | 1774732 | 188552 | 449327 0 | 142 | 1560 798.93/799.10 c 792s | 16 | 1775081 | 188852 | 449327 0 | 142 | 1560 801.53/801.73 c 794s | 16 | 1775753 | 189252 | 449327 0 | 142 | 1560 803.73/803.96 c 796s | 16 | 1776188 | 189652 | 449327 0 | 142 | 1560 806.23/806.45 c 799s | 16 | 1776637 | 190052 | 449327 0 | 142 | 1560 808.93/809.12 c 802s | 16 | 1777080 | 190452 | 449327 0 | 142 | 1560 810.92/811.20 c 804s | 16 | 1777459 | 190752 | 449327 0 | 142 | 1560 813.22/813.43 c 806s | 16 | 1777820 | 191052 | 449327 0 | 142 | 1560 815.52/815.75 c 808s | 16 | 1778182 | 191352 | 449327 0 | 142 | 1560 817.82/818.02 c 811s | 16 | 1781962 | 191852 | 449327 0 | 142 | 1560 820.32/820.54 c 813s | 16 | 1783545 | 192352 | 449327 0 | 142 | 1560 822.42/822.66 c 815s | 16 | 1784268 | 192552 | 449327 0 | 142 | 1560 825.22/825.49 c 818s | 16 | 1785462 | 192852 | 449327 0 | 142 | 1560 827.82/828.06 c 821s | 16 | 1786311 | 193152 | 449327 0 | 142 | 1560 830.42/830.63 c 823s | 16 | 1786721 | 193452 | 449327 0 | 142 | 1560 833.31/833.54 c 826s | 16 | 1787063 | 193752 | 449327 0 | 142 | 1560 835.92/836.16 c 829s | 16 | 1787420 | 194052 | 449327 0 | 142 | 1560 838.71/838.94 c 831s | 16 | 1787929 | 194352 | 449327 0 | 142 | 1560 840.81/841.03 c 834s | 16 | 1790368 | 194652 | 449327 0 | 142 | 1560 843.41/843.67 c 836s | 16 | 1792271 | 194952 | 449327 0 | 142 | 1560 845.61/845.83 c 838s | 16 | 1792588 | 195152 | 449327 0 | 142 | 1560 848.41/848.65 c 841s | 16 | 1792953 | 195452 | 449327 0 | 142 | 1560 851.41/851.66 c 844s | 16 | 1793389 | 195752 | 449327 0 | 142 | 1560 853.51/853.72 c 846s | 16 | 1793608 | 195952 | 449327 0 | 142 | 1560 855.61/855.85 c 848s | 16 | 1793844 | 196152 | 494260 0 | 142 | 1560 857.81/858.10 c 851s | 16 | 1796578 | 196352 | 494260 0 | 142 | 1560 860.01/860.26 c 853s | 16 | 1815951 | 196552 | 494260 0 | 142 | 1560 862.11/862.39 c 855s | 16 | 1820200 | 197052 | 494260 0 | 142 | 1560 862.90/863.18 c 856s | 17 | 1825220 | 197432 | 494260 0 | 142 | 1560 865.30/865.58 c 858s | 17 | 1831870 | 197632 | 494260 0 | 142 | 1560 867.40/867.63 c 860s | 17 | 1839694 | 198032 | 494260 0 | 142 | 1560 869.70/869.99 c 862s | 17 | 1841570 | 198432 | 494260 0 | 142 | 1560 871.90/872.15 c 865s | 17 | 1842698 | 198832 | 494260 0 | 142 | 1560 874.60/874.89 c 867s | 17 | 1845527 | 199232 | 494260 0 | 142 | 1560 876.70/876.92 c 869s | 17 | 1845753 | 199432 | 494260 0 | 142 | 1560 879.90/880.13 c 873s | 17 | 1846102 | 199732 | 494260 0 | 142 | 1560 882.49/882.79 c 875s | 17 | 1846435 | 200032 | 494260 0 | 142 | 1560 884.99/885.24 c 878s | 17 | 1853483 | 200432 | 494260 0 | 142 | 1560 887.28/887.51 c 880s | 17 | 1858290 | 200832 | 494260 0 | 142 | 1560 889.38/889.63 c 882s | 17 | 1861905 | 201532 | 494260 0 | 142 | 1560 891.58/891.83 c 884s | 17 | 1873674 | 201932 | 494260 0 | 142 | 1560 893.68/893.91 c 886s | 17 | 1893983 | 204232 | 494260 0 | 142 | 1560 895.78/896.01 c 889s | 17 | 1896707 | 204732 | 494260 0 | 142 | 1560 897.89/898.12 c 891s | 17 | 1898110 | 205232 | 494260 0 | 142 | 1560 899.99/900.25 c 893s | 17 | 1900617 | 205932 | 494260 0 | 142 | 1560 902.18/902.47 c 895s | 17 | 1902545 | 206532 | 494260 0 | 142 | 1560 904.48/904.72 c 897s | 17 | 1903567 | 206932 | 494260 0 | 142 | 1560 907.29/907.59 c 900s | 17 | 1905103 | 207332 | 494260 0 | 142 | 1560 910.18/910.43 c 903s | 17 | 1905968 | 207732 | 494260 0 | 142 | 1560 912.38/912.68 c 905s | 17 | 1906368 | 208032 | 494260 0 | 142 | 1560 914.58/914.87 c 907s | 17 | 1907147 | 208332 | 494260 0 | 142 | 1560 917.28/917.55 c 910s | 17 | 1907710 | 208732 | 494260 0 | 142 | 1560 919.57/919.83 c 912s | 17 | 1908277 | 209132 | 494260 0 | 142 | 1560 921.77/922.07 c 915s | 17 | 1911690 | 209632 | 494260 0 | 142 | 1560 924.47/924.71 c 917s | 17 | 1914667 | 210032 | 494260 0 | 142 | 1560 927.17/927.43 c 920s | 17 | 1915029 | 210332 | 494260 0 | 142 | 1560 929.37/929.65 c 922s | 17 | 1915437 | 210632 | 494260 0 | 142 | 1560 931.66/931.91 c 924s | 17 | 1915816 | 210932 | 494260 0 | 142 | 1560 933.67/933.99 c 926s | 17 | 1916264 | 211232 | 494260 0 | 142 | 1560 935.97/936.26 c 929s | 17 | 1916677 | 211532 | 494260 0 | 142 | 1560 938.26/938.59 c 931s | 17 | 1922988 | 212132 | 494260 0 | 142 | 1560 940.37/940.67 c 933s | 17 | 1925817 | 212732 | 494260 0 | 142 | 1560 942.46/942.78 c 935s | 17 | 1929096 | 213432 | 494260 0 | 142 | 1560 944.86/945.13 c 938s | 17 | 1931447 | 214032 | 494260 0 | 142 | 1560 946.86/947.20 c 940s | 17 | 1932812 | 214532 | 494260 0 | 142 | 1560 949.25/949.57 c 942s | 17 | 1935480 | 215132 | 494260 0 | 142 | 1560 951.36/951.65 c 944s | 17 | 1940284 | 216232 | 494260 0 | 142 | 1560 953.35/953.69 c 946s | 17 | 1946665 | 217032 | 494260 0 | 142 | 1560 955.65/955.92 c 948s | 17 | 1954970 | 218132 | 494260 0 | 142 | 1560 957.75/958.04 c 951s | 17 | 1960901 | 218932 | 494260 0 | 142 | 1560 960.05/960.34 c 953s | 17 | 1963742 | 219532 | 494260 0 | 142 | 1560 962.25/962.59 c 955s | 17 | 1966864 | 220232 | 494260 0 | 142 | 1560 964.55/964.86 c 957s | 17 | 1969702 | 220932 | 494260 0 | 142 | 1560 966.75/967.04 c 960s | 17 | 1973250 | 221632 | 494260 0 | 142 | 1560 969.04/969.33 c 962s | 17 | 1977853 | 222232 | 494260 0 | 142 | 1560 971.34/971.60 c 964s | 17 | 1981375 | 222932 | 494260 0 | 142 | 1560 973.54/973.85 c 966s | 17 | 1982566 | 223332 | 494260 0 | 142 | 1560 975.83/976.15 c 969s | 17 | 1984454 | 223732 | 494260 0 | 142 | 1560 978.93/979.20 c 972s | 17 | 1987222 | 224032 | 494260 0 | 142 | 1560 981.13/981.48 c 974s | 17 | 1987459 | 224232 | 494260 0 | 142 | 1560 983.53/983.82 c 976s | 17 | 1987729 | 224432 | 494260 0 | 142 | 1560 985.53/985.85 c 978s | 17 | 1987982 | 224632 | 494260 0 | 142 | 1560 988.12/988.44 c 981s | 17 | 1988570 | 224932 | 494260 0 | 142 | 1560 990.52/990.86 c 983s | 17 | 1989001 | 225332 | 494260 0 | 142 | 1560 992.52/992.88 c 985s | 17 | 1990937 | 226032 | 494260 0 | 142 | 1560 994.82/995.14 c 988s | 17 | 1995974 | 226332 | 494260 0 | 142 | 1560 997.22/997.58 c 990s | 17 | 1998210 | 226632 | 494260 0 | 142 | 1560 999.63/999.98 c 992s | 17 | 1998847 | 226932 | 494260 0 | 142 | 1560 1002.02/1002.33 c 995s | 17 | 1999821 | 227232 | 494260 0 | 142 | 1560 1004.82/1005.11 c 998s | 17 | 2001174 | 227532 | 494260 0 | 142 | 1560 1007.42/1007.71 c 1000s | 17 | 2002357 | 227732 | 494260 0 | 142 | 1560 1009.71/1010.04 c 1003s | 17 | 2004191 | 228032 | 494260 0 | 142 | 1560 1012.71/1013.01 c 1006s | 17 | 2005672 | 228332 | 494260 0 | 142 | 1560 1014.81/1015.12 c 1008s | 17 | 2005927 | 228532 | 494260 0 | 142 | 1560 1016.90/1017.20 c 1010s | 17 | 2006171 | 228732 | 494260 0 | 142 | 1560 1019.30/1019.69 c 1012s | 17 | 2006515 | 229032 | 494260 0 | 142 | 1560 1021.61/1021.92 c 1014s | 17 | 2006876 | 229332 | 494260 0 | 142 | 1560 1023.81/1024.13 c 1017s | 17 | 2009210 | 229632 | 494260 0 | 142 | 1560 1026.50/1026.81 c 1019s | 17 | 2010309 | 229932 | 494260 0 | 142 | 1560 1029.00/1029.34 c 1022s | 17 | 2011853 | 230232 | 494260 0 | 142 | 1560 1031.70/1032.07 c 1025s | 17 | 2012295 | 230532 | 494260 0 | 142 | 1560 1033.70/1034.10 c 1027s | 17 | 2012542 | 230732 | 494260 0 | 142 | 1560 1036.29/1036.64 c 1029s | 17 | 2012951 | 231032 | 494260 0 | 142 | 1560 1039.09/1039.40 c 1032s | 17 | 2013334 | 231332 | 494260 0 | 142 | 1560 1041.09/1041.46 c 1034s | 17 | 2013673 | 231532 | 494260 0 | 142 | 1560 1043.19/1043.57 c 1036s | 17 | 2013952 | 231732 | 494260 0 | 142 | 1560 1045.98/1046.38 c 1039s | 17 | 2014441 | 232032 | 494260 0 | 142 | 1560 1048.98/1049.30 c 1042s | 17 | 2014803 | 232332 | 494260 0 | 142 | 1560 1051.48/1051.84 c 1044s | 17 | 2015887 | 232632 | 494260 0 | 142 | 1560 1053.78/1054.19 c 1047s | 17 | 2016834 | 232932 | 494260 0 | 142 | 1560 1056.09/1056.40 c 1049s | 17 | 2017589 | 233232 | 494260 0 | 142 | 1560 1058.09/1058.47 c 1051s | 17 | 2018223 | 233532 | 494260 0 | 142 | 1560 1060.38/1060.70 c 1053s | 17 | 2018725 | 233832 | 494260 0 | 142 | 1560 1062.68/1063.04 c 1056s | 17 | 2019406 | 234132 | 494260 0 | 142 | 1560 1064.98/1065.33 c 1058s | 17 | 2020062 | 234432 | 494260 0 | 142 | 1560 1067.48/1067.84 c 1060s | 17 | 2021288 | 234832 | 494260 0 | 142 | 1560 1069.58/1069.93 c 1062s | 17 | 2022425 | 235132 | 494260 0 | 142 | 1560 1071.88/1072.21 c 1065s | 17 | 2023222 | 235432 | 494260 0 | 142 | 1560 1074.58/1074.93 c 1067s | 17 | 2023684 | 235732 | 494260 0 | 142 | 1560 1076.58/1076.98 c 1069s | 17 | 2023912 | 235932 | 494260 0 | 142 | 1560 1079.17/1079.56 c 1072s | 17 | 2024169 | 236132 | 494260 0 | 142 | 1560 1081.77/1082.14 c 1075s | 17 | 2024715 | 236432 | 494260 0 | 142 | 1560 1083.97/1084.35 c 1077s | 17 | 2025175 | 236732 | 494260 0 | 142 | 1560 1086.76/1087.14 c 1080s | 17 | 2025619 | 237032 | 494260 0 | 142 | 1560 1089.16/1089.54 c 1082s | 17 | 2026115 | 237332 | 494260 0 | 142 | 1560 1091.76/1092.13 c 1085s | 17 | 2026551 | 237632 | 494260 0 | 142 | 1560 1093.96/1094.35 c 1087s | 17 | 2027078 | 237932 | 494260 0 | 142 | 1560 1096.46/1096.86 c 1089s | 17 | 2027598 | 238232 | 494260 0 | 142 | 1560 1098.56/1098.91 c 1091s | 17 | 2027849 | 238432 | 494260 0 | 142 | 1560 1101.15/1101.59 c 1094s | 17 | 2028190 | 238732 | 494260 0 | 142 | 1560 1103.25/1103.64 c 1096s | 17 | 2028686 | 239032 | 494260 0 | 142 | 1560 1105.85/1106.26 c 1099s | 17 | 2029602 | 239332 | 494260 0 | 142 | 1560 1108.75/1109.11 c 1102s | 17 | 2030029 | 239632 | 494260 0 | 142 | 1560 1111.55/1111.97 c 1104s | 17 | 2030522 | 239932 | 494260 0 | 142 | 1560 1114.45/1114.84 c 1107s | 17 | 2030991 | 240232 | 494260 0 | 142 | 1560 1116.95/1117.32 c 1110s | 17 | 2031972 | 240532 | 494260 0 | 142 | 1560 1119.45/1119.89 c 1112s | 17 | 2032481 | 240832 | 494260 0 | 142 | 1560 1122.35/1122.70 c 1115s | 17 | 2032922 | 241132 | 494260 0 | 142 | 1560 1124.35/1124.80 c 1117s | 17 | 2033298 | 241332 | 494260 0 | 142 | 1560 1127.15/1127.55 c 1120s | 17 | 2033809 | 241632 | 494260 0 | 142 | 1560 1129.14/1129.58 c 1122s | 17 | 2034138 | 241832 | 494260 0 | 142 | 1560 1131.84/1132.25 c 1125s | 17 | 2034527 | 242132 | 494260 0 | 142 | 1560 1133.94/1134.33 c 1127s | 17 | 2034736 | 242332 | 494260 0 | 142 | 1560 1137.04/1137.42 c 1130s | 17 | 2035370 | 242632 | 494260 0 | 142 | 1560 1139.24/1139.70 c 1132s | 17 | 2035587 | 242832 | 494260 0 | 142 | 1560 1142.04/1142.46 c 1135s | 17 | 2036832 | 243132 | 494260 0 | 142 | 1560 1144.34/1144.75 c 1137s | 17 | 2037121 | 243332 | 494260 0 | 142 | 1560 1147.23/1147.62 c 1140s | 17 | 2037477 | 243632 | 494260 0 | 142 | 1560 1150.03/1150.45 c 1143s | 17 | 2038276 | 243932 | 494260 0 | 142 | 1560 1152.44/1152.83 c 1145s | 17 | 2038906 | 244232 | 494260 0 | 142 | 1560 1154.64/1155.06 c 1148s | 17 | 2039748 | 244532 | 494260 0 | 142 | 1560 1156.63/1157.09 c 1150s | 17 | 2040034 | 244732 | 494260 0 | 142 | 1560 1158.93/1159.31 c 1152s | 17 | 2040278 | 244932 | 494260 0 | 142 | 1560 1160.93/1161.38 c 1154s | 17 | 2040507 | 245132 | 494260 0 | 142 | 1560 1163.13/1163.53 c 1156s | 17 | 2040790 | 245332 | 494260 0 | 142 | 1560 1165.53/1165.96 c 1158s | 17 | 2041596 | 245632 | 494260 0 | 142 | 1560 1167.74/1168.17 c 1161s | 17 | 2042569 | 245932 | 494260 0 | 142 | 1560 1169.84/1170.29 c 1163s | 17 | 2043505 | 246232 | 494260 0 | 142 | 1560 1172.03/1172.45 c 1165s | 17 | 2044401 | 246532 | 494260 0 | 142 | 1560 1174.33/1174.79 c 1167s | 17 | 2045137 | 246832 | 494260 0 | 142 | 1560 1176.74/1177.19 c 1170s | 17 | 2045926 | 247132 | 494260 0 | 142 | 1560 1179.33/1179.74 c 1172s | 17 | 2046410 | 247432 | 494260 0 | 142 | 1560 1181.43/1181.88 c 1174s | 17 | 2046689 | 247632 | 494260 0 | 142 | 1560 1183.83/1184.21 c 1177s | 17 | 2047892 | 247932 | 494260 0 | 142 | 1560 1187.02/1187.41 c 1180s | 17 | 2048401 | 248232 | 494260 0 | 142 | 1560 1189.32/1189.72 c 1182s | 17 | 2048890 | 248532 | 494260 0 | 142 | 1560 1191.52/1191.94 c 1184s | 17 | 2049392 | 248832 | 494260 0 | 142 | 1560 1194.42/1194.87 c 1187s | 17 | 2049855 | 249132 | 494260 0 | 142 | 1560 1196.92/1197.32 c 1190s | 17 | 2050314 | 249432 | 494260 0 | 142 | 1560 1199.12/1199.58 c 1192s | 17 | 2051341 | 249732 | 494260 0 | 142 | 1560 1202.02/1202.47 c 1195s | 17 | 2051893 | 250032 | 494260 0 | 142 | 1560 1204.01/1204.50 c 1197s | 17 | 2052698 | 250332 | 494260 0 | 142 | 1560 1206.32/1206.79 c 1199s | 17 | 2054758 | 250632 | 494260 0 | 142 | 1560 1209.11/1209.53 c 1202s | 17 | 2055323 | 250932 | 494260 0 | 142 | 1560 1211.82/1212.25 c 1205s | 17 | 2056181 | 251232 | 494260 0 | 142 | 1560 1214.61/1215.02 c 1208s | 17 | 2056526 | 251532 | 494260 0 | 142 | 1560 1216.71/1217.16 c 1210s | 17 | 2056928 | 251732 | 494260 0 | 142 | 1560 1218.91/1219.30 c 1212s | 17 | 2057180 | 251932 | 494260 0 | 142 | 1560 1221.41/1221.83 c 1214s | 17 | 2058231 | 252232 | 494260 0 | 142 | 1560 1223.81/1224.20 c 1217s | 17 | 2058851 | 252532 | 494260 0 | 142 | 1560 1225.90/1226.39 c 1219s | 17 | 2059503 | 252832 | 494260 0 | 142 | 1560 1228.50/1228.98 c 1221s | 17 | 2060109 | 253132 | 494260 0 | 142 | 1560 1231.71/1232.11 c 1225s | 17 | 2060569 | 253432 | 494260 0 | 142 | 1560 1233.81/1234.27 c 1227s | 17 | 2060807 | 253632 | 494260 0 | 142 | 1560 1236.20/1236.65 c 1229s | 17 | 2061761 | 253932 | 494260 0 | 142 | 1560 1239.09/1239.52 c 1232s | 17 | 2062669 | 254232 | 494260 0 | 142 | 1560 1241.60/1242.04 c 1235s | 17 | 2063202 | 254532 | 494260 0 | 142 | 1560 1244.09/1244.58 c 1237s | 17 | 2063991 | 254832 | 494260 0 | 142 | 1560 1246.69/1247.10 c 1240s | 17 | 2065220 | 255132 | 494260 0 | 142 | 1560 1249.39/1249.84 c 1242s | 17 | 2068234 | 255532 | 494260 0 | 142 | 1560 1251.69/1252.17 c 1245s | 17 | 2069662 | 255832 | 494260 0 | 142 | 1560 1254.09/1254.51 c 1247s | 17 | 2071223 | 256132 | 494260 0 | 142 | 1560 1256.28/1256.71 c 1249s | 17 | 2071720 | 256432 | 494260 0 | 142 | 1560 1258.98/1259.46 c 1252s | 17 | 2072417 | 256732 | 494260 0 | 142 | 1560 1261.18/1261.65 c 1254s | 17 | 2072904 | 256932 | 494260 0 | 142 | 1560 1263.59/1264.04 c 1257s | 17 | 2074135 | 257232 | 494260 0 | 142 | 1560 1265.89/1266.34 c 1259s | 17 | 2075115 | 257532 | 494260 0 | 142 | 1560 1268.19/1268.64 c 1261s | 17 | 2075900 | 257832 | 494260 0 | 142 | 1560 1270.28/1270.70 c 1263s | 17 | 2076655 | 258132 | 494260 0 | 142 | 1560 1272.68/1273.18 c 1266s | 17 | 2078007 | 258432 | 494260 0 | 142 | 1560 1275.48/1275.99 c 1268s | 17 | 2078467 | 258732 | 494260 0 | 142 | 1560 1277.48/1277.99 c 1270s | 17 | 2078712 | 258932 | 494260 0 | 142 | 1560 1280.38/1280.84 c 1273s | 17 | 2079173 | 259232 | 494260 0 | 142 | 1560 1282.48/1282.90 c 1275s | 17 | 2079694 | 259532 | 494260 0 | 142 | 1560 1284.97/1285.45 c 1278s | 17 | 2080322 | 259832 | 494260 0 | 142 | 1560 1287.68/1288.15 c 1281s | 17 | 2080797 | 260132 | 494260 0 | 142 | 1560 1289.98/1290.49 c 1283s | 17 | 2081302 | 260432 | 494260 0 | 142 | 1560 1292.57/1293.03 c 1286s | 17 | 2081723 | 260732 | 494260 0 | 142 | 1560 1295.07/1295.58 c 1288s | 17 | 2082478 | 261032 | 494260 0 | 142 | 1560 1297.16/1297.65 c 1290s | 17 | 2083596 | 261332 | 494260 0 | 142 | 1560 1299.87/1300.31 c 1293s | 17 | 2084076 | 261632 | 494260 0 | 142 | 1560 1302.36/1302.86 c 1295s | 17 | 2084481 | 261932 | 494260 0 | 142 | 1560 1304.56/1305.07 c 1298s | 17 | 2086210 | 262232 | 494260 0 | 142 | 1560 1307.06/1307.57 c 1300s | 17 | 2087301 | 262532 | 494260 0 | 142 | 1560 1310.06/1310.50 c 1303s | 17 | 2088379 | 262832 | 494260 0 | 142 | 1560 1312.56/1313.02 c 1306s | 17 | 2090599 | 263132 | 494260 0 | 142 | 1560 1315.06/1315.50 c 1308s | 17 | 2094508 | 263432 | 494260 0 | 142 | 1560 1317.05/1317.58 c 1310s | 17 | 2110645 | 264432 | 494260 0 | 142 | 1560 1319.25/1319.76 c 1312s | 17 | 2119727 | 265632 | 494260 0 | 142 | 1560 1321.55/1322.00 c 1314s | 17 | 2128486 | 266532 | 494260 0 | 142 | 1560 1323.55/1324.02 c 1317s | 17 | 2139988 | 267632 | 494260 0 | 142 | 1560 1325.65/1326.17 c 1319s | 17 | 2145204 | 268432 | 494260 0 | 142 | 1560 1327.85/1328.33 c 1321s | 17 | 2150487 | 269232 | 494260 0 | 142 | 1560 1330.15/1330.65 c 1323s | 17 | 2151912 | 269732 | 494260 0 | 142 | 1560 1332.35/1332.87 c 1325s | 17 | 2154273 | 270432 | 494260 0 | 142 | 1560 1334.55/1335.07 c 1328s | 17 | 2155287 | 271032 | 494260 0 | 142 | 1560 1337.04/1337.52 c 1330s | 17 | 2156520 | 271532 | 494260 0 | 142 | 1560 1339.24/1339.73 c 1332s | 17 | 2158132 | 272032 | 494260 0 | 142 | 1560 1341.65/1342.16 c 1335s | 17 | 2159806 | 272532 | 494260 0 | 142 | 1560 1343.94/1344.44 c 1337s | 17 | 2160882 | 272932 | 494260 0 | 142 | 1560 1346.34/1346.89 c 1339s | 17 | 2161811 | 273332 | 494260 0 | 142 | 1560 1348.44/1348.98 c 1341s | 17 | 2162875 | 273732 | 494260 0 | 142 | 1560 1350.94/1351.40 c 1344s | 17 | 2163234 | 274032 | 494260 0 | 142 | 1560 1353.14/1353.64 c 1346s | 17 | 2163555 | 274332 | 494260 0 | 142 | 1560 1355.34/1355.87 c 1348s | 17 | 2165083 | 274632 | 494260 0 | 142 | 1560 1357.73/1358.28 c 1351s | 17 | 2180114 | 275732 | 494260 0 | 142 | 1560 1360.34/1360.86 c 1353s | 17 | 2184229 | 276832 | 494260 0 | 142 | 1560 1362.73/1363.27 c 1356s | 17 | 2185921 | 277332 | 494260 0 | 142 | 1560 1365.13/1365.68 c 1358s | 17 | 2186643 | 277632 | 494260 0 | 142 | 1560 1367.23/1367.72 c 1360s | 17 | 2189635 | 278332 | 494260 0 | 142 | 1560 1369.73/1370.20 c 1363s | 17 | 2190582 | 278832 | 494260 0 | 142 | 1560 1371.83/1372.38 c 1365s | 17 | 2191667 | 279432 | 494260 0 | 142 | 1560 1374.33/1374.88 c 1367s | 17 | 2192647 | 279932 | 494260 0 | 142 | 1560 1376.84/1377.32 c 1370s | 17 | 2193561 | 280332 | 494260 0 | 142 | 1560 1378.83/1379.35 c 1372s | 17 | 2194215 | 280732 | 494260 0 | 142 | 1560 1380.93/1381.48 c 1374s | 17 | 2197691 | 281732 | 494260 0 | 142 | 1560 1383.03/1383.59 c 1376s | 17 | 2200383 | 282732 | 494260 0 | 142 | 1560 1385.72/1386.20 c 1379s | 17 | 2204098 | 283932 | 494260 0 | 142 | 1560 1388.22/1388.79 c 1381s | 17 | 2204479 | 284232 | 494260 0 | 142 | 1560 1390.42/1390.93 c 1383s | 17 | 2204944 | 284532 | 494260 0 | 142 | 1560 1392.42/1392.94 c 1385s | 17 | 2205348 | 284832 | 494260 0 | 142 | 1560 1394.72/1395.28 c 1388s | 17 | 2205720 | 285132 | 494260 0 | 142 | 1560 1397.11/1397.61 c 1390s | 17 | 2206512 | 285532 | 494260 0 | 142 | 1560 1399.31/1399.85 c 1392s | 17 | 2207278 | 285932 | 494260 0 | 142 | 1560 1401.41/1401.92 c 1394s | 17 | 2212161 | 287332 | 494260 0 | 142 | 1560 1403.61/1404.12 c 1397s | 17 | 2218207 | 288132 | 494260 0 | 142 | 1560 1405.91/1406.42 c 1399s | 17 | 2222406 | 288932 | 494260 0 | 142 | 1560 1408.01/1408.56 c 1401s | 17 | 2228850 | 289932 | 494260 0 | 142 | 1560 1410.21/1410.75 c 1403s | 17 | 2236306 | 290832 | 494260 0 | 142 | 1560 1412.61/1413.16 c 1406s | 17 | 2240195 | 291832 | 494260 0 | 142 | 1560 1414.71/1415.24 c 1408s | 17 | 2242680 | 292632 | 494260 0 | 142 | 1560 1416.81/1417.38 c 1410s | 17 | 2247435 | 293632 | 494260 0 | 142 | 1560 1419.11/1419.60 c 1412s | 17 | 2252678 | 294732 | 543686 0 | 142 | 1560 1421.11/1421.69 c 1414s | 17 | 2254289 | 295332 | 543686 0 | 142 | 1560 1423.31/1423.83 c 1416s | 17 | 2257574 | 296232 | 543686 0 | 142 | 1560 1423.91/1424.40 c 1417s | 18 | 2261311 | 296252 | 543686 0 | 142 | 1560 1425.91/1426.42 c 1419s | 18 | 2263561 | 296352 | 543686 0 | 142 | 1560 1428.30/1428.87 c 1421s | 18 | 2269586 | 297252 | 543686 0 | 142 | 1560 1430.50/1431.10 c 1424s | 18 | 2270941 | 297452 | 543686 0 | 142 | 1560 1432.81/1433.32 c 1426s | 18 | 2276452 | 297852 | 543686 0 | 142 | 1560 1435.01/1435.55 c 1428s | 18 | 2277755 | 298352 | 543686 0 | 142 | 1560 1437.00/1437.56 c 1430s | 18 | 2279188 | 299252 | 543686 0 | 142 | 1560 1439.30/1439.85 c 1432s | 18 | 2280573 | 299852 | 543686 0 | 142 | 1560 1441.40/1441.94 c 1434s | 18 | 2281404 | 300252 | 543686 0 | 142 | 1560 1443.50/1444.00 c 1436s | 18 | 2282449 | 300752 | 543686 0 | 142 | 1560 1445.70/1446.20 c 1439s | 18 | 2283463 | 301152 | 543686 0 | 142 | 1560 1448.10/1448.61 c 1441s | 18 | 2284415 | 301652 | 543686 0 | 142 | 1560 1450.10/1450.62 c 1443s | 18 | 2285653 | 302252 | 543686 0 | 142 | 1560 1452.10/1452.65 c 1445s | 18 | 2288907 | 302952 | 543686 0 | 142 | 1560 1454.30/1454.88 c 1447s | 18 | 2293419 | 303852 | 543686 0 | 142 | 1560 1456.50/1457.00 c 1449s | 18 | 2296671 | 304652 | 543686 0 | 142 | 1560 1459.10/1459.69 c 1452s | 18 | 2298431 | 304952 | 543686 0 | 142 | 1560 1461.60/1462.19 c 1455s | 18 | 2300132 | 305352 | 543686 0 | 142 | 1560 1463.90/1464.46 c 1457s | 18 | 2300941 | 305652 | 543686 0 | 142 | 1560 1466.00/1466.59 c 1459s | 18 | 2302013 | 306152 | 543686 0 | 142 | 1560 1468.70/1469.23 c 1462s | 18 | 2303571 | 306552 | 543686 0 | 142 | 1560 1471.10/1471.67 c 1464s | 18 | 2304394 | 306852 | 543686 0 | 142 | 1560 1473.70/1474.25 c 1467s | 18 | 2306015 | 307252 | 543686 0 | 142 | 1560 1475.90/1476.45 c 1469s | 18 | 2307898 | 307652 | 543686 0 | 142 | 1560 1478.01/1478.58 c 1471s | 18 | 2308718 | 307852 | 543686 0 | 142 | 1560 1480.11/1480.65 c 1473s | 18 | 2310634 | 308552 | 543686 0 | 142 | 1560 1482.20/1482.76 c 1475s | 18 | 2311995 | 309252 | 543686 0 | 142 | 1560 1484.50/1485.08 c 1478s | 18 | 2313590 | 310152 | 543686 0 | 142 | 1560 1486.50/1487.09 c 1480s | 18 | 2315068 | 310752 | 543686 0 | 142 | 1560 1489.00/1489.54 c 1482s | 18 | 2316516 | 311352 | 543686 0 | 142 | 1560 1491.50/1492.06 c 1485s | 18 | 2317935 | 311852 | 543686 0 | 142 | 1560 1493.79/1494.38 c 1487s | 18 | 2318732 | 312352 | 543686 0 | 142 | 1560 1495.99/1496.57 c 1489s | 18 | 2319600 | 312852 | 543686 0 | 142 | 1560 1498.09/1498.61 c 1491s | 18 | 2320193 | 313252 | 543686 0 | 142 | 1560 1500.79/1501.38 c 1494s | 18 | 2330211 | 313552 | 543686 0 | 142 | 1560 1503.09/1503.63 c 1496s | 18 | 2333397 | 313852 | 543686 0 | 142 | 1560 1505.69/1506.26 c 1499s | 18 | 2333625 | 314052 | 543686 0 | 142 | 1560 1508.29/1508.84 c 1501s | 18 | 2333883 | 314252 | 543686 0 | 142 | 1560 1510.59/1511.15 c 1504s | 18 | 2340199 | 314852 | 543686 0 | 142 | 1560 1512.59/1513.19 c 1506s | 18 | 2346120 | 315452 | 543686 0 | 142 | 1560 1514.79/1515.38 c 1508s | 18 | 2349759 | 316152 | 543686 0 | 142 | 1560 1517.50/1518.01 c 1511s | 18 | 2354912 | 316852 | 543686 0 | 142 | 1560 1519.70/1520.21 c 1513s | 18 | 2355976 | 317252 | 543686 0 | 142 | 1560 1522.00/1522.58 c 1515s | 18 | 2356631 | 317552 | 543686 0 | 142 | 1560 1524.50/1525.07 c 1518s | 18 | 2356899 | 317752 | 543686 0 | 142 | 1560 1526.89/1527.45 c 1520s | 18 | 2357237 | 317952 | 543686 0 | 142 | 1560 1529.09/1529.67 c 1522s | 18 | 2357975 | 318252 | 543686 0 | 142 | 1560 1531.49/1532.06 c 1525s | 18 | 2359134 | 318552 | 543686 0 | 142 | 1560 1533.59/1534.18 c 1527s | 18 | 2359504 | 318752 | 543686 0 | 142 | 1560 1536.49/1537.04 c 1530s | 18 | 2360344 | 319052 | 543686 0 | 142 | 1560 1538.79/1539.33 c 1532s | 18 | 2360797 | 319252 | 543686 0 | 142 | 1560 1541.70/1542.21 c 1535s | 18 | 2362781 | 319552 | 543686 0 | 142 | 1560 1543.69/1544.29 c 1537s | 18 | 2363097 | 319752 | 543686 0 | 142 | 1560 1545.99/1546.60 c 1539s | 18 | 2363339 | 319952 | 543686 0 | 142 | 1560 1548.39/1548.92 c 1541s | 18 | 2363642 | 320152 | 543686 0 | 142 | 1560 1550.99/1551.58 c 1544s | 18 | 2364866 | 320452 | 543686 0 | 142 | 1560 1553.19/1553.76 c 1546s | 18 | 2368638 | 321152 | 543686 0 | 142 | 1560 1555.59/1556.19 c 1549s | 18 | 2370325 | 321552 | 543686 0 | 142 | 1560 1557.69/1558.23 c 1551s | 18 | 2370575 | 321752 | 543686 0 | 142 | 1560 1560.39/1560.99 c 1553s | 18 | 2370925 | 322052 | 543686 0 | 142 | 1560 1562.48/1563.03 c 1556s | 18 | 2371136 | 322252 | 543686 0 | 142 | 1560 1564.68/1565.25 c 1558s | 18 | 2371367 | 322452 | 543686 0 | 142 | 1560 1566.88/1567.46 c 1560s | 18 | 2371657 | 322652 | 543686 0 | 142 | 1560 1568.88/1569.47 c 1562s | 18 | 2371932 | 322852 | 543686 0 | 142 | 1560 1571.39/1572.00 c 1564s | 18 | 2372856 | 323252 | 543686 0 | 142 | 1560 1573.69/1574.23 c 1567s | 18 | 2373564 | 323552 | 543686 0 | 142 | 1560 1576.89/1577.42 c 1570s | 18 | 2373989 | 323852 | 543686 0 | 142 | 1560 1579.28/1579.85 c 1572s | 18 | 2374202 | 324052 | 543686 0 | 142 | 1560 1581.29/1581.88 c 1574s | 18 | 2374453 | 324252 | 543686 0 | 142 | 1560 1584.18/1584.70 c 1577s | 18 | 2374895 | 324552 | 543686 0 | 142 | 1560 1586.18/1586.79 c 1579s | 18 | 2375167 | 324752 | 543686 0 | 142 | 1560 1588.68/1589.25 c 1582s | 18 | 2376129 | 325152 | 543686 0 | 142 | 1560 1590.88/1591.41 c 1584s | 18 | 2376696 | 325452 | 543686 0 | 142 | 1560 1593.48/1594.06 c 1587s | 18 | 2377069 | 325752 | 543686 0 | 142 | 1560 1596.28/1596.85 c 1589s | 18 | 2377378 | 325952 | 543686 0 | 142 | 1560 1598.78/1599.36 c 1592s | 18 | 2377614 | 326152 | 543686 0 | 142 | 1560 1601.57/1602.12 c 1595s | 18 | 2377963 | 326352 | 543686 0 | 142 | 1560 1603.97/1604.55 c 1597s | 18 | 2378217 | 326552 | 543686 0 | 142 | 1560 1606.07/1606.68 c 1599s | 18 | 2378497 | 326752 | 543686 0 | 142 | 1560 1608.67/1609.28 c 1602s | 18 | 2378722 | 326952 | 543686 0 | 142 | 1560 1610.98/1611.58 c 1604s | 18 | 2378992 | 327152 | 543686 0 | 142 | 1560 1613.18/1613.71 c 1606s | 18 | 2379252 | 327352 | 543686 0 | 142 | 1560 1615.38/1615.94 c 1608s | 18 | 2379498 | 327552 | 543686 0 | 142 | 1560 1617.47/1618.10 c 1611s | 18 | 2379729 | 327752 | 543686 0 | 142 | 1560 1620.17/1620.71 c 1613s | 18 | 2380150 | 328052 | 543686 0 | 142 | 1560 1622.77/1623.35 c 1616s | 18 | 2380554 | 328352 | 543686 0 | 142 | 1560 1624.97/1625.59 c 1618s | 18 | 2382077 | 328752 | 543686 0 | 142 | 1560 1627.17/1627.71 c 1620s | 18 | 2386737 | 329552 | 543686 0 | 142 | 1560 1629.17/1629.78 c 1622s | 18 | 2391025 | 330352 | 543686 0 | 142 | 1560 1631.57/1632.19 c 1625s | 18 | 2402405 | 330552 | 543686 0 | 142 | 1560 1633.87/1634.45 c 1627s | 18 | 2403597 | 330952 | 543686 0 | 142 | 1560 1635.87/1636.45 c 1629s | 18 | 2404949 | 331652 | 543686 0 | 142 | 1560 1638.17/1638.77 c 1631s | 18 | 2407281 | 332152 | 543686 0 | 142 | 1560 1642.07/1642.60 c 1635s | 18 | 2408258 | 332352 | 543686 0 | 143 | 1572 1645.17/1645.71 c 1638s | 18 | 2408511 | 332552 | 543686 0 | 143 | 1572 1648.06/1648.61 c 1641s | 18 | 2408790 | 332752 | 543686 0 | 143 | 1572 1650.87/1651.48 c 1644s | 18 | 2409056 | 332952 | 543686 0 | 143 | 1572 1653.27/1653.84 c 1646s | 18 | 2409363 | 333152 | 543686 0 | 143 | 1572 1655.47/1656.03 c 1649s | 18 | 2409976 | 333352 | 543686 0 | 143 | 1572 1657.77/1658.36 c 1651s | 18 | 2410487 | 333652 | 543686 0 | 143 | 1572 1660.37/1660.91 c 1653s | 18 | 2411142 | 333952 | 543686 0 | 143 | 1572 1663.17/1663.79 c 1656s | 18 | 2418521 | 334152 | 543686 0 | 143 | 1572 1665.47/1666.05 c 1659s | 18 | 2426746 | 334452 | 543686 0 | 143 | 1572 1668.27/1668.87 c 1661s | 18 | 2427187 | 334652 | 543686 0 | 143 | 1572 1672.16/1672.71 c 1665s | 18 | 2427611 | 334852 | 543686 0 | 143 | 1572 1675.26/1675.85 c 1668s | 18 | 2429828 | 335052 | 543686 0 | 143 | 1572 1678.17/1678.79 c 1671s | 18 | 2430068 | 335252 | 543686 0 | 143 | 1572 1681.56/1682.12 c 1675s | 18 | 2430292 | 335452 | 543686 0 | 143 | 1572 1684.26/1684.87 c 1677s | 18 | 2430523 | 335652 | 543686 0 | 143 | 1572 1686.36/1686.95 c 1679s | 18 | 2433498 | 335852 | 543686 0 | 143 | 1572 1689.06/1689.64 c 1682s | 18 | 2439191 | 336152 | 543686 0 | 143 | 1572 1691.46/1692.09 c 1685s | 18 | 2442760 | 336352 | 543686 0 | 143 | 1572 1694.67/1695.26 c 1688s | 18 | 2443855 | 336552 | 543686 0 | 143 | 1572 1697.67/1698.25 c 1691s | 18 | 2444410 | 336752 | 543686 0 | 143 | 1572 1700.46/1701.07 c 1694s | 18 | 2444957 | 336952 | 543686 0 | 143 | 1572 1703.06/1703.64 c 1696s | 18 | 2446125 | 337152 | 543686 0 | 143 | 1572 1705.96/1706.56 c 1699s | 18 | 2446941 | 337352 | 543686 0 | 143 | 1572 1709.06/1709.68 c 1702s | 18 | 2447709 | 337552 | 543686 0 | 143 | 1572 1711.56/1712.13 c 1705s | 18 | 2448776 | 337752 | 543686 0 | 143 | 1572 1715.16/1715.75 c 1708s | 18 | 2449183 | 337952 | 543686 0 | 143 | 1572 1718.16/1718.74 c 1711s | 18 | 2451981 | 338252 | 543686 0 | 143 | 1572 1720.96/1721.60 c 1714s | 18 | 2452794 | 338452 | 543686 0 | 143 | 1572 1723.76/1724.34 c 1717s | 18 | 2453154 | 338652 | 543686 0 | 143 | 1572 1727.66/1728.27 c 1721s | 18 | 2453495 | 338852 | 543686 0 | 143 | 1572 1730.46/1731.05 c 1724s | 18 | 2454664 | 339052 | 543686 0 | 143 | 1572 1734.05/1734.68 c 1727s | 18 | 2454942 | 339252 | 543686 0 | 143 | 1572 1737.35/1737.99 c 1730s | 18 | 2455209 | 339452 | 543686 0 | 143 | 1572 1740.55/1741.10 c 1734s | 18 | 2455442 | 339652 | 543686 0 | 143 | 1572 1744.16/1744.71 c 1737s | 18 | 2455653 | 339852 | 543686 0 | 143 | 1572 1747.36/1747.91 c 1740s | 18 | 2455879 | 340052 | 543686 0 | 143 | 1572 1750.66/1751.21 c 1744s | 18 | 2456112 | 340252 | 543686 0 | 143 | 1572 1753.35/1753.96 c 1746s | 18 | 2456326 | 340452 | 543686 0 | 143 | 1572 1756.55/1757.19 c 1750s | 18 | 2456599 | 340652 | 543686 0 | 143 | 1572 1759.75/1760.35 c 1753s | 18 | 2456815 | 340852 | 543686 0 | 143 | 1572 1763.15/1763.77 c 1756s | 18 | 2457046 | 341052 | 543686 0 | 143 | 1572 1766.45/1767.04 c 1760s | 18 | 2457301 | 341252 | 543686 0 | 143 | 1572 1770.05/1770.64 c 1763s | 18 | 2457533 | 341452 | 543686 0 | 143 | 1572 1773.54/1774.12 c 1767s | 18 | 2457800 | 341652 | 543686 0 | 143 | 1572 1776.05/1776.62 c 1769s | 18 | 2458035 | 341852 | 543686 0 | 143 | 1572 1778.94/1779.54 c 1772s | 18 | 2458298 | 342052 | 543686 0 | 143 | 1572 1781.45/1782.04 c 1775s | 18 | 2458627 | 342252 | 543686 0 | 143 | 1572 1785.35/1785.93 c 1778s | 18 | 2458862 | 342452 | 543686 0 | 143 | 1572 1788.55/1789.12 c 1782s | 18 | 2459120 | 342652 | 543686 0 | 143 | 1572 1791.65/1792.21 c 1785s | 18 | 2459364 | 342852 | 543686 0 | 143 | 1572 1795.15/1795.75 c 1788s | 18 | 2459600 | 343052 | 543686 0 | 143 | 1572 1798.44/1799.03 c 1792s | 18 | 2459816 | 343252 | 543686 0 | 143 | 1572
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-4078870-1465276866/watcher-4078870-1465276866 -o /tmp/evaluation-result-4078870-1465276866/solver-4078870-1465276866 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078870-1465276866.opb pid=9550 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 2.18 2.17 2/179 9553 /proc/meminfo: memFree=29034880/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=761276 CPUtime=0 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 2846 0 0 0 0 0 0 0 20 0 4 0 109619650 779546624 2696 33554432000 4194304 16246674 140735727398592 140735727398016 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9553/statm: 190831 2703 441 2943 0 187725 0 [pid=9553/tid=9554] ppid=9550 vsize=778684 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 797372416 2765 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=782780 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 801566720 2782 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=786876 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109619650 805761024 2798 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100181 s] /proc/loadavg: 2.10 2.18 2.17 2/179 9553 /proc/meminfo: memFree=29034880/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1221188 CPUtime=0.09 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 27171 0 0 0 5 4 0 0 20 0 4 0 109619650 1250496512 26958 33554432000 4194304 16246674 140735727398592 140735727397904 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9553/statm: 305297 26958 800 2943 0 302191 0 [pid=9553/tid=9554] ppid=9550 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1250496512 26958 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1250496512 26958 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1250496512 26958 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200527 s] /proc/loadavg: 2.10 2.18 2.17 2/179 9553 /proc/meminfo: memFree=29034880/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1310276 CPUtime=0.19 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 48754 0 0 0 12 7 0 0 20 0 4 0 109619650 1341722624 49052 33554432000 4194304 16246674 140735727398592 140735727396416 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9553/statm: 327569 49059 800 2943 0 324463 0 [pid=9553/tid=9554] ppid=9550 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1341722624 49063 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1341722624 49068 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1341722624 49072 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1310276 [startup+0.300491 s] /proc/loadavg: 2.10 2.18 2.17 2/179 9553 /proc/meminfo: memFree=29034880/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1314372 CPUtime=0.29 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 57981 0 0 0 21 8 0 0 20 0 4 0 109619650 1345916928 58279 33554432000 4194304 16246674 140735727398592 140735727396416 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9553/statm: 328593 58279 800 2943 0 325487 0 [pid=9553/tid=9554] ppid=9550 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1345916928 58279 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1345916928 58279 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1345916928 58279 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700425 s] /proc/loadavg: 2.10 2.18 2.17 2/179 9553 /proc/meminfo: memFree=29034880/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 69818 0 0 0 59 10 0 0 20 0 4 0 109619650 1345916928 70116 33554432000 4194304 16246674 140735727398592 140735727396416 7377791 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9553/statm: 328593 70116 800 2943 0 325487 0 [pid=9553/tid=9554] ppid=9550 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1345916928 70116 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1345916928 70116 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1345916928 70116 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50042 s] /proc/loadavg: 2.10 2.18 2.17 3/183 9557 /proc/meminfo: memFree=28716072/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1314372 CPUtime=1.49 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 87924 0 0 0 136 13 0 0 20 0 4 0 109619650 1345916928 88222 33554432000 4194304 16246674 140735727398592 140735727396480 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9553/statm: 328593 88222 802 2943 0 325487 0 [pid=9553/tid=9554] ppid=9550 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1345916928 88222 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1345916928 88222 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1345916928 88222 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.1004 s] /proc/loadavg: 2.10 2.18 2.17 3/183 9557 /proc/meminfo: memFree=28629396/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1314372 CPUtime=3.09 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 255616 0 0 0 271 38 0 0 20 0 4 0 109619650 1345916928 255915 33554432000 4194304 16246674 140735727398592 140735727380480 6156109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9553/statm: 328593 255926 848 2943 0 325487 0 [pid=9553/tid=9554] ppid=9550 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1345916928 255932 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1345916928 255939 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1345916928 255944 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1314372 [startup+6.30042 s] /proc/loadavg: 2.09 2.18 2.17 3/183 9557 /proc/meminfo: memFree=27923720/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1349188 CPUtime=6.29 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 277932 0 0 0 588 41 0 0 20 0 4 0 109619650 1381568512 278230 33554432000 4194304 16246674 140735727398592 140735727380480 12473344 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9553/statm: 337297 278230 849 2943 0 334191 0 [pid=9553/tid=9554] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278230 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278230 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278230 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1349188 [startup+12.7004 s] /proc/loadavg: 2.16 2.19 2.18 4/183 9557 /proc/meminfo: memFree=27923820/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1349188 CPUtime=12.69 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 277974 0 0 0 1228 41 0 0 20 0 4 0 109619650 1381568512 278272 33554432000 4194304 16246674 140735727398592 140735727380480 5523080 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9553/statm: 337297 278272 890 2943 0 334191 0 [pid=9553/tid=9554] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278272 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278272 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278272 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1349188 [startup+25.5005 s] /proc/loadavg: 2.20 2.20 2.18 4/183 9557 /proc/meminfo: memFree=27926100/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1349188 CPUtime=25.48 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 277979 0 0 0 2507 41 0 0 20 0 4 0 109619650 1381568512 278277 33554432000 4194304 16246674 140735727398592 140735727380480 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9553/statm: 337297 278277 893 2943 0 334191 0 [pid=9553/tid=9554] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278277 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278277 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278277 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1349188 [startup+51.1005 s] /proc/loadavg: 2.20 2.20 2.18 3/183 9557 /proc/meminfo: memFree=27926400/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1349188 CPUtime=51.09 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 277980 0 0 0 5067 42 0 0 20 0 4 0 109619650 1381568512 278278 33554432000 4194304 16246674 140735727398592 140735727380480 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9553/statm: 337297 278278 893 2943 0 334191 0 [pid=9553/tid=9554] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278278 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278278 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278278 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1349188 [startup+102.3 s] /proc/loadavg: 2.12 2.18 2.17 4/183 9558 /proc/meminfo: memFree=27926324/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1349188 CPUtime=102.28 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 277980 0 0 0 10186 42 0 0 20 0 4 0 109619650 1381568512 278278 33554432000 4194304 16246674 140735727398592 140735727380480 5673807 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9553/statm: 337297 278278 893 2943 0 334191 0 [pid=9553/tid=9554] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278278 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278278 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278278 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1349188 ################ # More data... # ################ /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278535 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1349188 [startup+1302.3 s] /proc/loadavg: 2.15 2.21 2.18 3/183 9686 /proc/meminfo: memFree=27954956/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1349188 CPUtime=1301.86 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 278318 0 0 0 130132 54 0 0 20 0 4 0 109619650 1381568512 278535 33554432000 4194304 16246674 140735727398592 140735727380480 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9553/statm: 337297 278535 894 2943 0 334191 0 [pid=9553/tid=9554] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278535 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278535 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278535 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1349188 [startup+1362.3 s] /proc/loadavg: 2.10 2.18 2.17 4/183 9687 /proc/meminfo: memFree=27954316/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1349188 CPUtime=1361.83 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 278355 0 0 0 136129 54 0 0 20 0 4 0 109619650 1381568512 278535 33554432000 4194304 16246674 140735727398592 140735727380480 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9553/statm: 337297 278535 894 2943 0 334191 0 [pid=9553/tid=9554] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278535 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278535 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278535 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1349188 [startup+1422.3 s] /proc/loadavg: 2.13 2.18 2.17 3/183 9689 /proc/meminfo: memFree=27953988/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1349188 CPUtime=1421.81 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 278382 0 0 0 142126 55 0 0 20 0 4 0 109619650 1381568512 278535 33554432000 4194304 16246674 140735727398592 140735727380480 12460197 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9553/statm: 337297 278535 894 2943 0 334191 0 [pid=9553/tid=9554] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278535 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278535 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1381568512 278535 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1349188 [startup+1482.3 s] /proc/loadavg: 2.10 2.16 2.16 3/183 9690 /proc/meminfo: memFree=27887264/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1415748 CPUtime=1481.8 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 295022 0 0 0 148122 58 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 140735727380480 5823367 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9553/statm: 353937 295175 894 2943 0 350831 0 [pid=9553/tid=9554] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1415748 [startup+1542.31 s] /proc/loadavg: 2.08 2.14 2.16 4/183 9691 /proc/meminfo: memFree=27886936/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1415748 CPUtime=1541.8 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 295022 0 0 0 154121 59 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 140735727381584 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9553/statm: 353937 295175 894 2943 0 350831 0 [pid=9553/tid=9554] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1415748 [startup+1602.3 s] /proc/loadavg: 2.33 2.20 2.18 3/183 9692 /proc/meminfo: memFree=27886588/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1415748 CPUtime=1601.77 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 295022 0 0 0 160118 59 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 140735727380480 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9553/statm: 353937 295175 894 2943 0 350831 0 [pid=9553/tid=9554] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1415748 [startup+1662.3 s] /proc/loadavg: 2.25 2.20 2.18 3/183 9693 /proc/meminfo: memFree=27885040/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1415748 CPUtime=1661.77 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 295022 0 0 0 166117 60 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 140735727380480 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9553/statm: 353937 295175 894 2943 0 350831 0 [pid=9553/tid=9554] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1415748 [startup+1722.3 s] /proc/loadavg: 2.23 2.20 2.18 4/183 9694 /proc/meminfo: memFree=27885192/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1415748 CPUtime=1721.76 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 295022 0 0 0 172115 61 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 140735727380480 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9553/statm: 353937 295175 894 2943 0 350831 0 [pid=9553/tid=9554] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1415748 [startup+1782.3 s] /proc/loadavg: 2.18 2.19 2.18 3/184 9699 /proc/meminfo: memFree=27885392/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1415748 CPUtime=1781.74 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 295022 0 0 0 178113 61 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 140735727380480 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9553/statm: 353937 295175 894 2943 0 350831 0 [pid=9553/tid=9554] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1415748 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.13 2.18 2.17 3/183 9699 /proc/meminfo: memFree=27885364/32872528 swapFree=16384/1696552 [pid=9553] ppid=9550 vsize=1415748 CPUtime=1800.04 cores=1,3,5,7 /proc/9553/stat : 9553 (toysat) R 9550 9553 5723 0 -1 4202496 295022 0 0 0 179942 62 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 140735727380480 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9553/statm: 353937 295175 894 2943 0 350831 0 [pid=9553/tid=9554] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9554/stat : 9554 (toysat) S 9550 9553 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721599593712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9553/tid=9555] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9555/stat : 9555 (toysat) S 9550 9553 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721589103856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9553/tid=9556] ppid=9550 vsize=1415748 CPUtime=0 cores=1,3,5,7 /proc/9553/task/9556/stat : 9556 (toysat) S 9550 9553 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109619650 1449725952 295175 33554432000 4194304 16246674 140735727398592 139721578630320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1415748 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 9553 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.06 CPU user time (s): 1799.43 CPU system time (s): 0.623905 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 1415748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.43 system time used= 0.623905 maximum resident set size= 1180700 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 295022 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= 438 involuntary context switches= 2816 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.55031 second user time and 6.97094 second system time The end
Begin job on node125 at 2016-06-07 07:21:06 IDJOB=4078870 IDBENCH=89796 IDSOLVER=2542 FILE ID=node125/4078870-1465276866 RUNJOBID= node125-1465259688-5740 PBS_JOBID= 19843289 Free space on /tmp= 71708 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-70.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078870-1465276866/watcher-4078870-1465276866 -o /tmp/evaluation-result-4078870-1465276866/solver-4078870-1465276866 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078870-1465276866.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4f155d4f8b05885565510d4fbd89c993 RANDOM SEED=1481858532 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29035144 kB Buffers: 43644 kB Cached: 229840 kB SwapCached: 1904 kB Active: 1239796 kB Inactive: 151200 kB Active(anon): 1117744 kB Inactive(anon): 2016 kB Active(file): 122052 kB Inactive(file): 149184 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098580 kB Dirty: 27988 kB Writeback: 0 kB AnonPages: 2812704 kB Mapped: 10744 kB Shmem: 0 kB Slab: 610248 kB SReclaimable: 53908 kB SUnreclaim: 556340 kB KernelStack: 1480 kB PageTables: 9656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2957076 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1687552 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= 71700 MiB End job on node125 at 2016-06-07 07:51:07