| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/lopes/ normalized-48.opb |
| MD5SUM | bcbd6cca7644150bcdcbd185d4571ad6 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 210.993 |
| 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 | 9956 |
| Total number of constraints | 224622 |
| Number of constraints which are clauses | 201792 |
| Number of constraints which are cardinality constraints (but not clauses) | 738 |
| Number of constraints which are nor clauses,nor cardinality constraints | 22092 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 231 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 232 |
| 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-07T07:06:27+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-4078868-1465275987.opb"] 0.00/0.01 c use --random-gen="262369303 2570243656 1946110467 588725417 611912386 4074447054 1458548221 3614877588 3332886716 827411978 1210385439 3853046302 206974843 2413127412 872354083 2130340002 4140572626 2968876949 596018588 2686108768 1314795893 62820161 1323666054 2764255372 4009157620 931038753 3679152171 3307047911 3670181911 3884724658 32807602 3742305164 356479117 1792954256 1252097334 3590063948 4166874872 2953862003 1913993846 738881475 4291584428 2606935414 134488661 3651568021 61565137 1701767743 163985856 2000039530 757236173 2120150845 85231207 2419340224 2797844213 1242738083 3620891430 3414654659 324137086 4064897988 1501796928 827058190 3772862914 2937316274 240002072 3361297616 739030451 1715950812 1465552477 3843434995 3769432969 1996621181 3716252237 4267363565 3129052498 1739814814 1172666371 584711450 2556738829 940492609 3734586774 421518175 3959945071 1309351059 3461968579 2557828669 2684015811 3191273212 541216964 1433550155 2592910553 2406934225 1477210037 1927547608 2476040965 3947686245 257680639 1917189898 1847438361 935756804 1324279762 451133858 3833434332 2305564712 464220189 3780671285 1607697279 951875588 1924862743 3264288657 207192071 118697166 725364017 852249340 1233355271 3751716969 2874479626 2875200586 3023689421 1357234704 4271573910 311193411 2761255472 234543688 942244100 3198187609 2612559165 2845422227 1772256126 4018431829 3471128776 310453734 2685230334 514354670 341170845 240543445 616734125 4275167633 3746756079 1623865994 945298299 2780071481 2349710768 3175214106 493740541 4261699058 2575988516 4219458701 1731138229 1360088756 4043835034 2771935495 788721477 3062952284 3290988378 3334508095 2643722147 2010051360 3781266203 1319831647 4223470243 922699509 1839963011 3740144472 1751838158 246733729 3029999032 79327541 1920920824 399026731 1122241267 3634088722 3965777768 2100028594 1354719221 2606878841 1124115609 2003054003 4212989076 1299171997 4148962377 1391365220 3085151311 396740938 1960903708 917945643 4255463870 4013884937 451694107 1077632566 4009113865 1778986200 3162663251 410513736 1652797324 810719200 2680632006 2606393510 302041864 379792122 3249603945 3246151154 1854405387 3013882780 824524492 3593117006 2218758913 898582282 4104750120 381746268 1109556198 4123653857 4193798448 2160232911 821570855 2207730805 3037219409 616842961 813336971 3304734529 4079269510 4238910101 3285547329 2922583917 1408048578 2639813333 681602324 3092366675 1746535526 1015835029 4179770854 2523479358 2264195776 344645558 2813184743 144703842 2912900439 2653972361 2131335781 2157345851 3855388724 1065942112 3099786962 4249711381 3713245238 2862843886 3522255287 4074857325 2555589041 16672978 3887958366 4241830092 1503991391 1387420231 2631276139 1710219363 257527357 835750483 255 362436" option to reproduce the execution 1.79/1.82 c #vars 9956 1.79/1.82 c #constraints 224622 5.69/5.71 c Solving starts ... 5.69/5.71 c ============================[ Search Statistics ]============================ 5.69/5.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.69/5.71 c | | | | Limit GC | Var | Constra 5.69/5.71 c ============================================================================= 5.69/5.71 c 0.0s | 0 | 0 | 0 | 75906 0 | 414 | 0 5.89/5.92 c 0.2s | 1 | 130 | 100 | 75906 0 | 414 | 4680 6.99/7.06 c 1.3s | 2 | 10399 | 250 | 83497 0 | 414 | 4680 9.29/9.39 c 3.7s | 2 | 34532 | 350 | 91847 0 | 415 | 4695 9.79/9.81 c 4.1s | 3 | 44775 | 475 | 91847 0 | 416 | 4830 11.19/11.25 c 5.5s | 4 | 63657 | 813 | 101032 0 | 417 | 4845 11.89/11.93 c 6.2s | 5 | 81562 | 1320 | 111136 0 | 417 | 4845 13.89/13.98 c 8.3s | 5 | 118839 | 2020 | 122250 0 | 417 | 4845 13.99/14.00 c 8.3s | 6 | 118955 | 2081 | 134475 0 | 417 | 4845 15.99/16.08 c 10.4s | 6 | 151039 | 2981 | 134475 0 | 421 | 4912 16.29/16.33 c 10.6s | 7 | 157359 | 3223 | 147923 0 | 421 | 4912 18.49/18.54 c 12.8s | 7 | 201805 | 4323 | 147923 0 | 424 | 5175 19.59/19.62 c 13.9s | 8 | 223922 | 4936 | 162716 0 | 425 | 5202 21.69/21.73 c 16.0s | 8 | 276400 | 6236 | 162716 0 | 426 | 5214 23.39/23.41 c 17.7s | 9 | 308820 | 7506 | 178988 0 | 426 | 5214 25.39/25.42 c 19.7s | 9 | 351628 | 8406 | 178988 0 | 430 | 5374 27.39/27.45 c 21.7s | 9 | 353479 | 10006 | 178988 0 | 430 | 5374 28.99/29.00 c 23.3s | 10 | 355022 | 11361 | 196887 0 | 430 | 5374 31.19/31.29 c 25.6s | 10 | 380397 | 12361 | 196887 0 | 431 | 5386 33.49/33.52 c 27.8s | 10 | 385436 | 13261 | 196887 0 | 431 | 5386 35.49/35.55 c 29.8s | 10 | 399684 | 14261 | 196887 0 | 431 | 5386 37.49/37.59 c 31.9s | 10 | 401232 | 15561 | 196887 0 | 431 | 5386 39.69/39.72 c 34.0s | 10 | 408177 | 17061 | 216576 0 | 431 | 5386 39.89/39.94 c 34.2s | 11 | 414265 | 17144 | 216576 0 | 431 | 5386 41.89/41.96 c 36.3s | 11 | 419400 | 19044 | 216576 0 | 431 | 5386 43.99/44.03 c 38.3s | 11 | 422739 | 21144 | 216576 0 | 431 | 5386 46.19/46.22 c 40.5s | 11 | 434137 | 22544 | 216576 0 | 433 | 5437 48.28/48.38 c 42.7s | 11 | 449074 | 23344 | 216576 0 | 436 | 5594 50.59/50.63 c 44.9s | 11 | 455385 | 24444 | 216576 0 | 437 | 5609 52.68/52.78 c 47.1s | 11 | 474224 | 25344 | 216576 0 | 438 | 5619 53.78/53.82 c 48.1s | 12 | 480883 | 25819 | 238234 0 | 438 | 5619 55.88/55.90 c 50.2s | 12 | 506706 | 26419 | 238234 0 | 439 | 5629 58.08/58.12 c 52.4s | 12 | 507696 | 27119 | 238234 0 | 439 | 5629 60.08/60.17 c 54.5s | 12 | 528559 | 27819 | 238234 0 | 440 | 5764 62.08/62.19 c 56.5s | 12 | 541835 | 28619 | 238234 0 | 440 | 5764 64.28/64.30 c 58.6s | 12 | 545904 | 29619 | 238234 0 | 440 | 5764 66.28/66.31 c 60.6s | 12 | 556166 | 30719 | 238234 0 | 440 | 5764 68.38/68.46 c 62.8s | 12 | 568156 | 31719 | 238234 0 | 440 | 5764 70.58/70.66 c 65.0s | 12 | 580351 | 32719 | 238234 0 | 440 | 5764 72.78/72.89 c 67.2s | 12 | 587914 | 33819 | 238234 0 | 440 | 5764 74.89/74.95 c 69.2s | 12 | 589188 | 34619 | 238234 0 | 440 | 5764 76.88/76.98 c 71.3s | 12 | 606112 | 35219 | 238234 0 | 441 | 5887 79.19/79.27 c 73.6s | 12 | 630292 | 36419 | 238234 0 | 441 | 5887 81.38/81.41 c 75.7s | 12 | 649867 | 37419 | 238234 0 | 441 | 5887 83.58/83.65 c 77.9s | 12 | 664948 | 38119 | 238234 0 | 442 | 5897 84.48/84.60 c 78.9s | 13 | 669442 | 38832 | 262058 0 | 443 | 6020 86.78/86.90 c 81.2s | 13 | 686810 | 39532 | 262058 0 | 443 | 6020 89.08/89.14 c 83.4s | 13 | 697384 | 40332 | 262058 0 | 443 | 6020 91.08/91.19 c 85.5s | 13 | 714474 | 41232 | 262058 0 | 443 | 6020 93.18/93.24 c 87.5s | 13 | 716918 | 41932 | 262058 0 | 443 | 6020 95.58/95.66 c 89.9s | 13 | 727061 | 42632 | 262058 0 | 443 | 6020 97.88/97.96 c 92.3s | 13 | 732495 | 43232 | 262058 0 | 443 | 6020 99.98/100.07 c 94.4s | 13 | 737165 | 43732 | 262058 0 | 443 | 6020 102.18/102.21 c 96.5s | 13 | 744253 | 44432 | 262058 0 | 443 | 6020 104.48/104.55 c 98.8s | 13 | 747752 | 45032 | 262058 0 | 443 | 6020 106.68/106.71 c 101s | 13 | 752936 | 45732 | 262058 0 | 443 | 6020 108.88/108.94 c 103s | 13 | 763612 | 46532 | 262058 0 | 443 | 6020 110.87/110.99 c 105s | 13 | 769306 | 47232 | 262058 0 | 443 | 6020 112.97/113.04 c 107s | 13 | 773335 | 47932 | 262058 0 | 443 | 6020 115.07/115.10 c 109s | 13 | 778175 | 48732 | 262058 0 | 443 | 6020 117.27/117.32 c 111s | 13 | 788886 | 49632 | 262058 0 | 443 | 6020 119.27/119.32 c 113s | 13 | 798921 | 50432 | 262058 0 | 443 | 6020 121.37/121.41 c 115s | 13 | 818429 | 51632 | 262058 0 | 443 | 6020 123.47/123.52 c 117s | 13 | 824733 | 52332 | 262058 0 | 445 | 6040 125.57/125.68 c 119s | 13 | 827741 | 53032 | 262058 0 | 445 | 6040 127.77/127.89 c 122s | 13 | 828692 | 53732 | 262058 0 | 445 | 6040 130.07/130.13 c 124s | 13 | 829728 | 54432 | 262058 0 | 445 | 6040 132.08/132.16 c 126s | 13 | 831303 | 55132 | 262058 0 | 445 | 6040 134.28/134.40 c 128s | 13 | 832230 | 55832 | 262058 0 | 445 | 6040 136.38/136.42 c 130s | 13 | 833508 | 56632 | 262058 0 | 445 | 6040 138.37/138.44 c 132s | 13 | 834349 | 57332 | 262058 0 | 445 | 6040 140.67/140.78 c 135s | 13 | 837888 | 58032 | 288264 0 | 445 | 6040 141.98/142.03 c 136s | 14 | 838378 | 58352 | 288264 0 | 445 | 6040 144.18/144.21 c 138s | 14 | 841716 | 59152 | 288264 0 | 446 | 6055 146.17/146.29 c 140s | 14 | 859951 | 59852 | 288264 0 | 446 | 6055 148.47/148.51 c 142s | 14 | 868118 | 60752 | 288264 0 | 446 | 6055 150.47/150.57 c 144s | 14 | 873662 | 61552 | 288264 0 | 446 | 6055 152.57/152.62 c 146s | 14 | 889270 | 62352 | 288264 0 | 446 | 6055 154.67/154.73 c 149s | 14 | 893240 | 63052 | 288264 0 | 446 | 6055 156.77/156.84 c 151s | 14 | 899821 | 63852 | 288264 0 | 446 | 6055 158.97/159.03 c 153s | 14 | 904083 | 64452 | 288264 0 | 446 | 6055 161.17/161.25 c 155s | 14 | 904611 | 64852 | 288264 0 | 446 | 6055 163.57/163.62 c 157s | 14 | 905186 | 65352 | 288264 0 | 446 | 6055 165.67/165.78 c 160s | 14 | 907169 | 65852 | 288264 0 | 446 | 6055 167.77/167.85 c 162s | 14 | 907815 | 66352 | 288264 0 | 446 | 6055 170.07/170.11 c 164s | 14 | 908899 | 67052 | 288264 0 | 446 | 6055 172.16/172.28 c 166s | 14 | 912558 | 67652 | 288264 0 | 446 | 6055 174.56/174.66 c 168s | 14 | 915159 | 68252 | 288264 0 | 446 | 6055 176.76/176.87 c 171s | 14 | 915802 | 68752 | 288264 0 | 446 | 6055 178.86/178.99 c 173s | 14 | 916490 | 69352 | 288264 0 | 446 | 6055 181.06/181.12 c 175s | 14 | 917148 | 69952 | 288264 0 | 446 | 6055 183.16/183.22 c 177s | 14 | 917863 | 70552 | 288264 0 | 446 | 6055 185.56/185.66 c 179s | 14 | 918574 | 71152 | 288264 0 | 446 | 6055 187.86/187.97 c 182s | 14 | 919131 | 71652 | 288264 0 | 446 | 6055 190.16/190.23 c 184s | 14 | 919800 | 72252 | 288264 0 | 446 | 6055 192.26/192.39 c 186s | 14 | 920536 | 72852 | 288264 0 | 446 | 6055 194.67/194.77 c 189s | 14 | 921357 | 73352 | 288264 0 | 446 | 6055 196.76/196.81 c 191s | 14 | 922006 | 73852 | 288264 0 | 446 | 6055 198.96/199.03 c 193s | 14 | 922575 | 74352 | 288264 0 | 446 | 6055 201.37/201.46 c 195s | 14 | 923202 | 74852 | 288264 0 | 446 | 6055 203.36/203.47 c 197s | 14 | 923922 | 75352 | 288264 0 | 446 | 6055 205.56/205.60 c 199s | 14 | 924620 | 75752 | 288264 0 | 446 | 6055 207.76/207.85 c 202s | 14 | 925290 | 76152 | 288264 0 | 446 | 6055 209.86/209.91 c 204s | 14 | 925931 | 76552 | 288264 0 | 446 | 6055 212.06/212.15 c 206s | 14 | 926380 | 76952 | 288264 0 | 446 | 6055 214.36/214.43 c 208s | 14 | 930638 | 77452 | 288264 0 | 446 | 6055 216.56/216.65 c 210s | 14 | 931423 | 77852 | 288264 0 | 446 | 6055 219.06/219.16 c 213s | 14 | 932052 | 78352 | 288264 0 | 446 | 6055 221.36/221.46 c 215s | 14 | 932508 | 78752 | 288264 0 | 446 | 6055 223.66/223.74 c 218s | 14 | 933031 | 79152 | 288264 0 | 446 | 6055 226.05/226.13 c 220s | 14 | 933648 | 79652 | 288264 0 | 446 | 6055 228.45/228.56 c 222s | 14 | 934106 | 80052 | 288264 0 | 446 | 6055 230.96/231.08 c 225s | 14 | 934699 | 80552 | 288264 0 | 446 | 6055 233.35/233.48 c 227s | 14 | 935319 | 81052 | 288264 0 | 446 | 6055 235.46/235.53 c 229s | 14 | 935798 | 81452 | 288264 0 | 446 | 6055 237.56/237.62 c 231s | 14 | 936298 | 81852 | 288264 0 | 446 | 6055 240.05/240.10 c 234s | 14 | 937036 | 82352 | 288264 0 | 446 | 6055 242.06/242.15 c 236s | 14 | 937503 | 82752 | 288264 0 | 446 | 6055 244.55/244.69 c 238s | 14 | 938118 | 83252 | 288264 0 | 446 | 6055 247.05/247.12 c 241s | 14 | 938706 | 83752 | 288264 0 | 446 | 6055 249.15/249.20 c 243s | 14 | 939226 | 84152 | 288264 0 | 446 | 6055 251.25/251.39 c 245s | 14 | 939818 | 84552 | 288264 0 | 446 | 6055 253.35/253.45 c 247s | 14 | 940388 | 84952 | 288264 0 | 446 | 6055 255.45/255.59 c 249s | 14 | 940857 | 85352 | 288264 0 | 446 | 6055 257.95/258.04 c 252s | 14 | 941465 | 85852 | 288264 0 | 446 | 6055 260.35/260.44 c 254s | 14 | 942089 | 86352 | 288264 0 | 446 | 6055 262.45/262.55 c 256s | 14 | 942562 | 86752 | 288264 0 | 446 | 6055 264.45/264.58 c 258s | 14 | 943025 | 87152 | 317091 0 | 446 | 6055 266.95/267.01 c 261s | 15 | 943625 | 87632 | 317091 0 | 446 | 6055 269.65/269.75 c 264s | 15 | 961514 | 87832 | 317091 0 | 447 | 6070 271.85/271.90 c 266s | 15 | 971005 | 88832 | 317091 0 | 447 | 6070 273.95/274.08 c 268s | 15 | 972383 | 89432 | 317091 0 | 447 | 6070 276.25/276.33 c 270s | 15 | 973675 | 89932 | 317091 0 | 447 | 6070 278.25/278.33 c 272s | 15 | 974995 | 90432 | 317091 0 | 447 | 6070 280.45/280.52 c 274s | 15 | 977459 | 90932 | 317091 0 | 447 | 6070 282.44/282.59 c 276s | 15 | 978671 | 91332 | 317091 0 | 447 | 6070 284.95/285.04 c 279s | 15 | 982860 | 91732 | 317091 0 | 448 | 6157 287.34/287.40 c 281s | 15 | 993194 | 92532 | 317091 0 | 449 | 6220 289.44/289.53 c 283s | 15 | 1001076 | 93432 | 317091 0 | 451 | 6245 291.45/291.58 c 285s | 15 | 1006951 | 93932 | 317091 0 | 451 | 6245 293.75/293.82 c 288s | 15 | 1016877 | 94332 | 317091 0 | 451 | 6245 296.14/296.22 c 290s | 15 | 1018953 | 94732 | 317091 0 | 451 | 6245 298.44/298.54 c 292s | 15 | 1023276 | 95132 | 317091 0 | 453 | 6315 300.44/300.58 c 294s | 15 | 1030109 | 96032 | 317091 0 | 454 | 6330 302.84/302.93 c 297s | 15 | 1030953 | 96532 | 317091 0 | 455 | 6345 305.64/305.74 c 300s | 15 | 1036737 | 97132 | 317091 0 | 458 | 6433 307.74/307.84 c 302s | 15 | 1041557 | 97832 | 317091 0 | 459 | 6520 310.04/310.16 c 304s | 15 | 1053701 | 98532 | 317091 0 | 460 | 6607 312.34/312.49 c 306s | 15 | 1059733 | 98932 | 317091 0 | 462 | 6697 314.44/314.53 c 308s | 15 | 1060289 | 99432 | 317091 0 | 462 | 6697 316.74/316.84 c 311s | 15 | 1063799 | 99932 | 317091 0 | 462 | 6697 319.04/319.18 c 313s | 15 | 1064877 | 100332 | 317091 0 | 462 | 6697 321.14/321.22 c 315s | 15 | 1066433 | 100732 | 317091 0 | 462 | 6697 323.54/323.66 c 317s | 15 | 1066895 | 101132 | 317091 0 | 462 | 6697 325.84/325.90 c 320s | 15 | 1067333 | 101532 | 317091 0 | 462 | 6697 328.04/328.17 c 322s | 15 | 1067764 | 101932 | 317091 0 | 462 | 6697 330.53/330.61 c 324s | 15 | 1068213 | 102332 | 317091 0 | 462 | 6697 332.73/332.87 c 327s | 15 | 1068659 | 102732 | 317091 0 | 462 | 6697 335.03/335.10 c 329s | 15 | 1070692 | 103132 | 317091 0 | 462 | 6697 337.03/337.15 c 331s | 15 | 1071239 | 103532 | 317091 0 | 462 | 6697 339.63/339.75 c 334s | 15 | 1072208 | 103932 | 317091 0 | 462 | 6697 342.14/342.27 c 336s | 15 | 1072661 | 104332 | 317091 0 | 462 | 6697 344.34/344.40 c 338s | 15 | 1073174 | 104732 | 317091 0 | 462 | 6697 346.54/346.62 c 340s | 15 | 1073745 | 105132 | 317091 0 | 462 | 6697 348.83/348.98 c 343s | 15 | 1074202 | 105532 | 317091 0 | 462 | 6697 351.23/351.31 c 345s | 15 | 1074779 | 105932 | 317091 0 | 462 | 6697 353.23/353.34 c 347s | 15 | 1075148 | 106232 | 317091 0 | 462 | 6697 355.73/355.85 c 350s | 15 | 1075803 | 106632 | 317091 0 | 462 | 6697 358.03/358.12 c 352s | 15 | 1076159 | 106932 | 317091 0 | 462 | 6697 360.03/360.12 c 354s | 15 | 1076489 | 107232 | 317091 0 | 462 | 6697 362.13/362.25 c 356s | 15 | 1076824 | 107532 | 317091 0 | 462 | 6697 364.63/364.79 c 359s | 15 | 1077254 | 107932 | 317091 0 | 462 | 6697 366.93/367.03 c 361s | 15 | 1077583 | 108232 | 317091 0 | 462 | 6697 369.63/369.77 c 364s | 15 | 1078656 | 108632 | 317091 0 | 462 | 6697 371.93/372.03 c 366s | 15 | 1079326 | 109032 | 317091 0 | 462 | 6697 374.43/374.57 c 368s | 15 | 1079760 | 109432 | 317091 0 | 462 | 6697 377.03/377.15 c 371s | 15 | 1080381 | 109832 | 317091 0 | 462 | 6697 379.13/379.21 c 373s | 15 | 1080808 | 110132 | 317091 0 | 462 | 6697 381.33/381.46 c 375s | 15 | 1082118 | 110532 | 317091 0 | 462 | 6697 383.73/383.81 c 378s | 15 | 1082790 | 110932 | 317091 0 | 462 | 6697 385.83/385.98 c 380s | 15 | 1083412 | 111332 | 317091 0 | 462 | 6697 387.93/388.02 c 382s | 15 | 1084205 | 111732 | 317091 0 | 462 | 6697 390.13/390.22 c 384s | 15 | 1084754 | 112132 | 317091 0 | 462 | 6697 392.43/392.58 c 386s | 15 | 1085252 | 112532 | 317091 0 | 462 | 6697 394.93/395.07 c 389s | 15 | 1085732 | 112932 | 317091 0 | 462 | 6697 397.03/397.13 c 391s | 15 | 1086082 | 113232 | 317091 0 | 462 | 6697 399.33/399.40 c 393s | 15 | 1086421 | 113532 | 317091 0 | 462 | 6697 401.92/402.03 c 396s | 15 | 1087082 | 113932 | 317091 0 | 462 | 6697 404.22/404.30 c 398s | 15 | 1087671 | 114332 | 317091 0 | 462 | 6697 406.62/406.76 c 401s | 15 | 1088127 | 114732 | 317091 0 | 462 | 6697 408.62/408.78 c 403s | 15 | 1088463 | 115032 | 317091 0 | 462 | 6697 410.82/410.93 c 405s | 15 | 1094335 | 115432 | 317091 0 | 462 | 6697 413.22/413.39 c 407s | 15 | 1096151 | 116032 | 317091 0 | 462 | 6697 415.32/415.46 c 409s | 15 | 1097209 | 116432 | 317091 0 | 462 | 6697 417.82/417.98 c 412s | 15 | 1111357 | 116932 | 317091 0 | 462 | 6697 420.13/420.26 c 414s | 15 | 1123469 | 117932 | 317091 0 | 462 | 6697 422.62/422.70 c 416s | 15 | 1141931 | 118632 | 317091 0 | 462 | 6697 424.72/424.85 c 419s | 15 | 1145856 | 118932 | 317091 0 | 462 | 6697 426.92/427.03 c 421s | 15 | 1153265 | 119332 | 317091 0 | 462 | 6697 429.03/429.17 c 423s | 15 | 1153709 | 119732 | 317091 0 | 462 | 6697 431.42/431.51 c 425s | 15 | 1154257 | 120232 | 317091 0 | 462 | 6697 433.52/433.67 c 427s | 15 | 1154680 | 120632 | 317091 0 | 462 | 6697 435.82/435.96 c 430s | 15 | 1155220 | 121132 | 317091 0 | 462 | 6697 438.22/438.30 c 432s | 15 | 1155767 | 121632 | 317091 0 | 462 | 6697 440.52/440.63 c 434s | 15 | 1156320 | 122132 | 317091 0 | 462 | 6697 442.82/442.91 c 437s | 15 | 1156871 | 122632 | 317091 0 | 462 | 6697 445.12/445.28 c 439s | 15 | 1157362 | 123032 | 317091 0 | 462 | 6697 447.42/447.53 c 441s | 15 | 1157683 | 123332 | 317091 0 | 462 | 6697 449.52/449.61 c 443s | 15 | 1158002 | 123632 | 317091 0 | 462 | 6697 451.52/451.66 c 445s | 15 | 1158456 | 124032 | 317091 0 | 462 | 6697 453.82/453.99 c 448s | 15 | 1158909 | 124432 | 317091 0 | 462 | 6697 456.01/456.18 c 450s | 15 | 1159356 | 124832 | 317091 0 | 462 | 6697 458.51/458.66 c 452s | 15 | 1159804 | 125232 | 317091 0 | 462 | 6697 460.61/460.77 c 455s | 15 | 1160236 | 125632 | 317091 0 | 462 | 6697 462.71/462.80 c 457s | 15 | 1160663 | 126032 | 317091 0 | 462 | 6697 464.81/464.97 c 459s | 15 | 1163953 | 126632 | 317091 0 | 462 | 6697 467.21/467.32 c 461s | 15 | 1169595 | 127232 | 317091 0 | 462 | 6697 469.91/470.00 c 464s | 15 | 1170036 | 127632 | 317091 0 | 462 | 6697 472.21/472.38 c 466s | 15 | 1170471 | 128032 | 317091 0 | 462 | 6697 474.21/474.40 c 468s | 15 | 1173486 | 128332 | 317091 0 | 462 | 6697 476.71/476.81 c 471s | 15 | 1183333 | 129032 | 317091 0 | 462 | 6697 478.71/478.88 c 473s | 15 | 1188689 | 129732 | 317091 0 | 462 | 6697 481.51/481.63 c 475s | 15 | 1199279 | 130332 | 317091 0 | 462 | 6697 483.92/484.06 c 478s | 15 | 1209487 | 130832 | 348801 0 | 462 | 6697 486.01/486.14 c 480s | 15 | 1210385 | 131132 | 348801 0 | 462 | 6697 488.21/488.30 c 482s | 15 | 1210908 | 131432 | 348801 0 | 462 | 6697 489.31/489.43 c 483s | 16 | 1211082 | 131552 | 348801 0 | 462 | 6697 491.61/491.78 c 486s | 16 | 1220759 | 131852 | 348801 0 | 462 | 6697 493.71/493.88 c 488s | 16 | 1225312 | 132152 | 348801 0 | 462 | 6697 496.51/496.65 c 490s | 16 | 1229785 | 132552 | 348801 0 | 462 | 6697 498.81/498.99 c 493s | 16 | 1242091 | 132752 | 348801 0 | 463 | 6712 501.41/501.51 c 495s | 16 | 1245132 | 133152 | 348801 0 | 463 | 6712 504.31/504.44 c 498s | 16 | 1246183 | 133452 | 348801 0 | 465 | 6736 506.62/506.77 c 501s | 16 | 1252899 | 135052 | 348801 0 | 466 | 6746 508.71/508.80 c 503s | 16 | 1255194 | 135452 | 348801 0 | 466 | 6746 510.81/510.95 c 505s | 16 | 1259444 | 135952 | 348801 0 | 466 | 6746 512.81/512.98 c 507s | 16 | 1263092 | 136352 | 348801 0 | 466 | 6746 515.51/515.69 c 509s | 16 | 1263628 | 136752 | 348801 0 | 466 | 6746 517.91/518.01 c 512s | 16 | 1264001 | 137052 | 348801 0 | 466 | 6746 520.11/520.22 c 514s | 16 | 1264365 | 137352 | 348801 0 | 466 | 6746 522.71/522.86 c 517s | 16 | 1264985 | 137752 | 348801 0 | 466 | 6746 524.91/525.01 c 519s | 16 | 1265340 | 138052 | 348801 0 | 466 | 6746 527.01/527.13 c 521s | 16 | 1265728 | 138352 | 348801 0 | 466 | 6746 529.71/529.85 c 524s | 16 | 1266221 | 138752 | 348801 0 | 466 | 6746 532.21/532.33 c 526s | 16 | 1266662 | 139152 | 348801 0 | 466 | 6746 534.91/535.01 c 529s | 16 | 1267130 | 139552 | 348801 0 | 466 | 6746 536.91/537.01 c 531s | 16 | 1267552 | 139852 | 348801 0 | 466 | 6746 539.11/539.23 c 533s | 16 | 1268019 | 140252 | 348801 0 | 466 | 6746 541.41/541.57 c 535s | 16 | 1268742 | 140652 | 348801 0 | 466 | 6746 543.91/544.09 c 538s | 16 | 1269238 | 141052 | 348801 0 | 466 | 6746 546.31/546.48 c 540s | 16 | 1269658 | 141352 | 348801 0 | 466 | 6746 548.71/548.88 c 543s | 16 | 1270188 | 141752 | 348801 0 | 466 | 6746 551.51/551.62 c 545s | 16 | 1270638 | 142152 | 348801 0 | 466 | 6746 553.71/553.84 c 548s | 16 | 1270978 | 142452 | 348801 0 | 466 | 6746 556.31/556.43 c 550s | 16 | 1271547 | 142852 | 348801 0 | 466 | 6746 558.61/558.71 c 552s | 16 | 1271934 | 143152 | 348801 0 | 466 | 6746 560.61/560.72 c 555s | 16 | 1272350 | 143452 | 348801 0 | 466 | 6746 562.71/562.84 c 557s | 16 | 1272712 | 143752 | 348801 0 | 466 | 6746 565.31/565.45 c 559s | 16 | 1273166 | 144152 | 348801 0 | 466 | 6746 568.10/568.22 c 562s | 16 | 1273597 | 144552 | 348801 0 | 466 | 6746 570.50/570.69 c 564s | 16 | 1274051 | 144952 | 348801 0 | 466 | 6746 572.80/572.91 c 567s | 16 | 1274369 | 145252 | 348801 0 | 466 | 6746 575.31/575.46 c 569s | 16 | 1274858 | 145652 | 348801 0 | 466 | 6746 577.90/578.08 c 572s | 16 | 1275313 | 146052 | 348801 0 | 466 | 6746 580.00/580.11 c 574s | 16 | 1275672 | 146352 | 348801 0 | 466 | 6746 582.30/582.45 c 576s | 16 | 1276153 | 146752 | 348801 0 | 466 | 6746 584.70/584.83 c 579s | 16 | 1276624 | 147152 | 348801 0 | 466 | 6746 586.70/586.88 c 581s | 16 | 1277089 | 147452 | 348801 0 | 466 | 6746 588.80/588.99 c 583s | 16 | 1277413 | 147752 | 348801 0 | 466 | 6746 591.00/591.19 c 585s | 16 | 1277934 | 148152 | 348801 0 | 466 | 6746 593.50/593.65 c 587s | 16 | 1278414 | 148552 | 348801 0 | 466 | 6746 595.90/596.00 c 590s | 16 | 1278913 | 148952 | 348801 0 | 466 | 6746 598.31/598.48 c 592s | 16 | 1279379 | 149352 | 348801 0 | 466 | 6746 600.70/600.84 c 595s | 16 | 1279838 | 149752 | 348801 0 | 466 | 6746 602.90/603.00 c 597s | 16 | 1280168 | 150052 | 348801 0 | 466 | 6746 604.90/605.10 c 599s | 16 | 1280496 | 150352 | 348801 0 | 466 | 6746 607.40/607.54 c 601s | 16 | 1280975 | 150752 | 348801 0 | 466 | 6746 609.60/609.73 c 604s | 16 | 1281305 | 151052 | 348801 0 | 466 | 6746 611.70/611.87 c 606s | 16 | 1281632 | 151352 | 348801 0 | 466 | 6746 613.90/614.02 c 608s | 16 | 1281980 | 151652 | 348801 0 | 466 | 6746 616.40/616.50 c 610s | 16 | 1282464 | 152052 | 348801 0 | 466 | 6746 618.90/619.08 c 613s | 16 | 1283079 | 152452 | 348801 0 | 466 | 6746 621.20/621.37 c 615s | 16 | 1284077 | 152852 | 348801 0 | 466 | 6746 623.60/623.74 c 618s | 16 | 1284830 | 153252 | 348801 0 | 466 | 6746 625.69/625.87 c 620s | 16 | 1285247 | 153552 | 348801 0 | 466 | 6746 628.29/628.48 c 622s | 16 | 1285741 | 153952 | 348801 0 | 466 | 6746 630.79/630.90 c 625s | 16 | 1286446 | 154352 | 348801 0 | 466 | 6746 633.29/633.41 c 627s | 16 | 1287548 | 154752 | 348801 0 | 466 | 6746 635.49/635.60 c 629s | 16 | 1289546 | 155152 | 348801 0 | 466 | 6746 638.19/638.30 c 632s | 16 | 1290160 | 155552 | 348801 0 | 466 | 6746 640.20/640.33 c 634s | 16 | 1290606 | 155852 | 348801 0 | 466 | 6746 642.89/643.07 c 637s | 16 | 1291237 | 156252 | 348801 0 | 466 | 6746 645.70/645.84 c 640s | 16 | 1291849 | 156652 | 348801 0 | 466 | 6746 647.90/648.04 c 642s | 16 | 1292215 | 156952 | 348801 0 | 466 | 6746 650.00/650.19 c 644s | 16 | 1293279 | 157352 | 348801 0 | 466 | 6746 652.09/652.20 c 646s | 16 | 1293779 | 157652 | 348801 0 | 466 | 6746 654.19/654.34 c 648s | 16 | 1294474 | 158052 | 348801 0 | 466 | 6746 656.60/656.72 c 651s | 16 | 1295116 | 158452 | 348801 0 | 466 | 6746 658.69/658.87 c 653s | 16 | 1295986 | 158852 | 348801 0 | 466 | 6746 661.10/661.28 c 655s | 16 | 1297299 | 159252 | 348801 0 | 466 | 6746 663.20/663.39 c 657s | 16 | 1297988 | 159652 | 348801 0 | 466 | 6746 665.29/665.49 c 659s | 16 | 1298712 | 160052 | 348801 0 | 466 | 6746 667.49/667.60 c 661s | 16 | 1299400 | 160452 | 348801 0 | 466 | 6746 669.69/669.84 c 664s | 16 | 1300008 | 160852 | 348801 0 | 466 | 6746 672.09/672.28 c 666s | 16 | 1300629 | 161252 | 348801 0 | 466 | 6746 674.29/674.48 c 668s | 16 | 1301388 | 161652 | 348801 0 | 466 | 6746 676.69/676.89 c 671s | 16 | 1301991 | 162052 | 348801 0 | 466 | 6746 678.69/678.89 c 673s | 16 | 1302438 | 162352 | 348801 0 | 466 | 6746 681.09/681.27 c 675s | 16 | 1303052 | 162752 | 348801 0 | 466 | 6746 683.19/683.31 c 677s | 16 | 1303745 | 163152 | 348801 0 | 466 | 6746 685.78/685.98 c 680s | 16 | 1304438 | 163552 | 348801 0 | 466 | 6746 688.28/688.42 c 682s | 16 | 1306278 | 163952 | 348801 0 | 466 | 6746 690.48/690.61 c 684s | 16 | 1307725 | 164352 | 348801 0 | 466 | 6746 693.18/693.33 c 687s | 16 | 1308300 | 164752 | 348801 0 | 466 | 6746 695.78/695.96 c 690s | 16 | 1309006 | 165152 | 348801 0 | 466 | 6746 698.39/698.58 c 692s | 16 | 1309449 | 165552 | 348801 0 | 466 | 6746 701.08/701.23 c 695s | 16 | 1309901 | 165952 | 348801 0 | 466 | 6746 703.08/703.28 c 697s | 16 | 1310226 | 166252 | 348801 0 | 466 | 6746 705.68/705.82 c 700s | 16 | 1310705 | 166652 | 348801 0 | 466 | 6746 708.18/708.35 c 702s | 16 | 1311177 | 167052 | 348801 0 | 466 | 6746 710.18/710.36 c 704s | 16 | 1311485 | 167352 | 348801 0 | 466 | 6746 712.38/712.57 c 706s | 16 | 1312087 | 167752 | 348801 0 | 466 | 6746 715.08/715.24 c 709s | 16 | 1312706 | 168252 | 348801 0 | 466 | 6746 717.38/717.58 c 711s | 16 | 1313161 | 168652 | 348801 0 | 466 | 6746 719.88/720.05 c 714s | 16 | 1313615 | 169052 | 348801 0 | 466 | 6746 722.38/722.52 c 716s | 16 | 1314365 | 169552 | 348801 0 | 466 | 6746 725.08/725.22 c 719s | 16 | 1314824 | 169952 | 348801 0 | 466 | 6746 727.78/727.91 c 722s | 16 | 1315269 | 170352 | 348801 0 | 466 | 6746 729.88/730.00 c 724s | 16 | 1315638 | 170652 | 348801 0 | 466 | 6746 732.38/732.58 c 726s | 16 | 1316106 | 171052 | 348801 0 | 466 | 6746 734.88/735.07 c 729s | 16 | 1317063 | 171452 | 348801 0 | 466 | 6746 736.98/737.12 c 731s | 16 | 1317503 | 171752 | 348801 0 | 466 | 6746 739.08/739.20 c 733s | 16 | 1317927 | 172052 | 348801 0 | 466 | 6746 741.08/741.23 c 735s | 16 | 1318357 | 172352 | 348801 0 | 466 | 6746 743.28/743.44 c 737s | 16 | 1318725 | 172652 | 348801 0 | 466 | 6746 745.68/745.85 c 740s | 16 | 1319253 | 173052 | 348801 0 | 466 | 6746 748.18/748.38 c 742s | 16 | 1319750 | 173452 | 348801 0 | 466 | 6746 750.37/750.57 c 744s | 16 | 1320127 | 173752 | 348801 0 | 466 | 6746 752.97/753.12 c 747s | 16 | 1320618 | 174152 | 348801 0 | 466 | 6746 755.27/755.47 c 749s | 16 | 1321066 | 174552 | 348801 0 | 466 | 6746 757.78/757.95 c 752s | 16 | 1321556 | 174952 | 348801 0 | 466 | 6746 759.87/760.05 c 754s | 16 | 1321901 | 175252 | 348801 0 | 466 | 6746 762.47/762.64 c 756s | 16 | 1322381 | 175652 | 348801 0 | 466 | 6746 764.48/764.67 c 758s | 16 | 1322722 | 175952 | 348801 0 | 466 | 6746 766.97/767.14 c 761s | 16 | 1324655 | 176352 | 348801 0 | 466 | 6746 769.57/769.70 c 763s | 16 | 1324873 | 176552 | 348801 0 | 466 | 6746 772.47/772.60 c 766s | 16 | 1325250 | 176852 | 348801 0 | 466 | 6746 775.17/775.39 c 769s | 16 | 1325587 | 177152 | 348801 0 | 466 | 6746 778.07/778.21 c 772s | 16 | 1325926 | 177452 | 348801 0 | 466 | 6746 780.47/780.68 c 774s | 16 | 1326287 | 177752 | 348801 0 | 466 | 6746 783.08/783.22 c 777s | 16 | 1326635 | 178052 | 348801 0 | 466 | 6746 785.38/785.57 c 779s | 16 | 1326979 | 178352 | 348801 0 | 466 | 6746 787.97/788.19 c 782s | 16 | 1327311 | 178652 | 348801 0 | 466 | 6746 790.57/790.75 c 785s | 16 | 1327649 | 178952 | 348801 0 | 466 | 6746 792.87/793.04 c 787s | 16 | 1328008 | 179252 | 348801 0 | 466 | 6746 795.27/795.44 c 789s | 16 | 1328356 | 179552 | 348801 0 | 466 | 6746 798.27/798.48 c 792s | 16 | 1328669 | 179852 | 348801 0 | 466 | 6746 800.97/801.12 c 795s | 16 | 1329017 | 180152 | 348801 0 | 466 | 6746 803.37/803.55 c 797s | 16 | 1329375 | 180452 | 348801 0 | 466 | 6746 805.77/805.92 c 800s | 16 | 1329707 | 180752 | 348801 0 | 466 | 6746 808.57/808.73 c 803s | 16 | 1330036 | 181052 | 348801 0 | 466 | 6746 811.26/811.46 c 805s | 16 | 1330361 | 181352 | 348801 0 | 466 | 6746 813.87/814.04 c 808s | 16 | 1330677 | 181652 | 348801 0 | 466 | 6746 816.26/816.48 c 810s | 16 | 1331040 | 181952 | 348801 0 | 466 | 6746 819.06/819.21 c 813s | 16 | 1331386 | 182252 | 348801 0 | 466 | 6746 821.67/821.83 c 816s | 16 | 1332436 | 182552 | 348801 0 | 466 | 6746 823.87/824.09 c 818s | 16 | 1334596 | 182852 | 348801 0 | 466 | 6746 825.86/826.10 c 820s | 16 | 1335096 | 183152 | 348801 0 | 466 | 6746 827.96/828.17 c 822s | 16 | 1335506 | 183452 | 348801 0 | 466 | 6746 830.66/830.80 c 825s | 16 | 1335959 | 183852 | 348801 0 | 466 | 6746 832.96/833.16 c 827s | 16 | 1336298 | 184152 | 348801 0 | 466 | 6746 835.06/835.20 c 829s | 16 | 1336721 | 184452 | 348801 0 | 466 | 6746 837.07/837.24 c 831s | 16 | 1337082 | 184752 | 348801 0 | 466 | 6746 839.66/839.84 c 834s | 16 | 1337567 | 185152 | 348801 0 | 466 | 6746 842.36/842.54 c 836s | 16 | 1338019 | 185552 | 348801 0 | 466 | 6746 844.86/845.04 c 839s | 16 | 1338487 | 185952 | 348801 0 | 466 | 6746 846.96/847.19 c 841s | 16 | 1339838 | 186252 | 348801 0 | 466 | 6746 849.26/849.47 c 843s | 16 | 1340312 | 186552 | 348801 0 | 466 | 6746 851.86/852.07 c 846s | 16 | 1340723 | 186852 | 348801 0 | 466 | 6746 853.96/854.11 c 848s | 16 | 1341152 | 187152 | 348801 0 | 466 | 6746 856.06/856.27 c 850s | 16 | 1341479 | 187452 | 348801 0 | 466 | 6746 858.86/859.08 c 853s | 16 | 1341810 | 187752 | 348801 0 | 466 | 6746 861.36/861.50 c 855s | 16 | 1342120 | 188052 | 348801 0 | 466 | 6746 864.06/864.20 c 858s | 16 | 1342453 | 188352 | 348801 0 | 466 | 6746 866.36/866.53 c 860s | 16 | 1342778 | 188652 | 348801 0 | 466 | 6746 868.66/868.88 c 863s | 16 | 1343095 | 188952 | 348801 0 | 466 | 6746 871.06/871.27 c 865s | 16 | 1343408 | 189252 | 348801 0 | 466 | 6746 873.75/873.91 c 868s | 16 | 1343732 | 189552 | 348801 0 | 466 | 6746 876.05/876.28 c 870s | 16 | 1344046 | 189852 | 348801 0 | 466 | 6746 878.35/878.52 c 872s | 16 | 1344437 | 190152 | 348801 0 | 466 | 6746 880.45/880.61 c 874s | 16 | 1344821 | 190452 | 348801 0 | 466 | 6746 882.95/883.14 c 877s | 16 | 1345138 | 190752 | 348801 0 | 466 | 6746 885.36/885.51 c 879s | 16 | 1345476 | 191052 | 348801 0 | 466 | 6746 887.75/888.00 c 882s | 16 | 1346943 | 191352 | 348801 0 | 466 | 6746 890.05/890.25 c 884s | 16 | 1347319 | 191652 | 348801 0 | 466 | 6746 892.25/892.49 c 886s | 16 | 1347650 | 191952 | 348801 0 | 466 | 6746 894.85/895.00 c 889s | 16 | 1347994 | 192252 | 348801 0 | 466 | 6746 897.46/897.68 c 891s | 16 | 1348311 | 192552 | 348801 0 | 466 | 6746 900.05/900.27 c 894s | 16 | 1348648 | 192852 | 348801 0 | 466 | 6746 902.55/902.79 c 897s | 16 | 1349016 | 193152 | 348801 0 | 466 | 6746 905.26/905.46 c 899s | 16 | 1349369 | 193452 | 348801 0 | 466 | 6746 907.85/908.08 c 902s | 16 | 1349718 | 193752 | 348801 0 | 466 | 6746 910.25/910.46 c 904s | 16 | 1351399 | 194052 | 348801 0 | 466 | 6746 912.75/912.96 c 907s | 16 | 1352792 | 194352 | 348801 0 | 466 | 6746 914.95/915.18 c 909s | 16 | 1353243 | 194652 | 348801 0 | 466 | 6746 918.05/918.27 c 912s | 16 | 1353659 | 194952 | 348801 0 | 466 | 6746 920.15/920.39 c 914s | 16 | 1353887 | 195152 | 348801 0 | 466 | 6746 922.45/922.60 c 916s | 16 | 1354113 | 195352 | 348801 0 | 466 | 6746 925.05/925.27 c 919s | 16 | 1354464 | 195652 | 348801 0 | 466 | 6746 928.15/928.38 c 922s | 16 | 1354862 | 195952 | 348801 0 | 466 | 6746 930.45/930.68 c 924s | 16 | 1355082 | 196152 | 383682 0 | 466 | 6746 932.65/932.88 c 927s | 16 | 1355299 | 196352 | 383682 0 | 466 | 6746 935.14/935.39 c 929s | 16 | 1355526 | 196552 | 383682 0 | 466 | 6746 937.94/938.18 c 932s | 16 | 1355854 | 196852 | 383682 0 | 466 | 6746 940.64/940.88 c 935s | 16 | 1356233 | 197152 | 383682 0 | 466 | 6746 943.14/943.34 c 937s | 17 | 1356680 | 197432 | 383682 0 | 466 | 6746 945.64/945.81 c 940s | 17 | 1370535 | 197532 | 383682 0 | 466 | 6746 948.24/948.49 c 942s | 17 | 1380045 | 197932 | 383682 0 | 467 | 6761 951.04/951.28 c 945s | 17 | 1386202 | 198332 | 383682 0 | 468 | 6771 953.55/953.72 c 948s | 17 | 1389866 | 198732 | 383682 0 | 468 | 6771 957.24/957.42 c 951s | 17 | 1399141 | 199332 | 383682 0 | 469 | 6786 959.34/959.50 c 953s | 17 | 1400474 | 199532 | 383682 0 | 469 | 6786 962.45/962.64 c 956s | 17 | 1400796 | 199832 | 383682 0 | 469 | 6786 964.65/964.83 c 959s | 17 | 1401009 | 200032 | 383682 0 | 469 | 6786 967.54/967.77 c 962s | 17 | 1401337 | 200332 | 383682 0 | 469 | 6786 969.74/969.92 c 964s | 17 | 1401550 | 200532 | 383682 0 | 469 | 6786 971.84/972.05 c 966s | 17 | 1404429 | 201032 | 383682 0 | 469 | 6786 974.14/974.38 c 968s | 17 | 1407020 | 201532 | 383682 0 | 469 | 6786 976.14/976.39 c 970s | 17 | 1412939 | 203132 | 383682 0 | 469 | 6786 978.74/978.91 c 973s | 17 | 1416661 | 203932 | 383682 0 | 469 | 6786 980.74/980.98 c 975s | 17 | 1417663 | 204332 | 383682 0 | 469 | 6786 982.74/982.98 c 977s | 17 | 1424275 | 204632 | 383682 0 | 470 | 6796 985.14/985.33 c 979s | 17 | 1442292 | 206132 | 383682 0 | 470 | 6796 987.34/987.51 c 981s | 17 | 1446062 | 206632 | 383682 0 | 470 | 6796 989.74/989.99 c 984s | 17 | 1450252 | 207832 | 383682 0 | 470 | 6796 991.84/992.06 c 986s | 17 | 1453830 | 208232 | 383682 0 | 471 | 6811 994.04/994.24 c 988s | 17 | 1456817 | 208632 | 383682 0 | 471 | 6811 996.14/996.33 c 990s | 17 | 1464742 | 209332 | 383682 0 | 471 | 6811 998.64/998.80 c 993s | 17 | 1468879 | 209832 | 383682 0 | 471 | 6811 1000.94/1001.11 c 995s | 17 | 1472884 | 210232 | 383682 0 | 471 | 6811 1004.63/1004.87 c 999s | 17 | 1484212 | 211032 | 383682 0 | 473 | 6908 1007.03/1007.23 c 1001s | 17 | 1488144 | 211832 | 383682 0 | 473 | 6908 1009.03/1009.26 c 1003s | 17 | 1493665 | 212232 | 383682 0 | 473 | 6908 1011.84/1012.03 c 1006s | 17 | 1496866 | 212632 | 383682 0 | 473 | 6908 1014.23/1014.41 c 1008s | 17 | 1502648 | 213132 | 383682 0 | 473 | 6908 1016.43/1016.67 c 1010s | 17 | 1505047 | 213532 | 383682 0 | 473 | 6908 1018.44/1018.68 c 1012s | 17 | 1505723 | 213732 | 383682 0 | 473 | 6908 1021.43/1021.64 c 1015s | 17 | 1506203 | 214032 | 383682 0 | 473 | 6908 1023.43/1023.66 c 1017s | 17 | 1506812 | 214232 | 383682 0 | 473 | 6908 1025.63/1025.80 c 1020s | 17 | 1507246 | 214432 | 383682 0 | 473 | 6908 1028.73/1028.91 c 1023s | 17 | 1507808 | 214732 | 383682 0 | 473 | 6908 1030.82/1031.01 c 1025s | 17 | 1508063 | 214932 | 383682 0 | 473 | 6908 1033.42/1033.68 c 1027s | 17 | 1509883 | 215232 | 383682 0 | 473 | 6908 1035.92/1036.13 c 1030s | 17 | 1510366 | 215532 | 383682 0 | 473 | 6908 1038.82/1039.00 c 1033s | 17 | 1510768 | 215832 | 383682 0 | 473 | 6908 1041.63/1041.88 c 1036s | 17 | 1511215 | 216132 | 383682 0 | 473 | 6908 1044.52/1044.78 c 1039s | 17 | 1511753 | 216432 | 383682 0 | 473 | 6908 1047.02/1047.27 c 1041s | 17 | 1512878 | 216732 | 383682 0 | 473 | 6908 1049.82/1050.07 c 1044s | 17 | 1513226 | 217032 | 383682 0 | 473 | 6908 1052.52/1052.77 c 1047s | 17 | 1514715 | 217332 | 383682 0 | 473 | 6908 1054.72/1054.94 c 1049s | 17 | 1519807 | 217732 | 383682 0 | 473 | 6908 1057.51/1057.71 c 1051s | 17 | 1521477 | 218132 | 383682 0 | 473 | 6908 1059.71/1059.95 c 1054s | 17 | 1523314 | 218532 | 383682 0 | 473 | 6908 1062.01/1062.20 c 1056s | 17 | 1523928 | 218832 | 383682 0 | 473 | 6908 1064.61/1064.87 c 1059s | 17 | 1525152 | 219232 | 383682 0 | 473 | 6908 1067.01/1067.22 c 1061s | 17 | 1528401 | 220132 | 383682 0 | 474 | 6918 1069.41/1069.68 c 1063s | 17 | 1528811 | 220432 | 383682 0 | 474 | 6918 1071.80/1072.02 c 1066s | 17 | 1529124 | 220732 | 383682 0 | 474 | 6918 1074.10/1074.32 c 1068s | 17 | 1529435 | 221032 | 383682 0 | 474 | 6918 1076.40/1076.69 c 1070s | 17 | 1529807 | 221332 | 383682 0 | 474 | 6918 1078.70/1078.94 c 1073s | 17 | 1530305 | 221632 | 383682 0 | 474 | 6918 1080.99/1081.30 c 1075s | 17 | 1542563 | 222532 | 383682 0 | 474 | 6918 1084.69/1084.96 c 1079s | 17 | 1557425 | 223132 | 383682 0 | 475 | 7017 1087.39/1087.63 c 1081s | 17 | 1557773 | 223432 | 383682 0 | 475 | 7017 1090.29/1090.50 c 1084s | 17 | 1558123 | 223732 | 383682 0 | 475 | 7017 1092.79/1093.09 c 1087s | 17 | 1558460 | 224032 | 383682 0 | 475 | 7017 1095.29/1095.54 c 1089s | 17 | 1558785 | 224332 | 383682 0 | 475 | 7017 1097.70/1097.96 c 1092s | 17 | 1559118 | 224632 | 383682 0 | 475 | 7017 1099.99/1100.27 c 1094s | 17 | 1559473 | 224932 | 383682 0 | 475 | 7017 1102.58/1102.85 c 1097s | 17 | 1561488 | 225632 | 383682 0 | 475 | 7017 1105.88/1106.13 c 1100s | 17 | 1563754 | 226732 | 383682 0 | 476 | 7029 1108.08/1108.31 c 1102s | 17 | 1572623 | 227032 | 383682 0 | 477 | 7128 1110.08/1110.36 c 1104s | 17 | 1572886 | 227232 | 383682 0 | 477 | 7128 1112.48/1112.77 c 1107s | 17 | 1573203 | 227532 | 383682 0 | 477 | 7128 1114.78/1115.09 c 1109s | 17 | 1573529 | 227832 | 383682 0 | 477 | 7128 1117.08/1117.31 c 1111s | 17 | 1575247 | 228032 | 383682 0 | 478 | 7140 1119.07/1119.38 c 1113s | 17 | 1585659 | 230132 | 383682 0 | 478 | 7140 1121.28/1121.51 c 1115s | 17 | 1603990 | 231332 | 383682 0 | 478 | 7140 1123.48/1123.79 c 1118s | 17 | 1612146 | 232032 | 383682 0 | 478 | 7140 1125.78/1126.06 c 1120s | 17 | 1633488 | 233132 | 383682 0 | 478 | 7140 1131.68/1131.95 c 1126s | 17 | 1643546 | 234032 | 383682 0 | 480 | 7254 1133.78/1134.07 c 1128s | 17 | 1643791 | 234232 | 383682 0 | 480 | 7254 1135.98/1136.22 c 1130s | 17 | 1644038 | 234432 | 383682 0 | 480 | 7254 1138.48/1138.78 c 1133s | 17 | 1644343 | 234732 | 383682 0 | 480 | 7254 1140.58/1140.89 c 1135s | 17 | 1648289 | 235132 | 383682 0 | 480 | 7254 1142.78/1143.08 c 1137s | 17 | 1652893 | 235932 | 383682 0 | 480 | 7254 1145.57/1145.88 c 1140s | 17 | 1656499 | 236432 | 383682 0 | 480 | 7254 1148.28/1148.59 c 1142s | 17 | 1657657 | 236632 | 383682 0 | 480 | 7254 1151.37/1151.60 c 1145s | 17 | 1659406 | 236932 | 383682 0 | 480 | 7254 1153.36/1153.69 c 1147s | 17 | 1662247 | 237832 | 383682 0 | 480 | 7254 1155.56/1155.81 c 1150s | 17 | 1663310 | 238332 | 383682 0 | 480 | 7254 1158.07/1158.31 c 1152s | 17 | 1665382 | 239132 | 383682 0 | 480 | 7254 1160.27/1160.59 c 1154s | 17 | 1667797 | 240032 | 383682 0 | 480 | 7254 1162.36/1162.61 c 1156s | 17 | 1668638 | 240432 | 383682 0 | 480 | 7254 1164.36/1164.64 c 1158s | 17 | 1669451 | 240832 | 383682 0 | 480 | 7254 1166.36/1166.66 c 1160s | 17 | 1670754 | 241632 | 383682 0 | 480 | 7254 1168.96/1169.20 c 1163s | 17 | 1671526 | 242132 | 383682 0 | 480 | 7254 1171.06/1171.32 c 1165s | 17 | 1672024 | 242432 | 383682 0 | 480 | 7254 1173.25/1173.59 c 1167s | 17 | 1674958 | 243332 | 383682 0 | 480 | 7254 1175.85/1176.17 c 1170s | 17 | 1679722 | 243832 | 383682 0 | 480 | 7254 1178.05/1178.31 c 1172s | 17 | 1681006 | 244132 | 383682 0 | 480 | 7254 1181.05/1181.40 c 1175s | 17 | 1685831 | 244632 | 383682 0 | 481 | 7269 1183.46/1183.70 c 1177s | 17 | 1690511 | 244932 | 383682 0 | 482 | 7279 1185.56/1185.85 c 1180s | 17 | 1699424 | 245532 | 383682 0 | 482 | 7279 1187.76/1188.08 c 1182s | 17 | 1707185 | 246332 | 383682 0 | 482 | 7279 1189.96/1190.24 c 1184s | 17 | 1712069 | 247332 | 383682 0 | 482 | 7279 1192.65/1192.92 c 1187s | 17 | 1712535 | 247532 | 383682 0 | 483 | 7294 1194.85/1195.12 c 1189s | 17 | 1712785 | 247732 | 383682 0 | 483 | 7294 1197.75/1198.06 c 1192s | 17 | 1713129 | 248032 | 383682 0 | 483 | 7294 1200.55/1200.86 c 1195s | 17 | 1713456 | 248332 | 383682 0 | 483 | 7294 1202.94/1203.22 c 1197s | 17 | 1713817 | 248632 | 383682 0 | 483 | 7294 1205.64/1205.98 c 1200s | 17 | 1714152 | 248932 | 383682 0 | 483 | 7294 1208.24/1208.55 c 1202s | 17 | 1714481 | 249232 | 383682 0 | 483 | 7294 1210.54/1210.86 c 1205s | 17 | 1714797 | 249532 | 383682 0 | 483 | 7294 1212.93/1213.20 c 1207s | 17 | 1715112 | 249832 | 383682 0 | 483 | 7294 1215.13/1215.50 c 1209s | 17 | 1715435 | 250132 | 383682 0 | 483 | 7294 1218.23/1218.53 c 1212s | 17 | 1719464 | 250432 | 383682 0 | 484 | 7304 1220.33/1220.68 c 1214s | 17 | 1726519 | 251332 | 383682 0 | 484 | 7304 1222.53/1222.81 c 1217s | 17 | 1727259 | 251632 | 383682 0 | 485 | 7319 1224.63/1224.93 c 1219s | 17 | 1727702 | 251932 | 383682 0 | 485 | 7319 1226.63/1226.93 c 1221s | 17 | 1728305 | 252232 | 383682 0 | 485 | 7319 1228.73/1229.06 c 1223s | 17 | 1729483 | 252732 | 383682 0 | 485 | 7319 1230.92/1231.29 c 1225s | 17 | 1730922 | 253332 | 383682 0 | 485 | 7319 1233.32/1233.65 c 1227s | 17 | 1732006 | 253732 | 383682 0 | 485 | 7319 1235.32/1235.69 c 1229s | 17 | 1738759 | 254332 | 383682 0 | 485 | 7319 1237.52/1237.82 c 1232s | 17 | 1745023 | 254732 | 383682 0 | 485 | 7319 1239.62/1239.99 c 1234s | 17 | 1753797 | 255032 | 383682 0 | 485 | 7319 1242.22/1242.55 c 1236s | 17 | 1766962 | 255732 | 383682 0 | 485 | 7319 1244.32/1244.67 c 1238s | 17 | 1771547 | 256332 | 383682 0 | 485 | 7319 1246.52/1246.84 c 1241s | 17 | 1773380 | 256832 | 383682 0 | 485 | 7319 1248.72/1249.08 c 1243s | 17 | 1775543 | 257432 | 383682 0 | 485 | 7319 1252.32/1252.62 c 1246s | 17 | 1788186 | 257932 | 383682 0 | 486 | 7370 1254.42/1254.77 c 1249s | 17 | 1789398 | 258232 | 383682 0 | 486 | 7370 1256.92/1257.27 c 1251s | 17 | 1789804 | 258532 | 383682 0 | 486 | 7370 1259.42/1259.71 c 1253s | 17 | 1790149 | 258832 | 383682 0 | 486 | 7370 1261.42/1261.74 c 1256s | 17 | 1790635 | 259132 | 383682 0 | 486 | 7370 1263.72/1264.04 c 1258s | 17 | 1791350 | 259632 | 383682 0 | 486 | 7370 1266.11/1266.42 c 1260s | 17 | 1791854 | 260032 | 383682 0 | 486 | 7370 1268.21/1268.58 c 1262s | 17 | 1792237 | 260332 | 383682 0 | 486 | 7370 1270.71/1271.03 c 1265s | 17 | 1792732 | 260732 | 383682 0 | 486 | 7370 1272.81/1273.17 c 1267s | 17 | 1793242 | 261132 | 383682 0 | 486 | 7370 1274.91/1275.23 c 1269s | 17 | 1793864 | 261632 | 383682 0 | 486 | 7370 1277.31/1277.62 c 1271s | 17 | 1794768 | 262032 | 383682 0 | 486 | 7370 1279.31/1279.65 c 1273s | 17 | 1795128 | 262332 | 383682 0 | 486 | 7370 1281.90/1282.20 c 1276s | 17 | 1795735 | 262832 | 383682 0 | 486 | 7370 1283.90/1284.28 c 1278s | 17 | 1796278 | 263232 | 383682 0 | 486 | 7370 1286.10/1286.43 c 1280s | 17 | 1796816 | 263632 | 383682 0 | 486 | 7370 1288.30/1288.62 c 1282s | 17 | 1797375 | 264032 | 383682 0 | 486 | 7370 1290.70/1291.07 c 1285s | 17 | 1797974 | 264532 | 383682 0 | 486 | 7370 1293.31/1293.69 c 1287s | 17 | 1799842 | 264932 | 383682 0 | 486 | 7370 1296.00/1296.31 c 1290s | 17 | 1800859 | 265332 | 383682 0 | 486 | 7370 1298.00/1298.39 c 1292s | 17 | 1801277 | 265632 | 383682 0 | 486 | 7370 1300.10/1300.40 c 1294s | 17 | 1801652 | 265932 | 383682 0 | 486 | 7370 1302.29/1302.66 c 1296s | 17 | 1802086 | 266232 | 383682 0 | 486 | 7370 1304.69/1305.06 c 1299s | 17 | 1802579 | 266632 | 383682 0 | 486 | 7370 1306.99/1307.35 c 1301s | 17 | 1805456 | 267032 | 383682 0 | 486 | 7370 1309.19/1309.56 c 1303s | 17 | 1807438 | 267432 | 383682 0 | 486 | 7370 1311.29/1311.64 c 1305s | 17 | 1809066 | 267732 | 383682 0 | 487 | 7385 1313.29/1313.70 c 1307s | 17 | 1809315 | 267932 | 383682 0 | 487 | 7385 1315.49/1315.88 c 1310s | 17 | 1809543 | 268132 | 383682 0 | 487 | 7385 1318.19/1318.59 c 1312s | 17 | 1810617 | 268332 | 383682 0 | 488 | 7395 1320.39/1320.78 c 1315s | 17 | 1812024 | 268532 | 383682 0 | 489 | 7405 1322.49/1322.83 c 1317s | 17 | 1815424 | 268932 | 383682 0 | 489 | 7405 1324.58/1324.94 c 1319s | 17 | 1817743 | 269432 | 383682 0 | 489 | 7405 1326.68/1327.08 c 1321s | 17 | 1823997 | 269932 | 383682 0 | 489 | 7405 1330.69/1331.08 c 1325s | 17 | 1835655 | 270432 | 383682 0 | 490 | 7420 1333.18/1333.59 c 1327s | 17 | 1835977 | 270732 | 383682 0 | 490 | 7420 1336.08/1336.49 c 1330s | 17 | 1836305 | 271032 | 383682 0 | 490 | 7420 1338.18/1338.50 c 1332s | 17 | 1836522 | 271232 | 383682 0 | 490 | 7420 1341.78/1342.16 c 1336s | 17 | 1838294 | 271532 | 383682 0 | 492 | 7481 1345.08/1345.41 c 1339s | 17 | 1840125 | 271832 | 383682 0 | 493 | 7496 1347.68/1348.09 c 1342s | 17 | 1841770 | 272032 | 383682 0 | 494 | 7547 1350.27/1350.60 c 1344s | 17 | 1844550 | 272332 | 383682 0 | 495 | 7622 1353.97/1354.36 c 1348s | 17 | 1847327 | 272532 | 383682 0 | 497 | 7707 1356.27/1356.60 c 1350s | 17 | 1847636 | 272732 | 383682 0 | 497 | 7707 1358.87/1359.29 c 1353s | 17 | 1847960 | 273032 | 383682 0 | 497 | 7707 1361.17/1361.57 c 1355s | 17 | 1848286 | 273332 | 383682 0 | 497 | 7707 1363.67/1364.09 c 1358s | 17 | 1848712 | 273632 | 383682 0 | 497 | 7707 1366.07/1366.42 c 1360s | 17 | 1849754 | 274032 | 383682 0 | 497 | 7707 1368.17/1368.56 c 1362s | 17 | 1853508 | 274532 | 383682 0 | 497 | 7707 1370.66/1371.00 c 1365s | 17 | 1854254 | 274932 | 383682 0 | 497 | 7707 1372.86/1373.27 c 1367s | 17 | 1855703 | 275632 | 383682 0 | 497 | 7707 1375.16/1375.51 c 1369s | 17 | 1856313 | 276032 | 383682 0 | 497 | 7707 1377.26/1377.61 c 1371s | 17 | 1858973 | 276732 | 383682 0 | 497 | 7707 1379.36/1379.79 c 1374s | 17 | 1865252 | 277432 | 383682 0 | 497 | 7707 1381.96/1382.39 c 1376s | 17 | 1868905 | 277832 | 383682 0 | 498 | 7722 1384.06/1384.47 c 1378s | 17 | 1869529 | 277932 | 383682 0 | 499 | 7821 1387.26/1387.66 c 1381s | 17 | 1869939 | 278232 | 383682 0 | 499 | 7821 1389.36/1389.76 c 1384s | 17 | 1870202 | 278432 | 383682 0 | 499 | 7821 1392.85/1393.20 c 1387s | 17 | 1880343 | 279332 | 383682 0 | 500 | 7831 1394.85/1395.26 c 1389s | 17 | 1884757 | 279932 | 383682 0 | 500 | 7831 1397.55/1397.92 c 1392s | 17 | 1892012 | 281032 | 383682 0 | 500 | 7831 1399.55/1399.99 c 1394s | 17 | 1892786 | 281332 | 383682 0 | 500 | 7831 1401.95/1402.37 c 1396s | 17 | 1894737 | 281932 | 383682 0 | 500 | 7831 1404.45/1404.88 c 1399s | 17 | 1900525 | 282732 | 383682 0 | 500 | 7831 1407.05/1407.48 c 1401s | 17 | 1902218 | 283032 | 383682 0 | 500 | 7831 1409.75/1410.13 c 1404s | 17 | 1902653 | 283332 | 383682 0 | 500 | 7831 1412.54/1412.97 c 1407s | 17 | 1903082 | 283632 | 383682 0 | 500 | 7831 1415.14/1415.52 c 1409s | 17 | 1904839 | 283932 | 383682 0 | 500 | 7831 1417.65/1418.09 c 1412s | 17 | 1905395 | 284332 | 383682 0 | 500 | 7831 1420.14/1420.54 c 1414s | 17 | 1909422 | 284732 | 383682 0 | 500 | 7831 1422.23/1422.62 c 1416s | 17 | 1916760 | 285232 | 383682 0 | 500 | 7831 1424.33/1424.72 c 1419s | 17 | 1922779 | 286032 | 383682 0 | 500 | 7831 1426.73/1427.19 c 1421s | 17 | 1925374 | 286332 | 383682 0 | 501 | 7841 1429.53/1429.90 c 1424s | 17 | 1927179 | 286632 | 383682 0 | 501 | 7841 1431.83/1432.22 c 1426s | 17 | 1927420 | 286832 | 383682 0 | 501 | 7841 1434.73/1435.14 c 1429s | 17 | 1927769 | 287132 | 383682 0 | 501 | 7841 1437.03/1437.41 c 1431s | 17 | 1927982 | 287332 | 383682 0 | 501 | 7841 1439.93/1440.31 c 1434s | 17 | 1928350 | 287632 | 383682 0 | 501 | 7841 1442.22/1442.68 c 1436s | 17 | 1940627 | 288432 | 383682 0 | 501 | 7841 1444.72/1445.19 c 1439s | 17 | 1943267 | 289032 | 383682 0 | 501 | 7841 1446.92/1447.39 c 1441s | 17 | 1947825 | 289632 | 383682 0 | 501 | 7841 1449.32/1449.78 c 1444s | 17 | 1960865 | 290432 | 383682 0 | 501 | 7841 1451.72/1452.11 c 1446s | 17 | 1964394 | 290932 | 383682 0 | 501 | 7841 1453.82/1454.29 c 1448s | 17 | 1967216 | 291232 | 383682 0 | 501 | 7841 1456.12/1456.52 c 1450s | 17 | 1970390 | 291732 | 383682 0 | 501 | 7841 1458.22/1458.61 c 1452s | 17 | 1973674 | 292232 | 383682 0 | 501 | 7841 1460.42/1460.82 c 1455s | 17 | 1979091 | 292932 | 383682 0 | 501 | 7841 1462.40/1462.88 c 1457s | 17 | 1984330 | 293332 | 383682 0 | 501 | 7841 1465.00/1465.47 c 1459s | 17 | 1985449 | 293732 | 383682 0 | 501 | 7841 1467.20/1467.67 c 1461s | 17 | 1988707 | 294132 | 383682 0 | 501 | 7841 1469.50/1469.98 c 1464s | 17 | 1989979 | 294532 | 422051 0 | 501 | 7841 1471.70/1472.14 c 1466s | 17 | 1992752 | 294932 | 422051 0 | 501 | 7841 1473.71/1474.17 c 1468s | 17 | 1994899 | 295232 | 422051 0 | 501 | 7841 1475.81/1476.30 c 1470s | 17 | 1995888 | 295532 | 422051 0 | 501 | 7841 1478.01/1478.45 c 1472s | 17 | 1997907 | 295832 | 422051 0 | 501 | 7841 1480.31/1480.75 c 1475s | 17 | 1999496 | 296232 | 422051 0 | 501 | 7841 1480.40/1480.86 c 1475s | 18 | 1999571 | 296252 | 422051 0 | 501 | 7841 1482.90/1483.35 c 1477s | 18 | 2001467 | 296452 | 422051 0 | 501 | 7841 1486.60/1487.05 c 1481s | 18 | 2003379 | 296752 | 422051 0 | 502 | 7853 1488.80/1489.20 c 1483s | 18 | 2005170 | 297252 | 422051 0 | 502 | 7853 1491.09/1491.54 c 1485s | 18 | 2007400 | 297652 | 422051 0 | 502 | 7853 1493.29/1493.74 c 1488s | 18 | 2011663 | 298052 | 422051 0 | 502 | 7853 1495.49/1495.99 c 1490s | 18 | 2016560 | 298452 | 422051 0 | 502 | 7853 1497.59/1498.03 c 1492s | 18 | 2023117 | 298952 | 422051 0 | 502 | 7853 1499.59/1500.04 c 1494s | 18 | 2034287 | 299452 | 422051 0 | 502 | 7853 1501.59/1502.08 c 1496s | 18 | 2040264 | 300552 | 422051 0 | 502 | 7853 1503.69/1504.13 c 1498s | 18 | 2044463 | 300952 | 422051 0 | 502 | 7853 1505.79/1506.25 c 1500s | 18 | 2046798 | 301452 | 422051 0 | 502 | 7853 1508.39/1508.87 c 1503s | 18 | 2049370 | 301952 | 422051 0 | 502 | 7853 1510.69/1511.18 c 1505s | 18 | 2051235 | 302352 | 422051 0 | 502 | 7853 1512.98/1513.47 c 1507s | 18 | 2053417 | 302852 | 422051 0 | 502 | 7853 1515.28/1515.79 c 1510s | 18 | 2054285 | 303252 | 422051 0 | 502 | 7853 1517.38/1517.82 c 1512s | 18 | 2055922 | 303652 | 422051 0 | 502 | 7853 1519.48/1519.96 c 1514s | 18 | 2056912 | 304052 | 422051 0 | 502 | 7853 1521.68/1522.11 c 1516s | 18 | 2057761 | 304452 | 422051 0 | 502 | 7853 1523.97/1524.44 c 1518s | 18 | 2060243 | 305352 | 422051 0 | 502 | 7853 1525.97/1526.48 c 1520s | 18 | 2061365 | 305752 | 422051 0 | 502 | 7853 1528.07/1528.53 c 1522s | 18 | 2061995 | 306052 | 422051 0 | 502 | 7853 1530.37/1530.83 c 1525s | 18 | 2062685 | 306452 | 422051 0 | 502 | 7853 1532.47/1532.90 c 1527s | 18 | 2064100 | 306852 | 422051 0 | 502 | 7853 1534.67/1535.15 c 1529s | 18 | 2065566 | 307252 | 422051 0 | 502 | 7853 1536.87/1537.30 c 1531s | 18 | 2066572 | 307652 | 422051 0 | 502 | 7853 1539.07/1539.53 c 1533s | 18 | 2067561 | 308052 | 422051 0 | 502 | 7853 1541.17/1541.60 c 1535s | 18 | 2068345 | 308452 | 422051 0 | 502 | 7853 1543.17/1543.65 c 1537s | 18 | 2069404 | 308852 | 422051 0 | 502 | 7853 1545.67/1546.14 c 1540s | 18 | 2070850 | 309452 | 422051 0 | 502 | 7853 1548.07/1548.58 c 1542s | 18 | 2071623 | 309852 | 422051 0 | 502 | 7853 1550.37/1550.85 c 1545s | 18 | 2072774 | 310352 | 422051 0 | 502 | 7853 1552.47/1552.91 c 1547s | 18 | 2074189 | 311052 | 422051 0 | 502 | 7853 1554.56/1555.00 c 1549s | 18 | 2075462 | 311552 | 422051 0 | 502 | 7853 1556.56/1557.09 c 1551s | 18 | 2077215 | 312052 | 422051 0 | 502 | 7853 1558.66/1559.17 c 1553s | 18 | 2078440 | 312452 | 422051 0 | 502 | 7853 1561.26/1561.73 c 1556s | 18 | 2079206 | 312852 | 422051 0 | 502 | 7853 1563.36/1563.84 c 1558s | 18 | 2080387 | 313352 | 422051 0 | 502 | 7853 1565.57/1566.08 c 1560s | 18 | 2081246 | 313752 | 422051 0 | 502 | 7853 1567.77/1568.23 c 1562s | 18 | 2082153 | 314252 | 422051 0 | 502 | 7853 1569.77/1570.29 c 1564s | 18 | 2082923 | 314752 | 422051 0 | 502 | 7853 1571.97/1572.41 c 1566s | 18 | 2083891 | 315252 | 422051 0 | 502 | 7853 1574.27/1574.76 c 1569s | 18 | 2084704 | 315752 | 422051 0 | 502 | 7853 1576.57/1577.09 c 1571s | 18 | 2085723 | 316252 | 422051 0 | 502 | 7853 1578.77/1579.26 c 1573s | 18 | 2086213 | 316552 | 422051 0 | 502 | 7853 1580.96/1581.47 c 1575s | 18 | 2086773 | 316852 | 422051 0 | 502 | 7853 1583.06/1583.53 c 1577s | 18 | 2087051 | 317052 | 422051 0 | 502 | 7853 1585.77/1586.24 c 1580s | 18 | 2087516 | 317352 | 422051 0 | 502 | 7853 1587.76/1588.25 c 1582s | 18 | 2088070 | 317652 | 422051 0 | 502 | 7853 1589.96/1590.41 c 1584s | 18 | 2088555 | 317952 | 422051 0 | 502 | 7853 1592.26/1592.74 c 1587s | 18 | 2090949 | 318252 | 422051 0 | 502 | 7853 1594.46/1594.96 c 1589s | 18 | 2096021 | 318552 | 422051 0 | 502 | 7853 1596.96/1597.45 c 1591s | 18 | 2096869 | 318852 | 422051 0 | 502 | 7853 1599.26/1599.76 c 1594s | 18 | 2098977 | 319252 | 422051 0 | 502 | 7853 1601.76/1602.28 c 1596s | 18 | 2103028 | 319852 | 422051 0 | 502 | 7853 1606.26/1606.70 c 1600s | 18 | 2105158 | 320352 | 422051 0 | 504 | 7902 1608.66/1609.12 c 1603s | 18 | 2105722 | 320652 | 422051 0 | 504 | 7902 1610.76/1611.21 c 1605s | 18 | 2108031 | 320952 | 422051 0 | 504 | 7902 1613.05/1613.53 c 1607s | 18 | 2108934 | 321252 | 422051 0 | 504 | 7902 1616.35/1616.81 c 1611s | 18 | 2109716 | 321552 | 422051 0 | 504 | 7902 1618.86/1619.32 c 1613s | 18 | 2110414 | 321752 | 422051 0 | 504 | 7902 1621.35/1621.82 c 1616s | 18 | 2110734 | 321952 | 422051 0 | 504 | 7902 1623.55/1624.08 c 1618s | 18 | 2111280 | 322152 | 422051 0 | 504 | 7902 1625.64/1626.14 c 1620s | 18 | 2111535 | 322352 | 422051 0 | 504 | 7902 1627.84/1628.36 c 1622s | 18 | 2111762 | 322552 | 422051 0 | 504 | 7902 1630.85/1631.37 c 1625s | 18 | 2112163 | 322852 | 422051 0 | 504 | 7902 1633.15/1633.69 c 1627s | 18 | 2112390 | 323052 | 422051 0 | 504 | 7902 1635.44/1635.95 c 1630s | 18 | 2113000 | 323252 | 422051 0 | 504 | 7902 1637.74/1638.29 c 1632s | 18 | 2113236 | 323452 | 422051 0 | 504 | 7902 1640.34/1640.84 c 1635s | 18 | 2113458 | 323652 | 422051 0 | 504 | 7902 1643.34/1643.85 c 1638s | 18 | 2113676 | 323852 | 422051 0 | 504 | 7902 1646.24/1646.74 c 1641s | 18 | 2113897 | 324052 | 422051 0 | 504 | 7902 1648.63/1649.12 c 1643s | 18 | 2114112 | 324252 | 422051 0 | 504 | 7902 1650.64/1651.20 c 1645s | 18 | 2114341 | 324452 | 422051 0 | 504 | 7902 1653.23/1653.77 c 1648s | 18 | 2114565 | 324652 | 422051 0 | 504 | 7902 1655.33/1655.85 c 1650s | 18 | 2114906 | 324852 | 422051 0 | 504 | 7902 1657.83/1658.35 c 1652s | 18 | 2115147 | 325052 | 422051 0 | 504 | 7902 1660.13/1660.63 c 1654s | 18 | 2115416 | 325252 | 422051 0 | 504 | 7902 1662.62/1663.11 c 1657s | 18 | 2115649 | 325452 | 422051 0 | 504 | 7902 1665.62/1666.11 c 1660s | 18 | 2115997 | 325752 | 422051 0 | 504 | 7902 1667.62/1668.13 c 1662s | 18 | 2116220 | 325952 | 422051 0 | 504 | 7902 1669.82/1670.34 c 1664s | 18 | 2116444 | 326152 | 422051 0 | 504 | 7902 1671.92/1672.49 c 1666s | 18 | 2116669 | 326352 | 422051 0 | 504 | 7902 1674.42/1674.95 c 1669s | 18 | 2116901 | 326552 | 422051 0 | 504 | 7902 1676.62/1677.12 c 1671s | 18 | 2117281 | 326752 | 422051 0 | 504 | 7902 1679.42/1679.98 c 1674s | 18 | 2117849 | 327052 | 422051 0 | 504 | 7902 1681.52/1682.05 c 1676s | 18 | 2118078 | 327252 | 422051 0 | 504 | 7902 1683.62/1684.11 c 1678s | 18 | 2118293 | 327452 | 422051 0 | 504 | 7902 1686.11/1686.60 c 1680s | 18 | 2118514 | 327652 | 422051 0 | 504 | 7902 1688.51/1689.05 c 1683s | 18 | 2118746 | 327852 | 422051 0 | 504 | 7902 1691.51/1692.07 c 1686s | 18 | 2119067 | 328152 | 422051 0 | 504 | 7902 1694.41/1694.90 c 1689s | 18 | 2119514 | 328452 | 422051 0 | 504 | 7902 1696.71/1697.30 c 1691s | 18 | 2120201 | 328752 | 422051 0 | 504 | 7902 1699.02/1699.57 c 1693s | 18 | 2121254 | 328952 | 422051 0 | 504 | 7902 1701.61/1702.11 c 1696s | 18 | 2121657 | 329152 | 422051 0 | 504 | 7902 1703.81/1704.30 c 1698s | 18 | 2121970 | 329352 | 422051 0 | 504 | 7902 1706.21/1706.71 c 1701s | 18 | 2122213 | 329552 | 422051 0 | 504 | 7902 1708.21/1708.75 c 1703s | 18 | 2122449 | 329752 | 422051 0 | 504 | 7902 1710.70/1711.20 c 1705s | 18 | 2122689 | 329952 | 422051 0 | 504 | 7902 1712.70/1713.29 c 1707s | 18 | 2122922 | 330152 | 422051 0 | 504 | 7902 1715.40/1715.94 c 1710s | 18 | 2123298 | 330452 | 422051 0 | 504 | 7902 1717.70/1718.27 c 1712s | 18 | 2123550 | 330652 | 422051 0 | 504 | 7902 1720.50/1721.00 c 1715s | 18 | 2123956 | 330952 | 422051 0 | 504 | 7902 1723.10/1723.65 c 1717s | 18 | 2124283 | 331252 | 422051 0 | 504 | 7902 1725.60/1726.18 c 1720s | 18 | 2124524 | 331452 | 422051 0 | 504 | 7902 1727.70/1728.26 c 1722s | 18 | 2124733 | 331652 | 422051 0 | 504 | 7902 1730.20/1730.70 c 1724s | 18 | 2125069 | 331852 | 422051 0 | 504 | 7902 1732.40/1732.96 c 1727s | 18 | 2125799 | 332052 | 422051 0 | 504 | 7902 1734.80/1735.38 c 1729s | 18 | 2126071 | 332252 | 422051 0 | 504 | 7902 1737.70/1738.28 c 1732s | 18 | 2126322 | 332452 | 422051 0 | 504 | 7902 1740.50/1741.04 c 1735s | 18 | 2127223 | 332752 | 422051 0 | 504 | 7902 1742.60/1743.14 c 1737s | 18 | 2128489 | 332952 | 422051 0 | 504 | 7902 1744.89/1745.41 c 1739s | 18 | 2129021 | 333152 | 422051 0 | 504 | 7902 1747.29/1747.84 c 1742s | 18 | 2129263 | 333352 | 422051 0 | 504 | 7902 1749.60/1750.20 c 1744s | 18 | 2129542 | 333552 | 422051 0 | 504 | 7902 1752.19/1752.71 c 1747s | 18 | 2129783 | 333752 | 422051 0 | 504 | 7902 1754.69/1755.27 c 1749s | 18 | 2130009 | 333952 | 422051 0 | 504 | 7902 1757.09/1757.66 c 1751s | 18 | 2130242 | 334152 | 422051 0 | 504 | 7902 1759.39/1759.95 c 1754s | 18 | 2130485 | 334352 | 422051 0 | 504 | 7902 1761.49/1762.09 c 1756s | 18 | 2130699 | 334552 | 422051 0 | 504 | 7902 1764.00/1764.56 c 1758s | 18 | 2130937 | 334752 | 422051 0 | 504 | 7902 1766.10/1766.63 c 1760s | 18 | 2131351 | 334952 | 422051 0 | 504 | 7902 1768.99/1769.56 c 1763s | 18 | 2131707 | 335252 | 422051 0 | 504 | 7902 1771.29/1771.87 c 1766s | 18 | 2131962 | 335452 | 422051 0 | 504 | 7902 1773.39/1773.95 c 1768s | 18 | 2132229 | 335652 | 422051 0 | 504 | 7902 1776.00/1776.57 c 1770s | 18 | 2132662 | 335952 | 422051 0 | 504 | 7902 1777.99/1778.58 c 1772s | 18 | 2132894 | 336152 | 422051 0 | 504 | 7902 1780.99/1781.53 c 1775s | 18 | 2133245 | 336452 | 422051 0 | 504 | 7902 1782.99/1783.60 c 1777s | 18 | 2133470 | 336652 | 422051 0 | 504 | 7902 1785.19/1785.77 c 1780s | 18 | 2133693 | 336852 | 422051 0 | 504 | 7902 1787.59/1788.10 c 1782s | 18 | 2133949 | 337052 | 422051 0 | 504 | 7902 1790.89/1791.43 c 1785s | 18 | 2134291 | 337352 | 422051 0 | 504 | 7902 1792.99/1793.56 c 1787s | 18 | 2134504 | 337552 | 422051 0 | 504 | 7902 1795.09/1795.67 c 1789s | 18 | 2134721 | 337752 | 422051 0 | 504 | 7902 1797.19/1797.77 c 1792s | 18 | 2134946 | 337952 | 422051 0 | 504 | 7902 1799.99/1800.52 c 1794s | 18 | 2135292 | 338252 | 422051 0 | 504 | 7902
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-4078868-1465275987/watcher-4078868-1465275987 -o /tmp/evaluation-result-4078868-1465275987/solver-4078868-1465275987 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5799 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078868-1465275987.opb pid=9326 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.17 2.18 2.17 4/179 9329 /proc/meminfo: memFree=27741840/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=755132 CPUtime=0 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 2823 0 0 0 0 0 0 0 20 0 4 0 109531863 773255168 2673 33554432000 4194304 16246674 140735692503248 140735692502672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 189551 2683 441 2943 0 186445 0 [pid=9329/tid=9330] ppid=9326 vsize=772540 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 791080960 2742 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=776636 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 795275264 2759 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=780732 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109531863 799469568 2775 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 2.17 2.18 2.17 4/179 9329 /proc/meminfo: memFree=27741840/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1221188 CPUtime=0.09 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 27231 0 0 0 6 3 0 0 20 0 4 0 109531863 1250496512 27018 33554432000 4194304 16246674 140735692503248 140735692502560 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 305297 27018 799 2943 0 302191 0 [pid=9329/tid=9330] ppid=9326 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1250496512 27018 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1250496512 27018 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1250496512 27018 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200512 s] /proc/loadavg: 2.17 2.18 2.17 4/179 9329 /proc/meminfo: memFree=27741840/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1312324 CPUtime=0.19 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 49369 0 0 0 13 6 0 0 20 0 4 0 109531863 1343819776 49668 33554432000 4194304 16246674 140735692503248 140735692502560 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 328081 49673 801 2943 0 324975 0 [pid=9329/tid=9330] ppid=9326 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1343819776 49677 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1343819776 49682 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1343819776 49686 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1312324 [startup+0.300495 s] /proc/loadavg: 2.17 2.18 2.17 4/179 9329 /proc/meminfo: memFree=27741840/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1313348 CPUtime=0.28 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 65170 0 0 0 20 8 0 0 20 0 4 0 109531863 1344868352 65468 33554432000 4194304 16246674 140735692503248 140735692502560 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 328337 65468 801 2943 0 325231 0 [pid=9329/tid=9330] ppid=9326 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1344868352 65468 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1344868352 65468 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1344868352 65468 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1313348 [startup+0.700408 s] /proc/loadavg: 2.17 2.18 2.17 4/179 9329 /proc/meminfo: memFree=27741840/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 69341 0 0 0 60 9 0 0 20 0 4 0 109531863 1345916928 69639 33554432000 4194304 16246674 140735692503248 140735692502560 7376592 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 328593 69639 801 2943 0 325487 0 [pid=9329/tid=9330] ppid=9326 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1345916928 69639 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1345916928 69639 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1345916928 69639 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50041 s] /proc/loadavg: 2.23 2.19 2.18 4/183 9333 /proc/meminfo: memFree=27410184/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1314372 CPUtime=1.49 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 83717 0 0 0 138 11 0 0 20 0 4 0 109531863 1345916928 84015 33554432000 4194304 16246674 140735692503248 140735692486240 8055506 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 328593 84015 802 2943 0 325487 0 [pid=9329/tid=9330] ppid=9326 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1345916928 84015 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1345916928 84015 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1345916928 84015 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10039 s] /proc/loadavg: 2.23 2.19 2.18 4/183 9333 /proc/meminfo: memFree=27173964/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1349188 CPUtime=3.09 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 277764 0 0 0 269 40 0 0 20 0 4 0 109531863 1381568512 278062 33554432000 4194304 16246674 140735692503248 140735692485120 5515673 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 337297 278062 847 2943 0 334191 0 [pid=9329/tid=9330] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278062 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278062 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278062 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1349188 [startup+6.30041 s] /proc/loadavg: 2.29 2.21 2.18 3/183 9333 /proc/meminfo: memFree=26629580/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1349188 CPUtime=6.29 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 277969 0 0 0 589 40 0 0 20 0 4 0 109531863 1381568512 278267 33554432000 4194304 16246674 140735692503248 140735692485120 6837238 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 337297 278267 886 2943 0 334191 0 [pid=9329/tid=9330] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278267 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278267 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278267 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1349188 [startup+12.7004 s] /proc/loadavg: 2.27 2.20 2.18 3/183 9333 /proc/meminfo: memFree=26630000/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1349188 CPUtime=12.69 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 277973 0 0 0 1229 40 0 0 20 0 4 0 109531863 1381568512 278271 33554432000 4194304 16246674 140735692503248 140735692485120 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 337297 278271 889 2943 0 334191 0 [pid=9329/tid=9330] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278271 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278271 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278271 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1349188 [startup+25.5005 s] /proc/loadavg: 2.31 2.21 2.18 4/183 9333 /proc/meminfo: memFree=26629264/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1349188 CPUtime=25.49 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 277975 0 0 0 2509 40 0 0 20 0 4 0 109531863 1381568512 278273 33554432000 4194304 16246674 140735692503248 140735692485120 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 337297 278273 889 2943 0 334191 0 [pid=9329/tid=9330] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278273 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278273 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278273 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1349188 [startup+51.1005 s] /proc/loadavg: 2.26 2.21 2.18 3/183 9333 /proc/meminfo: memFree=26588788/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1349188 CPUtime=51.08 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 277975 0 0 0 5068 40 0 0 20 0 4 0 109531863 1381568512 278273 33554432000 4194304 16246674 140735692503248 140735692485120 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 337297 278273 889 2943 0 334191 0 [pid=9329/tid=9330] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278273 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278273 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278273 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1349188 [startup+102.3 s] /proc/loadavg: 2.31 2.22 2.19 4/183 9334 /proc/meminfo: memFree=26552592/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1349188 CPUtime=102.28 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 277980 0 0 0 10188 40 0 0 20 0 4 0 109531863 1381568512 278278 33554432000 4194304 16246674 140735692503248 140735692485120 5659576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 337297 278278 893 2943 0 334191 0 [pid=9329/tid=9330] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278278 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278278 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278278 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1349188 ################ # More data... # ################ /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278279 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 1349188 [startup+1302.3 s] /proc/loadavg: 2.12 2.13 2.15 3/183 9413 /proc/meminfo: memFree=26757596/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1349188 CPUtime=1301.99 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 278152 0 0 0 130157 42 0 0 20 0 4 0 109531863 1381568512 278279 33554432000 4194304 16246674 140735692503248 140735692485120 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 337297 278279 894 2943 0 334191 0 [pid=9329/tid=9330] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278279 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278279 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278279 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1349188 [startup+1362.3 s] /proc/loadavg: 2.13 2.14 2.15 3/183 9414 /proc/meminfo: memFree=26757508/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1349188 CPUtime=1361.97 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 278180 0 0 0 136155 42 0 0 20 0 4 0 109531863 1381568512 278279 33554432000 4194304 16246674 140735692503248 140735692485120 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 337297 278279 894 2943 0 334191 0 [pid=9329/tid=9330] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278279 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278279 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278279 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1349188 [startup+1422.3 s] /proc/loadavg: 2.17 2.14 2.15 3/184 9418 /proc/meminfo: memFree=26756624/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1349188 CPUtime=1421.94 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 278213 0 0 0 142152 42 0 0 20 0 4 0 109531863 1381568512 278279 33554432000 4194304 16246674 140735692503248 140735692502344 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 337297 278279 894 2943 0 334191 0 [pid=9329/tid=9330] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278279 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278279 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1381568512 278279 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1349188 [startup+1482.3 s] /proc/loadavg: 2.06 2.11 2.14 3/183 9420 /proc/meminfo: memFree=26750084/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1356356 CPUtime=1481.9 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 280042 0 0 0 148148 42 0 0 20 0 4 0 109531863 1388908544 280071 33554432000 4194304 16246674 140735692503248 140735692485120 5823340 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 339089 280071 894 2943 0 335983 0 [pid=9329/tid=9330] ppid=9326 vsize=1356356 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1388908544 280071 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1356356 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1388908544 280071 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1356356 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1388908544 280071 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1356356 [startup+1542.31 s] /proc/loadavg: 2.19 2.13 2.14 3/183 9421 /proc/meminfo: memFree=26749988/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1356356 CPUtime=1541.88 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 280073 0 0 0 154146 42 0 0 20 0 4 0 109531863 1388908544 280071 33554432000 4194304 16246674 140735692503248 140735692485120 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 339089 280071 894 2943 0 335983 0 [pid=9329/tid=9330] ppid=9326 vsize=1356356 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1388908544 280071 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1356356 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1388908544 280071 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1356356 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1388908544 280071 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1356356 [startup+1602.3 s] /proc/loadavg: 2.13 2.12 2.14 3/183 9422 /proc/meminfo: memFree=26750008/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1356356 CPUtime=1601.86 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 280097 0 0 0 160143 43 0 0 20 0 4 0 109531863 1388908544 280071 33554432000 4194304 16246674 140735692503248 140735692485120 6010629 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 339089 280071 894 2943 0 335983 0 [pid=9329/tid=9330] ppid=9326 vsize=1356356 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1388908544 280071 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1356356 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1388908544 280071 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1356356 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1388908544 280071 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1356356 [startup+1662.3 s] /proc/loadavg: 2.04 2.10 2.12 3/183 9423 /proc/meminfo: memFree=26730960/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1374788 CPUtime=1661.82 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 284743 0 0 0 166138 44 0 0 20 0 4 0 109531863 1407782912 284679 33554432000 4194304 16246674 140735692503248 140735692485120 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 343697 284679 894 2943 0 340591 0 [pid=9329/tid=9330] ppid=9326 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1407782912 284679 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1407782912 284679 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1407782912 284679 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1374788 [startup+1722.3 s] /proc/loadavg: 2.08 2.09 2.12 3/183 9424 /proc/meminfo: memFree=26714712/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1374788 CPUtime=1721.8 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 284767 0 0 0 172136 44 0 0 20 0 4 0 109531863 1407782912 284679 33554432000 4194304 16246674 140735692503248 140735692485120 5827824 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 343697 284679 894 2943 0 340591 0 [pid=9329/tid=9330] ppid=9326 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1407782912 284679 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1407782912 284679 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1407782912 284679 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1374788 [startup+1782.3 s] /proc/loadavg: 2.13 2.10 2.12 4/183 9426 /proc/meminfo: memFree=26671604/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1374788 CPUtime=1781.79 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 284767 0 0 0 178135 44 0 0 20 0 4 0 109531863 1407782912 284679 33554432000 4194304 16246674 140735692503248 140735692485120 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 343697 284679 894 2943 0 340591 0 [pid=9329/tid=9330] ppid=9326 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1407782912 284679 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1407782912 284679 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1407782912 284679 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1374788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.10 2.10 2.11 3/183 9426 /proc/meminfo: memFree=26672232/32872528 swapFree=16252/1391864 [pid=9329] ppid=9326 vsize=1374788 CPUtime=1800.09 cores=0,2,4,6 /proc/9329/stat : 9329 (toysat) R 9326 9329 5783 0 -1 4202496 284767 0 0 0 179965 44 0 0 20 0 4 0 109531863 1407782912 284679 33554432000 4194304 16246674 140735692503248 140735692485120 5823238 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9329/statm: 343697 284679 894 2943 0 340591 0 [pid=9329/tid=9330] ppid=9326 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9330/stat : 9330 (toysat) S 9326 9329 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109531863 1407782912 284679 33554432000 4194304 16246674 140735692503248 140477478186224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9329/tid=9331] ppid=9326 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9331/stat : 9331 (toysat) S 9326 9329 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109531863 1407782912 284679 33554432000 4194304 16246674 140735692503248 140477467696368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9329/tid=9332] ppid=9326 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/9329/task/9332/stat : 9332 (toysat) S 9326 9329 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109531863 1407782912 284679 33554432000 4194304 16246674 140735692503248 140477457222832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1374788 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 9329 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.65 CPU system time (s): 0.442932 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 1374788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.442932 maximum resident set size= 1138716 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 284767 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= 428 involuntary context switches= 1856 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.3303 second user time and 11.9242 second system time The end
Begin job on node119 at 2016-06-07 07:06:27 IDJOB=4078868 IDBENCH=89726 IDSOLVER=2542 FILE ID=node119/4078868-1465275987 RUNJOBID= node119-1465252213-5799 PBS_JOBID= 19843259 Free space on /tmp= 71664 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-48.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078868-1465275987/watcher-4078868-1465275987 -o /tmp/evaluation-result-4078868-1465275987/solver-4078868-1465275987 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5799 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078868-1465275987.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bcbd6cca7644150bcdcbd185d4571ad6 RANDOM SEED=1977108216 node119.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.410 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.82 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.410 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.410 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 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.410 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.410 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.410 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 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: 27742104 kB Buffers: 125416 kB Cached: 237328 kB SwapCached: 888 kB Active: 2824128 kB Inactive: 174964 kB Active(anon): 2636336 kB Inactive(anon): 1712 kB Active(file): 187792 kB Inactive(file): 173252 kB Unevictable: 1391864 kB Mlocked: 16252 kB SwapTotal: 67108856 kB SwapFree: 67100176 kB Dirty: 25260 kB Writeback: 0 kB AnonPages: 4131492 kB Mapped: 10860 kB Shmem: 0 kB Slab: 601692 kB SReclaimable: 45724 kB SUnreclaim: 555968 kB KernelStack: 1520 kB PageTables: 11956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4171728 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1533952 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= 71648 MiB End job on node119 at 2016-06-07 07:36:28