| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.44 |
| Name | /DEC-SMALLINT-LIN/lopes/ normalized-60.opb |
| MD5SUM | 3a065af206abae16cc2624cb89dfd6ff |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 12587 |
| Total number of constraints | 283937 |
| Number of constraints which are clauses | 255125 |
| Number of constraints which are cardinality constraints (but not clauses) | 903 |
| Number of constraints which are nor clauses,nor cardinality constraints | 27909 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 270 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 271 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-19T01:36:00+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-4108981-1466292960.opb"] 0.00/0.01 c use --random-gen="231337004 1891089202 3875818163 3045530943 652237903 4251358711 2617322349 3357458538 896712852 1590214422 2625539647 2953951211 2259185318 1122548453 396902267 70924201 2537349597 2952195890 1156447247 1227903165 443984830 1444456402 1056007512 4251356084 789903493 238756657 2944839758 1810622846 508749131 713412730 1604106080 3723820362 66614512 1555690805 2787374945 1416570154 406850254 872563092 2229357998 2954175295 3810888591 2373030564 101268608 2034797006 676366022 2643042527 375785698 1880870530 1597246460 3102339378 3801331427 1965550296 608392239 4143524406 2386151525 3306190071 4178877920 383025116 908010155 4125622519 2404554506 3317491650 1488444649 169429060 1629237283 3178970669 400667383 425833592 1695255650 3188376651 2352918092 1688477970 3762835840 3979226096 2944618086 212141616 2255858732 2622380228 1890146907 1058763067 2689125614 3636726663 2524853422 4096485880 3535339392 1832432726 1849333560 569829277 899477519 2239435749 1681321658 1794702703 1210704352 2889532910 4059459042 309464588 3088926905 1111045511 1163314682 2529168613 1973458192 1342663117 4102335042 3994464561 2165070579 2839724352 34736512 45142656 3422366889 2098399463 2102669396 2669473060 2638228833 3914730279 2553866624 3979861149 3797415877 2089546032 1088048428 1812230544 2317243955 1144250594 3265855376 2458722864 935273576 4186684669 1420689747 962507633 949598716 1516499791 2573603975 656363853 562788181 2076258570 3983862076 3204589053 3366636975 2005849593 1746269395 1351035754 47878431 2635672785 28860054 1750640353 2189721332 736437486 1627311675 2730538850 104889668 809111374 4139817422 636386909 2372587128 2192174121 3291454574 3459329601 3009654840 3332424643 3585989337 3739187554 960566290 2980152849 3111169074 1135437036 3685046766 693848044 2362014502 4247417137 4030390946 2274201957 3918156216 3509586836 2276053013 1686148812 26674311 2913400185 1519899444 3641245690 1328415669 2125655584 1496803549 1120159094 4094217198 3082315121 2699953739 4088295833 1342452985 1256583951 2399247979 2285837619 3182518271 137030225 2851134773 3590404530 1917379814 55663882 1475943849 1396272529 1557665033 986276655 1806185832 2699159503 1222339837 2456531837 1179082146 2688138840 918195181 1425928158 1786423296 2411607119 827092233 2775244572 3038499291 2582328484 1484412418 3848574604 3047139920 3236896726 3543736469 1026026973 2230874430 672953751 483776494 3863835275 3660845734 2423400401 3173148889 2374336739 2507857116 473810310 1506674927 2683159680 2225064767 2654757881 4267914996 2431444552 741299876 2785412671 1935137487 1216673747 3557238606 3392932542 409097564 3085051391 1673479724 2628442216 1698364948 3162323263 238811229 2782869083 331569420 2727707284 1450744318 2711509439 950845570 3246894987 255 362436" option to reproduce the execution 2.19/2.23 c #vars 12587 2.19/2.23 c #constraints 283937 7.09/7.10 c Solving starts ... 7.09/7.10 c ============================[ Search Statistics ]============================ 7.09/7.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.09/7.10 c | | | | Limit GC | Var | Constra 7.09/7.10 c ============================================================================= 7.09/7.11 c 0.0s | 0 | 0 | 0 | 98995 0 | 0 | 0 7.49/7.54 c 0.4s | 1 | 140 | 100 | 98995 0 | 0 | 0 8.19/8.24 c 1.1s | 2 | 931 | 250 | 108895 0 | 0 | 0 8.99/9.04 c 1.9s | 3 | 14248 | 475 | 119785 0 | 0 | 0 11.39/11.40 c 4.3s | 3 | 41079 | 675 | 131764 0 | 0 | 0 11.69/11.72 c 4.6s | 4 | 44377 | 813 | 131764 0 | 0 | 0 13.69/13.74 c 6.6s | 4 | 69564 | 1313 | 144941 0 | 0 | 0 13.69/13.77 c 6.7s | 5 | 70435 | 1320 | 144941 0 | 0 | 0 15.79/15.83 c 8.7s | 5 | 113242 | 2020 | 159436 0 | 0 | 0 15.79/15.86 c 8.8s | 6 | 113398 | 2081 | 175380 0 | 0 | 0 17.89/18.00 c 10.9s | 6 | 131319 | 3081 | 175380 0 | 0 | 0 18.29/18.32 c 11.2s | 7 | 139297 | 3223 | 192919 0 | 0 | 0 21.99/22.02 c 14.9s | 7 | 168850 | 4223 | 192919 0 | 0 | 0 23.29/23.34 c 16.2s | 8 | 171127 | 4936 | 212211 0 | 0 | 0 25.29/25.35 c 18.2s | 8 | 192131 | 6136 | 212211 0 | 0 | 0 26.69/26.78 c 19.7s | 9 | 223337 | 7506 | 233433 0 | 0 | 0 28.89/28.92 c 21.8s | 9 | 257133 | 8706 | 233433 0 | 1 | 12 31.39/31.41 c 24.3s | 9 | 296110 | 9706 | 233433 0 | 1 | 12 33.49/33.54 c 26.4s | 9 | 315186 | 11006 | 233433 0 | 1 | 12 34.09/34.12 c 27.0s | 10 | 315582 | 11361 | 256777 0 | 1 | 12 36.09/36.19 c 29.1s | 10 | 322504 | 12061 | 256777 0 | 1 | 12 38.09/38.19 c 31.1s | 10 | 340777 | 12961 | 256777 0 | 2 | 24 40.18/40.20 c 33.1s | 10 | 345509 | 16061 | 256777 0 | 2 | 24 40.98/41.07 c 34.0s | 11 | 346999 | 17144 | 282455 0 | 2 | 24 43.18/43.23 c 36.1s | 11 | 349994 | 17944 | 282455 0 | 2 | 24 45.38/45.41 c 38.3s | 11 | 351143 | 18944 | 282455 0 | 2 | 24 47.48/47.59 c 40.5s | 11 | 352318 | 19944 | 282455 0 | 2 | 24 49.59/49.69 c 42.6s | 11 | 367431 | 20544 | 282455 0 | 2 | 24 51.88/51.96 c 44.9s | 11 | 368661 | 21344 | 282455 0 | 2 | 24 54.08/54.12 c 47.0s | 11 | 369483 | 22044 | 282455 0 | 2 | 24 56.19/56.21 c 49.1s | 11 | 373889 | 22844 | 282455 0 | 2 | 24 58.29/58.33 c 51.2s | 11 | 374708 | 23544 | 282455 0 | 2 | 24 60.28/60.37 c 53.3s | 11 | 375587 | 24244 | 282455 0 | 2 | 24 62.48/62.53 c 55.4s | 11 | 376535 | 25044 | 282455 0 | 2 | 24 64.68/64.72 c 57.6s | 11 | 377323 | 25744 | 310701 0 | 2 | 24 64.89/64.92 c 57.8s | 12 | 377409 | 25819 | 310701 0 | 2 | 24 66.98/67.07 c 60.0s | 12 | 398322 | 26019 | 310701 0 | 2 | 24 69.08/69.19 c 62.1s | 12 | 420445 | 27119 | 310701 0 | 2 | 24 71.38/71.41 c 64.3s | 12 | 448451 | 27619 | 310701 0 | 2 | 24 73.48/73.51 c 66.4s | 12 | 474112 | 29119 | 310701 0 | 2 | 24 75.48/75.59 c 68.5s | 12 | 503887 | 29419 | 310701 0 | 2 | 24 78.09/78.11 c 71.0s | 12 | 534387 | 30719 | 310701 0 | 2 | 24 80.29/80.38 c 73.3s | 12 | 544794 | 32019 | 310701 0 | 2 | 24 82.28/82.39 c 75.3s | 12 | 560290 | 32819 | 310701 0 | 2 | 24 84.69/84.73 c 77.6s | 12 | 561243 | 33519 | 310701 0 | 2 | 24 86.78/86.88 c 79.8s | 12 | 561945 | 34119 | 310701 0 | 2 | 24 88.98/89.05 c 81.9s | 12 | 562787 | 34819 | 310701 0 | 2 | 24 91.18/91.30 c 84.2s | 12 | 574879 | 35619 | 310701 0 | 2 | 24 93.38/93.41 c 86.3s | 12 | 583804 | 36319 | 310701 0 | 2 | 24 95.38/95.46 c 88.4s | 12 | 585970 | 37019 | 310701 0 | 2 | 24 97.48/97.58 c 90.5s | 12 | 586924 | 37819 | 310701 0 | 2 | 24 99.77/99.80 c 92.7s | 12 | 589402 | 38619 | 341772 0 | 2 | 24 100.18/100.22 c 93.1s | 13 | 589809 | 38832 | 341772 0 | 2 | 24 102.17/102.28 c 95.2s | 13 | 618484 | 39632 | 341772 0 | 2 | 24 104.37/104.40 c 97.3s | 13 | 654985 | 41532 | 341772 0 | 2 | 24 106.47/106.50 c 99.4s | 13 | 683805 | 43432 | 341772 0 | 2 | 24 108.47/108.56 c 101s | 13 | 707053 | 44932 | 341772 0 | 2 | 24 110.47/110.57 c 103s | 13 | 729220 | 45932 | 341772 0 | 2 | 24 112.77/112.80 c 105s | 13 | 740861 | 46832 | 341772 0 | 2 | 24 114.97/115.04 c 107s | 13 | 755462 | 47932 | 341772 0 | 2 | 24 117.07/117.15 c 110s | 13 | 768314 | 49032 | 341772 0 | 2 | 24 119.07/119.18 c 112s | 13 | 778613 | 50132 | 341772 0 | 2 | 24 121.17/121.22 c 114s | 13 | 785752 | 51032 | 341772 0 | 2 | 24 123.18/123.23 c 116s | 13 | 799099 | 52232 | 341772 0 | 2 | 24 125.38/125.46 c 118s | 13 | 809731 | 52932 | 341772 0 | 2 | 24 127.58/127.61 c 120s | 13 | 812289 | 53532 | 341772 0 | 2 | 24 129.78/129.88 c 122s | 13 | 813473 | 54132 | 341772 0 | 2 | 24 132.27/132.32 c 125s | 13 | 816812 | 54732 | 341772 0 | 2 | 24 134.37/134.42 c 127s | 13 | 818217 | 55232 | 341772 0 | 2 | 24 136.57/136.67 c 129s | 13 | 819413 | 55732 | 341772 0 | 2 | 24 138.77/138.81 c 131s | 13 | 821881 | 56332 | 341772 0 | 2 | 24 141.07/141.13 c 134s | 13 | 822889 | 56832 | 341772 0 | 2 | 24 143.17/143.20 c 136s | 13 | 823534 | 57232 | 341772 0 | 2 | 24 145.17/145.27 c 138s | 13 | 825481 | 57732 | 341772 0 | 2 | 24 147.57/147.67 c 140s | 13 | 826421 | 58232 | 375950 0 | 2 | 24 148.07/148.18 c 141s | 14 | 826627 | 58352 | 375950 0 | 2 | 24 150.07/150.19 c 143s | 14 | 845827 | 58852 | 375950 0 | 2 | 24 152.36/152.50 c 145s | 14 | 846652 | 59352 | 375950 0 | 2 | 24 154.46/154.54 c 147s | 14 | 858486 | 59852 | 375950 0 | 2 | 24 156.76/156.89 c 149s | 14 | 861479 | 60452 | 375950 0 | 2 | 24 158.86/158.95 c 151s | 14 | 862085 | 60952 | 375950 0 | 2 | 24 160.86/160.97 c 153s | 14 | 862666 | 61452 | 375950 0 | 2 | 24 162.96/163.08 c 155s | 14 | 863372 | 62052 | 375950 0 | 2 | 24 164.97/165.09 c 157s | 14 | 864055 | 62652 | 375950 0 | 2 | 24 167.06/167.15 c 160s | 14 | 864767 | 63252 | 375950 0 | 2 | 24 169.26/169.31 c 162s | 14 | 865477 | 63852 | 375950 0 | 2 | 24 171.46/171.53 c 164s | 14 | 866142 | 64452 | 375950 0 | 2 | 24 173.46/173.55 c 166s | 14 | 866734 | 64952 | 375950 0 | 2 | 24 175.46/175.56 c 168s | 14 | 867289 | 65452 | 375950 0 | 2 | 24 177.66/177.71 c 170s | 14 | 867888 | 65952 | 375950 0 | 2 | 24 179.76/179.81 c 172s | 14 | 868490 | 66452 | 375950 0 | 2 | 24 182.06/182.14 c 175s | 14 | 869145 | 67052 | 375950 0 | 2 | 24 184.26/184.37 c 177s | 14 | 869875 | 67652 | 375950 0 | 2 | 24 186.66/186.75 c 179s | 14 | 870577 | 68252 | 375950 0 | 2 | 24 188.86/188.97 c 181s | 14 | 873155 | 68852 | 375950 0 | 2 | 24 191.16/191.21 c 184s | 14 | 890390 | 69452 | 375950 0 | 2 | 24 193.56/193.69 c 186s | 14 | 908353 | 70352 | 375950 0 | 2 | 24 195.66/195.73 c 188s | 14 | 918103 | 70952 | 375950 0 | 2 | 24 197.76/197.84 c 190s | 14 | 928112 | 72152 | 375950 0 | 2 | 24 199.76/199.85 c 192s | 14 | 936767 | 73052 | 375950 0 | 2 | 24 202.06/202.13 c 195s | 14 | 954462 | 73452 | 375950 0 | 2 | 24 204.36/204.47 c 197s | 14 | 958136 | 74252 | 375950 0 | 2 | 24 206.56/206.67 c 199s | 14 | 958587 | 74652 | 375950 0 | 2 | 24 208.76/208.84 c 201s | 14 | 959194 | 75152 | 375950 0 | 2 | 24 210.76/210.90 c 203s | 14 | 959644 | 75552 | 375950 0 | 2 | 24 212.96/213.08 c 205s | 14 | 960196 | 76052 | 375950 0 | 2 | 24 215.26/215.31 c 208s | 14 | 960874 | 76652 | 375950 0 | 2 | 24 217.46/217.50 c 210s | 14 | 961547 | 77252 | 375950 0 | 2 | 24 219.96/220.02 c 212s | 14 | 962171 | 77752 | 375950 0 | 2 | 24 222.45/222.50 c 215s | 14 | 962737 | 78252 | 375950 0 | 2 | 24 224.55/224.62 c 217s | 14 | 963323 | 78752 | 375950 0 | 2 | 24 226.66/226.76 c 219s | 14 | 963886 | 79252 | 375950 0 | 2 | 24 229.15/229.25 c 222s | 14 | 964486 | 79752 | 375950 0 | 2 | 24 231.15/231.29 c 224s | 14 | 964944 | 80152 | 375950 0 | 2 | 24 233.45/233.51 c 226s | 14 | 965486 | 80652 | 375950 0 | 2 | 24 235.65/235.74 c 228s | 14 | 966043 | 81152 | 375950 0 | 2 | 24 237.75/237.89 c 230s | 14 | 966495 | 81552 | 375950 0 | 2 | 24 240.05/240.19 c 233s | 14 | 966954 | 81952 | 375950 0 | 2 | 24 242.45/242.56 c 235s | 14 | 967523 | 82452 | 375950 0 | 2 | 24 244.55/244.60 c 237s | 14 | 967995 | 82852 | 375950 0 | 2 | 24 246.65/246.74 c 239s | 14 | 968555 | 83352 | 375950 0 | 2 | 24 248.95/249.04 c 241s | 14 | 969145 | 83852 | 375950 0 | 2 | 24 250.95/251.05 c 243s | 14 | 969617 | 84252 | 375950 0 | 2 | 24 253.25/253.32 c 246s | 14 | 970173 | 84752 | 375950 0 | 2 | 24 255.26/255.36 c 248s | 14 | 970641 | 85152 | 375950 0 | 2 | 24 257.55/257.65 c 250s | 14 | 971205 | 85652 | 375950 0 | 2 | 24 259.85/259.94 c 252s | 14 | 971677 | 86052 | 375950 0 | 2 | 24 262.35/262.48 c 255s | 14 | 972233 | 86552 | 375950 0 | 2 | 24 264.85/264.91 c 257s | 14 | 972802 | 87052 | 413546 0 | 2 | 24 266.85/266.99 c 259s | 14 | 973254 | 87452 | 413546 0 | 2 | 24 267.75/267.85 c 260s | 15 | 973462 | 87632 | 413546 0 | 2 | 24 270.15/270.25 c 263s | 15 | 980336 | 88032 | 413546 0 | 2 | 24 272.15/272.29 c 265s | 15 | 990007 | 88432 | 413546 0 | 2 | 24 274.15/274.29 c 267s | 15 | 1005934 | 89232 | 413546 0 | 2 | 24 276.15/276.29 c 269s | 15 | 1012795 | 90032 | 413546 0 | 2 | 24 278.25/278.31 c 271s | 15 | 1018098 | 91132 | 413546 0 | 2 | 24 280.45/280.58 c 273s | 15 | 1018864 | 91632 | 413546 0 | 2 | 24 282.65/282.76 c 275s | 15 | 1019349 | 92032 | 413546 0 | 2 | 24 284.85/284.92 c 277s | 15 | 1019923 | 92432 | 413546 0 | 2 | 24 286.84/286.94 c 279s | 15 | 1036751 | 93232 | 413546 0 | 2 | 24 288.94/289.03 c 281s | 15 | 1043818 | 94932 | 413546 0 | 2 | 24 291.04/291.11 c 284s | 15 | 1046756 | 96432 | 413546 0 | 2 | 24 293.14/293.25 c 286s | 15 | 1063927 | 96832 | 413546 0 | 2 | 24 295.14/295.27 c 288s | 15 | 1073016 | 97532 | 413546 0 | 2 | 24 297.64/297.74 c 290s | 15 | 1077805 | 98032 | 413546 0 | 2 | 24 300.25/300.36 c 293s | 15 | 1096444 | 99332 | 413546 0 | 2 | 24 302.64/302.70 c 295s | 15 | 1107912 | 100232 | 413546 0 | 2 | 24 304.94/305.00 c 297s | 15 | 1117488 | 101032 | 413546 0 | 2 | 24 307.14/307.25 c 300s | 15 | 1129174 | 102232 | 413546 0 | 2 | 24 309.24/309.34 c 302s | 15 | 1130288 | 102732 | 413546 0 | 3 | 36 311.44/311.59 c 304s | 15 | 1130751 | 103132 | 413546 0 | 3 | 36 313.55/313.69 c 306s | 15 | 1131244 | 103532 | 413546 0 | 3 | 36 315.94/316.05 c 308s | 15 | 1131711 | 103932 | 413546 0 | 3 | 36 318.44/318.53 c 311s | 15 | 1132147 | 104332 | 413546 0 | 3 | 36 320.84/320.97 c 313s | 15 | 1132606 | 104732 | 413546 0 | 3 | 36 323.24/323.32 c 316s | 15 | 1133042 | 105132 | 413546 0 | 3 | 36 325.34/325.41 c 318s | 15 | 1133481 | 105532 | 413546 0 | 3 | 36 327.34/327.41 c 320s | 15 | 1133937 | 105932 | 413546 0 | 3 | 36 329.54/329.64 c 322s | 15 | 1134369 | 106332 | 413546 0 | 3 | 36 331.94/332.05 c 324s | 15 | 1134950 | 106832 | 413546 0 | 3 | 36 334.34/334.41 c 327s | 15 | 1135403 | 107232 | 413546 0 | 3 | 36 336.54/336.68 c 329s | 15 | 1135957 | 107732 | 413546 0 | 3 | 36 339.14/339.26 c 332s | 15 | 1136525 | 108232 | 413546 0 | 3 | 36 341.54/341.65 c 334s | 15 | 1137003 | 108632 | 413546 0 | 3 | 36 343.63/343.75 c 336s | 15 | 1137344 | 108932 | 413546 0 | 3 | 36 346.03/346.12 c 339s | 15 | 1137800 | 109332 | 413546 0 | 3 | 36 348.13/348.26 c 341s | 15 | 1138246 | 109732 | 413546 0 | 3 | 36 350.43/350.50 c 343s | 15 | 1138692 | 110132 | 413546 0 | 3 | 36 352.83/352.99 c 345s | 15 | 1139171 | 110532 | 413546 0 | 3 | 36 355.13/355.25 c 348s | 15 | 1139618 | 110932 | 413546 0 | 3 | 36 357.44/357.51 c 350s | 15 | 1140041 | 111332 | 413546 0 | 3 | 36 359.64/359.74 c 352s | 15 | 1140493 | 111732 | 413546 0 | 3 | 36 362.33/362.43 c 355s | 15 | 1140941 | 112132 | 413546 0 | 3 | 36 364.43/364.53 c 357s | 15 | 1141263 | 112432 | 413546 0 | 3 | 36 366.63/366.79 c 359s | 15 | 1141722 | 112832 | 413546 0 | 3 | 36 368.93/369.00 c 361s | 15 | 1142167 | 113232 | 413546 0 | 3 | 36 371.23/371.37 c 364s | 15 | 1142611 | 113632 | 413546 0 | 3 | 36 373.83/373.96 c 366s | 15 | 1143161 | 114132 | 413546 0 | 3 | 36 376.23/376.35 c 369s | 15 | 1143593 | 114532 | 413546 0 | 3 | 36 378.33/378.42 c 371s | 15 | 1143907 | 114832 | 413546 0 | 3 | 36 380.73/380.83 c 373s | 15 | 1144361 | 115232 | 413546 0 | 3 | 36 382.73/382.90 c 375s | 15 | 1144795 | 115632 | 413546 0 | 3 | 36 385.23/385.30 c 378s | 15 | 1145245 | 116032 | 413546 0 | 3 | 36 387.53/387.60 c 380s | 15 | 1145691 | 116432 | 413546 0 | 3 | 36 389.82/389.99 c 382s | 15 | 1146137 | 116832 | 413546 0 | 3 | 36 392.22/392.39 c 385s | 15 | 1146571 | 117232 | 413546 0 | 3 | 36 394.72/394.80 c 387s | 15 | 1147005 | 117632 | 413546 0 | 3 | 36 396.92/397.06 c 389s | 15 | 1147446 | 118032 | 413546 0 | 3 | 36 399.42/399.54 c 392s | 15 | 1147899 | 118432 | 413546 0 | 3 | 36 401.72/401.86 c 394s | 15 | 1148322 | 118832 | 413546 0 | 3 | 36 404.22/404.32 c 397s | 15 | 1148755 | 119232 | 413546 0 | 3 | 36 406.52/406.65 c 399s | 15 | 1149182 | 119632 | 413546 0 | 3 | 36 409.13/409.25 c 402s | 15 | 1149624 | 120032 | 413546 0 | 3 | 36 411.43/411.55 c 404s | 15 | 1150050 | 120432 | 413546 0 | 3 | 36 413.53/413.67 c 406s | 15 | 1150478 | 120832 | 413546 0 | 3 | 36 415.62/415.76 c 408s | 15 | 1150805 | 121132 | 413546 0 | 3 | 36 417.82/417.93 c 410s | 15 | 1151231 | 121532 | 413546 0 | 3 | 36 419.92/420.03 c 412s | 15 | 1151656 | 121932 | 413546 0 | 3 | 36 421.92/422.09 c 414s | 15 | 1152219 | 122432 | 413546 0 | 3 | 36 424.22/424.32 c 417s | 15 | 1152767 | 122932 | 413546 0 | 3 | 36 426.22/426.35 c 419s | 15 | 1153220 | 123332 | 413546 0 | 3 | 36 428.42/428.52 c 421s | 15 | 1153761 | 123832 | 413546 0 | 3 | 36 430.62/430.73 c 423s | 15 | 1154331 | 124332 | 413546 0 | 3 | 36 432.72/432.82 c 425s | 15 | 1154871 | 124832 | 413546 0 | 3 | 36 434.82/434.98 c 427s | 15 | 1155540 | 125432 | 413546 0 | 3 | 36 436.92/437.02 c 429s | 15 | 1156070 | 125932 | 413546 0 | 3 | 36 439.22/439.38 c 432s | 15 | 1156616 | 126432 | 413546 0 | 3 | 36 441.32/441.40 c 434s | 15 | 1156949 | 126732 | 413546 0 | 3 | 36 443.82/443.90 c 436s | 15 | 1157382 | 127132 | 413546 0 | 3 | 36 445.82/445.94 c 438s | 15 | 1157713 | 127432 | 413546 0 | 3 | 36 448.32/448.47 c 441s | 15 | 1158147 | 127832 | 413546 0 | 3 | 36 450.92/451.02 c 443s | 15 | 1158595 | 128232 | 413546 0 | 3 | 36 453.52/453.62 c 446s | 15 | 1158915 | 128532 | 413546 0 | 3 | 36 456.01/456.16 c 449s | 15 | 1159242 | 128832 | 413546 0 | 3 | 36 458.11/458.24 c 451s | 15 | 1159585 | 129132 | 413546 0 | 3 | 36 460.11/460.29 c 453s | 15 | 1159932 | 129432 | 413546 0 | 3 | 36 462.31/462.48 c 455s | 15 | 1160255 | 129732 | 413546 0 | 3 | 36 464.81/464.93 c 457s | 15 | 1160687 | 130132 | 413546 0 | 3 | 36 466.81/466.98 c 459s | 15 | 1161025 | 130432 | 413546 0 | 3 | 36 468.91/469.03 c 461s | 15 | 1161371 | 130732 | 454901 0 | 3 | 36 471.11/471.29 c 464s | 15 | 1161801 | 131132 | 454901 0 | 3 | 36 473.71/473.89 c 466s | 15 | 1162235 | 131532 | 454901 0 | 3 | 36 473.91/474.02 c 466s | 16 | 1162260 | 131552 | 454901 0 | 3 | 36 476.22/476.35 c 469s | 16 | 1186674 | 131852 | 454901 0 | 3 | 36 478.61/478.77 c 471s | 16 | 1207922 | 132252 | 454901 0 | 3 | 36 480.81/480.98 c 473s | 16 | 1223218 | 132452 | 454901 0 | 4 | 48 483.92/484.07 c 476s | 16 | 1228395 | 132852 | 454901 0 | 4 | 48 486.71/486.89 c 479s | 16 | 1228740 | 133152 | 454901 0 | 4 | 48 488.81/488.93 c 481s | 16 | 1228972 | 133352 | 454901 0 | 4 | 48 491.62/491.75 c 484s | 16 | 1229299 | 133652 | 454901 0 | 4 | 48 494.31/494.40 c 487s | 16 | 1229656 | 133952 | 454901 0 | 4 | 48 496.61/496.71 c 489s | 16 | 1230003 | 134252 | 454901 0 | 4 | 48 498.91/499.09 c 491s | 16 | 1230365 | 134552 | 454901 0 | 4 | 48 501.41/501.52 c 494s | 16 | 1230704 | 134852 | 454901 0 | 4 | 48 503.91/504.08 c 496s | 16 | 1231058 | 135152 | 454901 0 | 4 | 48 506.61/506.71 c 499s | 16 | 1231396 | 135452 | 454901 0 | 4 | 48 508.91/509.07 c 501s | 16 | 1231728 | 135752 | 454901 0 | 4 | 48 511.11/511.24 c 504s | 16 | 1232073 | 136052 | 454901 0 | 4 | 48 513.61/513.76 c 506s | 16 | 1232401 | 136352 | 454901 0 | 4 | 48 516.21/516.35 c 509s | 16 | 1232735 | 136652 | 454901 0 | 4 | 48 518.61/518.74 c 511s | 16 | 1233059 | 136952 | 454901 0 | 4 | 48 520.80/520.99 c 513s | 16 | 1233407 | 137252 | 454901 0 | 4 | 48 523.30/523.45 c 516s | 16 | 1233723 | 137552 | 454901 0 | 4 | 48 525.81/525.92 c 518s | 16 | 1234047 | 137852 | 454901 0 | 4 | 48 528.01/528.17 c 521s | 16 | 1234387 | 138152 | 454901 0 | 4 | 48 530.40/530.55 c 523s | 16 | 1234834 | 138552 | 454901 0 | 4 | 48 533.10/533.26 c 526s | 16 | 1235179 | 138852 | 454901 0 | 4 | 48 535.40/535.59 c 528s | 16 | 1235529 | 139152 | 454901 0 | 4 | 48 537.70/537.81 c 530s | 16 | 1235864 | 139452 | 454901 0 | 4 | 48 539.90/540.02 c 532s | 16 | 1236200 | 139752 | 454901 0 | 4 | 48 542.10/542.30 c 535s | 16 | 1236757 | 139952 | 454901 0 | 4 | 48 544.70/544.82 c 537s | 16 | 1243524 | 140252 | 454901 0 | 4 | 48 546.80/546.91 c 539s | 16 | 1243756 | 140452 | 454901 0 | 4 | 48 549.50/549.62 c 542s | 16 | 1245102 | 140752 | 454901 0 | 4 | 48 551.90/552.00 c 544s | 16 | 1245966 | 141052 | 454901 0 | 4 | 48 554.20/554.37 c 547s | 16 | 1246684 | 141352 | 454901 0 | 4 | 48 556.80/556.99 c 549s | 16 | 1247670 | 141652 | 454901 0 | 4 | 48 559.30/559.45 c 552s | 16 | 1248051 | 141952 | 454901 0 | 4 | 48 561.50/561.66 c 554s | 16 | 1249224 | 142252 | 454901 0 | 4 | 48 564.20/564.40 c 557s | 16 | 1249710 | 142552 | 454901 0 | 4 | 48 567.00/567.11 c 560s | 16 | 1250075 | 142852 | 454901 0 | 4 | 48 569.50/569.63 c 562s | 16 | 1250488 | 143152 | 454901 0 | 4 | 48 572.10/572.21 c 565s | 16 | 1250887 | 143452 | 454901 0 | 4 | 48 574.60/574.75 c 567s | 16 | 1251354 | 143752 | 454901 0 | 4 | 48 576.70/576.80 c 569s | 16 | 1251741 | 144052 | 454901 0 | 4 | 48 579.20/579.30 c 572s | 16 | 1252105 | 144352 | 454901 0 | 4 | 48 581.40/581.55 c 574s | 16 | 1252486 | 144652 | 454901 0 | 4 | 48 583.60/583.77 c 576s | 16 | 1252840 | 144952 | 454901 0 | 4 | 48 586.00/586.13 c 579s | 16 | 1253544 | 145252 | 454901 0 | 4 | 48 588.20/588.38 c 581s | 16 | 1254902 | 145552 | 454901 0 | 4 | 48 590.30/590.43 c 583s | 16 | 1255190 | 145752 | 454901 0 | 4 | 48 592.30/592.48 c 585s | 16 | 1255509 | 145952 | 454901 0 | 4 | 48 594.30/594.49 c 587s | 16 | 1255774 | 146152 | 454901 0 | 4 | 48 596.50/596.63 c 589s | 16 | 1256086 | 146352 | 454901 0 | 4 | 48 599.30/599.44 c 592s | 16 | 1256427 | 146652 | 454901 0 | 4 | 48 601.80/601.95 c 594s | 16 | 1256759 | 146952 | 454901 0 | 4 | 48 604.50/604.64 c 597s | 16 | 1264767 | 147352 | 454901 0 | 4 | 48 606.90/607.02 c 599s | 16 | 1269945 | 147552 | 454901 0 | 4 | 48 609.80/609.98 c 602s | 16 | 1273224 | 147952 | 454901 0 | 4 | 48 612.40/612.50 c 605s | 16 | 1273565 | 148252 | 454901 0 | 4 | 48 614.70/614.81 c 607s | 16 | 1273909 | 148552 | 454901 0 | 4 | 48 617.40/617.59 c 610s | 16 | 1274293 | 148852 | 454901 0 | 4 | 48 619.50/619.68 c 612s | 16 | 1274509 | 149052 | 454901 0 | 4 | 48 622.30/622.43 c 615s | 16 | 1274848 | 149352 | 454901 0 | 4 | 48 625.10/625.25 c 618s | 16 | 1275192 | 149652 | 454901 0 | 4 | 48 627.30/627.41 c 620s | 16 | 1275433 | 149852 | 454901 0 | 4 | 48 630.20/630.33 c 623s | 16 | 1275778 | 150152 | 454901 0 | 4 | 48 633.10/633.20 c 626s | 16 | 1276124 | 150452 | 454901 0 | 4 | 48 635.60/635.78 c 628s | 16 | 1276445 | 150752 | 454901 0 | 4 | 48 638.30/638.40 c 631s | 16 | 1276797 | 151052 | 454901 0 | 4 | 48 640.50/640.68 c 633s | 16 | 1277018 | 151252 | 454901 0 | 4 | 48 643.40/643.59 c 636s | 16 | 1277356 | 151552 | 454901 0 | 4 | 48 646.19/646.39 c 639s | 16 | 1277686 | 151852 | 454901 0 | 4 | 48 648.29/648.45 c 641s | 16 | 1277990 | 152152 | 454901 0 | 4 | 48 650.79/650.93 c 643s | 16 | 1278311 | 152452 | 454901 0 | 4 | 48 653.69/653.84 c 646s | 16 | 1278641 | 152752 | 454901 0 | 4 | 48 655.79/655.98 c 648s | 16 | 1278843 | 152952 | 454901 0 | 4 | 48 658.69/658.80 c 651s | 16 | 1279169 | 153252 | 454901 0 | 4 | 48 661.29/661.43 c 654s | 16 | 1279602 | 153652 | 454901 0 | 4 | 48 663.89/664.01 c 656s | 16 | 1279941 | 153952 | 454901 0 | 4 | 48 666.69/666.80 c 659s | 16 | 1280248 | 154252 | 454901 0 | 4 | 48 669.19/669.32 c 662s | 16 | 1280597 | 154552 | 454901 0 | 4 | 48 671.19/671.36 c 664s | 16 | 1280932 | 154852 | 454901 0 | 4 | 48 673.59/673.76 c 666s | 16 | 1281266 | 155152 | 454901 0 | 4 | 48 675.79/675.96 c 668s | 16 | 1281581 | 155452 | 454901 0 | 4 | 48 678.49/678.68 c 671s | 16 | 1282013 | 155852 | 454901 0 | 4 | 48 680.59/680.72 c 673s | 16 | 1282350 | 156152 | 454901 0 | 4 | 48 683.09/683.20 c 676s | 16 | 1282684 | 156452 | 454901 0 | 4 | 48 685.79/685.98 c 678s | 16 | 1283023 | 156752 | 454901 0 | 4 | 48 688.19/688.35 c 681s | 16 | 1283336 | 157052 | 454901 0 | 4 | 48 690.49/690.63 c 683s | 16 | 1283655 | 157352 | 454901 0 | 4 | 48 692.89/693.02 c 685s | 16 | 1283991 | 157652 | 454901 0 | 4 | 48 695.19/695.33 c 688s | 16 | 1284303 | 157952 | 454901 0 | 4 | 48 697.39/697.55 c 690s | 16 | 1284627 | 158252 | 454901 0 | 4 | 48 700.08/700.29 c 693s | 16 | 1284973 | 158552 | 454901 0 | 4 | 48 702.38/702.57 c 695s | 16 | 1285303 | 158852 | 454901 0 | 4 | 48 705.09/705.25 c 698s | 16 | 1285645 | 159152 | 454901 0 | 4 | 48 707.19/707.30 c 700s | 16 | 1285966 | 159452 | 454901 0 | 4 | 48 709.58/709.77 c 702s | 16 | 1286423 | 159852 | 454901 0 | 4 | 48 711.88/712.04 c 704s | 16 | 1286880 | 160252 | 454901 0 | 4 | 48 714.08/714.20 c 707s | 16 | 1287106 | 160452 | 454901 0 | 4 | 48 716.38/716.58 c 709s | 16 | 1287321 | 160652 | 454901 0 | 4 | 48 719.08/719.26 c 712s | 16 | 1287654 | 160952 | 454901 0 | 4 | 48 721.59/721.71 c 714s | 16 | 1287986 | 161252 | 454901 0 | 4 | 48 723.98/724.18 c 717s | 16 | 1288419 | 161652 | 454901 0 | 4 | 48 726.88/727.05 c 719s | 16 | 1288871 | 162052 | 454901 0 | 4 | 48 729.88/730.08 c 722s | 16 | 1289201 | 162352 | 454901 0 | 4 | 48 732.48/732.64 c 725s | 16 | 1289540 | 162652 | 454901 0 | 4 | 48 735.08/735.20 c 728s | 16 | 1289873 | 162952 | 454901 0 | 4 | 48 738.08/738.24 c 731s | 16 | 1290220 | 163252 | 454901 0 | 4 | 48 740.97/741.16 c 734s | 16 | 1290563 | 163552 | 454901 0 | 4 | 48 743.17/743.32 c 736s | 16 | 1290792 | 163752 | 454901 0 | 4 | 48 745.57/745.70 c 738s | 16 | 1291012 | 163952 | 454901 0 | 4 | 48 747.98/748.15 c 741s | 16 | 1291243 | 164152 | 454901 0 | 4 | 48 750.08/750.28 c 743s | 16 | 1291462 | 164352 | 454901 0 | 4 | 48 752.17/752.33 c 745s | 16 | 1291675 | 164552 | 454901 0 | 4 | 48 754.17/754.37 c 747s | 16 | 1291904 | 164752 | 454901 0 | 4 | 48 756.97/757.15 c 750s | 16 | 1292243 | 165052 | 454901 0 | 4 | 48 759.67/759.82 c 752s | 16 | 1292578 | 165352 | 454901 0 | 4 | 48 762.07/762.25 c 755s | 16 | 1292904 | 165652 | 454901 0 | 4 | 48 764.48/764.62 c 757s | 16 | 1293130 | 165852 | 454901 0 | 4 | 48 766.58/766.79 c 759s | 16 | 1293343 | 166052 | 454901 0 | 4 | 48 769.47/769.60 c 762s | 16 | 1293684 | 166352 | 454901 0 | 4 | 48 771.97/772.16 c 765s | 16 | 1294031 | 166652 | 454901 0 | 4 | 48 774.57/774.76 c 767s | 16 | 1294343 | 166952 | 454901 0 | 4 | 48 777.57/777.76 c 770s | 16 | 1294677 | 167252 | 454901 0 | 4 | 48 779.88/780.07 c 772s | 16 | 1294894 | 167452 | 454901 0 | 4 | 48 782.37/782.53 c 775s | 16 | 1295221 | 167752 | 454901 0 | 4 | 48 784.47/784.67 c 777s | 16 | 1295446 | 167952 | 454901 0 | 4 | 48 786.77/786.98 c 779s | 16 | 1295657 | 168152 | 454901 0 | 4 | 48 788.97/789.17 c 782s | 16 | 1295879 | 168352 | 454901 0 | 4 | 48 790.97/791.19 c 784s | 16 | 1296089 | 168552 | 454901 0 | 4 | 48 793.17/793.35 c 786s | 16 | 1296311 | 168752 | 454901 0 | 4 | 48 795.77/795.91 c 788s | 16 | 1296629 | 169052 | 454901 0 | 4 | 48 797.97/798.12 c 791s | 16 | 1296938 | 169352 | 454901 0 | 4 | 48 800.07/800.27 c 793s | 16 | 1297178 | 169552 | 454901 0 | 4 | 48 802.17/802.39 c 795s | 16 | 1297398 | 169752 | 454901 0 | 4 | 48 804.86/805.08 c 797s | 16 | 1297712 | 170052 | 454901 0 | 4 | 48 806.96/807.12 c 800s | 16 | 1297937 | 170252 | 454901 0 | 4 | 48 809.36/809.51 c 802s | 16 | 1298165 | 170452 | 454901 0 | 4 | 48 812.36/812.56 c 805s | 16 | 1298493 | 170752 | 454901 0 | 4 | 48 814.76/814.96 c 807s | 16 | 1298700 | 170952 | 454901 0 | 4 | 48 816.76/816.97 c 809s | 16 | 1298922 | 171152 | 454901 0 | 4 | 48 819.76/819.93 c 812s | 16 | 1299251 | 171452 | 454901 0 | 4 | 48 821.96/822.16 c 815s | 16 | 1299589 | 171752 | 454901 0 | 4 | 48 824.26/824.43 c 817s | 16 | 1299902 | 172052 | 454901 0 | 4 | 48 826.66/826.83 c 819s | 16 | 1300227 | 172352 | 454901 0 | 4 | 48 828.96/829.16 c 822s | 16 | 1300533 | 172652 | 454901 0 | 4 | 48 831.06/831.24 c 824s | 16 | 1300869 | 172952 | 454901 0 | 4 | 48 833.26/833.46 c 826s | 16 | 1301187 | 173252 | 454901 0 | 4 | 48 835.56/835.79 c 828s | 16 | 1301504 | 173552 | 454901 0 | 4 | 48 838.16/838.38 c 831s | 16 | 1301938 | 173952 | 454901 0 | 4 | 48 840.56/840.72 c 833s | 16 | 1302281 | 174252 | 454901 0 | 4 | 48 843.36/843.57 c 836s | 16 | 1302494 | 174452 | 454901 0 | 4 | 48 845.66/845.85 c 838s | 16 | 1302717 | 174652 | 454901 0 | 4 | 48 847.86/848.09 c 840s | 16 | 1302937 | 174852 | 454901 0 | 4 | 48 849.96/850.11 c 843s | 16 | 1303164 | 175052 | 454901 0 | 4 | 48 852.47/852.63 c 845s | 16 | 1303500 | 175352 | 454901 0 | 4 | 48 854.67/854.89 c 847s | 16 | 1303825 | 175652 | 454901 0 | 4 | 48 857.46/857.60 c 850s | 16 | 1304265 | 176052 | 454901 0 | 4 | 48 859.96/860.14 c 853s | 16 | 1304586 | 176352 | 454901 0 | 4 | 48 862.56/862.77 c 855s | 16 | 1305021 | 176752 | 454901 0 | 4 | 48 864.96/865.18 c 858s | 16 | 1305337 | 177052 | 454901 0 | 4 | 48 867.46/867.66 c 860s | 16 | 1305672 | 177352 | 454901 0 | 4 | 48 869.56/869.75 c 862s | 16 | 1305990 | 177652 | 454901 0 | 4 | 48 872.17/872.40 c 865s | 16 | 1306429 | 178052 | 454901 0 | 4 | 48 874.26/874.46 c 867s | 16 | 1306743 | 178352 | 454901 0 | 4 | 48 876.26/876.49 c 869s | 16 | 1307080 | 178652 | 454901 0 | 4 | 48 878.86/879.08 c 871s | 16 | 1307507 | 179052 | 454901 0 | 4 | 48 881.16/881.39 c 874s | 16 | 1307926 | 179452 | 454901 0 | 4 | 48 883.46/883.62 c 876s | 16 | 1308257 | 179752 | 454901 0 | 4 | 48 885.96/886.14 c 879s | 16 | 1308681 | 180152 | 454901 0 | 4 | 48 887.96/888.16 c 881s | 16 | 1309006 | 180452 | 454901 0 | 4 | 48 890.06/890.21 c 883s | 16 | 1309339 | 180752 | 454901 0 | 4 | 48 892.76/892.98 c 885s | 16 | 1309667 | 181052 | 454901 0 | 4 | 48 895.26/895.43 c 888s | 16 | 1309986 | 181352 | 454901 0 | 4 | 48 897.85/898.01 c 890s | 16 | 1310331 | 181652 | 454901 0 | 4 | 48 900.76/900.94 c 893s | 16 | 1310650 | 181952 | 454901 0 | 4 | 48 903.15/903.31 c 896s | 16 | 1310891 | 182152 | 454901 0 | 4 | 48 905.65/905.80 c 898s | 16 | 1311115 | 182352 | 454901 0 | 4 | 48 907.95/908.10 c 900s | 16 | 1311344 | 182552 | 454901 0 | 4 | 48 910.76/910.93 c 903s | 16 | 1311667 | 182852 | 454901 0 | 4 | 48 913.45/913.62 c 906s | 16 | 1311992 | 183152 | 454901 0 | 4 | 48 915.85/916.02 c 908s | 16 | 1312321 | 183452 | 454901 0 | 4 | 48 918.15/918.35 c 911s | 16 | 1312649 | 183752 | 454901 0 | 4 | 48 920.85/921.03 c 913s | 16 | 1312969 | 184052 | 454901 0 | 4 | 48 923.35/923.55 c 916s | 16 | 1313293 | 184352 | 454901 0 | 4 | 48 926.06/926.25 c 919s | 16 | 1313609 | 184652 | 454901 0 | 4 | 48 928.05/928.28 c 921s | 16 | 1317448 | 184852 | 454901 0 | 4 | 48 931.05/931.27 c 924s | 16 | 1317673 | 185052 | 454901 0 | 4 | 48 933.35/933.56 c 926s | 16 | 1317888 | 185252 | 454901 0 | 4 | 48 936.45/936.64 c 929s | 16 | 1318210 | 185552 | 454901 0 | 4 | 48 939.15/939.33 c 932s | 16 | 1318534 | 185852 | 454901 0 | 4 | 48 941.25/941.46 c 934s | 16 | 1318759 | 186052 | 454901 0 | 4 | 48 943.95/944.18 c 937s | 16 | 1319083 | 186352 | 454901 0 | 4 | 48 946.05/946.20 c 939s | 16 | 1319310 | 186552 | 454901 0 | 4 | 48 948.65/948.81 c 941s | 16 | 1319533 | 186752 | 454901 0 | 4 | 48 950.85/951.09 c 943s | 16 | 1319774 | 186952 | 454901 0 | 4 | 48 953.85/954.05 c 946s | 16 | 1320026 | 187152 | 454901 0 | 4 | 48 956.54/956.73 c 949s | 16 | 1320249 | 187352 | 454901 0 | 4 | 48 959.05/959.30 c 952s | 16 | 1320478 | 187552 | 454901 0 | 4 | 48 961.54/961.71 c 954s | 16 | 1320712 | 187752 | 454901 0 | 4 | 48 963.74/963.90 c 956s | 16 | 1320939 | 187952 | 454901 0 | 4 | 48 965.84/966.09 c 958s | 16 | 1321160 | 188152 | 454901 0 | 4 | 48 968.04/968.27 c 961s | 16 | 1321548 | 188352 | 454901 0 | 4 | 48 970.15/970.34 c 963s | 16 | 1334731 | 188552 | 454901 0 | 4 | 48 972.94/973.15 c 966s | 16 | 1339944 | 188752 | 454901 0 | 4 | 48 976.34/976.58 c 969s | 16 | 1340182 | 188952 | 454901 0 | 4 | 48 978.85/979.08 c 971s | 16 | 1349781 | 189152 | 454901 0 | 4 | 48 981.15/981.37 c 974s | 16 | 1353022 | 189352 | 454901 0 | 4 | 48 983.25/983.43 c 976s | 16 | 1365775 | 189552 | 454901 0 | 4 | 48 985.34/985.60 c 978s | 16 | 1367103 | 189652 | 454901 0 | 4 | 48 987.65/987.89 c 980s | 16 | 1367453 | 189852 | 454901 0 | 4 | 48 990.24/990.48 c 983s | 16 | 1367684 | 190052 | 454901 0 | 4 | 48 992.24/992.49 c 985s | 16 | 1367900 | 190252 | 454901 0 | 4 | 48 994.94/995.12 c 988s | 16 | 1368111 | 190452 | 454901 0 | 4 | 48 997.54/997.74 c 990s | 16 | 1368346 | 190652 | 454901 0 | 4 | 48 1000.04/1000.27 c 993s | 16 | 1368566 | 190852 | 454901 0 | 4 | 48 1002.14/1002.33 c 995s | 16 | 1368796 | 191052 | 454901 0 | 4 | 48 1004.94/1005.18 c 998s | 16 | 1369134 | 191352 | 454901 0 | 4 | 48 1007.13/1007.33 c 1000s | 16 | 1369350 | 191552 | 454901 0 | 4 | 48 1009.83/1010.00 c 1002s | 16 | 1369686 | 191852 | 454901 0 | 4 | 48 1011.94/1012.16 c 1005s | 16 | 1369915 | 192052 | 454901 0 | 4 | 48 1014.14/1014.34 c 1007s | 16 | 1370140 | 192252 | 454901 0 | 4 | 48 1016.13/1016.38 c 1009s | 16 | 1370359 | 192452 | 454901 0 | 4 | 48 1018.44/1018.62 c 1011s | 16 | 1370591 | 192652 | 454901 0 | 4 | 48 1020.83/1021.02 c 1013s | 16 | 1370823 | 192852 | 454901 0 | 4 | 48 1023.53/1023.76 c 1016s | 16 | 1371171 | 193152 | 454901 0 | 4 | 48 1026.43/1026.62 c 1019s | 16 | 1371498 | 193452 | 454901 0 | 4 | 48 1028.73/1028.97 c 1021s | 16 | 1371718 | 193652 | 454901 0 | 4 | 48 1031.93/1032.12 c 1025s | 16 | 1371943 | 193852 | 454901 0 | 4 | 48 1034.53/1034.73 c 1027s | 16 | 1372169 | 194052 | 454901 0 | 4 | 48 1037.33/1037.55 c 1030s | 16 | 1372409 | 194252 | 454901 0 | 4 | 48 1040.23/1040.42 c 1033s | 16 | 1372620 | 194452 | 454901 0 | 4 | 48 1042.83/1043.01 c 1035s | 16 | 1372851 | 194652 | 454901 0 | 4 | 48 1045.33/1045.56 c 1038s | 16 | 1373065 | 194852 | 454901 0 | 4 | 48 1048.13/1048.36 c 1041s | 16 | 1373285 | 195052 | 454901 0 | 4 | 48 1050.23/1050.46 c 1043s | 16 | 1373520 | 195252 | 454901 0 | 4 | 48 1052.23/1052.50 c 1045s | 16 | 1373750 | 195452 | 454901 0 | 4 | 48 1055.43/1055.60 c 1048s | 16 | 1374072 | 195752 | 454901 0 | 4 | 48 1057.53/1057.71 c 1050s | 16 | 1374289 | 195952 | 454901 0 | 4 | 48 1060.13/1060.33 c 1053s | 16 | 1374625 | 196252 | 500392 0 | 4 | 48 1062.93/1063.10 c 1055s | 16 | 1374943 | 196552 | 500392 0 | 4 | 48 1065.23/1065.45 c 1058s | 16 | 1375279 | 196852 | 500392 0 | 4 | 48 1067.93/1068.11 c 1061s | 16 | 1375600 | 197152 | 500392 0 | 4 | 48 1070.83/1071.03 c 1063s | 16 | 1375816 | 197352 | 500392 0 | 4 | 48 1071.93/1072.12 c 1065s | 17 | 1375900 | 197432 | 500392 0 | 4 | 48 1074.42/1074.63 c 1067s | 17 | 1379049 | 197732 | 500392 0 | 4 | 48 1076.52/1076.72 c 1069s | 17 | 1384858 | 198332 | 500392 0 | 4 | 48 1078.72/1078.99 c 1071s | 17 | 1405658 | 199532 | 500392 0 | 4 | 48 1081.92/1082.13 c 1075s | 17 | 1430624 | 200232 | 500392 0 | 4 | 48 1084.53/1084.73 c 1077s | 17 | 1438968 | 200932 | 500392 0 | 4 | 48 1087.12/1087.34 c 1080s | 17 | 1439604 | 201232 | 500392 0 | 4 | 48 1089.52/1089.73 c 1082s | 17 | 1443765 | 201632 | 500392 0 | 4 | 48 1091.82/1092.01 c 1084s | 17 | 1446666 | 202032 | 500392 0 | 4 | 48 1094.02/1094.24 c 1087s | 17 | 1448430 | 202332 | 500392 0 | 4 | 48 1096.72/1096.93 c 1089s | 17 | 1450059 | 202632 | 500392 0 | 4 | 48 1099.22/1099.43 c 1092s | 17 | 1455498 | 202932 | 500392 0 | 4 | 48 1102.03/1102.30 c 1095s | 17 | 1460076 | 203432 | 500392 0 | 4 | 48 1104.42/1104.68 c 1097s | 17 | 1463688 | 203932 | 500392 0 | 4 | 48 1107.32/1107.52 c 1100s | 17 | 1465120 | 204332 | 500392 0 | 4 | 48 1109.32/1109.58 c 1102s | 17 | 1465855 | 204632 | 500392 0 | 4 | 48 1111.82/1112.08 c 1104s | 17 | 1466945 | 204932 | 500392 0 | 4 | 48 1114.13/1114.34 c 1107s | 17 | 1469067 | 205232 | 500392 0 | 4 | 48 1116.43/1116.63 c 1109s | 17 | 1476040 | 205532 | 500392 0 | 4 | 48 1119.12/1119.32 c 1112s | 17 | 1477724 | 205832 | 500392 0 | 4 | 48 1121.32/1121.59 c 1114s | 17 | 1479406 | 206132 | 500392 0 | 4 | 48 1123.62/1123.82 c 1116s | 17 | 1483346 | 206432 | 500392 0 | 4 | 48 1125.92/1126.16 c 1119s | 17 | 1486084 | 206732 | 500392 0 | 4 | 48 1128.12/1128.31 c 1121s | 17 | 1489676 | 207032 | 500392 0 | 4 | 48 1130.82/1131.01 c 1123s | 17 | 1491376 | 207432 | 500392 0 | 4 | 48 1133.01/1133.24 c 1126s | 17 | 1492034 | 207732 | 500392 0 | 4 | 48 1135.71/1135.94 c 1128s | 17 | 1494321 | 207932 | 500392 0 | 4 | 48 1138.11/1138.33 c 1131s | 17 | 1501364 | 208332 | 500392 0 | 4 | 48 1140.41/1140.69 c 1133s | 17 | 1502916 | 208632 | 500392 0 | 4 | 48 1143.01/1143.28 c 1136s | 17 | 1503394 | 208932 | 500392 0 | 4 | 48 1145.51/1145.77 c 1138s | 17 | 1511298 | 209332 | 500392 0 | 4 | 48 1147.91/1148.10 c 1140s | 17 | 1523137 | 209832 | 500392 0 | 4 | 48 1150.11/1150.32 c 1143s | 17 | 1553307 | 211532 | 500392 0 | 4 | 48 1152.11/1152.38 c 1145s | 17 | 1559408 | 212532 | 500392 0 | 4 | 48 1154.21/1154.44 c 1147s | 17 | 1578290 | 214932 | 500392 0 | 4 | 48 1156.41/1156.62 c 1149s | 17 | 1585830 | 215832 | 500392 0 | 4 | 48 1158.51/1158.72 c 1151s | 17 | 1589261 | 216432 | 500392 0 | 4 | 48 1160.51/1160.73 c 1153s | 17 | 1590986 | 216832 | 500392 0 | 4 | 48 1162.71/1162.98 c 1155s | 17 | 1592160 | 217332 | 500392 0 | 4 | 48 1164.91/1165.19 c 1158s | 17 | 1593877 | 217832 | 500392 0 | 4 | 48 1167.02/1167.28 c 1160s | 17 | 1603607 | 218532 | 500392 0 | 4 | 48 1169.01/1169.30 c 1162s | 17 | 1610216 | 219132 | 500392 0 | 4 | 48 1171.11/1171.30 c 1164s | 17 | 1617386 | 219632 | 500392 0 | 4 | 48 1173.41/1173.68 c 1166s | 17 | 1622729 | 220132 | 500392 0 | 4 | 48 1175.72/1175.97 c 1168s | 17 | 1629774 | 220532 | 500392 0 | 4 | 48 1177.81/1178.00 c 1170s | 17 | 1644128 | 221832 | 500392 0 | 4 | 48 1179.81/1180.00 c 1172s | 17 | 1661091 | 223132 | 500392 0 | 4 | 48 1182.31/1182.58 c 1175s | 17 | 1668055 | 223632 | 500392 0 | 4 | 48 1184.81/1185.04 c 1177s | 17 | 1673586 | 224132 | 500392 0 | 4 | 48 1187.11/1187.32 c 1180s | 17 | 1675093 | 224432 | 500392 0 | 4 | 48 1189.51/1189.74 c 1182s | 17 | 1677737 | 225132 | 500392 0 | 4 | 48 1192.21/1192.41 c 1185s | 17 | 1678992 | 225632 | 500392 0 | 4 | 48 1194.20/1194.48 c 1187s | 17 | 1680307 | 226232 | 500392 0 | 4 | 48 1196.40/1196.64 c 1189s | 17 | 1683282 | 227232 | 500392 0 | 4 | 48 1198.60/1198.84 c 1191s | 17 | 1686221 | 228332 | 500392 0 | 4 | 48 1201.11/1201.32 c 1194s | 17 | 1687077 | 228732 | 500392 0 | 4 | 48 1203.21/1203.41 c 1196s | 17 | 1695566 | 229832 | 500392 0 | 4 | 48 1205.60/1205.80 c 1198s | 17 | 1699914 | 230932 | 500392 0 | 4 | 48 1208.00/1208.26 c 1201s | 17 | 1708573 | 231532 | 500392 0 | 4 | 48 1210.00/1210.28 c 1203s | 17 | 1710244 | 231932 | 500392 0 | 4 | 48 1212.40/1212.66 c 1205s | 17 | 1716784 | 232532 | 500392 0 | 4 | 48 1214.40/1214.67 c 1207s | 17 | 1722550 | 233132 | 500392 0 | 4 | 48 1216.90/1217.10 c 1209s | 17 | 1728346 | 233632 | 500392 0 | 4 | 48 1219.20/1219.47 c 1212s | 17 | 1731177 | 234332 | 500392 0 | 4 | 48 1221.20/1221.47 c 1214s | 17 | 1735897 | 234932 | 500392 0 | 4 | 48 1223.50/1223.71 c 1216s | 17 | 1738005 | 235332 | 500392 0 | 4 | 48 1225.70/1225.97 c 1218s | 17 | 1739487 | 235732 | 500392 0 | 4 | 48 1227.80/1228.03 c 1220s | 17 | 1740993 | 236232 | 500392 0 | 4 | 48 1230.00/1230.27 c 1223s | 17 | 1741605 | 236532 | 500392 0 | 4 | 48 1232.00/1232.29 c 1225s | 17 | 1743853 | 237332 | 500392 0 | 4 | 48 1234.90/1235.12 c 1228s | 17 | 1745182 | 237832 | 500392 0 | 4 | 48 1237.10/1237.37 c 1230s | 17 | 1745833 | 238132 | 500392 0 | 4 | 48 1239.70/1240.00 c 1232s | 17 | 1747003 | 238532 | 500392 0 | 4 | 48 1242.20/1242.40 c 1235s | 17 | 1748065 | 238832 | 500392 0 | 4 | 48 1244.39/1244.67 c 1237s | 17 | 1752028 | 239232 | 500392 0 | 4 | 48 1246.59/1246.82 c 1239s | 17 | 1754253 | 239632 | 500392 0 | 4 | 48 1249.19/1249.44 c 1242s | 17 | 1755552 | 240032 | 500392 0 | 4 | 48 1251.19/1251.45 c 1244s | 17 | 1757280 | 240432 | 500392 0 | 4 | 48 1253.39/1253.64 c 1246s | 17 | 1758367 | 240932 | 500392 0 | 4 | 48 1255.39/1255.69 c 1248s | 17 | 1759131 | 241232 | 500392 0 | 4 | 48 1257.69/1257.91 c 1250s | 17 | 1759673 | 241432 | 500392 0 | 4 | 48 1260.40/1260.69 c 1253s | 17 | 1760383 | 241732 | 500392 0 | 4 | 48 1263.30/1263.54 c 1256s | 17 | 1760875 | 242032 | 500392 0 | 4 | 48 1266.01/1266.29 c 1259s | 17 | 1761414 | 242332 | 500392 0 | 4 | 48 1268.21/1268.49 c 1261s | 17 | 1762212 | 242632 | 500392 0 | 4 | 48 1270.41/1270.67 c 1263s | 17 | 1763387 | 242932 | 500392 0 | 4 | 48 1272.90/1273.17 c 1266s | 17 | 1764445 | 243332 | 500392 0 | 4 | 48 1275.70/1275.91 c 1268s | 17 | 1765473 | 243732 | 500392 0 | 4 | 48 1277.90/1278.20 c 1271s | 17 | 1766768 | 244132 | 500392 0 | 4 | 48 1280.00/1280.24 c 1273s | 17 | 1769013 | 244832 | 500392 0 | 4 | 48 1282.30/1282.59 c 1275s | 17 | 1771384 | 245732 | 500392 0 | 4 | 48 1284.60/1284.86 c 1277s | 17 | 1772259 | 246132 | 500392 0 | 4 | 48 1287.20/1287.45 c 1280s | 17 | 1773134 | 246632 | 500392 0 | 4 | 48 1289.70/1289.90 c 1282s | 17 | 1774241 | 247332 | 500392 0 | 4 | 48 1292.00/1292.26 c 1285s | 17 | 1775287 | 247732 | 500392 0 | 4 | 48 1294.40/1294.62 c 1287s | 17 | 1775808 | 248032 | 500392 0 | 4 | 48 1296.49/1296.79 c 1289s | 17 | 1792298 | 248432 | 500392 0 | 4 | 48 1298.59/1298.87 c 1291s | 17 | 1803264 | 249732 | 500392 0 | 4 | 48 1300.69/1300.99 c 1293s | 17 | 1806575 | 251532 | 500392 0 | 4 | 48 1302.79/1303.01 c 1295s | 17 | 1813552 | 252332 | 500392 0 | 4 | 48 1305.29/1305.55 c 1298s | 17 | 1815480 | 252932 | 500392 0 | 4 | 48 1307.70/1307.99 c 1300s | 17 | 1823417 | 253432 | 500392 0 | 4 | 48 1309.90/1310.12 c 1303s | 17 | 1828255 | 253932 | 500392 0 | 4 | 48 1311.99/1312.24 c 1305s | 17 | 1831696 | 254432 | 500392 0 | 4 | 48 1314.09/1314.31 c 1307s | 17 | 1835088 | 255232 | 500392 0 | 4 | 48 1316.69/1316.95 c 1309s | 17 | 1837310 | 255832 | 500392 0 | 4 | 48 1319.19/1319.46 c 1312s | 17 | 1839139 | 256132 | 500392 0 | 4 | 48 1321.29/1321.54 c 1314s | 17 | 1845330 | 256732 | 500392 0 | 4 | 48 1323.39/1323.61 c 1316s | 17 | 1860088 | 257432 | 500392 0 | 4 | 48 1325.59/1325.86 c 1318s | 17 | 1868023 | 257932 | 500392 0 | 4 | 48 1327.69/1327.91 c 1320s | 17 | 1871368 | 259232 | 500392 0 | 4 | 48 1330.29/1330.57 c 1323s | 17 | 1877087 | 260232 | 500392 0 | 4 | 48 1332.59/1332.89 c 1325s | 17 | 1878593 | 260532 | 500392 0 | 4 | 48 1335.29/1335.51 c 1328s | 17 | 1893087 | 260932 | 500392 0 | 4 | 48 1337.39/1337.61 c 1330s | 17 | 1897675 | 261232 | 500392 0 | 4 | 48 1339.49/1339.73 c 1332s | 17 | 1899168 | 261532 | 500392 0 | 4 | 48 1341.69/1341.92 c 1334s | 17 | 1899864 | 261832 | 500392 0 | 4 | 48 1344.19/1344.44 c 1337s | 17 | 1900559 | 262132 | 500392 0 | 4 | 48 1346.59/1346.88 c 1339s | 17 | 1905365 | 262532 | 500392 0 | 4 | 48 1348.98/1349.28 c 1342s | 17 | 1910607 | 263032 | 500392 0 | 4 | 48 1351.48/1351.78 c 1344s | 17 | 1912714 | 263432 | 500392 0 | 4 | 48 1353.58/1353.81 c 1346s | 17 | 1914379 | 263932 | 500392 0 | 4 | 48 1356.19/1356.47 c 1349s | 17 | 1916517 | 264332 | 500392 0 | 4 | 48 1358.88/1359.17 c 1352s | 17 | 1917639 | 264732 | 500392 0 | 4 | 48 1361.08/1361.37 c 1354s | 17 | 1918207 | 265032 | 500392 0 | 4 | 48 1363.58/1363.84 c 1356s | 17 | 1919612 | 265432 | 500392 0 | 4 | 48 1366.18/1366.44 c 1359s | 17 | 1920649 | 265732 | 500392 0 | 4 | 48 1368.58/1368.84 c 1361s | 17 | 1921528 | 266032 | 500392 0 | 4 | 48 1370.98/1371.22 c 1364s | 17 | 1921984 | 266332 | 500392 0 | 4 | 48 1373.38/1373.64 c 1366s | 17 | 1922587 | 266632 | 500392 0 | 4 | 48 1375.68/1375.90 c 1368s | 17 | 1923197 | 266832 | 500392 0 | 4 | 48 1377.98/1378.29 c 1371s | 17 | 1924739 | 267132 | 500392 0 | 4 | 48 1380.18/1380.41 c 1373s | 17 | 1927222 | 268232 | 500392 0 | 4 | 48 1382.28/1382.51 c 1375s | 17 | 1931708 | 268832 | 500392 0 | 4 | 48 1384.28/1384.56 c 1377s | 17 | 1935940 | 269632 | 500392 0 | 4 | 48 1386.89/1387.13 c 1380s | 17 | 1942111 | 270932 | 500392 0 | 4 | 48 1389.38/1389.65 c 1382s | 17 | 1948474 | 271432 | 500392 0 | 4 | 48 1391.88/1392.15 c 1385s | 17 | 1950672 | 272232 | 500392 0 | 4 | 48 1393.98/1394.21 c 1387s | 17 | 1952081 | 272932 | 500392 0 | 4 | 48 1396.18/1396.40 c 1389s | 17 | 1953412 | 273632 | 500392 0 | 4 | 48 1398.58/1398.85 c 1391s | 17 | 1954367 | 274232 | 500392 0 | 4 | 48 1401.28/1401.52 c 1394s | 17 | 1960514 | 274932 | 500392 0 | 4 | 48 1403.38/1403.69 c 1396s | 17 | 1975427 | 275532 | 500392 0 | 4 | 48 1405.78/1406.07 c 1398s | 17 | 1983630 | 275932 | 500392 0 | 4 | 48 1407.98/1408.29 c 1401s | 17 | 1988373 | 276232 | 500392 0 | 4 | 48 1410.18/1410.40 c 1403s | 17 | 1992780 | 276432 | 500392 0 | 4 | 48 1412.28/1412.59 c 1405s | 17 | 1996393 | 277232 | 500392 0 | 4 | 48 1414.48/1414.72 c 1407s | 17 | 1997553 | 277932 | 500392 0 | 4 | 48 1416.47/1416.78 c 1409s | 17 | 2002737 | 278632 | 500392 0 | 4 | 48 1418.57/1418.82 c 1411s | 17 | 2005788 | 279432 | 500392 0 | 4 | 48 1420.87/1421.10 c 1413s | 17 | 2007112 | 280032 | 500392 0 | 4 | 48 1423.07/1423.33 c 1416s | 17 | 2009370 | 280532 | 500392 0 | 4 | 48 1425.27/1425.51 c 1418s | 17 | 2038895 | 281432 | 500392 0 | 4 | 48 1427.37/1427.64 c 1420s | 17 | 2075803 | 282932 | 500392 0 | 4 | 48 1429.37/1429.65 c 1422s | 17 | 2086604 | 284232 | 500392 0 | 4 | 48 1431.57/1431.80 c 1424s | 17 | 2100058 | 285432 | 500392 0 | 4 | 48 1433.57/1433.84 c 1426s | 17 | 2104171 | 286132 | 500392 0 | 4 | 48 1435.67/1435.95 c 1428s | 17 | 2109744 | 287132 | 500392 0 | 4 | 48 1437.77/1438.01 c 1430s | 17 | 2115363 | 287632 | 500392 0 | 4 | 48 1439.97/1440.21 c 1433s | 17 | 2117052 | 288032 | 500392 0 | 4 | 48 1442.27/1442.56 c 1435s | 17 | 2117823 | 288532 | 500392 0 | 4 | 48 1444.47/1444.77 c 1437s | 17 | 2119045 | 288932 | 500392 0 | 4 | 48 1447.17/1447.47 c 1440s | 17 | 2121746 | 289732 | 500392 0 | 4 | 48 1449.27/1449.50 c 1442s | 17 | 2123496 | 290232 | 500392 0 | 4 | 48 1451.27/1451.54 c 1444s | 17 | 2143114 | 291132 | 500392 0 | 4 | 48 1453.57/1453.89 c 1446s | 17 | 2154054 | 292232 | 500392 0 | 4 | 48 1456.07/1456.40 c 1449s | 17 | 2157508 | 292732 | 500392 0 | 4 | 48 1458.37/1458.64 c 1451s | 17 | 2159961 | 293332 | 500392 0 | 4 | 48 1460.47/1460.78 c 1453s | 17 | 2163387 | 293932 | 500392 0 | 4 | 48 1463.17/1463.41 c 1456s | 17 | 2173013 | 294632 | 550432 0 | 4 | 48 1465.17/1465.49 c 1458s | 17 | 2176734 | 295232 | 550432 0 | 4 | 48 1467.37/1467.64 c 1460s | 17 | 2177992 | 296032 | 550432 0 | 4 | 48 1468.07/1468.38 c 1461s | 18 | 2178353 | 296252 | 550432 0 | 4 | 48 1470.17/1470.42 c 1463s | 18 | 2178912 | 296352 | 550432 0 | 4 | 48 1472.47/1472.72 c 1465s | 18 | 2182035 | 296552 | 550432 0 | 4 | 48 1475.26/1475.54 c 1468s | 18 | 2185135 | 296752 | 550432 0 | 4 | 48 1477.86/1478.12 c 1471s | 18 | 2196074 | 297052 | 550432 0 | 4 | 48 1480.66/1480.95 c 1473s | 18 | 2198585 | 297252 | 550432 0 | 4 | 48 1483.06/1483.37 c 1476s | 18 | 2198808 | 297452 | 550432 0 | 4 | 48 1485.26/1485.52 c 1478s | 18 | 2199035 | 297652 | 550432 0 | 4 | 48 1488.06/1488.31 c 1481s | 18 | 2199368 | 297952 | 550432 0 | 4 | 48 1490.36/1490.63 c 1483s | 18 | 2199687 | 298252 | 550432 0 | 4 | 48 1492.85/1493.13 c 1486s | 18 | 2200026 | 298552 | 550432 0 | 4 | 48 1495.35/1495.65 c 1488s | 18 | 2200349 | 298852 | 550432 0 | 4 | 48 1497.85/1498.13 c 1491s | 18 | 2200690 | 299152 | 550432 0 | 4 | 48 1500.35/1500.69 c 1493s | 18 | 2200902 | 299352 | 550432 0 | 4 | 48 1502.85/1503.19 c 1496s | 18 | 2201116 | 299552 | 550432 0 | 4 | 48 1505.45/1505.78 c 1498s | 18 | 2201382 | 299752 | 550432 0 | 4 | 48 1508.35/1508.66 c 1501s | 18 | 2201704 | 300052 | 550432 0 | 4 | 48 1511.05/1511.38 c 1504s | 18 | 2201969 | 300252 | 550432 0 | 4 | 48 1513.45/1513.74 c 1506s | 18 | 2202189 | 300452 | 550432 0 | 4 | 48 1515.44/1515.75 c 1508s | 18 | 2202410 | 300652 | 550432 0 | 4 | 48 1518.34/1518.64 c 1511s | 18 | 2202682 | 300852 | 550432 0 | 4 | 48 1521.24/1521.52 c 1514s | 18 | 2202914 | 301052 | 550432 0 | 4 | 48 1524.14/1524.45 c 1517s | 18 | 2203138 | 301252 | 550432 0 | 4 | 48 1527.04/1527.33 c 1520s | 18 | 2203365 | 301452 | 550432 0 | 4 | 48 1529.24/1529.54 c 1522s | 18 | 2203575 | 301652 | 550432 0 | 4 | 48 1531.34/1531.63 c 1524s | 18 | 2203794 | 301852 | 550432 0 | 4 | 48 1533.34/1533.64 c 1526s | 18 | 2204000 | 302052 | 550432 0 | 4 | 48 1535.74/1536.06 c 1528s | 18 | 2204214 | 302252 | 550432 0 | 4 | 48 1538.14/1538.42 c 1531s | 18 | 2204428 | 302452 | 550432 0 | 4 | 48 1540.54/1540.88 c 1533s | 18 | 2204780 | 302752 | 550432 0 | 4 | 48 1542.94/1543.25 c 1536s | 18 | 2205011 | 302952 | 550432 0 | 4 | 48 1546.34/1546.61 c 1539s | 18 | 2205291 | 303152 | 550432 0 | 4 | 48 1550.13/1550.44 c 1543s | 18 | 2205531 | 303352 | 550432 0 | 4 | 48 1553.13/1553.43 c 1546s | 18 | 2205754 | 303552 | 550432 0 | 4 | 48 1556.43/1556.73 c 1549s | 18 | 2205985 | 303752 | 550432 0 | 4 | 48 1558.93/1559.20 c 1552s | 18 | 2206207 | 303952 | 550432 0 | 4 | 48 1561.43/1561.71 c 1554s | 18 | 2206450 | 304152 | 550432 0 | 4 | 48 1564.62/1564.97 c 1557s | 18 | 2206834 | 304452 | 550432 0 | 4 | 48 1567.42/1567.71 c 1560s | 18 | 2207059 | 304652 | 550432 0 | 4 | 48 1569.92/1570.25 c 1563s | 18 | 2207293 | 304852 | 550432 0 | 4 | 48 1572.72/1573.03 c 1565s | 18 | 2207528 | 305052 | 550432 0 | 4 | 48 1575.62/1575.93 c 1568s | 18 | 2207757 | 305252 | 550432 0 | 4 | 48 1577.92/1578.21 c 1571s | 18 | 2208009 | 305452 | 550432 0 | 4 | 48 1580.32/1580.67 c 1573s | 18 | 2208244 | 305652 | 550432 0 | 4 | 48 1583.22/1583.56 c 1576s | 18 | 2208479 | 305852 | 550432 0 | 4 | 48 1585.92/1586.22 c 1579s | 18 | 2208714 | 306052 | 550432 0 | 4 | 48 1587.91/1588.25 c 1581s | 18 | 2208931 | 306252 | 550432 0 | 4 | 48 1590.32/1590.63 c 1583s | 18 | 2209197 | 306452 | 550432 0 | 4 | 48 1592.81/1593.14 c 1586s | 18 | 2209431 | 306652 | 550432 0 | 4 | 48 1595.41/1595.74 c 1588s | 18 | 2209671 | 306852 | 550432 0 | 4 | 48 1597.61/1597.90 c 1590s | 18 | 2209908 | 307052 | 550432 0 | 4 | 48 1600.11/1600.43 c 1593s | 18 | 2210147 | 307252 | 550432 0 | 4 | 48 1602.41/1602.73 c 1595s | 18 | 2210364 | 307452 | 550432 0 | 4 | 48 1604.61/1604.99 c 1597s | 18 | 2210598 | 307652 | 550432 0 | 4 | 48 1607.20/1607.50 c 1600s | 18 | 2210831 | 307852 | 550432 0 | 4 | 48 1609.50/1609.84 c 1602s | 18 | 2211055 | 308052 | 550432 0 | 4 | 48 1612.20/1612.55 c 1605s | 18 | 2211314 | 308252 | 550432 0 | 4 | 48 1614.60/1614.98 c 1607s | 18 | 2211523 | 308452 | 550432 0 | 4 | 48 1616.70/1617.06 c 1609s | 18 | 2211757 | 308652 | 550432 0 | 4 | 48 1619.19/1619.57 c 1612s | 18 | 2211989 | 308852 | 550432 0 | 4 | 48 1621.49/1621.84 c 1614s | 18 | 2212209 | 309052 | 550432 0 | 4 | 48 1623.69/1624.03 c 1616s | 18 | 2212428 | 309252 | 550432 0 | 4 | 48 1626.29/1626.69 c 1619s | 18 | 2212677 | 309452 | 550432 0 | 4 | 48 1628.80/1629.16 c 1622s | 18 | 2212913 | 309652 | 550432 0 | 4 | 48 1631.29/1631.62 c 1624s | 18 | 2213132 | 309852 | 550432 0 | 4 | 48 1633.79/1634.15 c 1627s | 18 | 2213374 | 310052 | 550432 0 | 4 | 48 1636.59/1636.98 c 1629s | 18 | 2213645 | 310252 | 550432 0 | 4 | 48 1639.48/1639.87 c 1632s | 18 | 2213887 | 310452 | 550432 0 | 4 | 48 1642.18/1642.50 c 1635s | 18 | 2214098 | 310652 | 550432 0 | 4 | 48 1644.98/1645.35 c 1638s | 18 | 2214356 | 310852 | 550432 0 | 4 | 48 1648.18/1648.57 c 1641s | 18 | 2214594 | 311052 | 550432 0 | 4 | 48 1650.88/1651.24 c 1644s | 18 | 2214812 | 311252 | 550432 0 | 4 | 48 1653.87/1654.23 c 1647s | 18 | 2215044 | 311452 | 550432 0 | 4 | 48 1656.47/1656.86 c 1649s | 18 | 2215263 | 311652 | 550432 0 | 4 | 48 1658.97/1659.39 c 1652s | 18 | 2215473 | 311852 | 550432 0 | 4 | 48 1662.07/1662.41 c 1655s | 18 | 2215718 | 312052 | 550432 0 | 4 | 48 1665.07/1665.45 c 1658s | 18 | 2215964 | 312252 | 550432 0 | 4 | 48 1667.96/1668.39 c 1661s | 18 | 2216183 | 312452 | 550432 0 | 4 | 48 1670.57/1671.00 c 1663s | 18 | 2216411 | 312652 | 550432 0 | 4 | 48 1673.16/1673.51 c 1666s | 18 | 2216627 | 312852 | 550432 0 | 4 | 48 1675.66/1676.00 c 1668s | 18 | 2216857 | 313052 | 550432 0 | 4 | 48 1677.86/1678.26 c 1671s | 18 | 2217087 | 313252 | 550432 0 | 4 | 48 1680.66/1681.07 c 1673s | 18 | 2217364 | 313452 | 550432 0 | 4 | 48 1682.66/1683.08 c 1675s | 18 | 2217475 | 313552 | 550432 0 | 4 | 48 1686.15/1686.59 c 1679s | 18 | 2217693 | 313752 | 550432 0 | 4 | 48 1688.85/1689.24 c 1682s | 18 | 2217925 | 313952 | 550432 0 | 4 | 48 1691.65/1692.05 c 1684s | 18 | 2218155 | 314152 | 550432 0 | 4 | 48 1695.15/1695.52 c 1688s | 18 | 2218377 | 314352 | 550432 0 | 4 | 48 1697.85/1698.28 c 1691s | 18 | 2218597 | 314552 | 550432 0 | 4 | 48 1700.25/1700.61 c 1693s | 18 | 2218839 | 314752 | 550432 0 | 4 | 48 1703.05/1703.40 c 1696s | 18 | 2219061 | 314952 | 550432 0 | 4 | 48 1705.54/1705.96 c 1698s | 18 | 2219286 | 315152 | 550432 0 | 4 | 48 1708.14/1708.58 c 1701s | 18 | 2219500 | 315352 | 550432 0 | 4 | 48 1710.54/1710.94 c 1703s | 18 | 2219731 | 315552 | 550432 0 | 4 | 48 1713.45/1713.85 c 1706s | 18 | 2219945 | 315752 | 550432 0 | 4 | 48 1715.94/1716.38 c 1709s | 18 | 2220158 | 315952 | 550432 0 | 4 | 48 1718.94/1719.40 c 1712s | 18 | 2220395 | 316152 | 550432 0 | 4 | 48 1721.54/1721.93 c 1714s | 18 | 2220612 | 316352 | 550432 0 | 4 | 48 1723.84/1724.20 c 1717s | 18 | 2220842 | 316552 | 550432 0 | 4 | 48 1726.83/1727.21 c 1720s | 18 | 2221059 | 316752 | 550432 0 | 4 | 48 1729.23/1729.69 c 1722s | 18 | 2221278 | 316952 | 550432 0 | 4 | 48 1731.63/1732.03 c 1724s | 18 | 2221507 | 317152 | 550432 0 | 4 | 48 1734.23/1734.63 c 1727s | 18 | 2221716 | 317352 | 550432 0 | 4 | 48 1736.73/1737.19 c 1730s | 18 | 2221947 | 317552 | 550432 0 | 4 | 48 1740.03/1740.49 c 1733s | 18 | 2222167 | 317752 | 550432 0 | 4 | 48 1742.53/1743.00 c 1735s | 18 | 2222381 | 317952 | 550432 0 | 4 | 48 1744.93/1745.37 c 1738s | 18 | 2222597 | 318152 | 550432 0 | 4 | 48 1748.43/1748.89 c 1741s | 18 | 2222840 | 318352 | 550432 0 | 4 | 48 1751.22/1751.62 c 1744s | 18 | 2223054 | 318552 | 550432 0 | 4 | 48 1753.92/1754.37 c 1747s | 18 | 2223282 | 318752 | 550432 0 | 4 | 48 1757.22/1757.62 c 1750s | 18 | 2223497 | 318952 | 550432 0 | 4 | 48 1760.52/1760.92 c 1753s | 18 | 2223705 | 319152 | 550432 0 | 4 | 48 1763.42/1763.84 c 1756s | 18 | 2223913 | 319352 | 550432 0 | 4 | 48 1766.01/1766.45 c 1759s | 18 | 2224150 | 319552 | 550432 0 | 4 | 48 1768.52/1768.97 c 1761s | 18 | 2224358 | 319752 | 550432 0 | 4 | 48 1771.82/1772.26 c 1765s | 18 | 2224581 | 319952 | 550432 0 | 4 | 48 1774.61/1775.01 c 1767s | 18 | 2224794 | 320152 | 550432 0 | 4 | 48 1777.01/1777.41 c 1770s | 18 | 2225001 | 320352 | 550432 0 | 4 | 48 1779.71/1780.15 c 1773s | 18 | 2225213 | 320552 | 550432 0 | 4 | 48 1782.21/1782.64 c 1775s | 18 | 2225434 | 320752 | 550432 0 | 4 | 48 1785.11/1785.57 c 1778s | 18 | 2225747 | 321052 | 550432 0 | 4 | 48 1787.31/1787.76 c 1780s | 18 | 2225955 | 321252 | 550432 0 | 4 | 48 1789.91/1790.33 c 1783s | 18 | 2226274 | 321552 | 550432 0 | 4 | 48 1792.31/1792.71 c 1785s | 18 | 2226499 | 321752 | 550432 0 | 4 | 48 1795.30/1795.78 c 1788s | 18 | 2226823 | 322052 | 550432 0 | 4 | 48 1797.40/1797.86 c 1790s | 18 | 2227035 | 322252 | 550432 0 | 4 | 48
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-4108981-1466292960/watcher-4108981-1466292960 -o /tmp/evaluation-result-4108981-1466292960/solver-4108981-1466292960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466292960-3280 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108981-1466292960.opb pid=3310 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: 1.68 2.08 2.14 3/179 3313 /proc/meminfo: memFree=30146732/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=721340 CPUtime=0 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 2689 0 0 0 0 0 0 0 20 0 4 0 31344737 738652160 3049 33554432000 4194304 16246674 140733993894384 140733993893808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 180847 3057 441 2943 0 177741 0 [pid=3313/tid=3314] ppid=3310 vsize=754108 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 772206592 3181 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=759228 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 777449472 3200 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=763324 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 781643776 3215 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 1.68 2.08 2.14 3/179 3313 /proc/meminfo: memFree=30146732/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1221188 CPUtime=0.09 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 27141 0 0 0 5 4 0 0 20 0 4 0 31344737 1250496512 27439 33554432000 4194304 16246674 140733993894384 140733993893696 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 305297 27439 800 2943 0 302191 0 [pid=3313/tid=3314] ppid=3310 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1250496512 27439 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1250496512 27439 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1250496512 27439 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200519 s] /proc/loadavg: 1.68 2.08 2.14 3/179 3313 /proc/meminfo: memFree=30146732/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1310276 CPUtime=0.19 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 48572 0 0 0 12 7 0 0 20 0 4 0 31344737 1341722624 49381 33554432000 4194304 16246674 140733993894384 140733993893696 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 327569 49387 800 2943 0 324463 0 [pid=3313/tid=3314] ppid=3310 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1341722624 49391 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1341722624 49396 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1341722624 49400 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1310276 [startup+0.300469 s] /proc/loadavg: 1.68 2.08 2.14 3/179 3313 /proc/meminfo: memFree=30146732/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 61011 0 0 0 20 9 0 0 20 0 4 0 31344737 1345916928 61820 33554432000 4194304 16246674 140733993894384 140733993893696 4221108 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 328593 61820 800 2943 0 325487 0 [pid=3313/tid=3314] ppid=3310 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1345916928 61820 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1345916928 61820 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1345916928 61820 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700363 s] /proc/loadavg: 1.68 2.08 2.14 3/179 3313 /proc/meminfo: memFree=30146732/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 71828 0 0 0 58 11 0 0 20 0 4 0 31344737 1345916928 72637 33554432000 4194304 16246674 140733993894384 140733993877376 7364072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 328593 72637 801 2943 0 325487 0 [pid=3313/tid=3314] ppid=3310 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1345916928 72637 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1345916928 72637 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1345916928 72637 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50042 s] /proc/loadavg: 1.70 2.08 2.14 4/183 3317 /proc/meminfo: memFree=29523152/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1314372 CPUtime=1.48 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 86768 0 0 0 136 12 0 0 20 0 4 0 31344737 1345916928 87577 33554432000 4194304 16246674 140733993894384 140733993877376 8058776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 328593 87577 802 2943 0 325487 0 [pid=3313/tid=3314] ppid=3310 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1345916928 87577 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1345916928 87577 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1345916928 87577 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1314372 [startup+3.10039 s] /proc/loadavg: 1.70 2.08 2.14 4/183 3317 /proc/meminfo: memFree=29069544/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1314372 CPUtime=3.09 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 263637 0 0 0 269 40 0 0 20 0 4 0 31344737 1345916928 264446 33554432000 4194304 16246674 140733993894384 140733993876288 12457395 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 328593 264456 847 2943 0 325487 0 [pid=3313/tid=3314] ppid=3310 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1345916928 264462 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1345916928 264468 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1345916928 264474 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1314372 [startup+6.3004 s] /proc/loadavg: 1.81 2.10 2.14 3/183 3317 /proc/meminfo: memFree=27981592/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1330756 CPUtime=6.29 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 273320 0 0 0 587 42 0 0 20 0 4 0 31344737 1362694144 274129 33554432000 4194304 16246674 140733993894384 140733993876288 7202144 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 332689 274129 847 2943 0 329583 0 [pid=3313/tid=3314] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274129 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274129 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274129 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1330756 [startup+12.7004 s] /proc/loadavg: 1.90 2.11 2.14 4/183 3317 /proc/meminfo: memFree=27981620/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1330756 CPUtime=12.69 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 273364 0 0 0 1227 42 0 0 20 0 4 0 31344737 1362694144 274173 33554432000 4194304 16246674 140733993894384 140733993876288 6842531 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 332689 274173 889 2943 0 329583 0 [pid=3313/tid=3314] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274173 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274173 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274173 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1330756 [startup+25.5005 s] /proc/loadavg: 1.99 2.12 2.15 3/183 3317 /proc/meminfo: memFree=27983152/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1330756 CPUtime=25.49 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 273364 0 0 0 2507 42 0 0 20 0 4 0 31344737 1362694144 274173 33554432000 4194304 16246674 140733993894384 140733993876288 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 332689 274173 889 2943 0 329583 0 [pid=3313/tid=3314] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274173 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274173 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274173 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1330756 [startup+51.1005 s] /proc/loadavg: 1.99 2.11 2.14 3/183 3317 /proc/meminfo: memFree=27983284/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1330756 CPUtime=51.08 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 273369 0 0 0 5066 42 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140733993876288 5661546 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 332689 274178 892 2943 0 329583 0 [pid=3313/tid=3314] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1330756 [startup+102.3 s] /proc/loadavg: 2.24 2.15 2.15 4/183 3319 /proc/meminfo: memFree=27983356/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1330756 CPUtime=102.28 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 273369 0 0 0 10186 42 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140733993876288 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 332689 274178 892 2943 0 329583 0 [pid=3313/tid=3314] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1330756 ################ # More data... # ################ /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 1330756 [startup+1302.3 s] /proc/loadavg: 2.41 2.31 2.22 3/182 3348 /proc/meminfo: memFree=27979216/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1330756 CPUtime=1302.09 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 273369 0 0 0 130164 45 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140733993876288 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 332689 274178 892 2943 0 329583 0 [pid=3313/tid=3314] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1330756 [startup+1362.3 s] /proc/loadavg: 2.26 2.28 2.21 3/183 3350 /proc/meminfo: memFree=27979368/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1330756 CPUtime=1362.08 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 273369 0 0 0 136163 45 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140733993876288 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 332689 274178 892 2943 0 329583 0 [pid=3313/tid=3314] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1330756 [startup+1422.3 s] /proc/loadavg: 2.27 2.29 2.22 3/183 3351 /proc/meminfo: memFree=27979284/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1330756 CPUtime=1422.08 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 273369 0 0 0 142163 45 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140733993877384 4221116 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 332689 274178 892 2943 0 329583 0 [pid=3313/tid=3314] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274178 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 1330756 [startup+1482.3 s] /proc/loadavg: 2.27 2.28 2.21 3/184 3355 /proc/meminfo: memFree=27978468/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1330756 CPUtime=1482.06 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 273374 0 0 0 148161 45 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140733993876288 5523513 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 332689 274179 893 2943 0 329583 0 [pid=3313/tid=3314] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 1330756 [startup+1542.31 s] /proc/loadavg: 2.31 2.29 2.22 4/184 3379 /proc/meminfo: memFree=27978240/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1330756 CPUtime=1542.04 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 273404 0 0 0 154159 45 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140733993876288 5523456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 332689 274179 893 2943 0 329583 0 [pid=3313/tid=3314] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 1330756 [startup+1602.3 s] /proc/loadavg: 2.21 2.26 2.21 3/183 3380 /proc/meminfo: memFree=27978184/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1330756 CPUtime=1602.01 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 273436 0 0 0 160156 45 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140733993876288 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 332689 274179 893 2943 0 329583 0 [pid=3313/tid=3314] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 1330756 [startup+1662.3 s] /proc/loadavg: 2.30 2.27 2.22 3/183 3382 /proc/meminfo: memFree=27978692/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1330756 CPUtime=1661.97 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 273480 0 0 0 166152 45 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140733993876288 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 332689 274179 893 2943 0 329583 0 [pid=3313/tid=3314] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 1330756 [startup+1722.3 s] /proc/loadavg: 2.26 2.27 2.21 3/183 3383 /proc/meminfo: memFree=27978492/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1330756 CPUtime=1721.94 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 273525 0 0 0 172149 45 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140733993876288 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 332689 274179 893 2943 0 329583 0 [pid=3313/tid=3314] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 1330756 [startup+1782.3 s] /proc/loadavg: 2.29 2.27 2.22 3/183 3384 /proc/meminfo: memFree=27978116/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1330756 CPUtime=1781.91 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 273571 0 0 0 178145 46 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140733993876288 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 332689 274179 893 2943 0 329583 0 [pid=3313/tid=3314] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1330756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.22 2.26 2.21 3/183 3384 /proc/meminfo: memFree=27978224/32872528 swapFree=1431120/1543540 [pid=3313] ppid=3310 vsize=1330756 CPUtime=1800 cores=0,2,4,6 /proc/3313/stat : 3313 (toysat) R 3310 3313 31922 0 -1 4202496 273586 0 0 0 179954 46 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140733993892224 4220580 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3313/statm: 332689 274179 893 2943 0 329583 0 [pid=3313/tid=3314] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3314/stat : 3314 (toysat) S 3310 3313 31922 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697689631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3313/tid=3315] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3315/stat : 3315 (toysat) S 3310 3313 31922 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697679142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3313/tid=3316] ppid=3310 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/3313/task/3316/stat : 3316 (toysat) S 3310 3313 31922 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31344737 1362694144 274179 33554432000 4194304 16246674 140733993894384 140697558576304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1330756 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 3313 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.44 CPU time (s): 1800.04 CPU user time (s): 1799.55 CPU system time (s): 0.490925 CPU usage (%): 99.9778 Max. virtual memory (cumulated for all children) (KiB): 1330756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 0.490925 maximum resident set size= 1096716 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273586 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= 248 involuntary context switches= 1844 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.76727 second user time and 6.87895 second system time The end
Begin job on node116 at 2016-06-19 01:36:00 IDJOB=4108981 IDBENCH=89783 IDSOLVER=2542 FILE ID=node116/4108981-1466292960 RUNJOBID= node116-1466292960-3280 PBS_JOBID= 19918272 Free space on /tmp= 71660 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-60.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108981-1466292960/watcher-4108981-1466292960 -o /tmp/evaluation-result-4108981-1466292960/solver-4108981-1466292960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466292960-3280 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108981-1466292960.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3a065af206abae16cc2624cb89dfd6ff RANDOM SEED=1183558893 node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30172192 kB Buffers: 107352 kB Cached: 274832 kB SwapCached: 2312 kB Active: 179984 kB Inactive: 225644 kB Active(anon): 21256 kB Inactive(anon): 3988 kB Active(file): 158728 kB Inactive(file): 221656 kB Unevictable: 1543540 kB Mlocked: 1431120 kB SwapTotal: 67108856 kB SwapFree: 67099752 kB Dirty: 52828 kB Writeback: 0 kB AnonPages: 1563332 kB Mapped: 10280 kB Shmem: 0 kB Slab: 615744 kB SReclaimable: 59892 kB SUnreclaim: 555852 kB KernelStack: 1400 kB PageTables: 8768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2665668 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 112640 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= 71640 MiB End job on node116 at 2016-06-19 02:06:01