| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K141.opb |
| MD5SUM | e981076bb5354ded6cb9b093a6d1a03e |
| 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 | 16779 |
| Total number of constraints | 17063 |
| Number of constraints which are clauses | 16922 |
| Number of constraints which are cardinality constraints (but not clauses) | 141 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 141 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 142 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-07T10:07:23+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-4078901-1465286843.opb"] 0.00/0.01 c use --random-gen="220996302 1947737942 297969276 3922058349 1186167137 1929797539 1741214409 28465952 952018768 3481656598 1330288202 2946852950 743511834 3536960151 2959189921 1146258882 1062694472 1158381482 1519539952 2877291265 3626309920 268611710 1095773201 1536656019 3162974899 2848593718 1195094044 2248563579 216520134 513846293 669087198 1887250324 3179132910 789721219 923465333 2333328945 1262939453 479986114 744298159 544925618 4094432912 1605761367 906226264 1768635258 2807968100 1834678702 3599769112 2371481093 3166588993 548315277 881462858 1435999733 476913264 1134526531 206444477 3424479646 221082195 2826631941 3878820447 1344872166 4090332727 1392227627 89224190 731479640 2231877053 3391578152 1365396751 1852552147 34669937 712666187 3371361478 2907887886 3421888354 2848290477 187799044 2258340743 3965002319 4022527306 3438063721 1250329332 2665367205 639972495 2526653441 1947175680 754642671 1997276422 2948028664 99290778 1362294619 2157268244 595492828 2900388816 2670364190 1674605188 3532167266 778333395 2520501572 3592992539 314475601 72497449 1864662849 18537724 3972571591 1741182828 1701100942 1297539875 893340732 747437204 312958410 2670303814 2567202316 1316015363 549972819 3492260664 3092205852 808591407 1727840083 21015554 2221849354 1739023698 2281011515 3322506008 1905124192 502853418 2420899201 3021148851 2581650134 376921377 3869342448 2025473675 3687596824 1145604176 3414317358 1924367407 1043374580 2519602355 1813565481 4177058318 3042473945 4256832553 3994510627 2551411977 689387971 3651520618 2194058397 106011494 903228324 3434780434 3905864122 3453487089 3689828952 3077844022 3529875583 3937067101 3181185764 3735033919 654525093 898345766 3283619439 580388756 2516457550 1566908063 365537898 2304496096 826990008 2432210881 1424741918 1533998813 1982091375 1829398507 1981223445 4060860798 1000335049 1088873831 3631638510 3943571615 1018391392 3083308589 4166529277 3763576414 4976531 4058979203 2231467131 2972687133 2102791691 3586616374 2434388299 461367888 928833814 3980368560 3066198038 3313436043 94667223 1219619193 3727182678 4212003567 2441721928 2191223532 1740950959 2253204828 3212472640 3065531787 3599483411 1483795297 1953083400 3864170259 3845774505 31745242 1496514979 1640602161 3380079781 3309931826 1221532065 3190112003 2661832052 1217592444 1558356515 2147043504 1275845194 747592566 4038371916 2454642282 1516990843 3132279993 1824856871 1034083742 3927683098 3951939803 377799520 2522818838 2895657379 1738961922 35057837 1415195601 3413685349 3686390384 2183238746 1082328819 2690444949 2589717121 3300056003 3425454310 2565585765 734891077 400843017 1449475722 232004965 2098404508 1137206419 3609112780 3519719927 4205802041 2649634396 1242804702 2410662290 3278136154 255 362436" option to reproduce the execution 0.19/0.22 c #vars 16779 0.19/0.22 c #constraints 17063 0.49/0.59 c Solving starts ... 0.49/0.59 c ============================[ Search Statistics ]============================ 0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.59 c | | | | Limit GC | Var | Constra 0.49/0.59 c ============================================================================= 0.59/0.60 c 0.0s | 0 | 0 | 0 | 11280 0 | 742 | 0 0.99/1.10 c 0.5s | 1 | 5635 | 100 | 11280 0 | 746 | 637 1.49/1.50 c 0.9s | 2 | 14539 | 250 | 12409 0 | 746 | 637 2.09/2.18 c 1.6s | 3 | 27102 | 475 | 13650 0 | 748 | 639 2.99/3.01 c 2.4s | 4 | 41656 | 813 | 15016 0 | 749 | 640 4.40/4.46 c 3.9s | 5 | 68631 | 1320 | 16518 0 | 751 | 642 6.39/6.44 c 5.8s | 6 | 88633 | 2081 | 19987 0 | 752 | 643 8.39/8.46 c 7.9s | 6 | 114142 | 2881 | 19987 0 | 752 | 643 9.49/9.54 c 8.9s | 7 | 115758 | 3223 | 21986 0 | 752 | 643 11.69/11.72 c 11.1s | 7 | 149191 | 4123 | 21986 0 | 753 | 644 13.39/13.45 c 12.9s | 8 | 169981 | 4936 | 24185 0 | 755 | 646 15.49/15.54 c 14.9s | 8 | 196384 | 5736 | 24185 0 | 756 | 647 17.69/17.71 c 17.1s | 8 | 215801 | 6636 | 24185 0 | 757 | 648 19.69/19.74 c 19.1s | 8 | 238649 | 7436 | 24185 0 | 758 | 649 19.89/19.92 c 19.3s | 9 | 238919 | 7506 | 26604 0 | 758 | 649 21.99/22.03 c 21.4s | 9 | 265293 | 8406 | 26604 0 | 759 | 650 24.09/24.19 c 23.6s | 9 | 290042 | 9206 | 26604 0 | 761 | 652 26.29/26.40 c 25.8s | 9 | 317843 | 9806 | 26604 0 | 763 | 654 28.59/28.66 c 28.1s | 9 | 334320 | 10606 | 26604 0 | 763 | 654 30.58/30.64 c 30.0s | 10 | 354099 | 11361 | 29265 0 | 763 | 654 32.68/32.70 c 32.1s | 10 | 375269 | 12061 | 29265 0 | 763 | 654 34.68/34.71 c 34.1s | 10 | 398038 | 12661 | 29265 0 | 764 | 655 36.88/36.93 c 36.3s | 10 | 424716 | 13261 | 29265 0 | 764 | 655 39.08/39.14 c 38.5s | 10 | 446219 | 13961 | 29265 0 | 764 | 655 41.38/41.45 c 40.9s | 10 | 470435 | 14761 | 29265 0 | 764 | 655 43.48/43.52 c 42.9s | 10 | 488114 | 15361 | 29265 0 | 764 | 655 45.58/45.64 c 45.0s | 10 | 503559 | 16061 | 29265 0 | 764 | 655 48.08/48.14 c 47.5s | 10 | 523358 | 16861 | 29265 0 | 764 | 655 48.88/48.95 c 48.4s | 11 | 528640 | 17144 | 32192 0 | 764 | 655 50.88/50.97 c 50.4s | 11 | 547289 | 17744 | 32192 0 | 765 | 656 53.18/53.28 c 52.7s | 11 | 570621 | 18444 | 32192 0 | 766 | 657 55.28/55.30 c 54.7s | 11 | 589425 | 19144 | 32192 0 | 766 | 657 57.38/57.43 c 56.8s | 11 | 614654 | 19744 | 32192 0 | 766 | 657 59.39/59.45 c 58.9s | 11 | 631795 | 20444 | 32192 0 | 767 | 658 61.48/61.58 c 61.0s | 11 | 657692 | 21044 | 32192 0 | 767 | 658 63.58/63.69 c 63.1s | 11 | 676413 | 21744 | 32192 0 | 767 | 658 65.68/65.77 c 65.2s | 11 | 697688 | 22344 | 32192 0 | 767 | 658 67.78/67.80 c 67.2s | 11 | 714400 | 23044 | 32192 0 | 767 | 658 69.98/70.04 c 69.4s | 11 | 726175 | 23844 | 32192 0 | 767 | 658 72.08/72.16 c 71.6s | 11 | 741269 | 24544 | 32192 0 | 767 | 658 74.47/74.51 c 73.9s | 11 | 763376 | 25244 | 32192 0 | 767 | 658 75.88/75.99 c 75.4s | 12 | 771175 | 25819 | 35412 0 | 767 | 658 78.18/78.23 c 77.6s | 12 | 791116 | 26519 | 35412 0 | 767 | 658 80.38/80.42 c 79.8s | 12 | 804819 | 27119 | 35412 0 | 767 | 658 82.67/82.73 c 82.1s | 12 | 814736 | 27819 | 35412 0 | 767 | 658 84.68/84.75 c 84.2s | 12 | 829081 | 28319 | 35412 0 | 768 | 659 86.77/86.85 c 86.3s | 12 | 841493 | 28919 | 35412 0 | 768 | 659 88.77/88.87 c 88.3s | 12 | 862706 | 29519 | 35412 0 | 768 | 659 91.07/91.16 c 90.6s | 12 | 886437 | 30119 | 35412 0 | 768 | 659 93.27/93.33 c 92.7s | 12 | 898743 | 30719 | 35412 0 | 769 | 660 95.47/95.54 c 94.9s | 12 | 920736 | 31319 | 35412 0 | 769 | 660 97.57/97.66 c 97.1s | 12 | 935921 | 31919 | 35412 0 | 769 | 660 99.97/100.01 c 99.4s | 12 | 961126 | 32519 | 35412 0 | 769 | 660 102.28/102.36 c 101s | 12 | 982177 | 33119 | 35412 0 | 769 | 660 104.58/104.64 c 104s | 12 | 997562 | 33819 | 35412 0 | 769 | 660 106.68/106.78 c 106s | 12 | 1013080 | 34419 | 35412 0 | 769 | 660 108.98/109.04 c 108s | 12 | 1030956 | 34919 | 35412 0 | 769 | 660 111.28/111.33 c 110s | 12 | 1038461 | 35619 | 35412 0 | 769 | 660 113.68/113.72 c 113s | 12 | 1039057 | 35819 | 35412 0 | 769 | 660 115.88/115.98 c 115s | 12 | 1039744 | 36019 | 35412 0 | 769 | 660 118.48/118.52 c 117s | 12 | 1040017 | 36119 | 35412 0 | 769 | 660 120.47/120.52 c 119s | 12 | 1046813 | 36419 | 35412 0 | 769 | 660 122.77/122.87 c 122s | 12 | 1051527 | 37019 | 35412 0 | 769 | 660 125.27/125.30 c 124s | 12 | 1062618 | 37519 | 35412 0 | 769 | 660 127.97/128.09 c 127s | 12 | 1081418 | 38119 | 35412 1 | 769 | 660 130.07/130.11 c 129s | 12 | 1098631 | 38819 | 38954 1 | 769 | 660 130.07/130.15 c 129s | 13 | 1098813 | 38832 | 38954 1 | 769 | 660 132.37/132.41 c 131s | 13 | 1117960 | 39432 | 38954 1 | 769 | 660 134.37/134.44 c 133s | 13 | 1139673 | 40032 | 38954 1 | 769 | 660 136.48/136.51 c 135s | 13 | 1161298 | 40632 | 38954 1 | 769 | 660 138.77/138.84 c 138s | 13 | 1179322 | 41332 | 38954 1 | 769 | 660 140.88/140.97 c 140s | 13 | 1189151 | 42132 | 38954 1 | 769 | 660 143.17/143.29 c 142s | 13 | 1194574 | 42732 | 38954 1 | 769 | 660 145.57/145.68 c 145s | 13 | 1208976 | 43432 | 38954 1 | 769 | 660 147.67/147.79 c 147s | 13 | 1218775 | 44332 | 38954 1 | 769 | 660 149.87/149.96 c 149s | 13 | 1233543 | 45032 | 38954 1 | 769 | 660 151.97/152.06 c 151s | 13 | 1246455 | 45732 | 38954 1 | 769 | 660 154.27/154.33 c 153s | 13 | 1263602 | 46432 | 38954 1 | 769 | 660 156.57/156.64 c 156s | 13 | 1280778 | 47132 | 38954 1 | 769 | 660 158.77/158.86 c 158s | 13 | 1296647 | 47732 | 38954 1 | 769 | 660 160.86/160.94 c 160s | 13 | 1307368 | 48332 | 38954 1 | 769 | 660 163.06/163.15 c 162s | 13 | 1319311 | 49032 | 38954 1 | 769 | 660 165.16/165.30 c 164s | 13 | 1340306 | 49632 | 38954 1 | 769 | 660 167.27/167.38 c 166s | 13 | 1357367 | 50232 | 38954 1 | 769 | 660 169.56/169.67 c 169s | 13 | 1371084 | 50732 | 38954 1 | 769 | 660 171.86/171.92 c 171s | 13 | 1377177 | 51332 | 38954 1 | 769 | 660 174.06/174.19 c 173s | 13 | 1377870 | 51532 | 38954 1 | 769 | 660 176.16/176.20 c 175s | 13 | 1379692 | 51732 | 38954 1 | 769 | 660 178.36/178.49 c 177s | 13 | 1386726 | 52332 | 38954 1 | 769 | 660 180.56/180.61 c 180s | 13 | 1388925 | 52932 | 38954 1 | 769 | 660 182.57/182.67 c 182s | 13 | 1399638 | 53532 | 38954 1 | 769 | 660 184.76/184.88 c 184s | 13 | 1410485 | 54232 | 38954 1 | 769 | 660 186.86/186.96 c 186s | 13 | 1424111 | 54832 | 38954 1 | 769 | 660 188.96/189.04 c 188s | 13 | 1435505 | 55532 | 38954 1 | 769 | 660 190.96/191.07 c 190s | 13 | 1448010 | 56332 | 38954 1 | 769 | 660 193.26/193.35 c 192s | 13 | 1457445 | 56932 | 38954 1 | 769 | 660 195.46/195.54 c 194s | 13 | 1468927 | 57532 | 38954 1 | 769 | 660 197.66/197.77 c 197s | 13 | 1479231 | 58132 | 42850 1 | 769 | 660 198.66/198.72 c 198s | 14 | 1484137 | 58352 | 42850 1 | 769 | 660 200.66/200.75 c 200s | 14 | 1498184 | 58752 | 42850 1 | 769 | 660 202.66/202.75 c 202s | 14 | 1514818 | 59252 | 42850 1 | 769 | 660 205.06/205.14 c 204s | 14 | 1538281 | 59852 | 42850 1 | 769 | 660 207.26/207.33 c 206s | 14 | 1548492 | 60252 | 42850 1 | 770 | 661 209.36/209.44 c 208s | 14 | 1550538 | 60752 | 42850 1 | 770 | 661 211.66/211.71 c 211s | 14 | 1552467 | 61152 | 42850 1 | 770 | 661 214.16/214.27 c 213s | 14 | 1553675 | 61552 | 42850 1 | 770 | 661 216.16/216.28 c 215s | 14 | 1568154 | 61952 | 42850 1 | 770 | 661 218.35/218.45 c 217s | 14 | 1583071 | 62452 | 42850 1 | 770 | 661 220.35/220.46 c 219s | 14 | 1602429 | 62952 | 42850 1 | 770 | 661 222.45/222.57 c 221s | 14 | 1616842 | 63552 | 42850 1 | 770 | 661 224.95/225.06 c 224s | 14 | 1623229 | 63952 | 42850 2 | 770 | 661 227.35/227.40 c 226s | 14 | 1627956 | 64652 | 42850 2 | 770 | 661 229.65/229.74 c 229s | 14 | 1629389 | 64952 | 42850 2 | 770 | 661 231.85/231.95 c 231s | 14 | 1630702 | 65252 | 42850 2 | 770 | 661 234.26/234.36 c 233s | 14 | 1632994 | 65552 | 42850 2 | 770 | 661 236.56/236.69 c 236s | 14 | 1639356 | 66052 | 42850 2 | 770 | 661 238.85/238.93 c 238s | 14 | 1654250 | 66752 | 42850 2 | 770 | 661 241.25/241.37 c 240s | 14 | 1655601 | 67152 | 42850 2 | 770 | 661 243.45/243.52 c 242s | 14 | 1659334 | 67652 | 42850 2 | 770 | 661 245.45/245.59 c 244s | 14 | 1672686 | 68352 | 42850 2 | 770 | 661 247.55/247.61 c 247s | 14 | 1682221 | 69152 | 42850 2 | 770 | 661 249.94/250.02 c 249s | 14 | 1696143 | 70052 | 42850 2 | 770 | 661 252.14/252.28 c 251s | 14 | 1701803 | 70552 | 42850 2 | 770 | 661 254.16/254.28 c 253s | 14 | 1716889 | 71152 | 42850 2 | 770 | 661 256.36/256.44 c 255s | 14 | 1735572 | 71752 | 42850 2 | 770 | 661 258.94/259.00 c 258s | 14 | 1749500 | 72352 | 42850 2 | 771 | 662 261.54/261.61 c 261s | 14 | 1753333 | 72952 | 42850 2 | 771 | 662 264.05/264.18 c 263s | 14 | 1756990 | 73452 | 42850 2 | 771 | 662 266.84/266.95 c 266s | 14 | 1758630 | 73852 | 42850 2 | 771 | 662 269.54/269.68 c 269s | 14 | 1760995 | 74252 | 42850 2 | 771 | 662 271.53/271.69 c 271s | 14 | 1763816 | 74652 | 42850 2 | 771 | 662 273.84/273.96 c 273s | 14 | 1768110 | 75352 | 42850 2 | 771 | 662 275.93/276.07 c 275s | 14 | 1779928 | 75852 | 42850 2 | 771 | 662 278.03/278.12 c 277s | 14 | 1788462 | 76452 | 42850 2 | 771 | 662 280.13/280.29 c 279s | 14 | 1790658 | 76952 | 42850 2 | 771 | 662 282.53/282.63 c 282s | 14 | 1791887 | 77452 | 42850 2 | 771 | 662 284.84/284.92 c 284s | 14 | 1804696 | 78052 | 42850 2 | 771 | 662 287.04/287.18 c 286s | 14 | 1816603 | 78652 | 42850 2 | 771 | 662 289.13/289.22 c 288s | 14 | 1822075 | 79052 | 42850 2 | 771 | 662 291.32/291.45 c 290s | 14 | 1834246 | 79652 | 42850 2 | 771 | 662 293.63/293.74 c 293s | 14 | 1838246 | 80352 | 42850 2 | 771 | 662 295.93/296.08 c 295s | 14 | 1839734 | 80852 | 42850 2 | 771 | 662 298.93/299.00 c 298s | 14 | 1840434 | 81152 | 42850 2 | 771 | 662 301.73/301.84 c 301s | 14 | 1840813 | 81352 | 42850 2 | 771 | 662 303.73/303.90 c 303s | 14 | 1842973 | 81852 | 42850 2 | 771 | 662 306.03/306.18 c 305s | 14 | 1857340 | 82352 | 42850 2 | 771 | 662 308.13/308.28 c 307s | 14 | 1867859 | 83052 | 42850 2 | 771 | 662 310.23/310.36 c 309s | 14 | 1883949 | 83452 | 42850 2 | 771 | 662 312.33/312.47 c 311s | 14 | 1896440 | 83852 | 42850 2 | 771 | 662 314.42/314.53 c 313s | 14 | 1900364 | 84352 | 42850 2 | 771 | 662 316.73/316.90 c 316s | 14 | 1905203 | 84952 | 42850 2 | 771 | 662 318.93/319.05 c 318s | 14 | 1916104 | 85552 | 42850 2 | 771 | 662 321.23/321.34 c 320s | 14 | 1920324 | 86152 | 42850 2 | 771 | 662 323.62/323.71 c 323s | 14 | 1927394 | 86652 | 42850 2 | 771 | 662 325.92/326.09 c 325s | 14 | 1935642 | 87152 | 47136 2 | 771 | 662 328.02/328.17 c 327s | 14 | 1939766 | 87552 | 47136 2 | 771 | 662 328.32/328.41 c 327s | 15 | 1940047 | 87632 | 47136 2 | 771 | 662 330.31/330.47 c 329s | 15 | 1943771 | 87932 | 47136 2 | 771 | 662 332.41/332.54 c 331s | 15 | 1944778 | 88232 | 47136 2 | 771 | 662 334.61/334.75 c 334s | 15 | 1945895 | 88532 | 47136 2 | 771 | 662 337.31/337.45 c 336s | 15 | 1946633 | 88832 | 47136 2 | 771 | 662 339.61/339.74 c 339s | 15 | 1951934 | 89232 | 47136 2 | 771 | 662 342.11/342.27 c 341s | 15 | 1958110 | 89632 | 47136 2 | 771 | 662 344.21/344.34 c 343s | 15 | 1967055 | 90132 | 47136 2 | 771 | 662 346.41/346.52 c 345s | 15 | 1984190 | 90632 | 47136 2 | 771 | 662 348.61/348.79 c 348s | 15 | 1996583 | 91132 | 47136 2 | 771 | 662 352.01/352.11 c 351s | 15 | 2007881 | 91632 | 47136 3 | 771 | 662 354.11/354.24 c 353s | 15 | 2021501 | 92132 | 47136 3 | 772 | 663 356.20/356.30 c 355s | 15 | 2033573 | 92832 | 47136 3 | 772 | 663 358.30/358.44 c 357s | 15 | 2044240 | 93332 | 47136 3 | 772 | 663 360.41/360.51 c 359s | 15 | 2048195 | 93932 | 47136 3 | 772 | 663 362.50/362.66 c 362s | 15 | 2059053 | 94432 | 47136 3 | 772 | 663 364.80/364.99 c 364s | 15 | 2069323 | 94932 | 47136 3 | 772 | 663 367.10/367.29 c 366s | 15 | 2080473 | 95332 | 47136 3 | 773 | 664 369.51/369.62 c 369s | 15 | 2091960 | 96032 | 47136 3 | 773 | 664 371.81/371.94 c 371s | 15 | 2109626 | 96632 | 47136 3 | 773 | 664 373.91/374.04 c 373s | 15 | 2118182 | 97232 | 47136 3 | 773 | 664 376.00/376.12 c 375s | 15 | 2128603 | 97832 | 47136 3 | 773 | 664 378.40/378.55 c 377s | 15 | 2141134 | 98532 | 47136 3 | 773 | 664 380.39/380.57 c 379s | 15 | 2154769 | 99032 | 47136 3 | 773 | 664 382.89/383.01 c 382s | 15 | 2164257 | 99632 | 47136 3 | 773 | 664 385.19/385.31 c 384s | 15 | 2176796 | 100332 | 47136 3 | 773 | 664 387.39/387.55 c 386s | 15 | 2192887 | 100832 | 47136 3 | 773 | 664 389.59/389.76 c 389s | 15 | 2197922 | 101332 | 47136 3 | 773 | 664 391.69/391.89 c 391s | 15 | 2210518 | 101932 | 47136 3 | 773 | 664 393.89/394.01 c 393s | 15 | 2224491 | 102532 | 47136 3 | 773 | 664 396.09/396.21 c 395s | 15 | 2237040 | 103032 | 47136 3 | 773 | 664 398.48/398.62 c 398s | 15 | 2240771 | 103632 | 47136 3 | 773 | 664 400.58/400.77 c 400s | 15 | 2242175 | 104032 | 47136 3 | 773 | 664 402.59/402.77 c 402s | 15 | 2254075 | 104432 | 47136 3 | 773 | 664 404.69/404.83 c 404s | 15 | 2262600 | 105032 | 47136 3 | 773 | 664 406.89/407.06 c 406s | 15 | 2276675 | 105632 | 47136 3 | 773 | 664 409.19/409.33 c 408s | 15 | 2291834 | 106232 | 47136 3 | 773 | 664 411.68/411.81 c 411s | 15 | 2305086 | 106732 | 47136 3 | 773 | 664 413.78/413.95 c 413s | 15 | 2319271 | 107332 | 47136 3 | 773 | 664 415.79/415.97 c 415s | 15 | 2326328 | 107832 | 47136 3 | 773 | 664 417.99/418.11 c 417s | 15 | 2335550 | 108432 | 47136 3 | 773 | 664 419.98/420.19 c 419s | 15 | 2346154 | 108932 | 47136 3 | 773 | 664 422.67/422.84 c 422s | 15 | 2354360 | 109532 | 47136 3 | 773 | 664 424.87/425.01 c 424s | 15 | 2360573 | 110032 | 47136 3 | 773 | 664 426.87/427.03 c 426s | 15 | 2364233 | 110632 | 47136 3 | 773 | 664 428.88/429.04 c 428s | 15 | 2368740 | 111132 | 47136 3 | 773 | 664 431.08/431.28 c 430s | 15 | 2383856 | 111732 | 47136 3 | 773 | 664 433.27/433.45 c 432s | 15 | 2392696 | 112232 | 47136 3 | 773 | 664 435.66/435.85 c 435s | 15 | 2401746 | 112632 | 47136 3 | 773 | 664 437.78/437.95 c 437s | 15 | 2405095 | 113132 | 47136 3 | 773 | 664 439.98/440.19 c 439s | 15 | 2408039 | 113532 | 47136 3 | 773 | 664 442.17/442.34 c 441s | 15 | 2412818 | 114032 | 47136 3 | 773 | 664 444.47/444.65 c 444s | 15 | 2424675 | 114532 | 47136 3 | 773 | 664 446.87/447.02 c 446s | 15 | 2434932 | 115032 | 47136 3 | 773 | 664 448.86/449.05 c 448s | 15 | 2445379 | 115532 | 47136 3 | 773 | 664 451.16/451.32 c 450s | 15 | 2452813 | 116032 | 47136 3 | 773 | 664 453.56/453.78 c 453s | 15 | 2462056 | 116632 | 47136 3 | 773 | 664 455.66/455.86 c 455s | 15 | 2471401 | 117132 | 47136 3 | 773 | 664 457.86/458.05 c 457s | 15 | 2474882 | 117332 | 47136 4 | 773 | 664 460.26/460.49 c 459s | 15 | 2481437 | 117832 | 47136 4 | 773 | 664 462.46/462.64 c 462s | 15 | 2490793 | 118432 | 47136 4 | 773 | 664 464.46/464.67 c 464s | 15 | 2493816 | 119032 | 47136 4 | 773 | 664 467.55/467.76 c 467s | 15 | 2495336 | 119432 | 47136 4 | 773 | 664 470.45/470.68 c 470s | 15 | 2496346 | 119732 | 47136 4 | 773 | 664 472.55/472.75 c 472s | 15 | 2497507 | 120032 | 47136 4 | 773 | 664 474.86/475.05 c 474s | 15 | 2505141 | 120432 | 47136 4 | 773 | 664 477.16/477.31 c 476s | 15 | 2508200 | 120932 | 47136 4 | 773 | 664 479.56/479.72 c 479s | 15 | 2511621 | 121432 | 47136 4 | 773 | 664 481.95/482.12 c 481s | 15 | 2512912 | 121732 | 47136 4 | 773 | 664 484.35/484.52 c 483s | 15 | 2514201 | 122032 | 47136 4 | 773 | 664 486.65/486.84 c 486s | 15 | 2514695 | 122232 | 47136 4 | 773 | 664 489.65/489.87 c 489s | 15 | 2516111 | 122532 | 47136 4 | 773 | 664 491.75/491.96 c 491s | 15 | 2517159 | 122832 | 47136 4 | 773 | 664 495.65/495.84 c 495s | 15 | 2518348 | 123132 | 47136 4 | 773 | 664 498.75/498.95 c 498s | 15 | 2518575 | 123232 | 47136 4 | 773 | 664 501.65/501.80 c 501s | 15 | 2518811 | 123332 | 47136 4 | 773 | 664 504.35/504.58 c 503s | 15 | 2520249 | 123632 | 47136 4 | 773 | 664 506.74/507.00 c 506s | 15 | 2521024 | 123832 | 47136 4 | 773 | 664 509.04/509.24 c 508s | 15 | 2522405 | 124132 | 47136 4 | 773 | 664 511.64/511.88 c 511s | 15 | 2524250 | 124432 | 47136 4 | 773 | 664 514.33/514.55 c 513s | 15 | 2525985 | 124732 | 47136 4 | 773 | 664 516.63/516.83 c 516s | 15 | 2526376 | 124832 | 47136 4 | 773 | 664 521.33/521.52 c 520s | 15 | 2527592 | 125032 | 47136 4 | 773 | 664 523.74/523.95 c 523s | 15 | 2530995 | 125332 | 47136 4 | 773 | 664 526.04/526.24 c 525s | 15 | 2540515 | 125932 | 47136 4 | 773 | 664 528.13/528.39 c 527s | 15 | 2551713 | 126432 | 47136 4 | 773 | 664 530.23/530.42 c 529s | 15 | 2558895 | 126832 | 47136 4 | 773 | 664 532.33/532.56 c 531s | 15 | 2568200 | 127332 | 47136 4 | 773 | 664 534.43/534.60 c 534s | 15 | 2581041 | 127832 | 47136 4 | 773 | 664 536.53/536.79 c 536s | 15 | 2594001 | 128332 | 47136 4 | 773 | 664 538.83/539.01 c 538s | 15 | 2595343 | 128632 | 47136 4 | 773 | 664 541.62/541.81 c 541s | 15 | 2596913 | 129032 | 47136 4 | 773 | 664 543.62/543.82 c 543s | 15 | 2597909 | 129332 | 47136 4 | 773 | 664 546.02/546.25 c 545s | 15 | 2598985 | 129632 | 47136 4 | 773 | 664 548.11/548.31 c 547s | 15 | 2599608 | 129832 | 47136 4 | 773 | 664 551.71/551.91 c 551s | 15 | 2600462 | 130132 | 47136 4 | 773 | 664 553.81/554.03 c 553s | 15 | 2604403 | 130332 | 47136 4 | 773 | 664 556.32/556.54 c 555s | 15 | 2606615 | 130732 | 51850 4 | 773 | 664 558.72/558.93 c 558s | 15 | 2617439 | 131232 | 51850 4 | 773 | 664 560.62/560.81 c 560s | 16 | 2618646 | 131552 | 51850 4 | 773 | 664 562.62/562.83 c 562s | 16 | 2629387 | 131852 | 51850 4 | 773 | 664 565.02/565.25 c 564s | 16 | 2633812 | 132452 | 51850 4 | 773 | 664 567.11/567.31 c 566s | 16 | 2635802 | 132852 | 51850 4 | 773 | 664 569.41/569.61 c 569s | 16 | 2636948 | 133252 | 51850 4 | 773 | 664 572.11/572.35 c 571s | 16 | 2638551 | 133452 | 51850 4 | 773 | 664 574.12/574.37 c 573s | 16 | 2644595 | 133952 | 51850 4 | 773 | 664 576.22/576.46 c 575s | 16 | 2650383 | 134452 | 51850 4 | 773 | 664 578.71/578.98 c 578s | 16 | 2664634 | 135052 | 51850 4 | 773 | 664 580.81/581.07 c 580s | 16 | 2677350 | 135652 | 51850 4 | 773 | 664 582.91/583.10 c 582s | 16 | 2684427 | 136152 | 51850 4 | 773 | 664 585.11/585.38 c 584s | 16 | 2700598 | 136752 | 51850 4 | 773 | 664 587.21/587.43 c 586s | 16 | 2709134 | 137052 | 51850 4 | 774 | 665 589.30/589.60 c 589s | 16 | 2723447 | 137552 | 51850 4 | 774 | 665 591.40/591.69 c 591s | 16 | 2738585 | 138052 | 51850 4 | 774 | 665 593.81/594.10 c 593s | 16 | 2741085 | 138552 | 51850 4 | 774 | 665 596.30/596.54 c 595s | 16 | 2742529 | 138952 | 51850 4 | 774 | 665 598.60/598.85 c 598s | 16 | 2752869 | 139452 | 51850 4 | 774 | 665 601.00/601.26 c 600s | 16 | 2761391 | 139952 | 51850 4 | 774 | 665 603.30/603.54 c 602s | 16 | 2776604 | 140552 | 51850 4 | 774 | 665 605.40/605.68 c 605s | 16 | 2788915 | 141052 | 51850 4 | 774 | 665 607.80/608.09 c 607s | 16 | 2803223 | 141552 | 51850 4 | 774 | 665 610.20/610.42 c 609s | 16 | 2807171 | 142052 | 51850 4 | 774 | 665 612.29/612.57 c 611s | 16 | 2808548 | 142352 | 51850 4 | 774 | 665 615.00/615.22 c 614s | 16 | 2810123 | 142752 | 51850 4 | 774 | 665 618.60/618.86 c 618s | 16 | 2812184 | 143052 | 51850 4 | 774 | 665 623.20/623.47 c 622s | 16 | 2813504 | 143252 | 51850 4 | 774 | 665 625.60/625.81 c 625s | 16 | 2822439 | 143752 | 51850 4 | 774 | 665 627.60/627.86 c 627s | 16 | 2836795 | 144152 | 51850 4 | 774 | 665 629.59/629.86 c 629s | 16 | 2843348 | 144652 | 51850 4 | 774 | 665 631.89/632.10 c 631s | 16 | 2855974 | 145152 | 51850 4 | 774 | 665 633.89/634.18 c 633s | 16 | 2867419 | 145552 | 51850 4 | 774 | 665 636.09/636.35 c 635s | 16 | 2877715 | 146052 | 51850 4 | 774 | 665 638.19/638.42 c 637s | 16 | 2886827 | 146552 | 51850 4 | 774 | 665 641.38/641.66 c 641s | 16 | 2893882 | 146852 | 51850 5 | 774 | 665 643.48/643.78 c 643s | 16 | 2904880 | 147352 | 51850 5 | 774 | 665 645.59/645.88 c 645s | 16 | 2921293 | 147852 | 51850 5 | 774 | 665 647.98/648.23 c 647s | 16 | 2931630 | 148452 | 51850 5 | 774 | 665 649.98/650.25 c 649s | 16 | 2945269 | 148952 | 51850 5 | 774 | 665 652.08/652.39 c 651s | 16 | 2949698 | 149552 | 51850 5 | 774 | 665 654.18/654.45 c 653s | 16 | 2952312 | 150152 | 51850 5 | 774 | 665 656.68/656.93 c 656s | 16 | 2954342 | 150552 | 51850 5 | 774 | 665 658.87/659.19 c 658s | 16 | 2955881 | 150852 | 51850 5 | 774 | 665 661.07/661.31 c 660s | 16 | 2956474 | 151052 | 51850 5 | 774 | 665 663.47/663.72 c 663s | 16 | 2958225 | 151352 | 51850 5 | 774 | 665 665.57/665.85 c 665s | 16 | 2959578 | 151652 | 51850 5 | 774 | 665 667.57/667.90 c 667s | 16 | 2960579 | 151952 | 51850 5 | 774 | 665 669.67/669.93 c 669s | 16 | 2962271 | 152252 | 51850 5 | 774 | 665 671.87/672.16 c 671s | 16 | 2973666 | 152752 | 51850 5 | 774 | 665 674.26/674.55 c 673s | 16 | 2985764 | 153352 | 51850 5 | 774 | 665 676.66/676.93 c 676s | 16 | 2993775 | 153852 | 51850 5 | 774 | 665 678.65/678.94 c 678s | 16 | 2999324 | 154252 | 51850 5 | 774 | 665 680.76/681.02 c 680s | 16 | 3006076 | 154652 | 51850 5 | 774 | 665 682.96/683.23 c 682s | 16 | 3011477 | 155352 | 51850 5 | 774 | 665 685.66/685.96 c 685s | 16 | 3013662 | 155752 | 51850 5 | 774 | 665 688.06/688.36 c 687s | 16 | 3015212 | 156152 | 51850 5 | 774 | 665 690.85/691.19 c 690s | 16 | 3016944 | 156552 | 51850 5 | 774 | 665 693.45/693.74 c 693s | 16 | 3017985 | 156852 | 51850 5 | 774 | 665 696.05/696.39 c 695s | 16 | 3019439 | 157152 | 51850 5 | 774 | 665 698.25/698.53 c 697s | 16 | 3020404 | 157352 | 51850 5 | 774 | 665 700.45/700.72 c 700s | 16 | 3021071 | 157552 | 51850 5 | 774 | 665 702.54/702.80 c 702s | 16 | 3022064 | 157952 | 51850 5 | 774 | 665 704.54/704.87 c 704s | 16 | 3022813 | 158152 | 51850 5 | 774 | 665 707.14/707.44 c 706s | 16 | 3026688 | 158452 | 51850 5 | 774 | 665 709.24/709.59 c 708s | 16 | 3038745 | 158952 | 51850 5 | 774 | 665 711.33/711.69 c 711s | 16 | 3051610 | 159352 | 51850 5 | 774 | 665 713.43/713.75 c 713s | 16 | 3061642 | 159852 | 51850 5 | 774 | 665 715.53/715.85 c 715s | 16 | 3072173 | 160252 | 51850 5 | 774 | 665 717.53/717.90 c 717s | 16 | 3083560 | 160752 | 51850 5 | 774 | 665 719.82/720.11 c 719s | 16 | 3095472 | 161252 | 51850 5 | 774 | 665 722.02/722.38 c 721s | 16 | 3101750 | 161752 | 51850 5 | 774 | 665 724.92/725.24 c 724s | 16 | 3115603 | 162252 | 51850 5 | 774 | 665 727.32/727.61 c 727s | 16 | 3126994 | 162752 | 51850 5 | 774 | 665 729.61/729.98 c 729s | 16 | 3139383 | 163252 | 51850 5 | 774 | 665 732.11/732.41 c 731s | 16 | 3145044 | 163752 | 51850 5 | 774 | 665 734.32/734.66 c 734s | 16 | 3152410 | 164252 | 51850 5 | 774 | 665 736.42/736.72 c 736s | 16 | 3156373 | 164752 | 51850 5 | 774 | 665 738.92/739.29 c 738s | 16 | 3158128 | 165152 | 51850 5 | 774 | 665 741.02/741.34 c 740s | 16 | 3162652 | 165452 | 51850 5 | 774 | 665 743.32/743.67 c 743s | 16 | 3174240 | 165952 | 51850 5 | 774 | 665 745.52/745.85 c 745s | 16 | 3187733 | 166352 | 51850 5 | 774 | 665 747.61/747.96 c 747s | 16 | 3193464 | 166752 | 51850 5 | 774 | 665 749.81/750.10 c 749s | 16 | 3197265 | 167252 | 51850 5 | 774 | 665 751.90/752.24 c 751s | 16 | 3198727 | 167652 | 51850 5 | 774 | 665 754.31/754.69 c 754s | 16 | 3203575 | 168152 | 51850 5 | 774 | 665 756.51/756.90 c 756s | 16 | 3206961 | 168652 | 51850 5 | 774 | 665 759.30/759.63 c 759s | 16 | 3209332 | 169152 | 51850 5 | 774 | 665 761.30/761.68 c 761s | 16 | 3210904 | 169552 | 51850 5 | 774 | 665 763.70/764.03 c 763s | 16 | 3213137 | 169952 | 51850 5 | 774 | 665 766.40/766.77 c 766s | 16 | 3215050 | 170352 | 51850 5 | 774 | 665 768.60/768.95 c 768s | 16 | 3216562 | 170652 | 51850 5 | 774 | 665 770.90/771.26 c 770s | 16 | 3218196 | 170952 | 51850 5 | 774 | 665 773.19/773.54 c 772s | 16 | 3219513 | 171252 | 51850 5 | 774 | 665 775.79/776.15 c 775s | 16 | 3220891 | 171552 | 51850 5 | 774 | 665 779.18/779.55 c 778s | 16 | 3222606 | 171852 | 51850 5 | 774 | 665 781.89/782.26 c 781s | 16 | 3223620 | 172152 | 51850 5 | 774 | 665 784.18/784.56 c 783s | 16 | 3224316 | 172352 | 51850 5 | 774 | 665 786.48/786.86 c 786s | 16 | 3225884 | 172652 | 51850 5 | 774 | 665 789.07/789.47 c 788s | 16 | 3226934 | 172952 | 51850 5 | 774 | 665 791.57/791.97 c 791s | 16 | 3228940 | 173252 | 51850 5 | 774 | 665 794.08/794.42 c 793s | 16 | 3229743 | 173552 | 51850 5 | 774 | 665 796.38/796.75 c 796s | 16 | 3230435 | 173752 | 51850 5 | 774 | 665 798.57/798.97 c 798s | 16 | 3231962 | 173952 | 51850 5 | 774 | 665 801.37/801.71 c 801s | 16 | 3232978 | 174252 | 51850 5 | 774 | 665 803.57/803.90 c 803s | 16 | 3234554 | 174552 | 51850 5 | 774 | 665 805.98/806.36 c 805s | 16 | 3236779 | 174952 | 51850 5 | 774 | 665 808.18/808.52 c 807s | 16 | 3238991 | 175352 | 51850 5 | 774 | 665 810.67/811.08 c 810s | 16 | 3239888 | 175652 | 51850 5 | 774 | 665 813.96/814.35 c 813s | 16 | 3240707 | 175952 | 51850 5 | 774 | 665 817.07/817.44 c 816s | 16 | 3242258 | 176252 | 51850 5 | 774 | 665 819.46/819.83 c 819s | 16 | 3243172 | 176452 | 51850 5 | 774 | 665 821.76/822.11 c 821s | 16 | 3243936 | 176652 | 51850 5 | 774 | 665 824.26/824.68 c 824s | 16 | 3244449 | 176852 | 51850 5 | 774 | 665 826.97/827.38 c 826s | 16 | 3245009 | 177052 | 51850 5 | 774 | 665 829.65/830.08 c 829s | 16 | 3245685 | 177252 | 51850 5 | 774 | 665 832.85/833.20 c 832s | 16 | 3246463 | 177452 | 51850 5 | 774 | 665 835.95/836.31 c 835s | 16 | 3246641 | 177552 | 51850 5 | 774 | 665 838.74/839.17 c 838s | 16 | 3247496 | 177752 | 51850 5 | 774 | 665 841.35/841.78 c 841s | 16 | 3248544 | 177952 | 51850 5 | 774 | 665 844.25/844.62 c 844s | 16 | 3249100 | 178152 | 51850 5 | 774 | 665 847.45/847.82 c 847s | 16 | 3249702 | 178352 | 51850 5 | 774 | 665 849.44/849.84 c 849s | 16 | 3249907 | 178452 | 51850 5 | 774 | 665 853.14/853.50 c 852s | 16 | 3250443 | 178652 | 51850 5 | 774 | 665 855.24/855.70 c 855s | 16 | 3250628 | 178752 | 51850 5 | 774 | 665 858.34/858.73 c 858s | 16 | 3250912 | 178852 | 51850 5 | 774 | 665 861.43/861.89 c 861s | 16 | 3252074 | 179052 | 51850 5 | 774 | 665 863.53/863.99 c 863s | 16 | 3252348 | 179152 | 51850 5 | 774 | 665 866.54/866.91 c 866s | 16 | 3252597 | 179252 | 51850 5 | 774 | 665 870.94/871.38 c 870s | 16 | 3253246 | 179452 | 51850 5 | 774 | 665 874.33/874.76 c 874s | 16 | 3253766 | 179552 | 51850 5 | 774 | 665 877.13/877.53 c 876s | 16 | 3254492 | 179752 | 51850 5 | 774 | 665 879.13/879.59 c 878s | 16 | 3255048 | 179952 | 51850 5 | 774 | 665 881.23/881.61 c 881s | 16 | 3255735 | 180152 | 51850 5 | 774 | 665 883.83/884.26 c 883s | 16 | 3257061 | 180352 | 51850 5 | 774 | 665 886.03/886.42 c 885s | 16 | 3257453 | 180452 | 51850 5 | 774 | 665 888.33/888.78 c 888s | 16 | 3257834 | 180552 | 51850 5 | 774 | 665 890.63/891.10 c 890s | 16 | 3258148 | 180652 | 51850 5 | 774 | 665 893.73/894.18 c 893s | 16 | 3258383 | 180752 | 51850 5 | 774 | 665 898.03/898.45 c 897s | 16 | 3258758 | 180852 | 51850 6 | 774 | 665 900.42/900.84 c 900s | 16 | 3258951 | 180952 | 51850 6 | 774 | 665 903.03/903.46 c 902s | 16 | 3259208 | 181052 | 51850 6 | 774 | 665 905.33/905.72 c 905s | 16 | 3259451 | 181152 | 51850 6 | 774 | 665 909.92/910.31 c 909s | 16 | 3260302 | 181352 | 51850 6 | 774 | 665 912.12/912.56 c 911s | 16 | 3260590 | 181452 | 51850 6 | 774 | 665 915.93/916.34 c 915s | 16 | 3260779 | 181552 | 51850 6 | 774 | 665 918.23/918.68 c 918s | 16 | 3261229 | 181652 | 51850 6 | 774 | 665 921.02/921.41 c 920s | 16 | 3261383 | 181752 | 51850 6 | 774 | 665 923.33/923.77 c 923s | 16 | 3261593 | 181852 | 51850 6 | 774 | 665 926.72/927.12 c 926s | 16 | 3261848 | 181952 | 51850 6 | 774 | 665 929.13/929.55 c 928s | 16 | 3266477 | 182152 | 51850 6 | 774 | 665 931.22/931.67 c 931s | 16 | 3279565 | 182652 | 51850 6 | 774 | 665 933.32/933.71 c 933s | 16 | 3294231 | 183152 | 51850 6 | 774 | 665 935.73/936.15 c 935s | 16 | 3311044 | 183652 | 51850 6 | 774 | 665 938.03/938.43 c 937s | 16 | 3321828 | 184252 | 51850 6 | 774 | 665 940.02/940.47 c 939s | 16 | 3328950 | 184752 | 51850 6 | 774 | 665 942.32/942.72 c 942s | 16 | 3335944 | 185252 | 51850 6 | 774 | 665 944.32/944.75 c 944s | 16 | 3343801 | 185752 | 51850 6 | 774 | 665 946.52/946.93 c 946s | 16 | 3349141 | 186152 | 51850 6 | 774 | 665 949.02/949.47 c 948s | 16 | 3357363 | 186652 | 51850 6 | 774 | 665 951.51/951.98 c 951s | 16 | 3359342 | 186952 | 51850 6 | 774 | 665 953.61/954.03 c 953s | 16 | 3359662 | 187052 | 51850 6 | 774 | 665 956.62/957.01 c 956s | 16 | 3361351 | 187252 | 51850 6 | 774 | 665 960.71/961.18 c 960s | 16 | 3362576 | 187452 | 51850 6 | 774 | 665 963.22/963.65 c 963s | 16 | 3363050 | 187552 | 51850 6 | 774 | 665 966.31/966.78 c 966s | 16 | 3363370 | 187652 | 51850 6 | 774 | 665 970.32/970.78 c 970s | 16 | 3363646 | 187752 | 51850 6 | 774 | 665 972.42/972.85 c 972s | 16 | 3368699 | 187952 | 51850 6 | 774 | 665 974.72/975.17 c 974s | 16 | 3374374 | 188352 | 51850 6 | 774 | 665 977.12/977.54 c 976s | 16 | 3380774 | 188852 | 51850 6 | 774 | 665 979.62/980.05 c 979s | 16 | 3382615 | 189252 | 51850 6 | 774 | 665 981.72/982.11 c 981s | 16 | 3384324 | 189552 | 51850 6 | 774 | 665 984.22/984.61 c 984s | 16 | 3393251 | 190152 | 51850 6 | 774 | 665 986.21/986.64 c 986s | 16 | 3399892 | 190652 | 51850 6 | 774 | 665 988.41/988.89 c 988s | 16 | 3411334 | 191152 | 51850 6 | 774 | 665 990.51/990.93 c 990s | 16 | 3416033 | 191652 | 51850 6 | 774 | 665 992.71/993.10 c 992s | 16 | 3421249 | 192152 | 51850 6 | 774 | 665 994.81/995.26 c 994s | 16 | 3431564 | 192652 | 51850 6 | 774 | 665 996.91/997.34 c 996s | 16 | 3440695 | 193052 | 51850 6 | 774 | 665 999.11/999.56 c 998s | 16 | 3446470 | 193552 | 51850 6 | 774 | 665 1001.11/1001.59 c 1000s | 16 | 3452634 | 193852 | 51850 6 | 774 | 665 1003.31/1003.71 c 1003s | 16 | 3462545 | 194252 | 51850 6 | 774 | 665 1005.71/1006.10 c 1005s | 16 | 3468812 | 194752 | 51850 6 | 774 | 665 1007.71/1008.13 c 1007s | 16 | 3475766 | 195152 | 51850 6 | 774 | 665 1009.91/1010.38 c 1009s | 16 | 3482167 | 195552 | 51850 6 | 774 | 665 1012.01/1012.46 c 1011s | 16 | 3489585 | 195952 | 51850 6 | 774 | 665 1014.01/1014.49 c 1013s | 16 | 3497097 | 196352 | 57036 6 | 774 | 665 1016.41/1016.82 c 1016s | 16 | 3505279 | 196852 | 57036 6 | 774 | 665 1019.01/1019.41 c 1018s | 16 | 3508379 | 197352 | 57036 6 | 774 | 665 1019.81/1020.23 c 1019s | 17 | 3509182 | 197432 | 57036 6 | 774 | 665 1021.90/1022.37 c 1021s | 17 | 3511784 | 197632 | 57036 6 | 774 | 665 1024.10/1024.52 c 1023s | 17 | 3522594 | 198232 | 57036 6 | 774 | 665 1026.20/1026.61 c 1026s | 17 | 3528589 | 198632 | 57036 6 | 774 | 665 1028.60/1029.03 c 1028s | 17 | 3532503 | 199132 | 57036 6 | 774 | 665 1030.70/1031.16 c 1030s | 17 | 3543478 | 199632 | 57036 6 | 774 | 665 1033.00/1033.49 c 1032s | 17 | 3561001 | 200132 | 57036 6 | 774 | 665 1035.30/1035.78 c 1035s | 17 | 3571186 | 200732 | 57036 6 | 774 | 665 1037.60/1038.04 c 1037s | 17 | 3576663 | 201332 | 57036 6 | 774 | 665 1040.00/1040.44 c 1039s | 17 | 3583592 | 201932 | 57036 6 | 774 | 665 1042.10/1042.51 c 1041s | 17 | 3593200 | 202432 | 57036 6 | 774 | 665 1044.20/1044.64 c 1044s | 17 | 3608372 | 202932 | 57036 6 | 774 | 665 1046.30/1046.76 c 1046s | 17 | 3609741 | 203332 | 57036 6 | 774 | 665 1048.61/1049.02 c 1048s | 17 | 3615882 | 203832 | 57036 6 | 774 | 665 1050.71/1051.11 c 1050s | 17 | 3625328 | 204332 | 57036 6 | 774 | 665 1052.91/1053.38 c 1052s | 17 | 3631732 | 204832 | 57036 6 | 774 | 665 1055.81/1056.21 c 1055s | 17 | 3640543 | 205232 | 57036 6 | 774 | 665 1058.01/1058.45 c 1057s | 17 | 3646782 | 205632 | 57036 6 | 774 | 665 1060.31/1060.73 c 1060s | 17 | 3657169 | 206132 | 57036 6 | 774 | 665 1062.41/1062.82 c 1062s | 17 | 3665026 | 206732 | 57036 6 | 774 | 665 1064.71/1065.19 c 1064s | 17 | 3678962 | 207332 | 57036 6 | 774 | 665 1067.30/1067.73 c 1067s | 17 | 3693548 | 207932 | 57036 6 | 774 | 665 1069.60/1070.03 c 1069s | 17 | 3701165 | 208332 | 57036 6 | 774 | 665 1071.70/1072.16 c 1071s | 17 | 3706834 | 208732 | 57036 6 | 774 | 665 1074.10/1074.51 c 1073s | 17 | 3720814 | 209232 | 57036 6 | 774 | 665 1076.10/1076.54 c 1075s | 17 | 3723382 | 209732 | 57036 6 | 774 | 665 1078.10/1078.58 c 1077s | 17 | 3730506 | 210132 | 57036 6 | 774 | 665 1080.40/1080.89 c 1080s | 17 | 3735764 | 210632 | 57036 6 | 774 | 665 1082.90/1083.31 c 1082s | 17 | 3737475 | 211032 | 57036 6 | 774 | 665 1085.20/1085.66 c 1085s | 17 | 3739784 | 211432 | 57036 6 | 774 | 665 1087.30/1087.75 c 1087s | 17 | 3742184 | 211732 | 57036 6 | 774 | 665 1090.20/1090.68 c 1090s | 17 | 3743434 | 212032 | 57036 6 | 774 | 665 1092.30/1092.76 c 1092s | 17 | 3744333 | 212232 | 57036 6 | 774 | 665 1094.50/1094.96 c 1094s | 17 | 3745263 | 212432 | 57036 6 | 774 | 665 1097.19/1097.63 c 1097s | 17 | 3747036 | 212732 | 57036 6 | 774 | 665 1099.79/1100.23 c 1099s | 17 | 3748081 | 212932 | 57036 6 | 774 | 665 1104.59/1105.02 c 1104s | 17 | 3752256 | 213132 | 57036 7 | 774 | 665 1106.79/1107.21 c 1106s | 17 | 3757089 | 213532 | 57036 7 | 774 | 665 1109.30/1109.70 c 1109s | 17 | 3760779 | 214032 | 57036 7 | 774 | 665 1111.30/1111.71 c 1111s | 17 | 3763022 | 214332 | 57036 7 | 774 | 665 1114.70/1115.19 c 1114s | 17 | 3764250 | 214632 | 57036 7 | 774 | 665 1118.30/1118.74 c 1118s | 17 | 3767513 | 215032 | 57036 7 | 774 | 665 1120.50/1120.97 c 1120s | 17 | 3771823 | 215432 | 57036 7 | 774 | 665 1122.80/1123.21 c 1122s | 17 | 3783900 | 215932 | 57036 7 | 774 | 665 1125.00/1125.44 c 1124s | 17 | 3797754 | 216332 | 57036 7 | 774 | 665 1126.99/1127.46 c 1126s | 17 | 3803278 | 216732 | 57036 7 | 774 | 665 1129.19/1129.62 c 1129s | 17 | 3805914 | 217132 | 57036 7 | 774 | 665 1131.29/1131.76 c 1131s | 17 | 3810081 | 217532 | 57036 7 | 774 | 665 1133.29/1133.78 c 1133s | 17 | 3817155 | 218032 | 57036 7 | 774 | 665 1135.69/1136.19 c 1135s | 17 | 3822245 | 218432 | 57036 7 | 774 | 665 1137.99/1138.40 c 1137s | 17 | 3825071 | 218732 | 57036 7 | 774 | 665 1140.30/1140.78 c 1140s | 17 | 3826334 | 219032 | 57036 7 | 774 | 665 1142.29/1142.78 c 1142s | 17 | 3829280 | 219332 | 57036 7 | 774 | 665 1145.09/1145.52 c 1144s | 17 | 3836251 | 219732 | 57036 7 | 774 | 665 1147.19/1147.64 c 1147s | 17 | 3845192 | 220232 | 57036 7 | 774 | 665 1149.59/1150.01 c 1149s | 17 | 3856050 | 220732 | 57036 7 | 774 | 665 1151.89/1152.30 c 1151s | 17 | 3863159 | 221132 | 57036 7 | 774 | 665 1153.99/1154.40 c 1153s | 17 | 3871528 | 221632 | 57036 7 | 774 | 665 1156.19/1156.60 c 1156s | 17 | 3880923 | 222132 | 57036 7 | 774 | 665 1158.58/1159.05 c 1158s | 17 | 3884521 | 222632 | 57036 7 | 774 | 665 1160.78/1161.24 c 1160s | 17 | 3892655 | 223132 | 57036 7 | 774 | 665 1163.08/1163.51 c 1162s | 17 | 3896765 | 223732 | 57036 7 | 774 | 665 1165.08/1165.59 c 1164s | 17 | 3899829 | 224132 | 57036 7 | 774 | 665 1167.38/1167.88 c 1167s | 17 | 3900994 | 224432 | 57036 7 | 774 | 665 1169.78/1170.22 c 1169s | 17 | 3911629 | 224932 | 57036 7 | 774 | 665 1172.08/1172.52 c 1171s | 17 | 3921121 | 225432 | 57036 7 | 774 | 665 1174.39/1174.86 c 1174s | 17 | 3929187 | 225932 | 57036 7 | 774 | 665 1176.69/1177.17 c 1176s | 17 | 3940680 | 226432 | 57036 7 | 774 | 665 1178.79/1179.30 c 1178s | 17 | 3945914 | 226732 | 57036 7 | 775 | 666 1181.09/1181.55 c 1180s | 17 | 3953508 | 227232 | 57036 7 | 775 | 666 1183.19/1183.66 c 1183s | 17 | 3961329 | 227832 | 57036 7 | 775 | 666 1185.69/1186.16 c 1185s | 17 | 3979827 | 228232 | 57036 7 | 775 | 666 1188.09/1188.52 c 1187s | 17 | 3993533 | 228732 | 57036 7 | 775 | 666 1190.49/1190.96 c 1190s | 17 | 4004462 | 229232 | 57036 7 | 775 | 666 1192.69/1193.11 c 1192s | 17 | 4014322 | 229632 | 57036 7 | 775 | 666 1194.78/1195.25 c 1194s | 17 | 4020103 | 230032 | 57036 7 | 775 | 666 1197.49/1197.95 c 1197s | 17 | 4023224 | 230432 | 57036 7 | 775 | 666 1199.88/1200.32 c 1199s | 17 | 4030723 | 230932 | 57036 7 | 775 | 666 1202.08/1202.54 c 1201s | 17 | 4033001 | 231432 | 57036 7 | 775 | 666 1204.19/1204.67 c 1204s | 17 | 4034809 | 231832 | 57036 7 | 775 | 666 1206.18/1206.69 c 1206s | 17 | 4036232 | 232132 | 57036 7 | 775 | 666 1208.68/1209.15 c 1208s | 17 | 4037238 | 232432 | 57036 7 | 775 | 666 1212.08/1212.54 c 1211s | 17 | 4037880 | 232732 | 57036 7 | 775 | 666 1214.08/1214.55 c 1213s | 17 | 4038324 | 232932 | 57036 7 | 775 | 666 1217.67/1218.12 c 1217s | 17 | 4039669 | 233332 | 57036 7 | 775 | 666 1220.17/1220.65 c 1220s | 17 | 4054351 | 233832 | 57036 7 | 775 | 666 1222.47/1222.97 c 1222s | 17 | 4063663 | 234332 | 57036 7 | 775 | 666 1224.67/1225.18 c 1224s | 17 | 4073593 | 234832 | 57036 7 | 775 | 666 1227.47/1227.96 c 1227s | 17 | 4081417 | 235232 | 57036 7 | 775 | 666 1229.77/1230.28 c 1229s | 17 | 4086785 | 235732 | 57036 7 | 775 | 666 1232.27/1232.73 c 1232s | 17 | 4088234 | 236132 | 57036 7 | 775 | 666 1235.57/1236.02 c 1235s | 17 | 4089225 | 236432 | 57036 7 | 775 | 666 1238.57/1239.05 c 1238s | 17 | 4090311 | 236732 | 57036 7 | 775 | 666 1240.67/1241.14 c 1240s | 17 | 4091895 | 236932 | 57036 7 | 775 | 666 1243.07/1243.56 c 1242s | 17 | 4104753 | 237532 | 57036 7 | 775 | 666 1245.27/1245.76 c 1245s | 17 | 4109762 | 237932 | 57036 7 | 775 | 666 1247.57/1248.02 c 1247s | 17 | 4110651 | 238232 | 57036 7 | 775 | 666 1250.28/1250.74 c 1250s | 17 | 4113275 | 238532 | 57036 7 | 775 | 666 1252.38/1252.87 c 1252s | 17 | 4118601 | 238832 | 57036 7 | 775 | 666 1254.98/1255.48 c 1254s | 17 | 4125404 | 239232 | 57036 7 | 775 | 666 1257.07/1257.51 c 1256s | 17 | 4130989 | 239632 | 57036 7 | 775 | 666 1259.18/1259.69 c 1259s | 17 | 4140164 | 240132 | 57036 7 | 775 | 666 1261.47/1261.90 c 1261s | 17 | 4145878 | 240532 | 57036 7 | 775 | 666 1263.67/1264.11 c 1263s | 17 | 4150675 | 241132 | 57036 7 | 775 | 666 1265.78/1266.29 c 1265s | 17 | 4153924 | 241632 | 57036 7 | 775 | 666 1268.27/1268.78 c 1268s | 17 | 4155725 | 241932 | 57036 7 | 775 | 666 1270.37/1270.82 c 1270s | 17 | 4157673 | 242332 | 57036 7 | 775 | 666 1272.77/1273.22 c 1272s | 17 | 4158884 | 242732 | 57036 7 | 775 | 666 1275.17/1275.63 c 1275s | 17 | 4160977 | 243032 | 57036 7 | 775 | 666 1278.56/1279.03 c 1278s | 17 | 4161760 | 243332 | 57036 7 | 775 | 666 1280.87/1281.39 c 1280s | 17 | 4163208 | 243632 | 57036 7 | 775 | 666 1283.28/1283.79 c 1283s | 17 | 4164837 | 243932 | 57036 7 | 775 | 666 1286.27/1286.77 c 1286s | 17 | 4166066 | 244232 | 57036 7 | 775 | 666 1289.97/1290.41 c 1289s | 17 | 4166851 | 244432 | 57036 7 | 775 | 666 1292.57/1293.04 c 1292s | 17 | 4167721 | 244632 | 57036 7 | 775 | 666 1294.77/1295.23 c 1294s | 17 | 4169420 | 244832 | 57036 7 | 775 | 666 1297.67/1298.14 c 1297s | 17 | 4170306 | 245032 | 57036 7 | 775 | 666 1299.66/1300.15 c 1299s | 17 | 4171522 | 245232 | 57036 7 | 775 | 666 1301.66/1302.16 c 1301s | 17 | 4172441 | 245432 | 57036 7 | 775 | 666 1303.76/1304.27 c 1303s | 17 | 4173059 | 245632 | 57036 7 | 775 | 666 1307.07/1307.56 c 1306s | 17 | 4173677 | 245832 | 57036 7 | 775 | 666 1309.56/1310.05 c 1309s | 17 | 4173901 | 245932 | 57036 7 | 775 | 666 1311.87/1312.33 c 1311s | 17 | 4176139 | 246232 | 57036 7 | 775 | 666 1314.07/1314.58 c 1313s | 17 | 4177563 | 246432 | 57036 7 | 775 | 666 1316.17/1316.60 c 1316s | 17 | 4179131 | 246732 | 57036 7 | 775 | 666 1319.46/1319.90 c 1319s | 17 | 4184439 | 247032 | 57036 8 | 775 | 666 1321.66/1322.13 c 1321s | 17 | 4200852 | 247532 | 57036 8 | 775 | 666 1324.16/1324.60 c 1324s | 17 | 4210422 | 248232 | 57036 8 | 775 | 666 1326.17/1326.65 c 1326s | 17 | 4220137 | 248732 | 57036 8 | 775 | 666 1328.47/1328.98 c 1328s | 17 | 4228802 | 249332 | 57036 8 | 775 | 666 1330.67/1331.20 c 1330s | 17 | 4234083 | 249832 | 57036 8 | 775 | 666 1332.77/1333.29 c 1332s | 17 | 4239803 | 250232 | 57036 8 | 775 | 666 1335.07/1335.55 c 1334s | 17 | 4250957 | 250732 | 57036 8 | 775 | 666 1337.46/1337.96 c 1337s | 17 | 4255846 | 251232 | 57036 8 | 775 | 666 1340.06/1340.55 c 1339s | 17 | 4260281 | 251632 | 57036 8 | 776 | 667 1342.25/1342.71 c 1342s | 17 | 4269740 | 252132 | 57036 8 | 776 | 667 1344.46/1344.97 c 1344s | 17 | 4274098 | 252532 | 57036 8 | 776 | 667 1346.86/1347.33 c 1346s | 17 | 4285839 | 253232 | 57036 8 | 776 | 667 1348.86/1349.33 c 1348s | 17 | 4294094 | 253632 | 57036 8 | 776 | 667 1351.47/1351.94 c 1351s | 17 | 4313428 | 254232 | 57036 8 | 776 | 667 1353.86/1354.30 c 1353s | 17 | 4323386 | 254832 | 57036 8 | 776 | 667 1356.06/1356.56 c 1355s | 17 | 4338402 | 255332 | 57036 8 | 776 | 667 1358.36/1358.84 c 1358s | 17 | 4350233 | 255932 | 57036 8 | 776 | 667 1360.66/1361.10 c 1360s | 17 | 4356412 | 256532 | 57036 8 | 776 | 667 1362.66/1363.18 c 1362s | 17 | 4364068 | 257132 | 57036 8 | 776 | 667 1364.86/1365.39 c 1364s | 17 | 4376192 | 257632 | 57036 8 | 776 | 667 1367.16/1367.63 c 1367s | 17 | 4384117 | 258132 | 57036 8 | 776 | 667 1369.36/1369.82 c 1369s | 17 | 4386792 | 258532 | 57036 8 | 776 | 667 1371.66/1372.18 c 1371s | 17 | 4395333 | 259032 | 57036 8 | 776 | 667 1374.06/1374.55 c 1373s | 17 | 4411517 | 259532 | 57036 8 | 776 | 667 1376.15/1376.66 c 1376s | 17 | 4418849 | 259932 | 57036 8 | 776 | 667 1378.65/1379.15 c 1378s | 17 | 4431619 | 260332 | 57036 8 | 776 | 667 1380.65/1381.18 c 1380s | 17 | 4432951 | 260632 | 57036 8 | 776 | 667 1382.75/1383.21 c 1382s | 17 | 4437187 | 261032 | 57036 8 | 776 | 667 1385.05/1385.53 c 1384s | 17 | 4439140 | 261332 | 57036 8 | 776 | 667 1387.25/1387.71 c 1387s | 17 | 4441654 | 261732 | 57036 8 | 776 | 667 1389.25/1389.79 c 1389s | 17 | 4448183 | 262332 | 57036 8 | 776 | 667 1391.85/1392.34 c 1391s | 17 | 4460637 | 262832 | 57036 8 | 776 | 667 1393.95/1394.43 c 1393s | 17 | 4476688 | 263232 | 57036 8 | 776 | 667 1396.25/1396.74 c 1396s | 17 | 4492669 | 263632 | 57036 8 | 776 | 667 1398.55/1399.05 c 1398s | 17 | 4507657 | 264232 | 57036 8 | 776 | 667 1400.75/1401.24 c 1400s | 17 | 4520886 | 264732 | 57036 8 | 776 | 667 1402.75/1403.25 c 1402s | 17 | 4527220 | 265132 | 57036 8 | 776 | 667 1405.25/1405.75 c 1405s | 17 | 4534070 | 265732 | 57036 8 | 776 | 667 1407.56/1408.04 c 1407s | 17 | 4541637 | 266132 | 57036 8 | 776 | 667 1410.55/1411.07 c 1410s | 17 | 4547473 | 266532 | 57036 8 | 776 | 667 1413.45/1413.95 c 1413s | 17 | 4549178 | 266732 | 57036 8 | 776 | 667 1415.65/1416.12 c 1415s | 17 | 4553851 | 267132 | 57036 8 | 776 | 667 1417.95/1418.42 c 1417s | 17 | 4557644 | 267532 | 57036 8 | 776 | 667 1420.35/1420.82 c 1420s | 17 | 4559298 | 267732 | 57036 8 | 776 | 667 1423.05/1423.54 c 1422s | 17 | 4561266 | 267932 | 57036 8 | 776 | 667 1425.64/1426.19 c 1425s | 17 | 4562016 | 268132 | 57036 8 | 776 | 667 1428.84/1429.39 c 1428s | 17 | 4565129 | 268532 | 57036 8 | 776 | 667 1431.34/1431.86 c 1431s | 17 | 4566299 | 268732 | 57036 8 | 776 | 667 1434.74/1435.23 c 1434s | 17 | 4567957 | 269032 | 57036 8 | 776 | 667 1437.84/1438.30 c 1437s | 17 | 4568105 | 269132 | 57036 8 | 776 | 667 1440.84/1441.38 c 1440s | 17 | 4568458 | 269232 | 57036 8 | 776 | 667 1445.05/1445.53 c 1444s | 17 | 4568630 | 269332 | 57036 8 | 776 | 667 1448.34/1448.82 c 1448s | 17 | 4569296 | 269432 | 57036 8 | 776 | 667 1451.55/1452.04 c 1451s | 17 | 4569594 | 269532 | 57036 8 | 776 | 667 1455.34/1455.80 c 1455s | 17 | 4569800 | 269632 | 57036 8 | 776 | 667 1458.34/1458.87 c 1458s | 17 | 4570506 | 269832 | 57036 8 | 776 | 667 1461.24/1461.76 c 1461s | 17 | 4571138 | 270032 | 57036 8 | 776 | 667 1463.54/1464.02 c 1463s | 17 | 4571662 | 270132 | 57036 8 | 776 | 667 1466.04/1466.52 c 1465s | 17 | 4578591 | 270532 | 57036 8 | 776 | 667 1468.05/1468.54 c 1467s | 17 | 4586408 | 270832 | 57036 8 | 776 | 667 1470.64/1471.10 c 1470s | 17 | 4587070 | 271032 | 57036 8 | 776 | 667 1473.04/1473.56 c 1472s | 17 | 4599297 | 271532 | 57036 8 | 776 | 667 1476.04/1476.58 c 1475s | 17 | 4601607 | 271932 | 57036 8 | 776 | 667 1478.13/1478.63 c 1478s | 17 | 4602572 | 272132 | 57036 8 | 776 | 667 1480.43/1480.98 c 1480s | 17 | 4604757 | 272332 | 57036 8 | 776 | 667 1482.74/1483.20 c 1482s | 17 | 4611326 | 272632 | 57036 8 | 776 | 667 1485.04/1485.53 c 1484s | 17 | 4622570 | 273032 | 57036 8 | 776 | 667 1487.24/1487.73 c 1487s | 17 | 4624681 | 273132 | 57036 9 | 776 | 667 1489.34/1489.82 c 1489s | 17 | 4635933 | 273632 | 57036 9 | 776 | 667 1491.54/1492.08 c 1491s | 17 | 4652584 | 274332 | 57036 9 | 776 | 667 1493.94/1494.45 c 1493s | 17 | 4661007 | 274832 | 57036 9 | 776 | 667 1496.24/1496.79 c 1496s | 17 | 4671804 | 275432 | 57036 9 | 776 | 667 1498.34/1498.85 c 1498s | 17 | 4680980 | 275932 | 57036 9 | 776 | 667 1500.64/1501.12 c 1500s | 17 | 4683997 | 276432 | 57036 9 | 776 | 667 1503.14/1503.65 c 1503s | 17 | 4685226 | 276832 | 57036 9 | 776 | 667 1505.34/1505.86 c 1505s | 17 | 4686706 | 277232 | 57036 9 | 776 | 667 1507.93/1508.43 c 1507s | 17 | 4687791 | 277632 | 57036 9 | 776 | 667 1509.94/1510.44 c 1509s | 17 | 4689427 | 278032 | 57036 9 | 776 | 667 1512.14/1512.62 c 1512s | 17 | 4698098 | 278532 | 57036 9 | 776 | 667 1514.34/1514.84 c 1514s | 17 | 4707449 | 279232 | 57036 9 | 776 | 667 1516.54/1517.09 c 1516s | 17 | 4721711 | 279732 | 57036 9 | 776 | 667 1518.83/1519.36 c 1518s | 17 | 4736861 | 280232 | 57036 9 | 776 | 667 1520.94/1521.45 c 1520s | 17 | 4738965 | 280632 | 57036 9 | 776 | 667 1523.83/1524.30 c 1523s | 17 | 4740617 | 281032 | 57036 9 | 776 | 667 1526.03/1526.56 c 1525s | 17 | 4742017 | 281332 | 57036 9 | 776 | 667 1528.43/1528.90 c 1528s | 17 | 4743084 | 281632 | 57036 9 | 776 | 667 1531.03/1531.54 c 1530s | 17 | 4743763 | 281832 | 57036 9 | 776 | 667 1534.04/1534.54 c 1533s | 17 | 4744310 | 282032 | 57036 9 | 776 | 667 1536.33/1536.85 c 1536s | 17 | 4745749 | 282232 | 57036 9 | 776 | 667 1538.83/1539.32 c 1538s | 17 | 4746434 | 282432 | 57036 9 | 776 | 667 1542.12/1542.65 c 1542s | 17 | 4746861 | 282632 | 57036 9 | 776 | 667 1544.22/1544.73 c 1544s | 17 | 4755384 | 282932 | 57036 9 | 776 | 667 1546.42/1546.92 c 1546s | 17 | 4765669 | 283432 | 57036 9 | 776 | 667 1548.72/1549.20 c 1548s | 17 | 4782229 | 283932 | 57036 9 | 776 | 667 1550.92/1551.42 c 1550s | 17 | 4796390 | 284332 | 57036 9 | 776 | 667 1553.22/1553.72 c 1553s | 17 | 4808045 | 284832 | 57036 9 | 776 | 667 1555.32/1555.80 c 1555s | 17 | 4819833 | 285332 | 57036 9 | 776 | 667 1557.83/1558.32 c 1557s | 17 | 4828945 | 285932 | 57036 9 | 776 | 667 1559.93/1560.47 c 1559s | 17 | 4835359 | 286332 | 57036 9 | 776 | 667 1562.23/1562.79 c 1562s | 17 | 4849852 | 286832 | 57036 9 | 776 | 667 1564.33/1564.89 c 1564s | 17 | 4856946 | 287332 | 57036 9 | 776 | 667 1566.63/1567.10 c 1566s | 17 | 4871190 | 287832 | 57036 9 | 776 | 667 1568.73/1569.23 c 1568s | 17 | 4881987 | 288332 | 57036 9 | 776 | 667 1571.03/1571.51 c 1570s | 17 | 4897727 | 288832 | 57036 9 | 776 | 667 1573.13/1573.64 c 1573s | 17 | 4911471 | 289332 | 57036 9 | 776 | 667 1575.43/1575.91 c 1575s | 17 | 4926604 | 289732 | 57036 9 | 776 | 667 1577.93/1578.42 c 1577s | 17 | 4944173 | 290232 | 57036 9 | 776 | 667 1579.92/1580.49 c 1579s | 17 | 4955024 | 290632 | 57036 9 | 776 | 667 1582.62/1583.13 c 1582s | 17 | 4961820 | 291132 | 57036 9 | 776 | 667 1585.02/1585.56 c 1584s | 17 | 4969613 | 291532 | 57036 9 | 776 | 667 1587.32/1587.89 c 1587s | 17 | 4980770 | 292032 | 57036 9 | 776 | 667 1589.42/1589.97 c 1589s | 17 | 4986018 | 292532 | 57036 9 | 776 | 667 1591.72/1592.25 c 1591s | 17 | 4997115 | 293032 | 57036 9 | 776 | 667 1593.72/1594.28 c 1593s | 17 | 5003613 | 293432 | 57036 9 | 776 | 667 1595.92/1596.46 c 1595s | 17 | 5016706 | 293832 | 57036 9 | 776 | 667 1598.12/1598.67 c 1598s | 17 | 5025303 | 294232 | 62740 9 | 776 | 667 1600.42/1600.98 c 1600s | 17 | 5034533 | 294732 | 62740 9 | 776 | 667 1602.92/1603.46 c 1602s | 17 | 5039685 | 295232 | 62740 9 | 776 | 667 1605.12/1605.63 c 1605s | 17 | 5050647 | 295632 | 62740 9 | 776 | 667 1607.32/1607.87 c 1607s | 17 | 5060586 | 296132 | 62740 9 | 776 | 667 1607.82/1608.34 c 1607s | 18 | 5061427 | 296252 | 62740 9 | 776 | 667 1610.02/1610.55 c 1609s | 18 | 5067998 | 296552 | 62740 9 | 776 | 667 1612.12/1612.64 c 1612s | 18 | 5074578 | 296952 | 62740 9 | 776 | 667 1614.21/1614.74 c 1614s | 18 | 5084642 | 297452 | 62740 9 | 776 | 667 1616.41/1616.92 c 1616s | 18 | 5100196 | 297852 | 62740 9 | 776 | 667 1618.51/1619.05 c 1618s | 18 | 5113998 | 298252 | 62740 9 | 776 | 667 1620.92/1621.44 c 1620s | 18 | 5123552 | 298852 | 62740 9 | 776 | 667 1623.12/1623.69 c 1623s | 18 | 5124984 | 299352 | 62740 9 | 776 | 667 1625.61/1626.13 c 1625s | 18 | 5143260 | 299752 | 62740 9 | 776 | 667 1627.71/1628.28 c 1627s | 18 | 5145422 | 300152 | 62740 9 | 776 | 667 1630.22/1630.77 c 1630s | 18 | 5147154 | 300352 | 62740 9 | 776 | 667 1632.52/1633.01 c 1632s | 18 | 5156033 | 300852 | 62740 9 | 776 | 667 1634.92/1635.40 c 1634s | 18 | 5169375 | 301352 | 62740 9 | 776 | 667 1636.92/1637.46 c 1636s | 18 | 5181996 | 301752 | 62740 9 | 776 | 667 1639.31/1639.86 c 1639s | 18 | 5188641 | 302252 | 62740 9 | 776 | 667 1641.61/1642.17 c 1641s | 18 | 5197702 | 302652 | 62740 9 | 776 | 667 1643.81/1644.31 c 1643s | 18 | 5201601 | 303152 | 62740 9 | 776 | 667 1646.01/1646.57 c 1645s | 18 | 5207009 | 303752 | 62740 9 | 776 | 667 1648.01/1648.59 c 1647s | 18 | 5208661 | 304152 | 62740 9 | 776 | 667 1650.51/1651.03 c 1650s | 18 | 5216435 | 304752 | 62740 9 | 776 | 667 1653.81/1654.34 c 1653s | 18 | 5217858 | 305152 | 62740 9 | 776 | 667 1656.41/1656.94 c 1656s | 18 | 5218583 | 305352 | 62740 9 | 776 | 667 1658.61/1659.11 c 1658s | 18 | 5225913 | 305752 | 62740 9 | 776 | 667 1660.62/1661.14 c 1660s | 18 | 5235316 | 306152 | 62740 9 | 776 | 667 1662.91/1663.47 c 1662s | 18 | 5245509 | 306652 | 62740 9 | 776 | 667 1665.11/1665.67 c 1665s | 18 | 5256144 | 307052 | 62740 9 | 776 | 667 1667.22/1667.79 c 1667s | 18 | 5262379 | 307452 | 62740 9 | 776 | 667 1669.31/1669.88 c 1669s | 18 | 5268676 | 307752 | 62740 9 | 776 | 667 1671.51/1672.05 c 1671s | 18 | 5276463 | 308152 | 62740 9 | 776 | 667 1673.81/1674.32 c 1673s | 18 | 5280454 | 308652 | 62740 9 | 776 | 667 1676.40/1676.91 c 1676s | 18 | 5283921 | 309052 | 62740 9 | 776 | 667 1678.60/1679.15 c 1678s | 18 | 5288623 | 309452 | 62740 9 | 776 | 667 1681.41/1681.99 c 1681s | 18 | 5294074 | 309652 | 62740 10 | 776 | 667 1683.61/1684.19 c 1683s | 18 | 5304857 | 310152 | 62740 10 | 776 | 667 1685.70/1686.27 c 1685s | 18 | 5313558 | 310752 | 62740 10 | 776 | 667 1687.80/1688.31 c 1687s | 18 | 5324102 | 311252 | 62740 10 | 776 | 667 1689.80/1690.32 c 1689s | 18 | 5326814 | 311552 | 62740 10 | 776 | 667 1691.90/1692.49 c 1691s | 18 | 5330764 | 312052 | 62740 10 | 776 | 667 1694.00/1694.58 c 1693s | 18 | 5341817 | 312652 | 62740 10 | 776 | 667 1696.20/1696.75 c 1696s | 18 | 5351364 | 313152 | 62740 10 | 776 | 667 1698.50/1699.06 c 1698s | 18 | 5366181 | 313752 | 62740 10 | 776 | 667 1700.91/1701.44 c 1700s | 18 | 5370139 | 314252 | 62740 10 | 776 | 667 1703.11/1703.63 c 1703s | 18 | 5371026 | 314452 | 62740 10 | 776 | 667 1705.51/1706.00 c 1705s | 18 | 5374985 | 314752 | 62740 10 | 776 | 667 1707.51/1708.07 c 1707s | 18 | 5379491 | 315252 | 62740 10 | 776 | 667 1709.61/1710.19 c 1709s | 18 | 5391587 | 315752 | 62740 10 | 776 | 667 1712.11/1712.66 c 1712s | 18 | 5407955 | 316252 | 62740 10 | 776 | 667 1714.61/1715.14 c 1714s | 18 | 5420112 | 316752 | 62740 10 | 776 | 667 1716.71/1717.24 c 1716s | 18 | 5425357 | 317152 | 62740 10 | 776 | 667 1718.91/1719.42 c 1718s | 18 | 5436080 | 317652 | 62740 10 | 776 | 667 1720.91/1721.50 c 1720s | 18 | 5450445 | 318052 | 62740 10 | 776 | 667 1723.11/1723.61 c 1723s | 18 | 5458512 | 318452 | 62740 10 | 776 | 667 1725.20/1725.72 c 1725s | 18 | 5468804 | 318852 | 62740 10 | 776 | 667 1727.71/1728.26 c 1727s | 18 | 5476543 | 319452 | 62740 10 | 776 | 667 1729.91/1730.48 c 1729s | 18 | 5492606 | 319852 | 62740 10 | 776 | 667 1732.01/1732.55 c 1731s | 18 | 5502405 | 320352 | 62740 10 | 776 | 667 1734.31/1734.84 c 1734s | 18 | 5511461 | 320852 | 62740 10 | 776 | 667 1736.30/1736.85 c 1736s | 18 | 5512478 | 321152 | 62740 10 | 776 | 667 1738.30/1738.89 c 1738s | 18 | 5513925 | 321452 | 62740 10 | 776 | 667 1740.91/1741.45 c 1740s | 18 | 5515112 | 321752 | 62740 10 | 776 | 667 1743.11/1743.65 c 1743s | 18 | 5519603 | 321952 | 62740 10 | 776 | 667 1745.50/1746.06 c 1745s | 18 | 5525090 | 322352 | 62740 10 | 776 | 667 1747.80/1748.36 c 1747s | 18 | 5528976 | 322752 | 62740 10 | 776 | 667 1749.80/1750.38 c 1749s | 18 | 5534050 | 323152 | 62740 10 | 776 | 667 1752.00/1752.51 c 1751s | 18 | 5540534 | 323552 | 62740 10 | 776 | 667 1754.11/1754.67 c 1754s | 18 | 5549033 | 323952 | 62740 10 | 776 | 667 1756.60/1757.10 c 1756s | 18 | 5562525 | 324352 | 62740 10 | 776 | 667 1758.70/1759.29 c 1758s | 18 | 5573037 | 324852 | 62740 10 | 776 | 667 1761.00/1761.56 c 1760s | 18 | 5587524 | 325252 | 62740 10 | 776 | 667 1763.40/1763.91 c 1763s | 18 | 5596103 | 325752 | 62740 10 | 776 | 667 1765.40/1765.96 c 1765s | 18 | 5599993 | 326152 | 62740 10 | 776 | 667 1768.20/1768.76 c 1768s | 18 | 5601420 | 326552 | 62740 10 | 776 | 667 1770.19/1770.77 c 1770s | 18 | 5602372 | 326752 | 62740 10 | 776 | 667 1772.59/1773.15 c 1772s | 18 | 5608415 | 327152 | 62740 10 | 776 | 667 1774.69/1775.23 c 1774s | 18 | 5618852 | 327552 | 62740 10 | 776 | 667 1776.99/1777.58 c 1776s | 18 | 5627422 | 328052 | 62740 10 | 776 | 667 1779.19/1779.78 c 1779s | 18 | 5634914 | 328552 | 62740 10 | 776 | 667 1781.29/1781.84 c 1781s | 18 | 5642769 | 328952 | 62740 10 | 776 | 667 1783.39/1783.93 c 1783s | 18 | 5653745 | 329352 | 62740 10 | 776 | 667 1785.59/1786.16 c 1785s | 18 | 5659826 | 329752 | 62740 10 | 776 | 667 1788.10/1788.67 c 1788s | 18 | 5664113 | 330252 | 62740 10 | 776 | 667 1790.29/1790.81 c 1790s | 18 | 5669723 | 330552 | 62740 10 | 776 | 667 1792.39/1792.91 c 1792s | 18 | 5672798 | 330952 | 62740 10 | 776 | 667 1794.99/1795.53 c 1794s | 18 | 5675085 | 331352 | 62740 10 | 776 | 667 1797.19/1797.74 c 1797s | 18 | 5677174 | 331652 | 62740 10 | 776 | 667 1799.39/1799.96 c 1799s | 18 | 5684189 | 332052 | 62740 10 | 776 | 667
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-4078901-1465286843/watcher-4078901-1465286843 -o /tmp/evaluation-result-4078901-1465286843/solver-4078901-1465286843 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078901-1465286843.opb pid=18904 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.14 2.20 2.18 4/179 18907 /proc/meminfo: memFree=29239864/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=771652 CPUtime=0 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 2888 0 0 0 0 0 0 0 20 0 4 0 110616250 790171648 3249 33554432000 4194304 16246674 140736817924096 140736817923520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 193425 3258 442 2943 0 190319 0 [pid=18907/tid=18908] ppid=18904 vsize=790084 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 809046016 3320 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=794180 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 813240320 3338 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=798276 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616250 817434624 3354 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 2.14 2.20 2.18 4/179 18907 /proc/meminfo: memFree=29239864/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 27951 0 0 0 5 4 0 0 20 0 4 0 110616250 1333334016 28251 33554432000 4194304 16246674 140736817924096 140736817923408 8057278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 325521 28266 801 2943 0 322415 0 [pid=18907/tid=18908] ppid=18904 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1333334016 28278 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1333334016 28288 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1333334016 28300 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200526 s] /proc/loadavg: 2.14 2.20 2.18 4/179 18907 /proc/meminfo: memFree=29239864/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1314372 CPUtime=0.19 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 47136 0 0 0 13 6 0 0 20 0 4 0 110616250 1345916928 47946 33554432000 4194304 16246674 140736817924096 140736817907088 7364072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 328593 47946 801 2943 0 325487 0 [pid=18907/tid=18908] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 47946 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 47946 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 47946 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300509 s] /proc/loadavg: 2.14 2.20 2.18 4/179 18907 /proc/meminfo: memFree=29239864/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1314372 CPUtime=0.29 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 47393 0 0 0 23 6 0 0 20 0 4 0 110616250 1345916928 48203 33554432000 4194304 16246674 140736817924096 140736817907088 5875600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 328593 48203 833 2943 0 325487 0 [pid=18907/tid=18908] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 48203 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 48203 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 48203 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700406 s] /proc/loadavg: 2.14 2.20 2.18 4/179 18907 /proc/meminfo: memFree=29239864/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 124882 0 0 0 52 17 0 0 20 0 4 0 110616250 1345916928 125692 33554432000 4194304 16246674 140736817924096 140736817907088 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 328593 125695 876 2943 0 325487 0 [pid=18907/tid=18908] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 125699 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 125703 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 125707 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50042 s] /proc/loadavg: 2.14 2.20 2.18 4/183 18911 /proc/meminfo: memFree=28701272/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1314372 CPUtime=1.49 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 134254 0 0 0 131 18 0 0 20 0 4 0 110616250 1345916928 135064 33554432000 4194304 16246674 140736817924096 140736817905984 5754924 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 328593 135064 882 2943 0 325487 0 [pid=18907/tid=18908] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 135064 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 135064 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 135064 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10039 s] /proc/loadavg: 2.14 2.20 2.18 4/183 18911 /proc/meminfo: memFree=28546644/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1314372 CPUtime=3.09 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 233254 0 0 0 279 30 0 0 20 0 4 0 110616250 1345916928 234064 33554432000 4194304 16246674 140736817924096 140736817907088 5828874 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 328593 234071 882 2943 0 325487 0 [pid=18907/tid=18908] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 234074 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 234076 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 234078 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1314372 [startup+6.30038 s] /proc/loadavg: 2.21 2.22 2.18 4/183 18911 /proc/meminfo: memFree=28160280/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1314372 CPUtime=6.29 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 269266 0 0 0 594 35 0 0 20 0 4 0 110616250 1345916928 270076 33554432000 4194304 16246674 140736817924096 140736817905984 12483326 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 328593 270076 884 2943 0 325487 0 [pid=18907/tid=18908] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 270076 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 270076 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 270076 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1314372 [startup+12.7004 s] /proc/loadavg: 2.19 2.21 2.18 3/183 18911 /proc/meminfo: memFree=28160272/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1314372 CPUtime=12.69 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 269266 0 0 0 1234 35 0 0 20 0 4 0 110616250 1345916928 270076 33554432000 4194304 16246674 140736817924096 140736817905984 5661444 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 328593 270076 884 2943 0 325487 0 [pid=18907/tid=18908] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 270076 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 270076 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 270076 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1314372 [startup+25.5005 s] /proc/loadavg: 2.15 2.20 2.18 3/183 18911 /proc/meminfo: memFree=28160780/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1314372 CPUtime=25.49 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 269266 0 0 0 2514 35 0 0 20 0 4 0 110616250 1345916928 270076 33554432000 4194304 16246674 140736817924096 140736817905984 6026636 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 328593 270076 884 2943 0 325487 0 [pid=18907/tid=18908] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 270076 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 270076 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 270076 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1314372 [startup+51.1005 s] /proc/loadavg: 2.24 2.22 2.18 4/183 18911 /proc/meminfo: memFree=28160616/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1314372 CPUtime=51.08 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 269266 0 0 0 5073 35 0 0 20 0 4 0 110616250 1345916928 270076 33554432000 4194304 16246674 140736817924096 140736817905984 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 328593 270076 884 2943 0 325487 0 [pid=18907/tid=18908] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 270076 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 270076 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 270076 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1314372 [startup+102.301 s] /proc/loadavg: 2.35 2.24 2.19 3/183 18912 /proc/meminfo: memFree=28160456/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1314372 CPUtime=102.28 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 269267 0 0 0 10193 35 0 0 20 0 4 0 110616250 1345916928 270077 33554432000 4194304 16246674 140736817924096 140736817905984 12483524 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 328593 270077 885 2943 0 325487 0 [pid=18907/tid=18908] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 270077 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 270077 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1345916928 270077 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1314372 ################ # More data... # ################ /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1321540 [startup+1302.3 s] /proc/loadavg: 2.24 2.23 2.19 3/183 18991 /proc/meminfo: memFree=28162120/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1321540 CPUtime=1301.86 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 271282 0 0 0 130126 60 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140736817923272 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 330385 271723 887 2943 0 327279 0 [pid=18907/tid=18908] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1321540 [startup+1362.3 s] /proc/loadavg: 2.21 2.22 2.18 3/184 18996 /proc/meminfo: memFree=28161808/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1321540 CPUtime=1361.86 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 271282 0 0 0 136123 63 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140736817905984 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 330385 271723 887 2943 0 327279 0 [pid=18907/tid=18908] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1321540 [startup+1422.3 s] /proc/loadavg: 2.14 2.19 2.18 3/183 18997 /proc/meminfo: memFree=28162060/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1321540 CPUtime=1421.85 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 271282 0 0 0 142122 63 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140736817905984 12483544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 330385 271723 887 2943 0 327279 0 [pid=18907/tid=18908] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1321540 [startup+1482.3 s] /proc/loadavg: 2.10 2.17 2.17 3/183 18998 /proc/meminfo: memFree=28162096/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1321540 CPUtime=1481.83 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 271282 0 0 0 148119 64 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140736817923272 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 330385 271723 887 2943 0 327279 0 [pid=18907/tid=18908] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1321540 [startup+1542.31 s] /proc/loadavg: 2.21 2.18 2.17 3/183 18999 /proc/meminfo: memFree=28162008/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1321540 CPUtime=1541.83 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 271282 0 0 0 154118 65 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140736817905984 12483326 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 330385 271723 887 2943 0 327279 0 [pid=18907/tid=18908] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1321540 [startup+1602.3 s] /proc/loadavg: 2.14 2.16 2.17 3/183 19000 /proc/meminfo: memFree=28162180/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1321540 CPUtime=1601.82 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 271282 0 0 0 160116 66 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140736817923192 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 330385 271723 887 2943 0 327279 0 [pid=18907/tid=18908] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1321540 [startup+1662.3 s] /proc/loadavg: 2.16 2.17 2.17 3/183 19002 /proc/meminfo: memFree=28162312/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1321540 CPUtime=1661.81 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 271282 0 0 0 166114 67 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140736817905984 5662200 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 330385 271723 887 2943 0 327279 0 [pid=18907/tid=18908] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1321540 [startup+1722.3 s] /proc/loadavg: 2.25 2.20 2.18 4/183 19003 /proc/meminfo: memFree=28161884/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1321540 CPUtime=1721.81 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 271282 0 0 0 172113 68 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140736817923272 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 330385 271723 887 2943 0 327279 0 [pid=18907/tid=18908] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1321540 [startup+1782.3 s] /proc/loadavg: 2.23 2.19 2.18 3/183 19004 /proc/meminfo: memFree=28161332/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1321540 CPUtime=1781.79 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 271282 0 0 0 178111 68 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140736817905984 13954546 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 330385 271723 887 2943 0 327279 0 [pid=18907/tid=18908] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1321540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.17 2.18 2.18 3/183 19004 /proc/meminfo: memFree=28161456/32872528 swapFree=17452/1581112 [pid=18907] ppid=18904 vsize=1321540 CPUtime=1800.09 cores=1,3,5,7 /proc/18907/stat : 18907 (toysat) R 18904 18907 13546 0 -1 4202496 271282 0 0 0 179941 68 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140736817905984 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18907/statm: 330385 271723 887 2943 0 327279 0 [pid=18907/tid=18908] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18908/stat : 18908 (toysat) S 18904 18907 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715814268144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18907/tid=18909] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18909/stat : 18909 (toysat) S 18904 18907 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715803778288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18907/tid=18910] ppid=18904 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18907/task/18910/stat : 18910 (toysat) S 18904 18907 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110616250 1353256960 271723 33554432000 4194304 16246674 140736817924096 140715793304752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1321540 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 18907 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.42 CPU system time (s): 0.688895 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 1321540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.42 system time used= 0.688895 maximum resident set size= 1086892 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271282 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= 384 involuntary context switches= 1856 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.41333 second user time and 7.17591 second system time The end
Begin job on node139 at 2016-06-07 10:07:23 IDJOB=4078901 IDBENCH=90203 IDSOLVER=2542 FILE ID=node139/4078901-1465286843 RUNJOBID= node139-1465254943-13563 PBS_JOBID= 19843273 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K141.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078901-1465286843/watcher-4078901-1465286843 -o /tmp/evaluation-result-4078901-1465286843/solver-4078901-1465286843 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078901-1465286843.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e981076bb5354ded6cb9b093a6d1a03e RANDOM SEED=1532553277 node139.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.868 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.73 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.868 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.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 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.868 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.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 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.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29240128 kB Buffers: 77740 kB Cached: 144844 kB SwapCached: 1412 kB Active: 1171692 kB Inactive: 139940 kB Active(anon): 1087648 kB Inactive(anon): 3552 kB Active(file): 84044 kB Inactive(file): 136388 kB Unevictable: 1581112 kB Mlocked: 17452 kB SwapTotal: 67108856 kB SwapFree: 67099812 kB Dirty: 17488 kB Writeback: 0 kB AnonPages: 2766940 kB Mapped: 10716 kB Shmem: 0 kB Slab: 599284 kB SReclaimable: 43428 kB SUnreclaim: 555856 kB KernelStack: 1520 kB PageTables: 9312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2816848 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2275328 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node139 at 2016-06-07 10:37:24