| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/oliveras/ j120/normalized-j12047_10-unsat.opb |
| MD5SUM | 185b639ab7915adc40998376a286d172 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 224.071 |
| 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 | 30492 |
| Total number of constraints | 105829 |
| Number of constraints which are clauses | 105329 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 68 |
| 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 | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 421 |
| 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-19T00:40:35+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-4107901-1466289635.opb"] 0.00/0.01 c use --random-gen="3706840714 1254503529 1227564935 1548251066 107391841 1318569539 2771371720 2912222836 3054153883 3588929154 4066496903 2150332113 1241928750 1661321801 1605291661 2265847789 1071691849 257881853 3342016297 3639621940 3962117278 2603590198 3448312553 1954918779 1716471415 3371359285 20577157 718365038 1449814708 2380408686 3230149960 3779491718 833677643 2714803631 1739940280 301637449 15036154 4069557369 3197624748 1303747403 3186299990 3744080233 1162260352 258486538 870572728 4096147093 1046500619 770841423 3517224127 2608084032 3655210294 3480347988 2407099797 533788193 2962924050 2191194302 2694229960 1996093340 84172920 1685949646 4269115720 1991920900 1580625072 1540125065 4273959865 1850680155 1086421406 1687751678 3102360604 3873961889 583080478 3107114907 838535433 3699872060 664987619 1812901976 4207840600 705616063 8437841 1732861979 2643071348 1290544154 358246585 4088801976 1652445414 1843156634 3939937460 191697852 980729471 2954484432 3546329882 2766443584 3743451728 3629376902 3742748205 1179403447 1595620802 1762396901 659383536 3338780706 1107106476 3655564890 3892080857 1754032272 3186235757 2231535298 1729660726 1328363764 3232112789 369679207 3782297054 708351539 578994441 2579281348 2557520827 3133609490 1453648541 1364988886 1879548223 4150211085 356630841 1102130901 1160285366 1599232773 1419012551 2352701124 797568588 3126705848 2855060121 1595869626 1804663921 699005526 4223459737 1766720969 168181494 3256334320 3258402418 654547158 1375617873 3655013166 356617870 915230258 1740470091 1846655280 3776846760 2242162086 2992281202 3045395947 3875866797 824214116 4213641835 2505382530 3458727165 2422093402 1640599462 2422879658 2562837839 1611225037 384248259 2584158419 3058497130 451170607 1172977188 942555330 3543872603 353990516 640613629 1141460652 926695446 1728709905 4048365517 4182774092 1375171689 69959586 3026400277 1778281733 1944236518 3294172431 3622429733 4109351566 1174660834 1339338015 534878168 540605652 3081341123 1059500860 2987809624 2844479457 78447083 834356331 1257952122 3271391347 3560028206 1985513049 932351052 2627849697 2709043675 2803188819 3036597846 3785808341 979735751 42253267 372931976 635160652 3507971719 3966125878 1073539540 2381586483 938527150 498363331 3566562763 3953635941 3752849783 112641083 1406727302 2968782116 219607340 1415690049 1426717691 715788305 3988884894 1607641101 766972144 384332551 592386759 1382633189 2014578368 3685866021 42541557 4102766306 1472951775 2315507937 450456140 458572333 2943021528 2154596285 1404191248 1345144491 3700059144 678361674 2248526263 3152428095 4183213351 2164254832 3268685814 1281361792 1160991701 628359403 2842569062 59983103 4019338949 589558696 2587566661 1465442441 3802746597 2995245288 255 362436" option to reproduce the execution 0.59/0.64 c #vars 30492 0.59/0.64 c #constraints 105829 1.39/1.46 c Solving starts ... 1.39/1.46 c ============================[ Search Statistics ]============================ 1.39/1.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.46 c | | | | Limit GC | Var | Constra 1.39/1.46 c ============================================================================= 1.49/1.56 c 0.0s | 0 | 0 | 0 | 28793 0 | 19384 | 0 1.69/1.75 c 0.2s | 1 | 185 | 100 | 28793 0 | 19384 | 25369 1.99/2.03 c 0.5s | 2 | 463 | 250 | 31673 0 | 19384 | 25369 2.39/2.44 c 0.9s | 3 | 814 | 475 | 34841 0 | 19384 | 25369 3.19/3.28 c 1.7s | 4 | 1385 | 813 | 38326 0 | 19384 | 25369 4.09/4.13 c 2.6s | 5 | 2192 | 1320 | 42159 0 | 19384 | 25369 5.39/5.48 c 3.9s | 6 | 3330 | 2081 | 51013 0 | 19384 | 25369 7.39/7.49 c 5.9s | 7 | 5070 | 3223 | 56115 0 | 19384 | 25369 9.49/9.50 c 7.9s | 7 | 6762 | 4323 | 56115 0 | 19414 | 25474 10.59/10.66 c 9.1s | 8 | 7579 | 4936 | 61727 0 | 19414 | 25474 12.69/12.72 c 11.2s | 8 | 9161 | 6036 | 61727 0 | 19414 | 25474 14.78/14.82 c 13.3s | 8 | 10468 | 7036 | 61727 0 | 19414 | 25474 15.89/15.90 c 14.3s | 9 | 11055 | 7506 | 67900 0 | 19414 | 25474 17.98/18.05 c 16.5s | 9 | 12670 | 8606 | 67900 0 | 19438 | 25558 20.08/20.20 c 18.6s | 9 | 14139 | 9706 | 67900 0 | 19438 | 25558 22.18/22.23 c 20.7s | 9 | 15421 | 10706 | 67900 0 | 19438 | 25558 23.58/23.63 c 22.1s | 10 | 16283 | 11361 | 74690 0 | 19438 | 25558 25.68/25.77 c 24.2s | 10 | 17792 | 12361 | 74690 0 | 19438 | 25558 27.98/28.02 c 26.5s | 10 | 19146 | 13361 | 74690 0 | 19438 | 25558 30.08/30.16 c 28.6s | 10 | 20516 | 14361 | 74690 0 | 19438 | 25558 32.38/32.40 c 30.8s | 10 | 21693 | 15261 | 74690 0 | 19438 | 25558 34.48/34.52 c 33.0s | 10 | 22902 | 16161 | 74690 0 | 19438 | 25558 36.68/36.78 c 35.2s | 10 | 24044 | 16961 | 74690 0 | 19504 | 25821 37.28/37.30 c 35.7s | 11 | 24260 | 17144 | 82159 0 | 19504 | 25821 39.38/39.44 c 37.9s | 11 | 25455 | 17944 | 82159 0 | 19504 | 25821 41.48/41.57 c 40.0s | 11 | 26679 | 18844 | 82159 0 | 19504 | 25821 43.68/43.73 c 42.2s | 11 | 27743 | 19644 | 82159 0 | 19504 | 25821 45.68/45.74 c 44.2s | 11 | 28839 | 20444 | 82159 0 | 19504 | 25821 47.98/48.01 c 46.4s | 11 | 29991 | 21344 | 82159 0 | 19504 | 25821 50.08/50.14 c 48.6s | 11 | 30971 | 22144 | 82159 0 | 19504 | 25821 52.38/52.42 c 50.9s | 11 | 31857 | 22844 | 82159 0 | 19504 | 25821 54.48/54.57 c 53.0s | 11 | 32968 | 23644 | 82159 0 | 19504 | 25821 56.58/56.63 c 55.1s | 11 | 34050 | 24444 | 82159 0 | 19504 | 25821 58.58/58.63 c 57.1s | 11 | 35079 | 25244 | 82159 0 | 19504 | 25821 60.48/60.58 c 59.0s | 12 | 35792 | 25819 | 90375 0 | 19504 | 25821 62.58/62.68 c 61.1s | 12 | 36857 | 26619 | 90375 0 | 19504 | 25821 64.88/64.92 c 63.4s | 12 | 37860 | 27419 | 90375 0 | 19504 | 25821 66.88/67.00 c 65.4s | 12 | 38804 | 28119 | 90375 0 | 19504 | 25821 68.98/69.08 c 67.5s | 12 | 39743 | 28819 | 90375 0 | 19504 | 25821 71.18/71.23 c 69.7s | 12 | 40729 | 29619 | 90375 0 | 19504 | 25821 73.18/73.29 c 71.7s | 12 | 41622 | 30319 | 90375 0 | 19504 | 25821 75.37/75.49 c 73.9s | 12 | 42549 | 31019 | 90375 0 | 19504 | 25821 77.57/77.68 c 76.1s | 12 | 43459 | 31719 | 90375 0 | 19504 | 25821 79.97/80.02 c 78.5s | 12 | 44162 | 32319 | 90375 0 | 19504 | 25821 82.27/82.32 c 80.8s | 12 | 44918 | 32919 | 90375 0 | 19504 | 25821 84.57/84.61 c 83.1s | 12 | 45792 | 33619 | 90375 0 | 19504 | 25821 86.67/86.76 c 85.2s | 12 | 46674 | 34319 | 90375 0 | 19504 | 25821 88.87/88.95 c 87.4s | 12 | 47580 | 35019 | 90375 0 | 19504 | 25821 90.97/91.01 c 89.4s | 12 | 48298 | 35619 | 90375 0 | 19504 | 25821 93.27/93.30 c 91.7s | 12 | 49174 | 36319 | 90375 0 | 19504 | 25821 95.27/95.39 c 93.8s | 12 | 49971 | 36919 | 90375 0 | 19504 | 25821 97.57/97.67 c 96.1s | 12 | 50709 | 37519 | 90375 0 | 19504 | 25821 99.77/99.84 c 98.3s | 12 | 51436 | 38119 | 90375 0 | 19504 | 25821 101.77/101.89 c 100s | 12 | 52058 | 38619 | 99413 0 | 19504 | 25821 102.57/102.60 c 101s | 13 | 52314 | 38832 | 99413 0 | 19504 | 25821 104.77/104.84 c 103s | 13 | 53114 | 39432 | 99413 0 | 19504 | 25821 106.97/107.04 c 105s | 13 | 53917 | 40032 | 99413 0 | 19504 | 25821 109.17/109.27 c 107s | 13 | 54929 | 40732 | 99413 0 | 19504 | 25821 111.47/111.52 c 109s | 13 | 55744 | 41332 | 99413 0 | 19504 | 25821 113.67/113.70 c 112s | 13 | 56657 | 42032 | 99413 0 | 19504 | 25821 115.67/115.79 c 114s | 13 | 57586 | 42732 | 99413 0 | 19504 | 25821 117.78/117.89 c 116s | 13 | 58325 | 43332 | 99413 0 | 19504 | 25821 120.17/120.21 c 118s | 13 | 59286 | 44032 | 99413 0 | 19504 | 25821 122.37/122.49 c 120s | 13 | 60085 | 44632 | 99413 0 | 19504 | 25821 124.57/124.63 c 123s | 13 | 60866 | 45232 | 99413 0 | 19504 | 25821 126.87/126.97 c 125s | 13 | 61595 | 45832 | 99413 0 | 19504 | 25821 128.87/128.98 c 127s | 13 | 62208 | 46332 | 99413 0 | 19504 | 25821 131.17/131.20 c 129s | 13 | 62858 | 46832 | 99413 0 | 19504 | 25821 133.27/133.38 c 131s | 13 | 63831 | 47532 | 99413 0 | 19504 | 25821 135.37/135.49 c 133s | 13 | 64605 | 48132 | 99413 0 | 19504 | 25821 137.47/137.59 c 136s | 13 | 65373 | 48732 | 99413 0 | 19504 | 25821 139.78/139.82 c 138s | 13 | 66160 | 49332 | 99413 0 | 19504 | 25821 141.77/141.85 c 140s | 13 | 66843 | 49832 | 99413 0 | 19504 | 25821 144.08/144.11 c 142s | 13 | 67623 | 50432 | 99413 0 | 19504 | 25821 146.28/146.37 c 144s | 13 | 68399 | 51032 | 99413 0 | 19504 | 25821 148.27/148.37 c 146s | 13 | 69026 | 51532 | 99413 0 | 19504 | 25821 150.47/150.52 c 148s | 13 | 69776 | 52132 | 99413 0 | 19504 | 25821 152.77/152.83 c 151s | 13 | 70575 | 52732 | 99413 0 | 19504 | 25821 154.97/155.08 c 153s | 13 | 71395 | 53332 | 99413 0 | 19504 | 25821 156.97/157.09 c 155s | 13 | 72065 | 53832 | 99413 0 | 19504 | 25821 159.27/159.33 c 157s | 13 | 72667 | 54332 | 99413 0 | 19504 | 25821 161.47/161.59 c 160s | 13 | 73270 | 54832 | 99413 0 | 19504 | 25821 163.67/163.71 c 162s | 13 | 74033 | 55432 | 99413 0 | 19504 | 25821 165.87/165.97 c 164s | 13 | 74833 | 56032 | 99413 0 | 19504 | 25821 168.38/168.48 c 166s | 13 | 75492 | 56532 | 99413 0 | 19504 | 25821 170.67/170.70 c 169s | 13 | 76192 | 57032 | 99413 0 | 19504 | 25821 172.68/172.76 c 171s | 13 | 76681 | 57432 | 99413 0 | 19504 | 25821 174.87/174.91 c 173s | 13 | 77335 | 57932 | 99413 0 | 19504 | 25821 176.67/176.75 c 175s | 14 | 77904 | 58352 | 109355 0 | 19504 | 25821 178.97/179.09 c 177s | 14 | 78541 | 58852 | 109355 0 | 19504 | 25821 181.07/181.14 c 179s | 14 | 79166 | 59352 | 109355 0 | 19504 | 25821 183.07/183.17 c 181s | 14 | 79842 | 59852 | 109355 0 | 19504 | 25821 185.27/185.32 c 183s | 14 | 80466 | 60352 | 109355 0 | 19504 | 25821 187.47/187.54 c 185s | 14 | 81237 | 60952 | 109355 0 | 19504 | 25821 189.57/189.64 c 188s | 14 | 81852 | 61452 | 109355 0 | 19504 | 25821 191.66/191.74 c 190s | 14 | 82505 | 61952 | 109355 0 | 19504 | 25821 193.67/193.76 c 192s | 14 | 83171 | 62452 | 109355 0 | 19504 | 25821 195.87/195.93 c 194s | 14 | 83824 | 62952 | 109355 0 | 19504 | 25821 198.07/198.13 c 196s | 14 | 84576 | 63552 | 109355 0 | 19504 | 25821 200.17/200.26 c 198s | 14 | 85203 | 64052 | 109355 0 | 19504 | 25821 202.56/202.62 c 201s | 14 | 86031 | 64652 | 109355 0 | 19504 | 25821 204.96/205.06 c 203s | 14 | 86811 | 65252 | 109355 0 | 19504 | 25821 207.16/207.26 c 205s | 14 | 87763 | 65952 | 109355 0 | 19504 | 25821 209.26/209.35 c 207s | 14 | 88570 | 66452 | 109355 0 | 19504 | 25821 211.46/211.50 c 209s | 14 | 89219 | 66952 | 109355 0 | 19504 | 25821 213.96/214.03 c 212s | 14 | 89692 | 67352 | 109355 0 | 19504 | 25821 216.06/216.11 c 214s | 14 | 90169 | 67752 | 109355 0 | 19504 | 25821 218.06/218.16 c 216s | 14 | 90604 | 68152 | 109355 0 | 19504 | 25821 220.26/220.35 c 218s | 14 | 91066 | 68552 | 109355 0 | 19504 | 25821 222.76/222.81 c 221s | 14 | 91646 | 69052 | 109355 0 | 19504 | 25821 224.96/225.05 c 223s | 14 | 92201 | 69452 | 109355 0 | 19504 | 25821 227.26/227.36 c 225s | 14 | 92695 | 69852 | 109355 0 | 19504 | 25821 229.56/229.68 c 228s | 14 | 93201 | 70252 | 109355 0 | 19504 | 25821 232.26/232.32 c 230s | 14 | 93778 | 70752 | 109355 0 | 19504 | 25821 234.66/234.79 c 233s | 14 | 94383 | 71252 | 109355 0 | 19504 | 25821 237.06/237.15 c 235s | 14 | 95129 | 71852 | 109355 0 | 19504 | 25821 239.16/239.25 c 237s | 14 | 95891 | 72452 | 109355 0 | 19504 | 25821 241.46/241.57 c 240s | 14 | 96634 | 73052 | 109355 0 | 19504 | 25821 243.66/243.79 c 242s | 14 | 97387 | 73652 | 109355 0 | 19504 | 25821 245.86/245.95 c 244s | 14 | 98012 | 74152 | 109355 0 | 19504 | 25821 247.96/248.03 c 246s | 14 | 98618 | 74652 | 109355 0 | 19504 | 25821 250.26/250.32 c 248s | 14 | 99367 | 75252 | 109355 0 | 19504 | 25821 252.45/252.50 c 250s | 14 | 99841 | 75652 | 109355 0 | 19504 | 25821 254.85/254.90 c 253s | 14 | 100311 | 76052 | 109355 0 | 19504 | 25821 257.15/257.27 c 255s | 14 | 100777 | 76452 | 109355 0 | 19504 | 25821 259.56/259.61 c 258s | 14 | 101265 | 76852 | 109355 0 | 19504 | 25821 261.76/261.88 c 260s | 14 | 101750 | 77252 | 109355 0 | 19504 | 25821 264.15/264.25 c 262s | 14 | 102196 | 77652 | 109355 0 | 19504 | 25821 266.55/266.67 c 265s | 14 | 102697 | 78052 | 109355 0 | 19504 | 25821 269.25/269.39 c 267s | 14 | 103189 | 78452 | 109355 0 | 19504 | 25821 271.66/271.78 c 270s | 14 | 103701 | 78852 | 109355 0 | 19504 | 25821 273.65/273.79 c 272s | 14 | 104222 | 79252 | 109355 0 | 19504 | 25821 275.75/275.87 c 274s | 14 | 104699 | 79652 | 109355 0 | 19504 | 25821 277.95/278.05 c 276s | 14 | 105181 | 80052 | 109355 0 | 19504 | 25821 280.35/280.45 c 278s | 14 | 105658 | 80452 | 109355 0 | 19504 | 25821 282.85/282.93 c 281s | 14 | 106117 | 80852 | 109355 0 | 19504 | 25821 284.86/284.93 c 283s | 14 | 106598 | 81252 | 109355 0 | 19504 | 25821 287.16/287.28 c 285s | 14 | 107233 | 81752 | 109355 0 | 19504 | 25821 289.36/289.47 c 287s | 14 | 107726 | 82152 | 109355 0 | 19504 | 25821 291.85/291.93 c 290s | 14 | 108203 | 82552 | 109355 0 | 19504 | 25821 294.15/294.24 c 292s | 14 | 108874 | 83052 | 109355 0 | 19504 | 25821 296.35/296.44 c 294s | 14 | 109551 | 83552 | 109355 0 | 19504 | 25821 298.65/298.76 c 297s | 14 | 110208 | 84052 | 109355 0 | 19504 | 25821 300.85/300.97 c 299s | 14 | 110709 | 84452 | 109355 0 | 19504 | 25821 302.95/303.00 c 301s | 14 | 111237 | 84852 | 109355 0 | 19504 | 25821 305.25/305.33 c 303s | 14 | 111945 | 85352 | 109355 0 | 19504 | 25821 307.45/307.59 c 306s | 14 | 112628 | 85852 | 109355 0 | 19504 | 25821 309.54/309.69 c 308s | 14 | 113303 | 86352 | 109355 0 | 19504 | 25821 311.64/311.70 c 310s | 14 | 113991 | 86852 | 109355 0 | 19504 | 25821 313.64/313.76 c 312s | 14 | 114480 | 87252 | 120291 0 | 19504 | 25821 315.54/315.65 c 314s | 15 | 114969 | 87632 | 120291 0 | 19504 | 25821 318.14/318.22 c 316s | 15 | 115477 | 88032 | 120291 0 | 19504 | 25821 320.24/320.39 c 318s | 15 | 116008 | 88432 | 120291 0 | 19504 | 25821 322.35/322.48 c 320s | 15 | 116529 | 88832 | 120291 0 | 19504 | 25821 324.94/325.08 c 323s | 15 | 117193 | 89332 | 120291 0 | 19504 | 25821 327.04/327.18 c 325s | 15 | 117742 | 89732 | 120291 0 | 19504 | 25821 329.34/329.43 c 327s | 15 | 118275 | 90132 | 120291 0 | 19504 | 25821 331.74/331.82 c 330s | 15 | 118939 | 90632 | 120291 0 | 19504 | 25821 333.74/333.83 c 332s | 15 | 119445 | 91032 | 120291 0 | 19504 | 25821 336.24/336.39 c 334s | 15 | 120068 | 91532 | 120291 0 | 19504 | 25821 338.34/338.48 c 336s | 15 | 120580 | 91932 | 120291 0 | 19504 | 25821 340.54/340.66 c 339s | 15 | 121073 | 92332 | 120291 0 | 19504 | 25821 342.84/342.90 c 341s | 15 | 121577 | 92732 | 120291 0 | 19504 | 25821 345.14/345.21 c 343s | 15 | 122086 | 93132 | 120291 0 | 19504 | 25821 347.44/347.56 c 346s | 15 | 122588 | 93532 | 120291 0 | 19504 | 25821 350.04/350.17 c 348s | 15 | 123094 | 93932 | 120291 0 | 19504 | 25821 352.64/352.73 c 351s | 15 | 123582 | 94332 | 120291 0 | 19504 | 25821 355.04/355.12 c 353s | 15 | 124066 | 94732 | 120291 0 | 19504 | 25821 357.14/357.27 c 355s | 15 | 124546 | 95132 | 120291 0 | 19504 | 25821 359.34/359.43 c 357s | 15 | 125069 | 95532 | 120291 0 | 19504 | 25821 361.54/361.66 c 360s | 15 | 125556 | 95932 | 120291 0 | 19504 | 25821 363.94/364.05 c 362s | 15 | 126042 | 96332 | 120291 0 | 19504 | 25821 366.03/366.19 c 364s | 15 | 126539 | 96732 | 120291 0 | 19504 | 25821 368.33/368.48 c 366s | 15 | 127048 | 97132 | 120291 0 | 19504 | 25821 370.53/370.66 c 369s | 15 | 127541 | 97532 | 120291 0 | 19504 | 25821 372.53/372.68 c 371s | 15 | 128131 | 97932 | 120291 0 | 19504 | 25821 374.93/375.03 c 373s | 15 | 128821 | 98432 | 120291 0 | 19504 | 25821 377.13/377.28 c 375s | 15 | 129475 | 98932 | 120291 0 | 19504 | 25821 379.44/379.52 c 377s | 15 | 130103 | 99432 | 120291 0 | 19504 | 25821 381.93/382.07 c 380s | 15 | 130610 | 99832 | 120291 0 | 19504 | 25821 384.13/384.22 c 382s | 15 | 131134 | 100232 | 120291 0 | 19504 | 25821 386.33/386.46 c 384s | 15 | 131812 | 100732 | 120291 0 | 19504 | 25821 388.93/389.00 c 387s | 15 | 132365 | 101132 | 120291 0 | 19504 | 25821 391.43/391.50 c 389s | 15 | 132912 | 101532 | 120291 0 | 19504 | 25821 394.03/394.14 c 392s | 15 | 133437 | 101932 | 120291 0 | 19504 | 25821 396.43/396.53 c 394s | 15 | 133960 | 102332 | 120291 0 | 19504 | 25821 399.13/399.23 c 397s | 15 | 134453 | 102732 | 120291 0 | 19504 | 25821 401.63/401.77 c 400s | 15 | 134928 | 103132 | 120291 0 | 19504 | 25821 404.03/404.17 c 402s | 15 | 135421 | 103532 | 120291 0 | 19504 | 25821 406.23/406.35 c 404s | 15 | 135902 | 103932 | 120291 0 | 19504 | 25821 408.83/408.98 c 407s | 15 | 136410 | 104332 | 120291 0 | 19504 | 25821 410.93/411.01 c 409s | 15 | 136775 | 104632 | 120291 0 | 19504 | 25821 412.93/413.05 c 411s | 15 | 137148 | 104932 | 120291 0 | 19504 | 25821 415.53/415.69 c 414s | 15 | 137697 | 105332 | 120291 0 | 19504 | 25821 417.63/417.74 c 416s | 15 | 138078 | 105632 | 120291 0 | 19504 | 25821 419.83/419.92 c 418s | 15 | 138432 | 105932 | 120291 0 | 19504 | 25821 421.92/422.09 c 420s | 15 | 138766 | 106232 | 120291 0 | 19504 | 25821 424.32/424.41 c 422s | 15 | 139146 | 106532 | 120291 0 | 19504 | 25821 426.62/426.73 c 425s | 15 | 139503 | 106832 | 120291 0 | 19504 | 25821 428.82/428.98 c 427s | 15 | 139893 | 107132 | 120291 0 | 19504 | 25821 431.23/431.38 c 429s | 15 | 140245 | 107432 | 120291 0 | 19504 | 25821 433.33/433.42 c 431s | 15 | 140720 | 107732 | 120291 0 | 19504 | 25821 435.82/435.97 c 434s | 15 | 141209 | 108132 | 120291 0 | 19504 | 25821 437.92/438.01 c 436s | 15 | 141609 | 108432 | 120291 0 | 19504 | 25821 440.22/440.39 c 438s | 15 | 142246 | 108932 | 120291 0 | 19504 | 25821 442.72/442.81 c 441s | 15 | 142731 | 109332 | 120291 0 | 19504 | 25821 445.02/445.11 c 443s | 15 | 143238 | 109732 | 120291 0 | 19504 | 25821 447.02/447.17 c 445s | 15 | 143631 | 110032 | 120291 0 | 19504 | 25821 449.02/449.19 c 447s | 15 | 144017 | 110332 | 120291 0 | 19504 | 25821 451.22/451.38 c 449s | 15 | 144527 | 110732 | 120291 0 | 19504 | 25821 453.92/454.06 c 452s | 15 | 145118 | 111232 | 120291 0 | 19504 | 25821 456.12/456.29 c 454s | 15 | 145657 | 111632 | 120291 0 | 19504 | 25821 458.32/458.44 c 456s | 15 | 146146 | 112032 | 120291 0 | 19504 | 25821 460.52/460.66 c 459s | 15 | 146763 | 112532 | 120291 0 | 19504 | 25821 462.72/462.89 c 461s | 15 | 147470 | 113032 | 120291 0 | 19504 | 25821 464.92/465.00 c 463s | 15 | 148181 | 113532 | 120291 0 | 19504 | 25821 466.92/467.08 c 465s | 15 | 148793 | 114032 | 120291 0 | 19504 | 25821 469.12/469.28 c 467s | 15 | 149372 | 114532 | 120291 0 | 19504 | 25821 471.22/471.38 c 469s | 15 | 150083 | 115032 | 120291 0 | 19504 | 25821 473.62/473.79 c 472s | 15 | 150590 | 115432 | 120291 0 | 19504 | 25821 476.02/476.13 c 474s | 15 | 151073 | 115832 | 120291 0 | 19504 | 25821 478.12/478.27 c 476s | 15 | 151574 | 116232 | 120291 0 | 19504 | 25821 480.52/480.69 c 479s | 15 | 152027 | 116632 | 120291 0 | 19504 | 25821 482.61/482.78 c 481s | 15 | 152418 | 116932 | 120291 0 | 19504 | 25821 485.02/485.17 c 483s | 15 | 152917 | 117332 | 120291 0 | 19504 | 25821 487.41/487.51 c 485s | 15 | 153402 | 117732 | 120291 0 | 19504 | 25821 489.42/489.60 c 488s | 15 | 153741 | 118032 | 120291 0 | 19504 | 25821 491.72/491.89 c 490s | 15 | 154100 | 118332 | 120291 0 | 19504 | 25821 494.01/494.18 c 492s | 15 | 154487 | 118632 | 120291 0 | 19504 | 25821 496.12/496.27 c 494s | 15 | 154856 | 118932 | 120291 0 | 19504 | 25821 498.71/498.82 c 497s | 15 | 155329 | 119332 | 120291 0 | 19504 | 25821 500.91/501.02 c 499s | 15 | 155680 | 119632 | 120291 0 | 19504 | 25821 503.11/503.27 c 501s | 15 | 156023 | 119932 | 120291 0 | 19504 | 25821 505.41/505.57 c 504s | 15 | 156379 | 120232 | 120291 0 | 19504 | 25821 507.61/507.76 c 506s | 15 | 156739 | 120532 | 120291 0 | 19504 | 25821 509.81/510.00 c 508s | 15 | 157134 | 120832 | 120291 0 | 19504 | 25821 512.01/512.18 c 510s | 15 | 157515 | 121132 | 120291 0 | 19504 | 25821 514.72/514.81 c 513s | 15 | 158008 | 121532 | 120291 0 | 19504 | 25821 516.81/516.98 c 515s | 15 | 158369 | 121832 | 120291 0 | 19504 | 25821 519.41/519.54 c 517s | 15 | 158847 | 122232 | 120291 0 | 19504 | 25821 521.71/521.88 c 520s | 15 | 159300 | 122632 | 120291 0 | 19504 | 25821 524.21/524.37 c 522s | 15 | 159799 | 123032 | 120291 0 | 19504 | 25821 526.71/526.80 c 525s | 15 | 160154 | 123332 | 120291 0 | 19504 | 25821 528.71/528.89 c 527s | 15 | 160555 | 123632 | 120291 0 | 19504 | 25821 530.91/531.09 c 529s | 15 | 160935 | 123932 | 120291 0 | 19504 | 25821 533.51/533.62 c 532s | 15 | 161429 | 124332 | 120291 0 | 19504 | 25821 536.11/536.23 c 534s | 15 | 161900 | 124732 | 120291 0 | 19504 | 25821 538.11/538.27 c 536s | 15 | 162251 | 125032 | 120291 0 | 19504 | 25821 540.61/540.75 c 539s | 15 | 162718 | 125432 | 120291 0 | 19504 | 25821 542.80/542.92 c 541s | 15 | 163189 | 125832 | 120291 0 | 19504 | 25821 545.20/545.36 c 543s | 15 | 163695 | 126232 | 120291 0 | 19504 | 25821 547.30/547.43 c 545s | 15 | 164055 | 126532 | 120291 0 | 19504 | 25821 549.30/549.47 c 547s | 15 | 164476 | 126832 | 120291 0 | 19504 | 25821 551.60/551.71 c 550s | 15 | 165000 | 127232 | 120291 0 | 19504 | 25821 554.00/554.19 c 552s | 15 | 165621 | 127732 | 120291 0 | 19504 | 25821 556.20/556.31 c 554s | 15 | 166182 | 128132 | 120291 0 | 19504 | 25821 558.40/558.55 c 556s | 15 | 166705 | 128532 | 120291 0 | 19504 | 25821 561.01/561.12 c 559s | 15 | 167201 | 128932 | 120291 0 | 19504 | 25821 563.70/563.84 c 562s | 15 | 167576 | 129232 | 120291 0 | 19504 | 25821 566.20/566.30 c 564s | 15 | 167988 | 129532 | 120291 0 | 19504 | 25821 568.50/568.61 c 567s | 15 | 168345 | 129832 | 120291 0 | 19504 | 25821 570.50/570.68 c 569s | 15 | 168736 | 130132 | 120291 0 | 19504 | 25821 573.01/573.11 c 571s | 15 | 169153 | 130432 | 120291 0 | 19504 | 25821 575.40/575.53 c 573s | 15 | 169524 | 130732 | 132321 0 | 19504 | 25821 577.70/577.81 c 576s | 15 | 169901 | 131032 | 132321 0 | 19504 | 25821 579.90/580.09 c 578s | 15 | 170259 | 131332 | 132321 0 | 19504 | 25821 581.60/581.74 c 580s | 16 | 170516 | 131552 | 132321 0 | 19504 | 25821 583.70/583.85 c 582s | 16 | 170795 | 131752 | 132321 0 | 19504 | 25821 586.30/586.46 c 584s | 16 | 171108 | 132052 | 132321 0 | 19504 | 25821 588.70/588.84 c 587s | 16 | 171481 | 132352 | 132321 0 | 19504 | 25821 591.00/591.16 c 589s | 16 | 171864 | 132652 | 132321 0 | 19504 | 25821 593.40/593.54 c 591s | 16 | 172249 | 132952 | 132321 0 | 19504 | 25821 595.80/595.96 c 594s | 16 | 172610 | 133252 | 132321 0 | 19504 | 25821 597.80/597.98 c 596s | 16 | 173006 | 133552 | 132321 0 | 19504 | 25821 600.29/600.42 c 598s | 16 | 173361 | 133852 | 132321 0 | 19504 | 25821 602.49/602.67 c 601s | 16 | 173740 | 134152 | 132321 0 | 19504 | 25821 604.90/605.06 c 603s | 16 | 174081 | 134452 | 132321 0 | 19504 | 25821 606.99/607.15 c 605s | 16 | 174417 | 134752 | 132321 0 | 19504 | 25821 609.19/609.39 c 607s | 16 | 174762 | 135052 | 132321 0 | 19504 | 25821 611.79/611.97 c 610s | 16 | 175299 | 135452 | 132321 0 | 19504 | 25821 613.89/614.04 c 612s | 16 | 175664 | 135752 | 132321 0 | 19504 | 25821 616.39/616.59 c 615s | 16 | 176204 | 136152 | 132321 0 | 19504 | 25821 618.49/618.66 c 617s | 16 | 176573 | 136452 | 132321 0 | 19504 | 25821 621.19/621.30 c 619s | 16 | 177070 | 136852 | 132321 0 | 19504 | 25821 623.29/623.44 c 621s | 16 | 177432 | 137152 | 132321 0 | 19504 | 25821 625.80/625.91 c 624s | 16 | 177974 | 137552 | 132321 0 | 19504 | 25821 628.29/628.49 c 626s | 16 | 178479 | 137952 | 132321 0 | 19504 | 25821 630.89/631.06 c 629s | 16 | 178974 | 138352 | 132321 0 | 19504 | 25821 633.19/633.40 c 631s | 16 | 179344 | 138652 | 132321 0 | 19504 | 25821 635.59/635.76 c 634s | 16 | 179718 | 138952 | 132321 0 | 19504 | 25821 637.69/637.86 c 636s | 16 | 180070 | 139252 | 132321 0 | 19504 | 25821 640.20/640.39 c 638s | 16 | 180410 | 139552 | 132321 0 | 19504 | 25821 642.59/642.70 c 641s | 16 | 180757 | 139852 | 132321 0 | 19504 | 25821 644.99/645.11 c 643s | 16 | 181125 | 140152 | 132321 0 | 19504 | 25821 647.29/647.45 c 645s | 16 | 181507 | 140452 | 132321 0 | 19504 | 25821 649.89/650.08 c 648s | 16 | 181893 | 140752 | 132321 0 | 19504 | 25821 651.99/652.14 c 650s | 16 | 182274 | 141052 | 132321 0 | 19504 | 25821 654.19/654.31 c 652s | 16 | 182894 | 141552 | 132321 0 | 19504 | 25821 656.99/657.13 c 655s | 16 | 183403 | 141952 | 132321 0 | 19504 | 25821 659.79/659.96 c 658s | 16 | 183891 | 142352 | 132321 0 | 19504 | 25821 661.98/662.13 c 660s | 16 | 184273 | 142652 | 132321 0 | 19504 | 25821 664.98/665.17 c 663s | 16 | 184604 | 142952 | 132321 0 | 19504 | 25821 667.48/667.68 c 666s | 16 | 184977 | 143252 | 132321 0 | 19504 | 25821 670.08/670.27 c 668s | 16 | 185352 | 143552 | 132321 0 | 19504 | 25821 672.28/672.48 c 670s | 16 | 185791 | 143852 | 132321 0 | 19504 | 25821 674.58/674.74 c 673s | 16 | 186348 | 144252 | 132321 0 | 19504 | 25821 676.88/677.09 c 675s | 16 | 186880 | 144652 | 132321 0 | 19504 | 25821 678.98/679.12 c 677s | 16 | 187252 | 144952 | 132321 0 | 19504 | 25821 681.38/681.53 c 679s | 16 | 187755 | 145352 | 132321 0 | 19504 | 25821 683.98/684.20 c 682s | 16 | 188291 | 145752 | 132321 0 | 19504 | 25821 686.08/686.28 c 684s | 16 | 188709 | 146052 | 132321 0 | 19504 | 25821 688.59/688.73 c 687s | 16 | 189108 | 146352 | 132321 0 | 19504 | 25821 691.08/691.28 c 689s | 16 | 189496 | 146652 | 132321 0 | 19504 | 25821 693.48/693.61 c 692s | 16 | 189984 | 147052 | 132321 0 | 19504 | 25821 696.38/696.59 c 695s | 16 | 190487 | 147452 | 132321 0 | 19504 | 25821 698.88/699.01 c 697s | 16 | 191051 | 147852 | 132321 0 | 19504 | 25821 701.08/701.27 c 699s | 16 | 191399 | 148152 | 132321 0 | 19504 | 25821 703.58/703.77 c 702s | 16 | 191779 | 148452 | 132321 0 | 19504 | 25821 705.88/706.04 c 704s | 16 | 192161 | 148752 | 132321 0 | 19504 | 25821 707.98/708.18 c 706s | 16 | 192709 | 149152 | 132321 0 | 19504 | 25821 710.18/710.33 c 708s | 16 | 193106 | 149452 | 132321 0 | 19504 | 25821 712.88/713.06 c 711s | 16 | 193617 | 149852 | 132321 0 | 19504 | 25821 715.08/715.22 c 713s | 16 | 193963 | 150152 | 132321 0 | 19504 | 25821 717.18/717.38 c 715s | 16 | 194334 | 150452 | 132321 0 | 19504 | 25821 719.88/720.02 c 718s | 16 | 194686 | 150752 | 132321 0 | 19504 | 25821 721.98/722.17 c 720s | 16 | 195037 | 151052 | 132321 0 | 19504 | 25821 724.58/724.71 c 723s | 16 | 195584 | 151452 | 132321 0 | 19504 | 25821 727.37/727.51 c 725s | 16 | 196107 | 151852 | 132321 0 | 19504 | 25821 729.97/730.10 c 728s | 16 | 196444 | 152152 | 132321 0 | 19504 | 25821 732.37/732.52 c 730s | 16 | 196798 | 152452 | 132321 0 | 19504 | 25821 734.78/734.99 c 733s | 16 | 197311 | 152852 | 132321 0 | 19504 | 25821 736.98/737.15 c 735s | 16 | 197693 | 153152 | 132321 0 | 19504 | 25821 739.08/739.25 c 737s | 16 | 198087 | 153452 | 132321 0 | 19504 | 25821 741.57/741.70 c 740s | 16 | 198568 | 153852 | 132321 0 | 19504 | 25821 743.87/744.09 c 742s | 16 | 198971 | 154152 | 132321 0 | 19504 | 25821 746.07/746.24 c 744s | 16 | 199311 | 154452 | 132321 0 | 19504 | 25821 748.27/748.46 c 746s | 16 | 199455 | 154552 | 132321 1 | 19504 | 25821 750.27/750.49 c 748s | 16 | 199685 | 154752 | 132321 1 | 19504 | 25821 752.77/752.94 c 751s | 16 | 200296 | 155252 | 132321 1 | 19504 | 25821 755.07/755.26 c 753s | 16 | 200805 | 155652 | 132321 1 | 19504 | 25821 757.68/757.84 c 756s | 16 | 201295 | 156052 | 132321 1 | 19504 | 25821 759.99/760.19 c 758s | 16 | 201970 | 156552 | 132321 1 | 19504 | 25821 762.29/762.45 c 760s | 16 | 202431 | 156952 | 132321 1 | 19504 | 25821 764.58/764.79 c 763s | 16 | 202887 | 157352 | 132321 1 | 19504 | 25821 766.78/766.96 c 765s | 16 | 203363 | 157752 | 132321 1 | 19504 | 25821 768.98/769.16 c 767s | 16 | 203839 | 158152 | 132321 1 | 19504 | 25821 770.98/771.19 c 769s | 16 | 204206 | 158452 | 132321 1 | 19504 | 25821 773.38/773.54 c 771s | 16 | 204694 | 158852 | 132321 1 | 19504 | 25821 775.78/775.97 c 774s | 16 | 205167 | 159252 | 132321 1 | 19504 | 25821 778.27/778.45 c 776s | 16 | 205628 | 159652 | 132321 1 | 19504 | 25821 780.37/780.57 c 779s | 16 | 206096 | 160052 | 132321 1 | 19504 | 25821 782.37/782.59 c 781s | 16 | 206452 | 160352 | 132321 1 | 19504 | 25821 784.97/785.15 c 783s | 16 | 206909 | 160752 | 132321 1 | 19504 | 25821 787.48/787.65 c 786s | 16 | 207363 | 161152 | 132321 1 | 19504 | 25821 789.78/789.91 c 788s | 16 | 207827 | 161552 | 132321 1 | 19504 | 25821 792.17/792.37 c 790s | 16 | 208281 | 161952 | 132321 1 | 19504 | 25821 794.87/795.04 c 793s | 16 | 208638 | 162252 | 132321 1 | 19504 | 25821 797.07/797.23 c 795s | 16 | 208977 | 162552 | 132321 1 | 19504 | 25821 799.68/799.87 c 798s | 16 | 209442 | 162952 | 132321 1 | 19504 | 25821 802.27/802.41 c 800s | 16 | 209939 | 163352 | 132321 1 | 19504 | 25821 805.08/805.25 c 803s | 16 | 210405 | 163752 | 132321 1 | 19504 | 25821 807.38/807.57 c 806s | 16 | 210897 | 164152 | 132321 1 | 19504 | 25821 809.77/810.00 c 808s | 16 | 211366 | 164552 | 132321 1 | 19504 | 25821 812.07/812.26 c 810s | 16 | 211846 | 164952 | 132321 1 | 19504 | 25821 814.17/814.34 c 812s | 16 | 212228 | 165252 | 132321 1 | 19504 | 25821 816.27/816.46 c 814s | 16 | 212642 | 165552 | 132321 1 | 19504 | 25821 818.47/818.64 c 817s | 16 | 212987 | 165852 | 132321 1 | 19504 | 25821 820.87/821.09 c 819s | 16 | 213455 | 166252 | 132321 1 | 19504 | 25821 823.37/823.53 c 821s | 16 | 213985 | 166652 | 132321 1 | 19504 | 25821 825.87/826.01 c 824s | 16 | 214461 | 167052 | 132321 1 | 19504 | 25821 828.36/828.58 c 827s | 16 | 214973 | 167452 | 132321 1 | 19504 | 25821 830.66/830.85 c 829s | 16 | 215465 | 167852 | 132321 1 | 19504 | 25821 832.67/832.87 c 831s | 16 | 215838 | 168152 | 132321 1 | 19504 | 25821 834.87/835.02 c 833s | 16 | 216207 | 168452 | 132321 1 | 19504 | 25821 837.06/837.21 c 835s | 16 | 216697 | 168852 | 132321 1 | 19504 | 25821 839.26/839.43 c 837s | 16 | 217198 | 169252 | 132321 1 | 19504 | 25821 841.56/841.71 c 840s | 16 | 217715 | 169652 | 132321 1 | 19504 | 25821 843.85/844.08 c 842s | 16 | 218194 | 170052 | 132321 1 | 19504 | 25821 846.25/846.48 c 844s | 16 | 218689 | 170452 | 132321 1 | 19504 | 25821 848.75/848.93 c 847s | 16 | 219178 | 170852 | 132321 1 | 19504 | 25821 850.75/850.95 c 849s | 16 | 219656 | 171252 | 132321 1 | 19504 | 25821 852.85/853.09 c 851s | 16 | 220123 | 171652 | 132321 1 | 19504 | 25821 855.35/855.53 c 853s | 16 | 220646 | 172052 | 132321 1 | 19504 | 25821 857.44/857.67 c 856s | 16 | 221103 | 172452 | 132321 1 | 19504 | 25821 859.84/860.06 c 858s | 16 | 221607 | 172852 | 132321 1 | 19504 | 25821 861.94/862.16 c 860s | 16 | 222117 | 173252 | 132321 1 | 19504 | 25821 864.14/864.39 c 862s | 16 | 222627 | 173652 | 132321 1 | 19504 | 25821 866.44/866.60 c 865s | 16 | 223140 | 174052 | 132321 1 | 19504 | 25821 868.54/868.78 c 867s | 16 | 223512 | 174352 | 132321 1 | 19504 | 25821 870.84/871.06 c 869s | 16 | 223973 | 174752 | 132321 1 | 19504 | 25821 873.14/873.39 c 871s | 16 | 224454 | 175152 | 132321 1 | 19504 | 25821 875.34/875.59 c 874s | 16 | 224925 | 175552 | 132321 1 | 19504 | 25821 877.64/877.81 c 876s | 16 | 225426 | 175952 | 132321 1 | 19504 | 25821 880.13/880.32 c 878s | 16 | 225883 | 176352 | 132321 1 | 19504 | 25821 882.43/882.61 c 881s | 16 | 226382 | 176752 | 132321 1 | 19504 | 25821 884.73/884.98 c 883s | 16 | 226847 | 177152 | 132321 1 | 19504 | 25821 887.33/887.50 c 885s | 16 | 227349 | 177552 | 132321 1 | 19504 | 25821 889.33/889.50 c 887s | 16 | 227819 | 177952 | 132321 1 | 19504 | 25821 891.33/891.51 c 889s | 16 | 228199 | 178252 | 132321 1 | 19504 | 25821 893.43/893.67 c 892s | 16 | 228560 | 178552 | 132321 1 | 19504 | 25821 895.73/895.91 c 894s | 16 | 228981 | 178852 | 132321 1 | 19504 | 25821 898.02/898.27 c 896s | 16 | 229366 | 179152 | 132321 1 | 19504 | 25821 900.62/900.80 c 899s | 16 | 229871 | 179552 | 132321 1 | 19504 | 25821 902.72/902.95 c 901s | 16 | 230231 | 179852 | 132321 1 | 19504 | 25821 905.32/905.58 c 904s | 16 | 230730 | 180252 | 132321 1 | 19504 | 25821 907.52/907.76 c 906s | 16 | 231079 | 180552 | 132321 1 | 19504 | 25821 909.72/909.93 c 908s | 16 | 231596 | 180952 | 132321 1 | 19504 | 25821 912.32/912.56 c 911s | 16 | 232050 | 181352 | 132321 1 | 19504 | 25821 915.13/915.33 c 913s | 16 | 232511 | 181752 | 132321 1 | 19504 | 25821 917.41/917.66 c 916s | 16 | 232888 | 182052 | 132321 1 | 19504 | 25821 919.91/920.13 c 918s | 16 | 233357 | 182452 | 132321 1 | 19504 | 25821 922.21/922.41 c 920s | 16 | 233745 | 182752 | 132321 1 | 19504 | 25821 924.31/924.58 c 923s | 16 | 234119 | 183052 | 132321 1 | 19504 | 25821 926.91/927.12 c 925s | 16 | 234608 | 183452 | 132321 1 | 19504 | 25821 929.32/929.52 c 927s | 16 | 235078 | 183852 | 132321 1 | 19504 | 25821 931.62/931.87 c 930s | 16 | 235425 | 184152 | 132321 1 | 19504 | 25821 933.91/934.17 c 932s | 16 | 235785 | 184452 | 132321 1 | 19504 | 25821 936.31/936.57 c 935s | 16 | 236151 | 184752 | 132321 1 | 19504 | 25821 938.90/939.16 c 937s | 16 | 236506 | 185052 | 132321 1 | 19504 | 25821 940.90/941.17 c 939s | 16 | 236732 | 185252 | 132321 1 | 19504 | 25821 943.20/943.41 c 941s | 16 | 237130 | 185552 | 132321 1 | 19504 | 25821 945.81/946.04 c 944s | 16 | 237494 | 185852 | 132321 1 | 19504 | 25821 948.29/948.50 c 946s | 16 | 237892 | 186152 | 132321 1 | 19504 | 25821 950.99/951.21 c 949s | 16 | 238407 | 186552 | 132321 1 | 19504 | 25821 953.50/953.74 c 952s | 16 | 238892 | 186952 | 132321 1 | 19504 | 25821 955.49/955.75 c 954s | 16 | 239266 | 187252 | 132321 1 | 19504 | 25821 957.99/958.28 c 956s | 16 | 239797 | 187652 | 132321 1 | 19504 | 25821 960.89/961.11 c 959s | 16 | 240296 | 188052 | 132321 1 | 19504 | 25821 963.49/963.74 c 962s | 16 | 240824 | 188452 | 132321 1 | 19504 | 25821 965.79/966.00 c 964s | 16 | 241202 | 188752 | 132321 1 | 19504 | 25821 968.28/968.51 c 966s | 16 | 241702 | 189152 | 132321 1 | 19504 | 25821 970.68/970.92 c 969s | 16 | 242064 | 189452 | 132321 1 | 19504 | 25821 972.78/973.06 c 971s | 16 | 242415 | 189752 | 132321 1 | 19504 | 25821 975.38/975.63 c 974s | 16 | 242787 | 190052 | 132321 1 | 19504 | 25821 977.68/977.92 c 976s | 16 | 243140 | 190352 | 132321 1 | 19504 | 25821 980.18/980.45 c 978s | 16 | 243492 | 190652 | 132321 1 | 19504 | 25821 982.38/982.61 c 981s | 16 | 243882 | 190952 | 132321 1 | 19504 | 25821 984.78/985.03 c 983s | 16 | 244363 | 191352 | 132321 1 | 19504 | 25821 986.77/987.04 c 985s | 16 | 244730 | 191652 | 132321 1 | 19504 | 25821 988.87/989.13 c 987s | 16 | 245113 | 191952 | 132321 1 | 19504 | 25821 991.47/991.71 c 990s | 16 | 245587 | 192352 | 132321 1 | 19504 | 25821 993.67/993.94 c 992s | 16 | 246076 | 192752 | 132321 1 | 19504 | 25821 995.97/996.29 c 994s | 16 | 246554 | 193152 | 132321 1 | 19504 | 25821 998.37/998.60 c 997s | 16 | 246921 | 193452 | 132321 1 | 19504 | 25821 1000.57/1000.84 c 999s | 16 | 247317 | 193752 | 132321 1 | 19504 | 25821 1002.97/1003.23 c 1001s | 16 | 247666 | 194052 | 132321 1 | 19504 | 25821 1004.97/1005.29 c 1003s | 16 | 248021 | 194352 | 132321 1 | 19504 | 25821 1007.37/1007.66 c 1006s | 16 | 248374 | 194652 | 132321 1 | 19504 | 25821 1009.46/1009.72 c 1008s | 16 | 248722 | 194952 | 132321 1 | 19504 | 25821 1011.56/1011.87 c 1010s | 16 | 249108 | 195252 | 132321 1 | 19504 | 25821 1015.96/1016.26 c 1014s | 16 | 249239 | 195352 | 132321 1 | 19504 | 25821 1018.36/1018.63 c 1017s | 16 | 249622 | 195652 | 132321 1 | 19504 | 25821 1020.66/1020.93 c 1019s | 16 | 250186 | 196052 | 132321 1 | 19504 | 25821 1022.95/1023.25 c 1021s | 16 | 250748 | 196452 | 145554 1 | 19504 | 25821 1025.65/1025.95 c 1024s | 16 | 251365 | 196852 | 145554 1 | 19504 | 25821 1028.05/1028.33 c 1026s | 16 | 251783 | 197152 | 145554 1 | 19504 | 25821 1029.95/1030.20 c 1028s | 17 | 252174 | 197432 | 145554 1 | 19504 | 25821 1032.55/1032.88 c 1031s | 17 | 252545 | 197732 | 145554 1 | 19504 | 25821 1034.86/1035.18 c 1033s | 17 | 252916 | 198032 | 145554 1 | 19504 | 25821 1037.05/1037.32 c 1035s | 17 | 253319 | 198332 | 145554 1 | 19504 | 25821 1039.55/1039.80 c 1038s | 17 | 253808 | 198732 | 145554 1 | 19504 | 25821 1041.55/1041.84 c 1040s | 17 | 254166 | 199032 | 145554 1 | 19504 | 25821 1044.35/1044.66 c 1043s | 17 | 254648 | 199432 | 145554 1 | 19504 | 25821 1046.95/1047.22 c 1045s | 17 | 255135 | 199832 | 145554 1 | 19504 | 25821 1048.94/1049.27 c 1047s | 17 | 255514 | 200132 | 145554 1 | 19504 | 25821 1051.04/1051.35 c 1049s | 17 | 255881 | 200432 | 145554 1 | 19504 | 25821 1053.14/1053.43 c 1051s | 17 | 256226 | 200732 | 145554 1 | 19504 | 25821 1055.24/1055.60 c 1054s | 17 | 256576 | 201032 | 145554 1 | 19504 | 25821 1057.73/1058.09 c 1056s | 17 | 257073 | 201432 | 145554 1 | 19504 | 25821 1059.93/1060.27 c 1058s | 17 | 257428 | 201732 | 145554 1 | 19504 | 25821 1062.13/1062.42 c 1060s | 17 | 257797 | 202032 | 145554 1 | 19504 | 25821 1064.33/1064.64 c 1063s | 17 | 258344 | 202432 | 145554 1 | 19504 | 25821 1067.13/1067.46 c 1065s | 17 | 258853 | 202832 | 145554 1 | 19504 | 25821 1069.43/1069.74 c 1068s | 17 | 259204 | 203132 | 145554 1 | 19504 | 25821 1072.33/1072.62 c 1071s | 17 | 259554 | 203432 | 145554 1 | 19504 | 25821 1075.03/1075.36 c 1073s | 17 | 259904 | 203732 | 145554 1 | 19504 | 25821 1077.12/1077.43 c 1075s | 17 | 260271 | 204032 | 145554 1 | 19504 | 25821 1079.42/1079.78 c 1078s | 17 | 260626 | 204332 | 145554 1 | 19504 | 25821 1081.92/1082.24 c 1080s | 17 | 260993 | 204632 | 145554 1 | 19504 | 25821 1084.52/1084.88 c 1083s | 17 | 261355 | 204932 | 145554 1 | 19504 | 25821 1087.12/1087.44 c 1085s | 17 | 261701 | 205232 | 145554 1 | 19504 | 25821 1089.72/1090.09 c 1088s | 17 | 262066 | 205532 | 145554 1 | 19504 | 25821 1092.52/1092.84 c 1091s | 17 | 262421 | 205832 | 145554 1 | 19504 | 25821 1095.02/1095.30 c 1093s | 17 | 262767 | 206132 | 145554 1 | 19504 | 25821 1097.41/1097.71 c 1096s | 17 | 263124 | 206432 | 145554 1 | 19504 | 25821 1099.41/1099.76 c 1098s | 17 | 263513 | 206732 | 145554 1 | 19504 | 25821 1101.41/1101.79 c 1100s | 17 | 263892 | 207032 | 145554 1 | 19504 | 25821 1103.91/1104.20 c 1102s | 17 | 264248 | 207332 | 145554 1 | 19504 | 25821 1106.32/1106.68 c 1105s | 17 | 264575 | 207632 | 145554 1 | 19504 | 25821 1108.90/1109.25 c 1107s | 17 | 264945 | 207932 | 145554 1 | 19504 | 25821 1111.70/1112.02 c 1110s | 17 | 265458 | 208332 | 145554 1 | 19504 | 25821 1113.80/1114.19 c 1112s | 17 | 265822 | 208632 | 145554 1 | 19504 | 25821 1116.50/1116.87 c 1115s | 17 | 266217 | 208932 | 145554 1 | 19504 | 25821 1119.20/1119.55 c 1117s | 17 | 266588 | 209232 | 145554 1 | 19504 | 25821 1122.10/1122.41 c 1120s | 17 | 266960 | 209532 | 145554 1 | 19504 | 25821 1124.70/1125.02 c 1123s | 17 | 267313 | 209832 | 145554 1 | 19504 | 25821 1127.09/1127.42 c 1125s | 17 | 267685 | 210132 | 145554 1 | 19504 | 25821 1129.69/1130.03 c 1128s | 17 | 268064 | 210432 | 145554 1 | 19504 | 25821 1131.79/1132.18 c 1130s | 17 | 268434 | 210732 | 145554 1 | 19504 | 25821 1134.59/1134.95 c 1133s | 17 | 268781 | 211032 | 145554 1 | 19504 | 25821 1136.90/1137.26 c 1135s | 17 | 269150 | 211332 | 145554 1 | 19504 | 25821 1139.80/1140.10 c 1138s | 17 | 269502 | 211632 | 145554 1 | 19504 | 25821 1142.50/1142.85 c 1141s | 17 | 269872 | 211932 | 145554 1 | 19504 | 25821 1144.80/1145.19 c 1143s | 17 | 270205 | 212232 | 145554 1 | 19504 | 25821 1147.39/1147.72 c 1146s | 17 | 270549 | 212532 | 145554 1 | 19504 | 25821 1150.30/1150.63 c 1149s | 17 | 270914 | 212832 | 145554 1 | 19504 | 25821 1152.99/1153.35 c 1151s | 17 | 271300 | 213132 | 145554 1 | 19504 | 25821 1155.29/1155.67 c 1154s | 17 | 271686 | 213432 | 145554 1 | 19504 | 25821 1157.59/1157.97 c 1156s | 17 | 272036 | 213732 | 145554 1 | 19504 | 25821 1160.39/1160.70 c 1159s | 17 | 272519 | 214132 | 145554 1 | 19504 | 25821 1162.39/1162.76 c 1161s | 17 | 272898 | 214432 | 145554 1 | 19504 | 25821 1164.88/1165.21 c 1163s | 17 | 273392 | 214832 | 145554 1 | 19504 | 25821 1166.99/1167.31 c 1165s | 17 | 273789 | 215132 | 145554 1 | 19504 | 25821 1169.48/1169.86 c 1168s | 17 | 274187 | 215432 | 145554 1 | 19504 | 25821 1171.88/1172.29 c 1170s | 17 | 274571 | 215732 | 145554 1 | 19504 | 25821 1174.78/1175.10 c 1173s | 17 | 274910 | 216032 | 145554 1 | 19504 | 25821 1176.88/1177.25 c 1175s | 17 | 275148 | 216232 | 145554 1 | 19504 | 25821 1179.28/1179.66 c 1178s | 17 | 275515 | 216532 | 145554 1 | 19504 | 25821 1181.48/1181.83 c 1180s | 17 | 275891 | 216832 | 145554 1 | 19504 | 25821 1183.58/1183.93 c 1182s | 17 | 276263 | 217132 | 145554 1 | 19504 | 25821 1185.78/1186.12 c 1184s | 17 | 276613 | 217432 | 145554 1 | 19504 | 25821 1188.68/1189.02 c 1187s | 17 | 277089 | 217832 | 145554 1 | 19504 | 25821 1190.88/1191.27 c 1189s | 17 | 277462 | 218132 | 145554 1 | 19504 | 25821 1193.58/1193.93 c 1192s | 17 | 277855 | 218432 | 145554 1 | 19504 | 25821 1195.58/1195.94 c 1194s | 17 | 278095 | 218632 | 145554 1 | 19504 | 25821 1197.87/1198.22 c 1196s | 17 | 278461 | 218932 | 145554 1 | 19504 | 25821 1200.47/1200.81 c 1199s | 17 | 279000 | 219332 | 145554 1 | 19504 | 25821 1202.97/1203.36 c 1201s | 17 | 279377 | 219632 | 145554 1 | 19504 | 25821 1205.57/1205.98 c 1204s | 17 | 279750 | 219932 | 145554 1 | 19504 | 25821 1208.17/1208.53 c 1206s | 17 | 280110 | 220232 | 145554 1 | 19504 | 25821 1210.47/1210.85 c 1209s | 17 | 280481 | 220532 | 145554 1 | 19504 | 25821 1212.97/1213.32 c 1211s | 17 | 280845 | 220832 | 145554 1 | 19504 | 25821 1215.77/1216.10 c 1214s | 17 | 281232 | 221132 | 145554 1 | 19504 | 25821 1218.36/1218.76 c 1217s | 17 | 281595 | 221432 | 145554 1 | 19504 | 25821 1220.77/1221.19 c 1219s | 17 | 282009 | 221732 | 145554 1 | 19504 | 25821 1223.46/1223.80 c 1222s | 17 | 282391 | 222032 | 145554 1 | 19504 | 25821 1225.56/1225.96 c 1224s | 17 | 282762 | 222332 | 145554 1 | 19504 | 25821 1227.85/1228.27 c 1226s | 17 | 283115 | 222632 | 145554 1 | 19504 | 25821 1230.15/1230.54 c 1228s | 17 | 283469 | 222932 | 145554 1 | 19504 | 25821 1232.65/1233.05 c 1231s | 17 | 283839 | 223232 | 145554 1 | 19504 | 25821 1235.15/1235.50 c 1233s | 17 | 284192 | 223532 | 145554 1 | 19504 | 25821 1237.55/1237.98 c 1236s | 17 | 284577 | 223832 | 145554 1 | 19504 | 25821 1239.85/1240.23 c 1238s | 17 | 284934 | 224132 | 145554 1 | 19504 | 25821 1242.15/1242.59 c 1241s | 17 | 285327 | 224432 | 145554 1 | 19504 | 25821 1244.85/1245.22 c 1243s | 17 | 285694 | 224732 | 145554 1 | 19504 | 25821 1247.15/1247.59 c 1246s | 17 | 286080 | 225032 | 145554 1 | 19504 | 25821 1250.04/1250.48 c 1248s | 17 | 286501 | 225332 | 145554 1 | 19504 | 25821 1252.74/1253.10 c 1251s | 17 | 286904 | 225632 | 145554 1 | 19504 | 25821 1255.24/1255.65 c 1254s | 17 | 287299 | 225932 | 145554 1 | 19504 | 25821 1257.83/1258.29 c 1256s | 17 | 287681 | 226232 | 145554 1 | 19504 | 25821 1260.03/1260.47 c 1258s | 17 | 287923 | 226432 | 145554 1 | 19504 | 25821 1262.13/1262.52 c 1260s | 17 | 288185 | 226632 | 145554 1 | 19504 | 25821 1264.83/1265.24 c 1263s | 17 | 288544 | 226932 | 145554 1 | 19504 | 25821 1267.82/1268.21 c 1266s | 17 | 288914 | 227232 | 145554 1 | 19504 | 25821 1270.42/1270.85 c 1269s | 17 | 289284 | 227532 | 145554 1 | 19504 | 25821 1272.52/1272.92 c 1271s | 17 | 289509 | 227732 | 145554 1 | 19504 | 25821 1275.73/1276.18 c 1274s | 17 | 289894 | 228032 | 145554 1 | 19504 | 25821 1277.92/1278.32 c 1276s | 17 | 290112 | 228232 | 145554 1 | 19504 | 25821 1280.12/1280.59 c 1279s | 17 | 290355 | 228432 | 145554 1 | 19504 | 25821 1282.82/1283.23 c 1281s | 17 | 290597 | 228632 | 145554 1 | 19504 | 25821 1285.32/1285.74 c 1284s | 17 | 290818 | 228832 | 145554 1 | 19504 | 25821 1287.82/1288.29 c 1286s | 17 | 291049 | 229032 | 145554 1 | 19504 | 25821 1290.51/1290.97 c 1289s | 17 | 291280 | 229232 | 145554 1 | 19504 | 25821 1292.91/1293.34 c 1291s | 17 | 291518 | 229432 | 145554 1 | 19504 | 25821 1295.31/1295.73 c 1294s | 17 | 291724 | 229632 | 145554 1 | 19504 | 25821 1298.00/1298.47 c 1296s | 17 | 291949 | 229832 | 145554 1 | 19504 | 25821 1300.40/1300.83 c 1299s | 17 | 292235 | 230032 | 145554 1 | 19504 | 25821 1303.11/1303.60 c 1302s | 17 | 292624 | 230332 | 145554 1 | 19504 | 25821 1305.20/1305.70 c 1304s | 17 | 292859 | 230532 | 145554 1 | 19504 | 25821 1307.70/1308.15 c 1306s | 17 | 293097 | 230732 | 145554 1 | 19504 | 25821 1310.40/1310.89 c 1309s | 17 | 293308 | 230932 | 145554 1 | 19504 | 25821 1313.10/1313.55 c 1311s | 17 | 293518 | 231132 | 145554 1 | 19504 | 25821 1315.70/1316.16 c 1314s | 17 | 293748 | 231332 | 145554 1 | 19504 | 25821 1318.39/1318.88 c 1317s | 17 | 293989 | 231532 | 145554 1 | 19504 | 25821 1320.99/1321.49 c 1319s | 17 | 294227 | 231732 | 145554 1 | 19504 | 25821 1323.49/1323.94 c 1322s | 17 | 294458 | 231932 | 145554 1 | 19504 | 25821 1325.79/1326.24 c 1324s | 17 | 294688 | 232132 | 145554 1 | 19504 | 25821 1327.99/1328.42 c 1326s | 17 | 294923 | 232332 | 145554 1 | 19504 | 25821 1329.99/1330.47 c 1328s | 17 | 295160 | 232532 | 145554 1 | 19504 | 25821 1332.29/1332.75 c 1331s | 17 | 295401 | 232732 | 145554 1 | 19504 | 25821 1334.59/1335.06 c 1333s | 17 | 295659 | 232932 | 145554 1 | 19504 | 25821 1336.88/1337.33 c 1335s | 17 | 295896 | 233132 | 145554 1 | 19504 | 25821 1339.68/1340.19 c 1338s | 17 | 296274 | 233432 | 145554 1 | 19504 | 25821 1342.48/1342.94 c 1341s | 17 | 296659 | 233732 | 145554 1 | 19504 | 25821 1345.08/1345.58 c 1344s | 17 | 297030 | 234032 | 145554 1 | 19504 | 25821 1348.07/1348.57 c 1347s | 17 | 297425 | 234332 | 145554 1 | 19504 | 25821 1350.67/1351.15 c 1349s | 17 | 297659 | 234532 | 145554 1 | 19504 | 25821 1353.68/1354.14 c 1352s | 17 | 297914 | 234732 | 145554 1 | 19504 | 25821 1356.27/1356.72 c 1355s | 17 | 298154 | 234932 | 145554 1 | 19504 | 25821 1358.57/1359.05 c 1357s | 17 | 298376 | 235132 | 145554 1 | 19504 | 25821 1360.87/1361.36 c 1359s | 17 | 298591 | 235332 | 145554 1 | 19504 | 25821 1363.47/1363.90 c 1362s | 17 | 298818 | 235532 | 145554 1 | 19504 | 25821 1365.78/1366.21 c 1364s | 17 | 299046 | 235732 | 145554 1 | 19504 | 25821 1368.26/1368.79 c 1367s | 17 | 299275 | 235932 | 145554 1 | 19504 | 25821 1370.96/1371.43 c 1369s | 17 | 299492 | 236132 | 145554 1 | 19504 | 25821 1373.36/1373.85 c 1372s | 17 | 299730 | 236332 | 145554 1 | 19504 | 25821 1375.96/1376.48 c 1374s | 17 | 299963 | 236532 | 145554 1 | 19504 | 25821 1378.46/1378.93 c 1377s | 17 | 300194 | 236732 | 145554 1 | 19504 | 25821 1380.76/1381.20 c 1379s | 17 | 300418 | 236932 | 145554 1 | 19504 | 25821 1382.86/1383.39 c 1381s | 17 | 300651 | 237132 | 145554 1 | 19504 | 25821 1384.96/1385.42 c 1383s | 17 | 300861 | 237332 | 145554 1 | 19504 | 25821 1387.35/1387.80 c 1386s | 17 | 301095 | 237532 | 145554 1 | 19504 | 25821 1390.06/1390.58 c 1389s | 17 | 301319 | 237732 | 145554 1 | 19504 | 25821 1392.45/1392.94 c 1391s | 17 | 301538 | 237932 | 145554 1 | 19504 | 25821 1394.75/1395.20 c 1393s | 17 | 301780 | 238132 | 145554 1 | 19504 | 25821 1397.75/1398.22 c 1396s | 17 | 302143 | 238432 | 145554 1 | 19504 | 25821 1399.95/1400.42 c 1398s | 17 | 302388 | 238632 | 145554 1 | 19504 | 25821 1402.34/1402.80 c 1401s | 17 | 302617 | 238832 | 145554 1 | 19504 | 25821 1404.84/1405.32 c 1403s | 17 | 302850 | 239032 | 145554 1 | 19504 | 25821 1407.84/1408.31 c 1406s | 17 | 303237 | 239332 | 145554 1 | 19504 | 25821 1409.94/1410.42 c 1408s | 17 | 303497 | 239532 | 145554 1 | 19504 | 25821 1411.95/1412.45 c 1410s | 17 | 303728 | 239732 | 145554 1 | 19504 | 25821 1414.84/1415.32 c 1413s | 17 | 304066 | 240032 | 145554 1 | 19504 | 25821 1417.83/1418.31 c 1416s | 17 | 304457 | 240332 | 145554 1 | 19504 | 25821 1419.83/1420.40 c 1418s | 17 | 304684 | 240532 | 145554 1 | 19504 | 25821 1422.83/1423.40 c 1421s | 17 | 305059 | 240832 | 145554 1 | 19504 | 25821 1425.73/1426.28 c 1424s | 17 | 305419 | 241132 | 145554 1 | 19504 | 25821 1428.72/1429.24 c 1427s | 17 | 305793 | 241432 | 145554 1 | 19504 | 25821 1431.42/1431.98 c 1430s | 17 | 306157 | 241732 | 145554 1 | 19504 | 25821 1433.62/1434.14 c 1432s | 17 | 306422 | 241932 | 145554 1 | 19504 | 25821 1435.72/1436.26 c 1434s | 17 | 306632 | 242132 | 145554 1 | 19504 | 25821 1437.92/1438.45 c 1436s | 17 | 306869 | 242332 | 145554 1 | 19504 | 25821 1440.02/1440.59 c 1439s | 17 | 307088 | 242532 | 145554 1 | 19504 | 25821 1442.32/1442.88 c 1441s | 17 | 307318 | 242732 | 145554 1 | 19504 | 25821 1444.32/1444.89 c 1443s | 17 | 307563 | 242932 | 145554 1 | 19504 | 25821 1446.82/1447.37 c 1445s | 17 | 307794 | 243132 | 145554 1 | 19504 | 25821 1449.02/1449.55 c 1447s | 17 | 308020 | 243332 | 145554 1 | 19504 | 25821 1451.42/1451.98 c 1450s | 17 | 308262 | 243532 | 145554 1 | 19504 | 25821 1456.52/1457.02 c 1455s | 17 | 308391 | 243632 | 145554 2 | 19504 | 25821 1458.52/1459.05 c 1457s | 17 | 308800 | 243932 | 145554 2 | 19504 | 25821 1461.22/1461.72 c 1460s | 17 | 309040 | 244132 | 145554 2 | 19504 | 25821 1463.92/1464.41 c 1462s | 17 | 309544 | 244532 | 145554 2 | 19504 | 25821 1466.42/1466.90 c 1465s | 17 | 310014 | 244932 | 145554 2 | 19504 | 25821 1469.12/1469.65 c 1468s | 17 | 310502 | 245332 | 145554 2 | 19504 | 25821 1471.61/1472.12 c 1470s | 17 | 311029 | 245732 | 145554 2 | 19504 | 25821 1473.91/1474.46 c 1472s | 17 | 311522 | 246132 | 145554 2 | 19504 | 25821 1476.01/1476.51 c 1474s | 17 | 311875 | 246432 | 145554 2 | 19504 | 25821 1478.51/1479.05 c 1477s | 17 | 312389 | 246832 | 145554 2 | 19504 | 25821 1480.51/1481.07 c 1479s | 17 | 312760 | 247132 | 145554 2 | 19504 | 25821 1482.81/1483.33 c 1481s | 17 | 313103 | 247432 | 145554 2 | 19504 | 25821 1485.51/1486.01 c 1484s | 17 | 313609 | 247832 | 145554 2 | 19504 | 25821 1487.61/1488.13 c 1486s | 17 | 313974 | 248132 | 145554 2 | 19504 | 25821 1489.71/1490.28 c 1488s | 17 | 314353 | 248432 | 145554 2 | 19504 | 25821 1491.91/1492.45 c 1490s | 17 | 314825 | 248832 | 145554 2 | 19504 | 25821 1494.42/1494.92 c 1493s | 17 | 315324 | 249232 | 145554 2 | 19504 | 25821 1496.62/1497.15 c 1495s | 17 | 315680 | 249532 | 145554 2 | 19504 | 25821 1498.82/1499.38 c 1497s | 17 | 316027 | 249832 | 145554 2 | 19504 | 25821 1501.12/1501.62 c 1500s | 17 | 316364 | 250132 | 145554 2 | 19504 | 25821 1503.22/1503.75 c 1502s | 17 | 316741 | 250432 | 145554 2 | 19504 | 25821 1505.81/1506.30 c 1504s | 17 | 317225 | 250832 | 145554 2 | 19504 | 25821 1508.12/1508.65 c 1507s | 17 | 317608 | 251132 | 145554 2 | 19504 | 25821 1510.62/1511.16 c 1509s | 17 | 317970 | 251432 | 145554 2 | 19504 | 25821 1513.22/1513.76 c 1512s | 17 | 318319 | 251732 | 145554 2 | 19504 | 25821 1515.52/1516.07 c 1514s | 17 | 318665 | 252032 | 145554 2 | 19504 | 25821 1518.12/1518.66 c 1517s | 17 | 319023 | 252332 | 145554 2 | 19504 | 25821 1520.41/1520.92 c 1519s | 17 | 319430 | 252632 | 145554 2 | 19504 | 25821 1522.62/1523.16 c 1521s | 17 | 319775 | 252932 | 145554 2 | 19504 | 25821 1524.81/1525.33 c 1523s | 17 | 320124 | 253232 | 145554 2 | 19504 | 25821 1527.11/1527.61 c 1526s | 17 | 320468 | 253532 | 145554 2 | 19504 | 25821 1529.41/1529.93 c 1528s | 17 | 320798 | 253832 | 145554 2 | 19504 | 25821 1531.71/1532.28 c 1530s | 17 | 321134 | 254132 | 145554 2 | 19504 | 25821 1534.21/1534.73 c 1533s | 17 | 321483 | 254432 | 145554 2 | 19504 | 25821 1536.32/1536.83 c 1535s | 17 | 321832 | 254732 | 145554 2 | 19504 | 25821 1538.91/1539.49 c 1537s | 17 | 322352 | 255132 | 145554 2 | 19504 | 25821 1541.01/1541.59 c 1540s | 17 | 322725 | 255432 | 145554 2 | 19504 | 25821 1543.21/1543.74 c 1542s | 17 | 323059 | 255732 | 145554 2 | 19504 | 25821 1545.61/1546.16 c 1544s | 17 | 323558 | 256132 | 145554 2 | 19504 | 25821 1548.32/1548.81 c 1547s | 17 | 323903 | 256432 | 145554 2 | 19504 | 25821 1550.91/1551.46 c 1549s | 17 | 324260 | 256732 | 145554 2 | 19504 | 25821 1553.11/1553.67 c 1552s | 17 | 324648 | 257032 | 145554 2 | 19504 | 25821 1555.21/1555.75 c 1554s | 17 | 324975 | 257332 | 145554 2 | 19504 | 25821 1557.41/1557.95 c 1556s | 17 | 325318 | 257632 | 145554 2 | 19504 | 25821 1559.61/1560.14 c 1558s | 17 | 325675 | 257932 | 145554 2 | 19504 | 25821 1562.21/1562.76 c 1561s | 17 | 326044 | 258232 | 145554 2 | 19504 | 25821 1564.71/1565.23 c 1563s | 17 | 326387 | 258532 | 145554 2 | 19504 | 25821 1567.31/1567.88 c 1566s | 17 | 326862 | 258932 | 145554 2 | 19504 | 25821 1569.51/1570.05 c 1568s | 17 | 327204 | 259232 | 145554 2 | 19504 | 25821 1572.01/1572.54 c 1570s | 17 | 327441 | 259432 | 145554 2 | 19504 | 25821 1574.51/1575.06 c 1573s | 17 | 327793 | 259732 | 145554 2 | 19504 | 25821 1577.31/1577.83 c 1576s | 17 | 328149 | 260032 | 145554 2 | 19504 | 25821 1579.70/1580.25 c 1578s | 17 | 328521 | 260332 | 145554 2 | 19504 | 25821 1582.20/1582.79 c 1581s | 17 | 328859 | 260632 | 145554 2 | 19504 | 25821 1584.90/1585.48 c 1583s | 17 | 329230 | 260932 | 145554 2 | 19504 | 25821 1587.70/1588.26 c 1586s | 17 | 329570 | 261232 | 145554 2 | 19504 | 25821 1590.00/1590.54 c 1588s | 17 | 329935 | 261532 | 145554 2 | 19504 | 25821 1592.70/1593.29 c 1591s | 17 | 330430 | 261932 | 145554 2 | 19504 | 25821 1595.40/1595.93 c 1594s | 17 | 330779 | 262232 | 145554 2 | 19504 | 25821 1597.60/1598.14 c 1596s | 17 | 331141 | 262532 | 145554 2 | 19504 | 25821 1600.11/1600.60 c 1599s | 17 | 331489 | 262832 | 145554 2 | 19504 | 25821 1602.80/1603.35 c 1601s | 17 | 331829 | 263132 | 145554 2 | 19504 | 25821 1605.20/1605.74 c 1604s | 17 | 332188 | 263432 | 145554 2 | 19504 | 25821 1607.71/1608.20 c 1606s | 17 | 332547 | 263732 | 145554 2 | 19504 | 25821 1610.40/1610.99 c 1609s | 17 | 332881 | 264032 | 145554 2 | 19504 | 25821 1613.31/1613.84 c 1612s | 17 | 333227 | 264332 | 145554 2 | 19504 | 25821 1616.40/1616.94 c 1615s | 17 | 333566 | 264632 | 145554 2 | 19504 | 25821 1619.10/1619.66 c 1618s | 17 | 333955 | 264932 | 145554 2 | 19504 | 25821 1621.80/1622.33 c 1620s | 17 | 334289 | 265232 | 145554 2 | 19504 | 25821 1624.40/1624.95 c 1623s | 17 | 334626 | 265532 | 145554 2 | 19504 | 25821 1626.70/1627.25 c 1625s | 17 | 334948 | 265832 | 145554 2 | 19504 | 25821 1628.90/1629.47 c 1627s | 17 | 335175 | 266032 | 145554 2 | 19504 | 25821 1631.60/1632.18 c 1630s | 17 | 335525 | 266332 | 145554 2 | 19504 | 25821 1634.50/1635.05 c 1633s | 17 | 335887 | 266632 | 145554 2 | 19504 | 25821 1636.60/1637.11 c 1635s | 17 | 336254 | 266932 | 145554 2 | 19504 | 25821 1638.70/1639.21 c 1637s | 17 | 336613 | 267232 | 145554 2 | 19504 | 25821 1640.70/1641.26 c 1639s | 17 | 336980 | 267532 | 145554 2 | 19504 | 25821 1643.30/1643.81 c 1642s | 17 | 337339 | 267832 | 145554 2 | 19504 | 25821 1645.59/1646.15 c 1644s | 17 | 337686 | 268132 | 145554 2 | 19504 | 25821 1647.80/1648.37 c 1646s | 17 | 338030 | 268432 | 145554 2 | 19504 | 25821 1650.60/1651.12 c 1649s | 17 | 338381 | 268732 | 145554 2 | 19504 | 25821 1652.90/1653.46 c 1651s | 17 | 338724 | 269032 | 145554 2 | 19504 | 25821 1655.39/1655.95 c 1654s | 17 | 339067 | 269332 | 145554 2 | 19504 | 25821 1657.69/1658.25 c 1656s | 17 | 339416 | 269632 | 145554 2 | 19504 | 25821 1660.09/1660.66 c 1659s | 17 | 339759 | 269932 | 145554 2 | 19504 | 25821 1662.59/1663.10 c 1661s | 17 | 340112 | 270232 | 145554 2 | 19504 | 25821 1665.00/1665.59 c 1664s | 17 | 340482 | 270532 | 145554 2 | 19504 | 25821 1667.99/1668.54 c 1666s | 17 | 340843 | 270832 | 145554 2 | 19504 | 25821 1670.09/1670.61 c 1669s | 17 | 341052 | 271032 | 145554 2 | 19504 | 25821 1672.89/1673.46 c 1671s | 17 | 341411 | 271332 | 145554 2 | 19504 | 25821 1675.69/1676.26 c 1674s | 17 | 341752 | 271632 | 145554 2 | 19504 | 25821 1677.89/1678.41 c 1676s | 17 | 342122 | 271932 | 145554 2 | 19504 | 25821 1680.19/1680.79 c 1679s | 17 | 342500 | 272232 | 145554 2 | 19504 | 25821 1682.79/1683.30 c 1681s | 17 | 342839 | 272532 | 145554 2 | 19504 | 25821 1685.29/1685.84 c 1684s | 17 | 343195 | 272832 | 145554 2 | 19504 | 25821 1687.59/1688.19 c 1686s | 17 | 343538 | 273132 | 145554 2 | 19504 | 25821 1689.69/1690.23 c 1688s | 17 | 343900 | 273432 | 145554 2 | 19504 | 25821 1692.19/1692.75 c 1691s | 17 | 344263 | 273732 | 145554 2 | 19504 | 25821 1694.69/1695.21 c 1693s | 17 | 344606 | 274032 | 145554 2 | 19504 | 25821 1696.69/1697.30 c 1695s | 17 | 344990 | 274332 | 145554 2 | 19504 | 25821 1699.09/1699.67 c 1698s | 17 | 345369 | 274632 | 145554 2 | 19504 | 25821 1702.09/1702.63 c 1701s | 17 | 345705 | 274932 | 145554 2 | 19504 | 25821 1704.78/1705.39 c 1703s | 17 | 346073 | 275232 | 145554 2 | 19504 | 25821 1707.18/1707.79 c 1706s | 17 | 346473 | 275532 | 145554 2 | 19504 | 25821 1709.28/1709.83 c 1708s | 17 | 346710 | 275732 | 145554 2 | 19504 | 25821 1711.78/1712.36 c 1710s | 17 | 347113 | 276032 | 145554 2 | 19504 | 25821 1714.58/1715.14 c 1713s | 17 | 347452 | 276332 | 145554 2 | 19504 | 25821 1717.38/1717.92 c 1716s | 17 | 347792 | 276632 | 145554 2 | 19504 | 25821 1719.68/1720.21 c 1718s | 17 | 348134 | 276932 | 145554 2 | 19504 | 25821 1722.48/1723.02 c 1721s | 17 | 348472 | 277232 | 145554 2 | 19504 | 25821 1725.08/1725.61 c 1724s | 17 | 348824 | 277532 | 145554 2 | 19504 | 25821 1727.08/1727.65 c 1726s | 17 | 349034 | 277732 | 145554 2 | 19504 | 25821 1729.98/1730.54 c 1728s | 17 | 349313 | 277932 | 145554 2 | 19504 | 25821 1741.38/1741.94 c 1740s | 17 | 349563 | 278132 | 145554 2 | 19504 | 25821 1744.09/1744.69 c 1743s | 17 | 349911 | 278432 | 145554 2 | 19504 | 25821 1746.88/1747.40 c 1745s | 17 | 350285 | 278732 | 145554 2 | 19504 | 25821 1749.88/1750.42 c 1748s | 17 | 350654 | 279032 | 145554 2 | 19504 | 25821 1752.68/1753.29 c 1751s | 17 | 351030 | 279332 | 145554 2 | 19504 | 25821 1755.38/1755.98 c 1754s | 17 | 351399 | 279632 | 145554 2 | 19504 | 25821 1758.39/1758.96 c 1757s | 17 | 351753 | 279932 | 145554 2 | 19504 | 25821 1760.69/1761.21 c 1759s | 17 | 352114 | 280232 | 145554 2 | 19504 | 25821 1763.48/1764.08 c 1762s | 17 | 352561 | 280632 | 145554 2 | 19504 | 25821 1765.78/1766.38 c 1764s | 17 | 352904 | 280932 | 145554 2 | 19504 | 25821 1768.18/1768.74 c 1767s | 17 | 353273 | 281232 | 145554 2 | 19504 | 25821 1770.88/1771.46 c 1769s | 17 | 353681 | 281532 | 145554 2 | 19504 | 25821 1773.38/1773.96 c 1772s | 17 | 354054 | 281832 | 145554 2 | 19504 | 25821 1775.38/1775.97 c 1774s | 17 | 354282 | 282032 | 145554 2 | 19504 | 25821 1777.98/1778.53 c 1776s | 17 | 354675 | 282332 | 145554 2 | 19504 | 25821 1780.48/1781.03 c 1779s | 17 | 355048 | 282632 | 145554 2 | 19504 | 25821 1782.88/1783.46 c 1781s | 17 | 355392 | 282932 | 145554 2 | 19504 | 25821 1785.47/1786.00 c 1784s | 17 | 355750 | 283232 | 145554 2 | 19504 | 25821 1787.97/1788.51 c 1786s | 17 | 356133 | 283532 | 145554 2 | 19504 | 25821 1790.38/1790.97 c 1789s | 17 | 356514 | 283832 | 145554 2 | 19504 | 25821 1792.77/1793.38 c 1791s | 17 | 356992 | 284232 | 145554 2 | 19504 | 25821 1795.17/1795.77 c 1794s | 17 | 357354 | 284532 | 145554 2 | 19504 | 25821 1797.98/1798.54 c 1796s | 17 | 357690 | 284832 | 145554 2 | 19504 | 25821
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-4107901-1466289635/watcher-4107901-1466289635 -o /tmp/evaluation-result-4107901-1466289635/solver-4107901-1466289635 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21405 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107901-1466289635.opb pid=25091 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.28 2.26 2.26 3/182 25094 /proc/meminfo: memFree=28846184/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=802372 CPUtime=0 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 3008 0 0 0 0 0 0 0 20 0 4 0 31009438 821628928 3369 33554432000 4194304 16246674 140733924926720 140733924926144 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 201105 3378 442 2943 0 197999 0 [pid=25094/tid=25095] ppid=25091 vsize=819780 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 839454720 3438 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=823876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 843649024 3455 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=827972 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31009438 847843328 3471 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 2.28 2.26 2.26 3/182 25094 /proc/meminfo: memFree=28846184/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 27032 0 0 0 5 4 0 0 20 0 4 0 31009438 1333334016 27331 33554432000 4194304 16246674 140733924926720 140733924926032 7374276 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 325521 27345 801 2943 0 322415 0 [pid=25094/tid=25095] ppid=25091 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1333334016 27355 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1333334016 27365 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1333334016 27377 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200596 s] /proc/loadavg: 2.28 2.26 2.26 3/182 25094 /proc/meminfo: memFree=28846184/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 47871 0 0 0 12 7 0 0 20 0 4 0 31009438 1344868352 48680 33554432000 4194304 16246674 140733924926720 140733924926032 7378032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 328337 48680 801 2943 0 325231 0 [pid=25094/tid=25095] ppid=25091 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1344868352 48680 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1344868352 48680 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1344868352 48680 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300544 s] /proc/loadavg: 2.28 2.26 2.26 3/182 25094 /proc/meminfo: memFree=28846184/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 54225 0 0 0 22 7 0 0 20 0 4 0 31009438 1344868352 55034 33554432000 4194304 16246674 140733924926720 140733924926032 4221230 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 328337 55034 801 2943 0 325231 0 [pid=25094/tid=25095] ppid=25091 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1344868352 55034 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1344868352 55034 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1344868352 55034 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700396 s] /proc/loadavg: 2.28 2.26 2.26 3/182 25094 /proc/meminfo: memFree=28846184/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 64243 0 0 0 60 9 0 0 20 0 4 0 31009438 1344868352 65052 33554432000 4194304 16246674 140733924926720 140733924924544 6976057 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 328337 65052 833 2943 0 325231 0 [pid=25094/tid=25095] ppid=25091 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1344868352 65052 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1344868352 65052 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1344868352 65052 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.5004 s] /proc/loadavg: 2.28 2.26 2.26 3/186 25098 /proc/meminfo: memFree=28408064/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1335876 CPUtime=1.49 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 130464 0 0 0 132 17 0 0 20 0 4 0 31009438 1367937024 131273 33554432000 4194304 16246674 140733924926720 140733924908608 4220543 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 333969 131273 855 2943 0 330863 0 [pid=25094/tid=25095] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 131273 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 131273 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 131273 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1335876 [startup+3.1004 s] /proc/loadavg: 2.28 2.26 2.26 3/186 25098 /proc/meminfo: memFree=28265108/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1335876 CPUtime=3.09 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 261572 0 0 0 275 34 0 0 20 0 4 0 31009438 1367937024 262381 33554432000 4194304 16246674 140733924926720 140733924908608 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 333969 262384 886 2943 0 330863 0 [pid=25094/tid=25095] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 262386 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 262392 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 262397 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1335876 [startup+6.30037 s] /proc/loadavg: 2.26 2.25 2.26 3/186 25098 /proc/meminfo: memFree=27745800/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1335876 CPUtime=6.29 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 274648 0 0 0 594 35 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140733924908608 5677888 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 333969 275457 892 2943 0 330863 0 [pid=25094/tid=25095] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1335876 [startup+12.7004 s] /proc/loadavg: 2.24 2.25 2.26 4/185 25098 /proc/meminfo: memFree=27746256/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1335876 CPUtime=12.69 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 274648 0 0 0 1234 35 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140733924908608 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 333969 275457 892 2943 0 330863 0 [pid=25094/tid=25095] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1335876 [startup+25.5005 s] /proc/loadavg: 2.18 2.23 2.25 3/186 25099 /proc/meminfo: memFree=27747156/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1335876 CPUtime=25.48 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 274648 0 0 0 2513 35 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140733924908608 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 333969 275457 892 2943 0 330863 0 [pid=25094/tid=25095] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1335876 [startup+51.1005 s] /proc/loadavg: 2.18 2.23 2.25 3/185 25099 /proc/meminfo: memFree=27748152/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1335876 CPUtime=51.08 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 274648 0 0 0 5073 35 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140733924908608 5754924 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 333969 275457 892 2943 0 330863 0 [pid=25094/tid=25095] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1335876 [startup+102.301 s] /proc/loadavg: 2.22 2.24 2.25 3/185 25100 /proc/meminfo: memFree=27747784/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1335876 CPUtime=102.28 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 274648 0 0 0 10193 35 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140733924908608 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 333969 275457 892 2943 0 330863 0 [pid=25094/tid=25095] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1367937024 275457 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1335876 ################ # More data... # ################ /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1372740 [startup+1302.3 s] /proc/loadavg: 2.19 2.26 2.26 4/185 25202 /proc/meminfo: memFree=27721356/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1372740 CPUtime=1301.9 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 284163 0 0 0 130151 39 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140733924908608 5677667 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 343185 284681 894 2943 0 340079 0 [pid=25094/tid=25095] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1372740 [startup+1362.3 s] /proc/loadavg: 2.17 2.24 2.26 3/185 25203 /proc/meminfo: memFree=27715404/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1372740 CPUtime=1361.87 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 284201 0 0 0 136148 39 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140733924908608 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 343185 284681 894 2943 0 340079 0 [pid=25094/tid=25095] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1372740 [startup+1422.3 s] /proc/loadavg: 2.30 2.27 2.27 3/185 25204 /proc/meminfo: memFree=27714396/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1372740 CPUtime=1421.84 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 284240 0 0 0 142145 39 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140733924908608 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 343185 284681 894 2943 0 340079 0 [pid=25094/tid=25095] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1372740 [startup+1482.3 s] /proc/loadavg: 2.23 2.25 2.26 3/185 25205 /proc/meminfo: memFree=27715116/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1372740 CPUtime=1481.81 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 284255 0 0 0 148141 40 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140733924908608 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 343185 284681 894 2943 0 340079 0 [pid=25094/tid=25095] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1372740 [startup+1542.31 s] /proc/loadavg: 2.25 2.25 2.26 3/185 25207 /proc/meminfo: memFree=27715552/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1372740 CPUtime=1541.82 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 284255 0 0 0 154141 41 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140733924908608 13192960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 343185 284681 894 2943 0 340079 0 [pid=25094/tid=25095] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1372740 [startup+1602.3 s] /proc/loadavg: 2.20 2.23 2.25 3/185 25208 /proc/meminfo: memFree=27714716/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1372740 CPUtime=1601.8 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 284255 0 0 0 160139 41 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140733924908608 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 343185 284681 894 2943 0 340079 0 [pid=25094/tid=25095] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1372740 [startup+1662.3 s] /proc/loadavg: 2.37 2.26 2.26 3/185 25209 /proc/meminfo: memFree=27714736/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1372740 CPUtime=1661.79 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 284255 0 0 0 166138 41 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140733924908608 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 343185 284681 894 2943 0 340079 0 [pid=25094/tid=25095] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1372740 [startup+1722.3 s] /proc/loadavg: 2.27 2.25 2.25 3/185 25210 /proc/meminfo: memFree=27714652/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1372740 CPUtime=1721.78 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 284255 0 0 0 172137 41 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140733924908608 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 343185 284681 894 2943 0 340079 0 [pid=25094/tid=25095] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1372740 [startup+1782.3 s] /proc/loadavg: 2.20 2.23 2.25 4/186 25214 /proc/meminfo: memFree=27714512/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1372740 CPUtime=1781.78 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 284255 0 0 0 178136 42 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140733924908608 12466829 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 343185 284681 894 2943 0 340079 0 [pid=25094/tid=25095] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1372740 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.22 2.23 2.25 4/186 25214 /proc/meminfo: memFree=27714480/32872528 swapFree=1505436/1685308 [pid=25094] ppid=25091 vsize=1372740 CPUtime=1800.07 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 21389 0 -1 4202496 284255 0 0 0 179965 42 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140733924908608 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25094/statm: 343185 284681 894 2943 0 340079 0 [pid=25094/tid=25095] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638670531824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638660041968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31009438 1405685760 284681 33554432000 4194304 16246674 140733924926720 140638649568432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1372740 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 25094 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.08 CPU user time (s): 1799.66 CPU system time (s): 0.421935 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (KiB): 1372740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.421935 maximum resident set size= 1138724 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 284255 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= 401 involuntary context switches= 1837 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.8282 second user time and 16.8984 second system time The end
Begin job on node135 at 2016-06-19 00:40:35 IDJOB=4107901 IDBENCH=73956 IDSOLVER=2542 FILE ID=node135/4107901-1466289635 RUNJOBID= node135-1466266561-21405 PBS_JOBID= 19918237 Free space on /tmp= 71680 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12047_10-unsat.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107901-1466289635/watcher-4107901-1466289635 -o /tmp/evaluation-result-4107901-1466289635/solver-4107901-1466289635 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21405 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107901-1466289635.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 185b639ab7915adc40998376a286d172 RANDOM SEED=61630049 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28847100 kB Buffers: 171708 kB Cached: 303016 kB SwapCached: 716 kB Active: 1272464 kB Inactive: 321788 kB Active(anon): 1119656 kB Inactive(anon): 1848 kB Active(file): 152808 kB Inactive(file): 319940 kB Unevictable: 1685308 kB Mlocked: 1505436 kB SwapTotal: 67108856 kB SwapFree: 67100444 kB Dirty: 19432 kB Writeback: 0 kB AnonPages: 2789128 kB Mapped: 10856 kB Shmem: 0 kB Slab: 606512 kB SReclaimable: 50416 kB SUnreclaim: 556096 kB KernelStack: 1544 kB PageTables: 9684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2947292 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 176128 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= 71660 MiB End job on node135 at 2016-06-19 01:10:36