| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.11 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_4.opb |
| MD5SUM | cef055af6c2a22a549e672ed9a55f2c8 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 51 |
| Total number of constraints | 13 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 1 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1 |
| Number of bits of the sum of numbers in the objective function | 1 |
| Biggest number in a constraint | 1486 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4459 |
| Number of bits of the biggest sum of numbers | 13 |
| 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-06T22:28:22+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-4079736-1465244902.opb"] 0.00/0.01 c use --random-gen="2475432411 2608700410 2354742004 1001203512 1586955696 2524016304 499787447 4212799240 4014473336 3033329336 2507056164 2731999061 894887834 3681837809 4073095225 2409104684 1632553271 214578660 1498482775 3554056790 1745449649 3416244187 2497777555 883399837 2607559597 443780530 2085299615 3359883900 3833744097 967121079 3591499870 2780974956 838033686 3983427104 3715489014 1112812944 1270492215 2300752536 2605138586 1541338336 3035021187 2479678791 2896053014 1683967178 1984529151 1465362344 1085805050 512067207 3066806755 359297896 2451112619 2593003088 2654940207 195185105 1103464617 1003588435 2582359041 4097883508 2770472387 1368907780 1878246354 2886763294 2545905680 327417455 228925302 3816781748 3158137953 4085808439 2779157691 2803379948 2369733265 1832833921 2350734933 291367926 2899246573 1055383780 1651337292 2757147644 2466812109 43380078 127439562 1145695964 687184489 1523896384 1336081727 3096800270 916374455 1288665796 924514591 2504713853 3462324039 1574678207 1640860895 661293838 219917713 2971250533 1645189533 1511163130 1701549124 3506100314 2422547868 761317372 1349920394 2301068405 3660289791 674278321 7345926 229157702 3971626533 2580937771 3150343792 1188878385 1594713865 2925922592 2551252735 984588882 1375753676 1128541093 3071873192 2712963966 3221666555 579349278 11010411 1813447514 2584861528 1541301446 2289540605 2904991892 2702287399 229190466 1950528307 4140890998 4141954142 4228832427 3383847848 1334670808 1971922554 1642922518 2580079807 3966725778 1607262929 3273973094 1149675740 2338522010 693817261 3601650204 3575506480 2911100047 2021497647 3640566462 3444455803 1444958140 1738205296 1331378090 2525484276 2027906573 790857240 407887191 1808820538 2657541893 1077904607 4164142993 2576184880 3878956061 3645650561 1020692787 3260743846 2404579016 2552646425 1572015308 1704183502 2779841012 254138498 2775466213 2244960476 712970611 1814667438 2683435213 197979296 422618335 449858677 232781845 175080361 2297382252 488285674 1589653009 1094266758 2653499961 4207151628 1278909797 2310284797 1376219290 3165779190 1865592773 1443532396 4231113941 2191515166 1255371758 1482861114 1710365284 3743472368 3694721998 981952020 3180425493 1862692201 1804270420 3944798509 1101774212 4072214104 3145993393 3958449542 2546860850 3864670713 1660791562 3955702748 1294195368 534984090 1195227717 987035623 3292804800 867454066 4069020844 2506049908 1670007448 1916501104 3657855510 1866022084 289784566 1577009382 1311671031 243053284 945499006 3279578436 3366811806 2317250967 2486834897 3705490581 3683752457 3583185438 3994652202 517787156 2536616020 1551336332 2804741414 2701897513 1327557599 77567762 1093451733 680252028 3102757169 1368292103 3361193779 2140955838 1217066520 1516342513 1300679159 255 362436" option to reproduce the execution 0.00/0.01 c #vars 51 0.00/0.01 c #constraints 13 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 21 0 | 1 | 0 0.00/0.03 c 0.0s | 1 | 125 | 100 | 21 2 | 1 | 0 0.00/0.06 c 0.0s | 2 | 300 | 250 | 24 8 | 1 | 0 0.00/0.09 c 0.1s | 3 | 548 | 475 | 27 17 | 1 | 0 0.09/0.15 c 0.1s | 4 | 911 | 813 | 30 28 | 1 | 0 0.18/0.24 c 0.2s | 5 | 1445 | 1320 | 33 46 | 1 | 0 0.28/0.38 c 0.4s | 6 | 2246 | 2081 | 41 70 | 1 | 0 0.49/0.58 c 0.6s | 7 | 3432 | 3223 | 46 105 | 1 | 0 0.79/0.87 c 0.9s | 8 | 5180 | 4936 | 51 154 | 1 | 0 1.29/1.31 c 1.3s | 9 | 7822 | 7506 | 57 225 | 1 | 0 1.79/1.81 c 1.8s | 10 | 11740 | 11361 | 63 324 | 1 | 0 2.39/2.41 c 2.4s | 11 | 17615 | 17144 | 70 456 | 1 | 0 3.40/3.43 c 3.4s | 12 | 26400 | 25819 | 77 648 | 1 | 0 4.79/4.85 c 4.8s | 13 | 39707 | 38832 | 85 918 | 1 | 0 6.79/6.85 c 6.8s | 13 | 59101 | 57732 | 85 1282 | 1 | 0 6.89/6.92 c 6.9s | 14 | 59722 | 58352 | 94 1293 | 1 | 0 8.90/8.93 c 8.9s | 14 | 78479 | 76652 | 94 1615 | 1 | 0 10.09/10.10 c 10.1s | 15 | 89649 | 87632 | 104 1815 | 1 | 0 12.10/12.11 c 12.1s | 15 | 109068 | 106732 | 104 2127 | 1 | 0 14.09/14.12 c 14.1s | 15 | 127475 | 124832 | 104 2424 | 1 | 0 14.79/14.85 c 14.8s | 16 | 134266 | 131552 | 115 2536 | 1 | 0 16.79/16.86 c 16.8s | 16 | 152699 | 149552 | 115 2807 | 1 | 0 18.80/18.87 c 18.9s | 16 | 171322 | 167852 | 115 3084 | 1 | 0 20.79/20.87 c 20.9s | 16 | 190048 | 186252 | 115 3363 | 1 | 0 21.99/22.08 c 22.1s | 17 | 201479 | 197432 | 127 3532 | 1 | 0 23.99/24.09 c 24.1s | 17 | 219857 | 215432 | 127 3779 | 1 | 0 25.98/26.09 c 26.1s | 17 | 238486 | 233732 | 127 4034 | 1 | 0 28.08/28.10 c 28.1s | 17 | 257485 | 252432 | 127 4298 | 1 | 0 30.08/30.10 c 30.1s | 17 | 276864 | 271432 | 127 4569 | 1 | 0 32.08/32.10 c 32.1s | 17 | 296265 | 290332 | 127 4828 | 1 | 0 32.68/32.73 c 32.7s | 18 | 302258 | 296252 | 140 4908 | 1 | 0 34.68/34.73 c 34.7s | 18 | 320892 | 314352 | 140 5137 | 1 | 0 36.68/36.74 c 36.7s | 18 | 339751 | 332852 | 140 5378 | 1 | 0 38.68/38.75 c 38.7s | 18 | 358642 | 351552 | 140 5619 | 1 | 0 40.69/40.75 c 40.7s | 18 | 378113 | 370652 | 140 5865 | 1 | 0 42.68/42.75 c 42.7s | 18 | 397013 | 389352 | 140 6108 | 1 | 0 44.68/44.76 c 44.7s | 18 | 416284 | 408352 | 140 6359 | 1 | 0 46.68/46.77 c 46.8s | 18 | 435507 | 427352 | 140 6612 | 1 | 0 48.59/48.61 c 48.6s | 19 | 452940 | 444482 | 154 6828 | 1 | 0 50.59/50.61 c 50.6s | 19 | 471744 | 462982 | 154 7045 | 1 | 0 52.58/52.62 c 52.6s | 19 | 490403 | 481282 | 154 7259 | 1 | 0 54.58/54.63 c 54.6s | 19 | 509152 | 499782 | 154 7478 | 1 | 0 56.58/56.64 c 56.6s | 19 | 528092 | 518482 | 154 7704 | 1 | 0 58.58/58.65 c 58.6s | 19 | 546477 | 536582 | 154 7918 | 1 | 0 60.59/60.65 c 60.6s | 19 | 564663 | 554482 | 154 8128 | 1 | 0 62.58/62.66 c 62.6s | 19 | 582973 | 572482 | 154 8343 | 1 | 0 64.58/64.66 c 64.6s | 19 | 601445 | 590682 | 154 8559 | 1 | 0 66.58/66.67 c 66.7s | 19 | 619936 | 608882 | 154 8777 | 1 | 0 68.58/68.67 c 68.7s | 19 | 639110 | 627782 | 154 9008 | 1 | 0 70.58/70.68 c 70.7s | 19 | 656871 | 645282 | 154 9214 | 1 | 0 72.58/72.69 c 72.7s | 19 | 674893 | 663082 | 170 9424 | 1 | 0 72.97/73.09 c 73.1s | 20 | 678694 | 666827 | 170 9465 | 1 | 0 74.97/75.09 c 75.1s | 20 | 696691 | 684627 | 170 9648 | 1 | 0 76.98/77.10 c 77.1s | 20 | 714662 | 702427 | 170 9834 | 1 | 0 79.07/79.10 c 79.1s | 20 | 732955 | 720527 | 170 10026 | 1 | 0 81.07/81.10 c 81.1s | 20 | 751746 | 738927 | 170 10219 | 1 | 0 83.07/83.10 c 83.1s | 20 | 770252 | 757127 | 170 10412 | 1 | 0 85.07/85.11 c 85.1s | 20 | 788611 | 775127 | 170 10605 | 1 | 0 87.08/87.11 c 87.1s | 20 | 807140 | 793327 | 170 10800 | 1 | 0 89.09/89.12 c 89.1s | 20 | 825313 | 811227 | 170 10993 | 1 | 0 91.08/91.12 c 91.1s | 20 | 843921 | 829527 | 170 11185 | 1 | 0 93.08/93.13 c 93.1s | 20 | 862314 | 847627 | 170 11376 | 1 | 0 95.08/95.13 c 95.1s | 20 | 880687 | 865727 | 170 11568 | 1 | 0 97.08/97.14 c 97.1s | 20 | 899210 | 883927 | 170 11759 | 1 | 0 99.09/99.14 c 99.1s | 20 | 917703 | 902127 | 170 11952 | 1 | 0 101.08/101.15 c 101s | 20 | 936287 | 920427 | 170 12148 | 1 | 0 103.07/103.15 c 103s | 20 | 955527 | 939327 | 170 12353 | 1 | 0 105.07/105.15 c 105s | 20 | 974637 | 958127 | 170 12554 | 1 | 0 107.07/107.16 c 107s | 20 | 993648 | 976827 | 170 12757 | 1 | 0 109.07/109.17 c 109s | 20 | 1011757 | 994727 | 188 12942 | 1 | 0 109.77/109.80 c 109s | 21 | 1017442 | 1000345 | 188 12996 | 1 | 0 111.77/111.81 c 111s | 21 | 1035387 | 1018045 | 188 13166 | 1 | 0 113.77/113.82 c 113s | 21 | 1053757 | 1036245 | 188 13343 | 1 | 0 115.77/115.83 c 115s | 21 | 1071364 | 1053645 | 188 13512 | 1 | 0 117.78/117.84 c 117s | 21 | 1089427 | 1071545 | 188 13687 | 1 | 0 119.77/119.85 c 119s | 21 | 1107770 | 1089645 | 188 13865 | 1 | 0 121.77/121.86 c 121s | 21 | 1127082 | 1108645 | 188 14053 | 1 | 0 123.77/123.87 c 123s | 21 | 1145955 | 1127245 | 188 14235 | 1 | 0 125.77/125.87 c 125s | 21 | 1164604 | 1145645 | 188 14416 | 1 | 0 127.77/127.87 c 127s | 21 | 1183224 | 1164045 | 188 14597 | 1 | 0 129.78/129.88 c 129s | 21 | 1201467 | 1182045 | 188 14775 | 1 | 0 131.77/131.89 c 131s | 21 | 1220582 | 1200845 | 188 14960 | 1 | 0 133.77/133.89 c 133s | 21 | 1239061 | 1219145 | 188 15135 | 1 | 0 135.77/135.90 c 135s | 21 | 1257005 | 1236945 | 188 15306 | 1 | 0 137.86/137.90 c 137s | 21 | 1275439 | 1255145 | 188 15483 | 1 | 0 139.86/139.90 c 139s | 21 | 1293905 | 1273445 | 188 15662 | 1 | 0 141.88/141.91 c 141s | 21 | 1312465 | 1291845 | 188 15844 | 1 | 0 143.87/143.91 c 143s | 21 | 1331416 | 1310545 | 188 16028 | 1 | 0 145.87/145.92 c 145s | 21 | 1350194 | 1329145 | 188 16211 | 1 | 0 147.87/147.92 c 147s | 21 | 1368942 | 1347645 | 188 16394 | 1 | 0 149.87/149.92 c 149s | 21 | 1387013 | 1365545 | 188 16571 | 1 | 0 151.88/151.93 c 151s | 21 | 1405579 | 1383845 | 188 16753 | 1 | 0 153.87/153.94 c 153s | 21 | 1424219 | 1402245 | 188 16936 | 1 | 0 155.86/155.94 c 155s | 21 | 1443160 | 1420945 | 188 17124 | 1 | 0 157.86/157.94 c 157s | 21 | 1461650 | 1439245 | 188 17306 | 1 | 0 159.86/159.95 c 159s | 21 | 1481175 | 1458545 | 188 17499 | 1 | 0 161.86/161.95 c 161s | 21 | 1499994 | 1477145 | 188 17685 | 1 | 0 163.87/163.96 c 163s | 21 | 1519415 | 1496245 | 207 17868 | 1 | 0 164.36/164.40 c 164s | 22 | 1523881 | 1500622 | 207 17907 | 1 | 0 166.36/166.40 c 166s | 22 | 1543335 | 1519722 | 207 18078 | 1 | 0 168.27/168.40 c 168s | 22 | 1562490 | 1538622 | 207 18248 | 1 | 0 170.36/170.41 c 170s | 22 | 1582157 | 1557922 | 207 18421 | 1 | 0 172.36/172.41 c 172s | 22 | 1601326 | 1576822 | 207 18591 | 1 | 0 174.36/174.42 c 174s | 22 | 1621143 | 1596222 | 207 18769 | 1 | 0 176.36/176.42 c 176s | 22 | 1640114 | 1614922 | 207 18940 | 1 | 0 178.36/178.43 c 178s | 22 | 1660095 | 1634522 | 207 19114 | 1 | 0 180.37/180.44 c 180s | 22 | 1679203 | 1653322 | 207 19283 | 1 | 0 182.36/182.45 c 182s | 22 | 1698494 | 1672322 | 207 19454 | 1 | 0 184.36/184.45 c 184s | 22 | 1717448 | 1691022 | 207 19622 | 1 | 0 186.36/186.45 c 186s | 22 | 1736077 | 1709422 | 207 19787 | 1 | 0 188.36/188.46 c 188s | 22 | 1754941 | 1728022 | 207 19955 | 1 | 0 190.37/190.47 c 190s | 22 | 1773183 | 1746022 | 207 20119 | 1 | 0 192.36/192.47 c 192s | 22 | 1792315 | 1764922 | 207 20290 | 1 | 0 194.36/194.48 c 194s | 22 | 1811114 | 1783522 | 207 20460 | 1 | 0 196.36/196.48 c 196s | 22 | 1830068 | 1802222 | 207 20633 | 1 | 0 198.35/198.48 c 198s | 22 | 1849349 | 1821222 | 207 20810 | 1 | 0 200.36/200.49 c 200s | 22 | 1867902 | 1839522 | 207 20975 | 1 | 0 202.37/202.50 c 202s | 22 | 1886265 | 1857622 | 207 21139 | 1 | 0 204.46/204.50 c 204s | 22 | 1905811 | 1876822 | 207 21315 | 1 | 0 206.46/206.51 c 206s | 22 | 1925355 | 1896022 | 207 21492 | 1 | 0 208.46/208.52 c 208s | 22 | 1945321 | 1915622 | 207 21670 | 1 | 0 210.46/210.53 c 210s | 22 | 1964632 | 1934722 | 207 21843 | 1 | 0 212.46/212.53 c 212s | 22 | 1984284 | 1954022 | 207 22019 | 1 | 0 214.46/214.54 c 214s | 22 | 2003832 | 1973122 | 207 22191 | 1 | 0 216.46/216.54 c 216s | 22 | 2023442 | 1992422 | 207 22367 | 1 | 0 218.46/218.55 c 218s | 22 | 2042483 | 2011122 | 207 22538 | 1 | 0 220.45/220.56 c 220s | 22 | 2061754 | 2030122 | 207 22713 | 1 | 0 222.45/222.56 c 222s | 22 | 2080430 | 2048522 | 207 22881 | 1 | 0 224.46/224.56 c 224s | 22 | 2099283 | 2067122 | 207 23051 | 1 | 0 226.45/226.56 c 226s | 22 | 2117975 | 2085622 | 207 23221 | 1 | 0 228.45/228.57 c 228s | 22 | 2136561 | 2104022 | 207 23390 | 1 | 0 230.45/230.57 c 230s | 22 | 2155623 | 2122822 | 207 23566 | 1 | 0 232.45/232.58 c 232s | 22 | 2175109 | 2142022 | 207 23744 | 1 | 0 234.45/234.58 c 234s | 22 | 2194281 | 2160922 | 207 23919 | 1 | 0 236.46/236.59 c 236s | 22 | 2213769 | 2180122 | 207 24098 | 1 | 0 238.56/238.60 c 238s | 22 | 2233222 | 2199322 | 207 24278 | 1 | 0 240.55/240.60 c 240s | 22 | 2252662 | 2218422 | 207 24457 | 1 | 0 242.55/242.61 c 242s | 22 | 2272384 | 2237822 | 228 24627 | 1 | 0 243.85/243.99 c 243s | 23 | 2285816 | 2251038 | 228 24735 | 1 | 0 245.85/245.99 c 245s | 23 | 2304258 | 2269238 | 228 24883 | 1 | 0 247.85/247.99 c 247s | 23 | 2323323 | 2288038 | 228 25038 | 1 | 0 249.85/250.00 c 249s | 23 | 2342435 | 2306938 | 228 25196 | 1 | 0 251.86/252.00 c 251s | 23 | 2361164 | 2325338 | 228 25347 | 1 | 0 253.95/254.01 c 253s | 23 | 2380858 | 2344738 | 228 25508 | 1 | 0 255.95/256.01 c 256s | 23 | 2400523 | 2364038 | 228 25670 | 1 | 0 257.95/258.02 c 258s | 23 | 2419918 | 2383138 | 228 25829 | 1 | 0 259.95/260.02 c 260s | 23 | 2439102 | 2402038 | 228 25988 | 1 | 0 261.95/262.03 c 262s | 23 | 2457889 | 2420538 | 228 26141 | 1 | 0 263.95/264.03 c 264s | 23 | 2476624 | 2438938 | 228 26294 | 1 | 0 265.94/266.04 c 266s | 23 | 2495285 | 2457338 | 228 26448 | 1 | 0 267.94/268.04 c 268s | 23 | 2513801 | 2475638 | 228 26601 | 1 | 0 269.94/270.05 c 270s | 23 | 2533292 | 2494838 | 228 26762 | 1 | 0 271.94/272.05 c 272s | 23 | 2552772 | 2513938 | 228 26923 | 1 | 0 273.95/274.06 c 274s | 23 | 2572101 | 2532938 | 228 27082 | 1 | 0 275.94/276.07 c 276s | 23 | 2590687 | 2551238 | 228 27237 | 1 | 0 277.94/278.08 c 278s | 23 | 2609255 | 2569438 | 228 27386 | 1 | 0 279.94/280.09 c 280s | 23 | 2627542 | 2587438 | 228 27535 | 1 | 0 281.94/282.09 c 282s | 23 | 2646152 | 2605738 | 228 27688 | 1 | 0 283.95/284.09 c 284s | 23 | 2664443 | 2623738 | 228 27837 | 1 | 0 285.96/286.09 c 286s | 23 | 2683044 | 2642038 | 228 27989 | 1 | 0 288.05/288.10 c 288s | 23 | 2701746 | 2660438 | 228 28142 | 1 | 0 290.05/290.10 c 290s | 23 | 2720728 | 2679038 | 228 28298 | 1 | 0 292.05/292.11 c 292s | 23 | 2739390 | 2697438 | 228 28452 | 1 | 0 294.05/294.11 c 294s | 23 | 2757965 | 2715738 | 228 28602 | 1 | 0 296.05/296.11 c 296s | 23 | 2776143 | 2733738 | 228 28750 | 1 | 0 298.05/298.12 c 298s | 23 | 2794504 | 2751838 | 228 28901 | 1 | 0 300.04/300.12 c 300s | 23 | 2813721 | 2770838 | 228 29060 | 1 | 0 302.04/302.12 c 302s | 23 | 2833360 | 2790238 | 228 29223 | 1 | 0 304.04/304.12 c 304s | 23 | 2852122 | 2808738 | 228 29377 | 1 | 0 306.04/306.13 c 306s | 23 | 2871159 | 2827538 | 228 29533 | 1 | 0 308.05/308.13 c 308s | 23 | 2889308 | 2845538 | 228 29683 | 1 | 0 310.04/310.14 c 310s | 23 | 2908127 | 2864138 | 228 29839 | 1 | 0 312.04/312.15 c 312s | 23 | 2927084 | 2882838 | 228 29997 | 1 | 0 314.04/314.15 c 314s | 23 | 2946106 | 2901538 | 228 30154 | 1 | 0 316.04/316.17 c 316s | 23 | 2965091 | 2920238 | 228 30311 | 1 | 0 318.04/318.18 c 318s | 23 | 2983905 | 2938838 | 228 30468 | 1 | 0 320.05/320.18 c 320s | 23 | 3002578 | 2957238 | 228 30624 | 1 | 0 322.04/322.18 c 322s | 23 | 3021583 | 2975938 | 228 30784 | 1 | 0 324.04/324.19 c 324s | 23 | 3041724 | 2995638 | 228 30949 | 1 | 0 326.04/326.19 c 326s | 23 | 3061304 | 3014938 | 228 31106 | 1 | 0 328.14/328.20 c 328s | 23 | 3081094 | 3034338 | 228 31266 | 1 | 0 330.13/330.21 c 330s | 23 | 3100432 | 3053338 | 228 31423 | 1 | 0 332.14/332.21 c 332s | 23 | 3119632 | 3072238 | 228 31580 | 1 | 0 334.14/334.21 c 334s | 23 | 3138534 | 3090838 | 228 31733 | 1 | 0 336.14/336.22 c 336s | 23 | 3156736 | 3108738 | 228 31881 | 1 | 0 338.14/338.22 c 338s | 23 | 3175043 | 3126738 | 228 32029 | 1 | 0 340.14/340.23 c 340s | 23 | 3193963 | 3145338 | 228 32184 | 1 | 0 342.15/342.23 c 342s | 23 | 3213322 | 3164338 | 228 32343 | 1 | 0 344.14/344.23 c 344s | 23 | 3232015 | 3182738 | 228 32495 | 1 | 0 346.14/346.23 c 346s | 23 | 3250751 | 3201138 | 228 32647 | 1 | 0 348.14/348.25 c 348s | 23 | 3269789 | 3219838 | 228 32803 | 1 | 0 350.14/350.26 c 350s | 23 | 3288950 | 3238738 | 228 32961 | 1 | 0 352.14/352.26 c 352s | 23 | 3307787 | 3257438 | 228 33116 | 1 | 0 354.14/354.26 c 354s | 23 | 3327246 | 3276638 | 228 33277 | 1 | 0 356.14/356.26 c 356s | 23 | 3346125 | 3295238 | 228 33433 | 1 | 0 358.14/358.28 c 358s | 23 | 3364445 | 3313338 | 228 33584 | 1 | 0 360.13/360.29 c 360s | 23 | 3383399 | 3332038 | 228 33739 | 1 | 0 362.13/362.29 c 362s | 23 | 3402520 | 3350938 | 228 33897 | 1 | 0 364.23/364.30 c 364s | 23 | 3421953 | 3370038 | 251 34045 | 1 | 0 364.93/365.01 c 365s | 24 | 3428650 | 3376662 | 251 34096 | 1 | 0 366.93/367.02 c 367s | 24 | 3446674 | 3394462 | 251 34232 | 1 | 0 368.93/369.03 c 369s | 24 | 3464900 | 3412462 | 251 34368 | 1 | 0 370.93/371.03 c 371s | 24 | 3482791 | 3430162 | 251 34503 | 1 | 0 372.94/373.03 c 373s | 24 | 3501144 | 3448262 | 251 34642 | 1 | 0 374.94/375.04 c 375s | 24 | 3519746 | 3466562 | 251 34782 | 1 | 0 376.94/377.04 c 377s | 24 | 3538296 | 3484862 | 251 34923 | 1 | 0 378.93/379.04 c 379s | 24 | 3557110 | 3503362 | 251 35067 | 1 | 0 380.93/381.05 c 381s | 24 | 3576217 | 3522162 | 251 35211 | 1 | 0 382.93/383.06 c 383s | 24 | 3594612 | 3540362 | 251 35351 | 1 | 0 384.94/385.07 c 385s | 24 | 3613270 | 3558762 | 251 35491 | 1 | 0 386.93/387.07 c 387s | 24 | 3632538 | 3577762 | 251 35637 | 1 | 0 388.93/389.07 c 389s | 24 | 3651611 | 3596562 | 251 35781 | 1 | 0 390.93/391.07 c 391s | 24 | 3670669 | 3615362 | 251 35927 | 1 | 0 392.93/393.08 c 393s | 24 | 3689971 | 3634362 | 251 36075 | 1 | 0 394.94/395.09 c 395s | 24 | 3709761 | 3653762 | 251 36227 | 1 | 0 396.93/397.09 c 397s | 24 | 3728275 | 3671962 | 251 36366 | 1 | 0 399.02/399.10 c 399s | 24 | 3747539 | 3690862 | 251 36511 | 1 | 0 401.02/401.10 c 401s | 24 | 3766747 | 3709762 | 251 36656 | 1 | 0 403.02/403.11 c 403s | 24 | 3785641 | 3728362 | 251 36799 | 1 | 0 405.02/405.12 c 405s | 24 | 3805242 | 3747562 | 251 36948 | 1 | 0 407.03/407.13 c 407s | 24 | 3825265 | 3767162 | 251 37098 | 1 | 0 409.03/409.13 c 409s | 24 | 3845660 | 3787162 | 251 37254 | 1 | 0 411.03/411.14 c 411s | 24 | 3864814 | 3806062 | 251 37398 | 1 | 0 413.03/413.14 c 413s | 24 | 3883784 | 3824662 | 251 37542 | 1 | 0 415.03/415.15 c 415s | 24 | 3902800 | 3843362 | 251 37686 | 1 | 0 417.03/417.16 c 417s | 24 | 3922444 | 3862562 | 251 37835 | 1 | 0 419.04/419.17 c 419s | 24 | 3941350 | 3881162 | 251 37979 | 1 | 0 421.03/421.17 c 421s | 24 | 3960350 | 3899862 | 251 38125 | 1 | 0 423.03/423.18 c 423s | 24 | 3979345 | 3918562 | 251 38271 | 1 | 0 425.03/425.18 c 425s | 24 | 3998559 | 3937462 | 251 38417 | 1 | 0 427.03/427.18 c 427s | 24 | 4017384 | 3955962 | 251 38561 | 1 | 0 429.04/429.18 c 429s | 24 | 4036355 | 3974662 | 251 38708 | 1 | 0 431.02/431.18 c 431s | 24 | 4055142 | 3993162 | 251 38852 | 1 | 0 433.02/433.19 c 433s | 24 | 4074009 | 4011762 | 251 38998 | 1 | 0 435.12/435.20 c 435s | 24 | 4093134 | 4030562 | 251 39145 | 1 | 0 437.12/437.21 c 437s | 24 | 4110980 | 4048162 | 251 39276 | 1 | 0 439.12/439.22 c 439s | 24 | 4128618 | 4065562 | 251 39406 | 1 | 0 441.13/441.22 c 441s | 24 | 4146104 | 4082862 | 251 39536 | 1 | 0 443.12/443.23 c 443s | 24 | 4163600 | 4100162 | 251 39668 | 1 | 0 445.12/445.23 c 445s | 24 | 4181649 | 4117962 | 251 39802 | 1 | 0 447.12/447.24 c 447s | 24 | 4198968 | 4135062 | 251 39931 | 1 | 0 449.12/449.24 c 449s | 24 | 4216563 | 4152462 | 251 40064 | 1 | 0 451.12/451.25 c 451s | 24 | 4234201 | 4169862 | 251 40196 | 1 | 0 453.13/453.25 c 453s | 24 | 4252131 | 4187562 | 251 40332 | 1 | 0 455.12/455.25 c 455s | 24 | 4269555 | 4204762 | 251 40461 | 1 | 0 457.12/457.26 c 457s | 24 | 4287760 | 4222762 | 251 40598 | 1 | 0 459.12/459.27 c 459s | 24 | 4304819 | 4239562 | 251 40725 | 1 | 0 461.12/461.27 c 461s | 24 | 4322173 | 4256662 | 251 40852 | 1 | 0 463.13/463.27 c 463s | 24 | 4339930 | 4274162 | 251 40981 | 1 | 0 465.12/465.28 c 465s | 24 | 4357936 | 4291862 | 251 41112 | 1 | 0 467.12/467.29 c 467s | 24 | 4376756 | 4310362 | 251 41250 | 1 | 0 469.12/469.29 c 469s | 24 | 4395196 | 4328562 | 251 41386 | 1 | 0 471.21/471.30 c 471s | 24 | 4413199 | 4346362 | 251 41520 | 1 | 0 473.21/473.31 c 473s | 24 | 4431678 | 4364562 | 251 41655 | 1 | 0 475.22/475.31 c 475s | 24 | 4450222 | 4382862 | 251 41792 | 1 | 0 477.21/477.31 c 477s | 24 | 4467972 | 4400362 | 251 41924 | 1 | 0 479.21/479.32 c 479s | 24 | 4486184 | 4418362 | 251 42059 | 1 | 0 481.21/481.32 c 481s | 24 | 4504483 | 4436362 | 251 42192 | 1 | 0 483.21/483.33 c 483s | 24 | 4522538 | 4454162 | 251 42325 | 1 | 0 485.22/485.33 c 485s | 24 | 4540639 | 4471962 | 251 42458 | 1 | 0 487.23/487.34 c 487s | 24 | 4558903 | 4489962 | 251 42593 | 1 | 0 489.22/489.34 c 489s | 24 | 4576983 | 4507762 | 251 42728 | 1 | 0 491.22/491.35 c 491s | 24 | 4594839 | 4525362 | 251 42861 | 1 | 0 493.22/493.36 c 493s | 24 | 4613093 | 4543362 | 251 42999 | 1 | 0 495.22/495.36 c 495s | 24 | 4631976 | 4561962 | 251 43140 | 1 | 0 497.22/497.37 c 497s | 24 | 4650562 | 4580262 | 251 43279 | 1 | 0 499.21/499.37 c 499s | 24 | 4668748 | 4598162 | 251 43415 | 1 | 0 501.21/501.38 c 501s | 24 | 4686383 | 4615562 | 251 43547 | 1 | 0 503.22/503.38 c 503s | 24 | 4704387 | 4633362 | 251 43683 | 1 | 0 505.22/505.39 c 505s | 24 | 4722737 | 4651462 | 251 43824 | 1 | 0 507.21/507.39 c 507s | 24 | 4740712 | 4669162 | 251 43960 | 1 | 0 509.22/509.39 c 509s | 24 | 4758511 | 4686762 | 251 44097 | 1 | 0 511.31/511.40 c 511s | 24 | 4776697 | 4704662 | 251 44228 | 1 | 0 513.31/513.40 c 513s | 24 | 4794890 | 4722562 | 251 44361 | 1 | 0 515.31/515.41 c 515s | 24 | 4813421 | 4740762 | 251 44495 | 1 | 0 517.31/517.41 c 517s | 24 | 4831838 | 4758862 | 251 44630 | 1 | 0 519.31/519.42 c 519s | 24 | 4850679 | 4777362 | 251 44768 | 1 | 0 521.32/521.43 c 521s | 24 | 4868750 | 4795162 | 251 44901 | 1 | 0 523.31/523.43 c 523s | 24 | 4886957 | 4813062 | 251 45036 | 1 | 0 525.31/525.44 c 525s | 24 | 4905229 | 4831062 | 251 45171 | 1 | 0 527.31/527.44 c 527s | 24 | 4923408 | 4848962 | 251 45305 | 1 | 0 529.31/529.45 c 529s | 24 | 4942175 | 4867362 | 251 45443 | 1 | 0 531.32/531.45 c 531s | 24 | 4961165 | 4885962 | 251 45583 | 1 | 0 533.31/533.45 c 533s | 24 | 4980060 | 4904462 | 251 45723 | 1 | 0 535.30/535.46 c 535s | 24 | 4998119 | 4922262 | 251 45854 | 1 | 0 537.30/537.46 c 537s | 24 | 5015340 | 4939262 | 251 45982 | 1 | 0 539.30/539.47 c 539s | 24 | 5033073 | 4956762 | 251 46112 | 1 | 0 541.30/541.47 c 541s | 24 | 5051092 | 4974462 | 251 46245 | 1 | 0 543.31/543.47 c 543s | 24 | 5068822 | 4991962 | 251 46378 | 1 | 0 545.30/545.47 c 545s | 24 | 5086777 | 5009662 | 251 46513 | 1 | 0 547.30/547.48 c 547s | 24 | 5104087 | 5026762 | 251 46640 | 1 | 0 549.30/549.48 c 549s | 24 | 5121743 | 5044162 | 277 46760 | 1 | 0 551.31/551.49 c 551s | 24 | 5140084 | 5062162 | 277 46883 | 1 | 0 551.71/551.81 c 551s | 25 | 5143085 | 5065098 | 277 46904 | 1 | 0 553.71/553.81 c 553s | 25 | 5161870 | 5083598 | 277 47031 | 1 | 0 555.71/555.82 c 555s | 25 | 5180559 | 5101998 | 277 47158 | 1 | 0 557.72/557.83 c 557s | 25 | 5199326 | 5120498 | 277 47287 | 1 | 0 559.70/559.83 c 559s | 25 | 5217708 | 5138698 | 277 47412 | 1 | 0 561.70/561.84 c 561s | 25 | 5235339 | 5156198 | 277 47532 | 1 | 0 563.70/563.85 c 563s | 25 | 5253372 | 5173998 | 277 47655 | 1 | 0 565.70/565.85 c 565s | 25 | 5272409 | 5192698 | 277 47785 | 1 | 0 567.70/567.86 c 567s | 25 | 5291647 | 5211598 | 277 47917 | 1 | 0 569.71/569.87 c 569s | 25 | 5309991 | 5229698 | 277 48043 | 1 | 0 571.70/571.87 c 571s | 25 | 5328607 | 5247998 | 277 48171 | 1 | 0 573.70/573.88 c 573s | 25 | 5347675 | 5266698 | 277 48303 | 1 | 0 575.70/575.88 c 575s | 25 | 5365977 | 5284698 | 277 48426 | 1 | 0 577.70/577.89 c 577s | 25 | 5384148 | 5302598 | 277 48549 | 1 | 0 579.71/579.89 c 579s | 25 | 5402695 | 5320898 | 277 48675 | 1 | 0 581.70/581.90 c 581s | 25 | 5421567 | 5339398 | 277 48801 | 1 | 0 583.80/583.91 c 583s | 25 | 5439933 | 5357498 | 277 48924 | 1 | 0 585.80/585.91 c 585s | 25 | 5458310 | 5375598 | 277 49048 | 1 | 0 587.80/587.92 c 587s | 25 | 5476419 | 5393398 | 277 49171 | 1 | 0 589.80/589.92 c 589s | 25 | 5494725 | 5411398 | 277 49295 | 1 | 0 591.81/591.93 c 591s | 25 | 5513192 | 5429598 | 277 49422 | 1 | 0 593.80/593.94 c 593s | 25 | 5531769 | 5447898 | 277 49549 | 1 | 0 595.80/595.95 c 595s | 25 | 5550480 | 5466298 | 277 49677 | 1 | 0 597.80/597.95 c 597s | 25 | 5569623 | 5485098 | 277 49808 | 1 | 0 599.80/599.96 c 599s | 25 | 5589785 | 5504798 | 277 49944 | 1 | 0 601.80/601.97 c 601s | 25 | 5609519 | 5524098 | 277 50075 | 1 | 0 603.81/603.98 c 603s | 25 | 5628852 | 5543098 | 277 50205 | 1 | 0 605.80/605.98 c 605s | 25 | 5648124 | 5562098 | 277 50335 | 1 | 0 607.80/607.98 c 607s | 25 | 5666987 | 5580598 | 277 50462 | 1 | 0 609.80/609.99 c 609s | 25 | 5685931 | 5599198 | 277 50590 | 1 | 0 611.80/611.99 c 611s | 25 | 5704953 | 5617898 | 277 50719 | 1 | 0 613.89/614.00 c 613s | 25 | 5723801 | 5636398 | 277 50847 | 1 | 0 615.90/616.01 c 615s | 25 | 5742636 | 5654898 | 277 50975 | 1 | 0 617.89/618.01 c 617s | 25 | 5761445 | 5673398 | 277 51103 | 1 | 0 619.89/620.01 c 620s | 25 | 5779895 | 5691598 | 277 51230 | 1 | 0 621.89/622.02 c 622s | 25 | 5798681 | 5710098 | 277 51358 | 1 | 0 623.89/624.03 c 624s | 25 | 5817703 | 5728798 | 277 51488 | 1 | 0 625.90/626.03 c 626s | 25 | 5836330 | 5747098 | 277 51616 | 1 | 0 627.89/628.04 c 628s | 25 | 5854984 | 5765498 | 277 51746 | 1 | 0 629.89/630.05 c 630s | 25 | 5873935 | 5784198 | 277 51876 | 1 | 0 631.89/632.05 c 632s | 25 | 5893226 | 5803198 | 277 52009 | 1 | 0 633.89/634.05 c 634s | 25 | 5911691 | 5821398 | 277 52135 | 1 | 0 635.89/636.06 c 636s | 25 | 5931037 | 5840398 | 277 52267 | 1 | 0 637.90/638.07 c 638s | 25 | 5950001 | 5859098 | 277 52399 | 1 | 0 639.89/640.07 c 640s | 25 | 5969324 | 5878098 | 277 52534 | 1 | 0 641.89/642.08 c 642s | 25 | 5987769 | 5896298 | 277 52660 | 1 | 0 643.89/644.08 c 644s | 25 | 6007037 | 5915298 | 277 52792 | 1 | 0 645.89/646.09 c 646s | 25 | 6025477 | 5933398 | 277 52917 | 1 | 0 647.90/648.09 c 648s | 25 | 6043329 | 5951098 | 277 53039 | 1 | 0 649.89/650.10 c 650s | 25 | 6061710 | 5969298 | 277 53167 | 1 | 0 651.99/652.11 c 652s | 25 | 6080294 | 5987598 | 277 53294 | 1 | 0 653.99/654.11 c 654s | 25 | 6099309 | 6006298 | 277 53425 | 1 | 0 655.99/656.12 c 656s | 25 | 6117894 | 6024698 | 277 53554 | 1 | 0 657.99/658.12 c 658s | 25 | 6136414 | 6042998 | 277 53681 | 1 | 0 660.00/660.13 c 660s | 25 | 6154594 | 6060898 | 277 53804 | 1 | 0 661.99/662.13 c 662s | 25 | 6173282 | 6079198 | 277 53929 | 1 | 0 663.99/664.14 c 664s | 25 | 6191929 | 6097498 | 277 54056 | 1 | 0 665.99/666.14 c 666s | 25 | 6210634 | 6115898 | 277 54183 | 1 | 0 667.99/668.15 c 668s | 25 | 6229629 | 6134598 | 277 54311 | 1 | 0 669.99/670.15 c 670s | 25 | 6247746 | 6152398 | 277 54433 | 1 | 0 671.99/672.15 c 672s | 25 | 6266035 | 6170498 | 277 54557 | 1 | 0 673.98/674.15 c 674s | 25 | 6283809 | 6187998 | 277 54678 | 1 | 0 675.98/676.16 c 676s | 25 | 6302868 | 6206698 | 277 54807 | 1 | 0 677.98/678.16 c 678s | 25 | 6322164 | 6225598 | 277 54938 | 1 | 0 679.98/680.17 c 680s | 25 | 6340490 | 6243598 | 277 55062 | 1 | 0 681.99/682.17 c 682s | 25 | 6358330 | 6261198 | 277 55184 | 1 | 0 683.98/684.18 c 684s | 25 | 6376892 | 6279498 | 277 55310 | 1 | 0 685.98/686.18 c 686s | 25 | 6395195 | 6297498 | 277 55435 | 1 | 0 687.98/688.19 c 688s | 25 | 6413350 | 6315398 | 277 55560 | 1 | 0 689.98/690.20 c 690s | 25 | 6431572 | 6333398 | 277 55683 | 1 | 0 692.09/692.20 c 692s | 25 | 6449345 | 6350998 | 277 55806 | 1 | 0 694.10/694.21 c 694s | 25 | 6468265 | 6369598 | 277 55935 | 1 | 0 696.09/696.21 c 696s | 25 | 6487577 | 6388498 | 277 56067 | 1 | 0 698.08/698.22 c 698s | 25 | 6507008 | 6407598 | 277 56201 | 1 | 0 700.08/700.22 c 700s | 25 | 6526334 | 6426498 | 277 56333 | 1 | 0 702.08/702.23 c 702s | 25 | 6544931 | 6444798 | 277 56461 | 1 | 0 704.08/704.23 c 704s | 25 | 6563819 | 6463398 | 277 56594 | 1 | 0 706.09/706.24 c 706s | 25 | 6582663 | 6481898 | 277 56721 | 1 | 0 708.08/708.24 c 708s | 25 | 6601273 | 6500198 | 277 56849 | 1 | 0 710.08/710.25 c 710s | 25 | 6620404 | 6518998 | 277 56981 | 1 | 0 712.08/712.25 c 712s | 25 | 6639645 | 6537898 | 277 57114 | 1 | 0 714.07/714.26 c 714s | 25 | 6658646 | 6556598 | 277 57244 | 1 | 0 716.08/716.27 c 716s | 25 | 6677878 | 6575498 | 277 57376 | 1 | 0 718.07/718.27 c 718s | 25 | 6696943 | 6594198 | 277 57507 | 1 | 0 720.07/720.28 c 720s | 25 | 6715852 | 6612798 | 277 57638 | 1 | 0 722.07/722.28 c 722s | 25 | 6734411 | 6631098 | 277 57767 | 1 | 0 724.07/724.29 c 724s | 25 | 6753569 | 6649898 | 277 57895 | 1 | 0 726.17/726.30 c 726s | 25 | 6772398 | 6668398 | 277 58020 | 1 | 0 728.18/728.31 c 728s | 25 | 6790979 | 6686698 | 277 58145 | 1 | 0 730.17/730.32 c 730s | 25 | 6809777 | 6705198 | 277 58271 | 1 | 0 732.17/732.32 c 732s | 25 | 6828739 | 6723798 | 277 58398 | 1 | 0 734.17/734.33 c 734s | 25 | 6847520 | 6742198 | 277 58524 | 1 | 0 736.17/736.33 c 736s | 25 | 6865519 | 6759898 | 277 58644 | 1 | 0 738.17/738.33 c 738s | 25 | 6883785 | 6777798 | 277 58766 | 1 | 0 740.18/740.34 c 740s | 25 | 6901568 | 6795298 | 277 58886 | 1 | 0 742.17/742.34 c 742s | 25 | 6919304 | 6812798 | 277 59005 | 1 | 0 744.16/744.34 c 744s | 25 | 6937281 | 6830498 | 277 59127 | 1 | 0 746.16/746.34 c 746s | 25 | 6955516 | 6848398 | 277 59250 | 1 | 0 748.16/748.35 c 748s | 25 | 6973790 | 6866398 | 277 59374 | 1 | 0 750.17/750.36 c 750s | 25 | 6992520 | 6884798 | 277 59500 | 1 | 0 752.16/752.37 c 752s | 25 | 7010677 | 6902698 | 277 59623 | 1 | 0 754.16/754.37 c 754s | 25 | 7028809 | 6920498 | 277 59745 | 1 | 0 756.16/756.38 c 756s | 25 | 7047259 | 6938698 | 277 59870 | 1 | 0 758.15/758.38 c 758s | 25 | 7065361 | 6956498 | 277 59992 | 1 | 0 760.16/760.39 c 760s | 25 | 7083769 | 6974598 | 277 60116 | 1 | 0 762.17/762.40 c 762s | 25 | 7102682 | 6993098 | 277 60244 | 1 | 0 764.26/764.40 c 764s | 25 | 7121187 | 7011298 | 277 60370 | 1 | 0 766.26/766.42 c 766s | 25 | 7140021 | 7029798 | 277 60498 | 1 | 0 768.26/768.42 c 768s | 25 | 7158797 | 7048298 | 277 60625 | 1 | 0 770.26/770.43 c 770s | 25 | 7177969 | 7067098 | 277 60755 | 1 | 0 772.26/772.43 c 772s | 25 | 7195957 | 7084798 | 277 60877 | 1 | 0 774.26/774.44 c 774s | 25 | 7214414 | 7102898 | 277 61001 | 1 | 0 776.25/776.45 c 776s | 25 | 7232372 | 7120598 | 277 61124 | 1 | 0 778.25/778.45 c 778s | 25 | 7250257 | 7138298 | 277 61247 | 1 | 0 780.25/780.45 c 780s | 25 | 7268627 | 7156398 | 277 61372 | 1 | 0 782.25/782.46 c 782s | 25 | 7287283 | 7174698 | 277 61498 | 1 | 0 784.25/784.46 c 784s | 25 | 7305322 | 7192498 | 277 61622 | 1 | 0 786.24/786.46 c 786s | 25 | 7324026 | 7210798 | 277 61749 | 1 | 0 788.24/788.47 c 788s | 25 | 7342637 | 7229098 | 277 61876 | 1 | 0 790.24/790.47 c 790s | 25 | 7361480 | 7247598 | 277 62005 | 1 | 0 792.24/792.49 c 792s | 25 | 7379881 | 7265698 | 277 62130 | 1 | 0 794.24/794.49 c 794s | 25 | 7398080 | 7283598 | 277 62254 | 1 | 0 796.24/796.49 c 796s | 25 | 7416171 | 7301398 | 277 62377 | 1 | 0 798.34/798.50 c 798s | 25 | 7434174 | 7319098 | 277 62500 | 1 | 0 800.34/800.51 c 800s | 25 | 7452324 | 7336998 | 277 62625 | 1 | 0 802.34/802.51 c 802s | 25 | 7470324 | 7354698 | 277 62749 | 1 | 0 804.34/804.51 c 804s | 25 | 7488789 | 7372798 | 277 62876 | 1 | 0 806.34/806.52 c 806s | 25 | 7507018 | 7390698 | 277 63002 | 1 | 0 808.34/808.53 c 808s | 25 | 7524981 | 7408398 | 277 63125 | 1 | 0 810.34/810.54 c 810s | 25 | 7543684 | 7426698 | 277 63254 | 1 | 0 812.33/812.54 c 812s | 25 | 7561952 | 7444698 | 277 63379 | 1 | 0 814.33/814.55 c 814s | 25 | 7579794 | 7462398 | 277 63500 | 1 | 0 816.33/816.56 c 816s | 25 | 7598010 | 7480398 | 277 63625 | 1 | 0 818.34/818.57 c 818s | 25 | 7616414 | 7498498 | 277 63750 | 1 | 0 820.33/820.57 c 820s | 25 | 7634204 | 7516098 | 277 63871 | 1 | 0 822.33/822.58 c 822s | 25 | 7652025 | 7533698 | 277 63992 | 1 | 0 824.32/824.58 c 824s | 25 | 7669226 | 7550698 | 305 64103 | 1 | 0 826.32/826.59 c 826s | 25 | 7686650 | 7567898 | 305 64212 | 1 | 0 828.32/828.60 c 828s | 25 | 7703502 | 7584598 | 305 64317 | 1 | 0 829.92/830.12 c 830s | 26 | 7716761 | 7597752 | 305 64400 | 1 | 0 831.92/832.13 c 832s | 26 | 7734168 | 7614752 | 305 64504 | 1 | 0 833.93/834.14 c 834s | 26 | 7751475 | 7631752 | 305 64609 | 1 | 0 835.94/836.15 c 836s | 26 | 7769617 | 7649552 | 305 64720 | 1 | 0 837.92/838.15 c 838s | 26 | 7787476 | 7667052 | 305 64828 | 1 | 0 839.92/840.16 c 840s | 26 | 7804774 | 7684052 | 305 64934 | 1 | 0 841.92/842.16 c 842s | 26 | 7821434 | 7700552 | 305 65036 | 1 | 0 843.92/844.17 c 844s | 26 | 7839169 | 7718052 | 305 65145 | 1 | 0 845.92/846.17 c 846s | 26 | 7853861 | 7732552 | 305 65235 | 1 | 0 847.92/848.18 c 848s | 26 | 7871430 | 7749852 | 305 65343 | 1 | 0 849.91/850.19 c 850s | 26 | 7888642 | 7766852 | 305 65450 | 1 | 0 851.91/852.19 c 852s | 26 | 7905591 | 7783652 | 305 65554 | 1 | 0 854.01/854.20 c 854s | 26 | 7922836 | 7800652 | 305 65660 | 1 | 0 856.01/856.20 c 856s | 26 | 7940480 | 7818052 | 305 65769 | 1 | 0 858.01/858.21 c 858s | 26 | 7957723 | 7835052 | 305 65875 | 1 | 0 860.01/860.22 c 860s | 26 | 7974954 | 7852052 | 305 65981 | 1 | 0 862.01/862.22 c 862s | 26 | 7992285 | 7869152 | 305 66089 | 1 | 0 864.00/864.23 c 864s | 26 | 8009609 | 7886252 | 305 66197 | 1 | 0 866.00/866.23 c 866s | 26 | 8026948 | 7903352 | 305 66304 | 1 | 0 868.00/868.23 c 868s | 26 | 8044401 | 7920552 | 305 66413 | 1 | 0 870.01/870.24 c 870s | 26 | 8061749 | 7937652 | 305 66521 | 1 | 0 872.00/872.24 c 872s | 26 | 8078922 | 7954552 | 305 66628 | 1 | 0 874.01/874.25 c 874s | 26 | 8096525 | 7971852 | 305 66737 | 1 | 0 876.00/876.26 c 876s | 26 | 8113902 | 7988952 | 305 66845 | 1 | 0 878.00/878.27 c 878s | 26 | 8131991 | 8006752 | 305 66958 | 1 | 0 880.00/880.28 c 880s | 26 | 8149656 | 8024152 | 305 67068 | 1 | 0 882.01/882.28 c 882s | 26 | 8166884 | 8041152 | 305 67176 | 1 | 0 884.00/884.29 c 884s | 26 | 8184118 | 8058152 | 305 67285 | 1 | 0 886.09/886.30 c 886s | 26 | 8201478 | 8075252 | 305 67393 | 1 | 0 888.09/888.31 c 888s | 26 | 8218384 | 8091952 | 305 67496 | 1 | 0 890.09/890.32 c 890s | 26 | 8235286 | 8108652 | 305 67599 | 1 | 0 892.09/892.32 c 892s | 26 | 8252393 | 8125552 | 305 67704 | 1 | 0 894.10/894.33 c 894s | 26 | 8269905 | 8142752 | 305 67811 | 1 | 0 896.09/896.33 c 896s | 26 | 8287556 | 8160052 | 305 67918 | 1 | 0 898.09/898.34 c 898s | 26 | 8304969 | 8177252 | 305 68025 | 1 | 0 900.09/900.34 c 900s | 26 | 8322285 | 8194352 | 305 68132 | 1 | 0 902.09/902.35 c 902s | 26 | 8339772 | 8211552 | 305 68239 | 1 | 0 904.09/904.36 c 904s | 26 | 8356876 | 8228452 | 305 68343 | 1 | 0 906.08/906.37 c 906s | 26 | 8373901 | 8245152 | 305 68446 | 1 | 0 908.08/908.37 c 908s | 26 | 8391033 | 8262052 | 305 68551 | 1 | 0 910.09/910.38 c 910s | 26 | 8407731 | 8278552 | 305 68655 | 1 | 0 912.09/912.39 c 912s | 26 | 8424771 | 8295352 | 305 68759 | 1 | 0 914.19/914.40 c 914s | 26 | 8441774 | 8312052 | 305 68863 | 1 | 0 916.20/916.41 c 916s | 26 | 8459066 | 8329052 | 305 68969 | 1 | 0 918.18/918.41 c 918s | 26 | 8476409 | 8346152 | 305 69075 | 1 | 0 920.18/920.42 c 920s | 26 | 8494363 | 8363852 | 305 69186 | 1 | 0 922.18/922.43 c 922s | 26 | 8511021 | 8380352 | 305 69289 | 1 | 0 924.18/924.43 c 924s | 26 | 8527714 | 8396852 | 305 69392 | 1 | 0 926.18/926.44 c 926s | 26 | 8545006 | 8413852 | 305 69499 | 1 | 0 928.18/928.46 c 928s | 26 | 8562289 | 8430852 | 305 69605 | 1 | 0 930.18/930.46 c 930s | 26 | 8579482 | 8447752 | 305 69710 | 1 | 0 932.18/932.47 c 932s | 26 | 8597171 | 8465152 | 305 69819 | 1 | 0 934.17/934.47 c 934s | 26 | 8614573 | 8482352 | 305 69925 | 1 | 0 936.17/936.48 c 936s | 26 | 8631926 | 8499552 | 305 70032 | 1 | 0 938.18/938.48 c 938s | 26 | 8649314 | 8516752 | 305 70140 | 1 | 0 940.17/940.48 c 940s | 26 | 8666787 | 8533952 | 305 70248 | 1 | 0 942.17/942.49 c 942s | 26 | 8684483 | 8551352 | 305 70357 | 1 | 0 944.26/944.50 c 944s | 26 | 8701495 | 8568152 | 305 70462 | 1 | 0 946.26/946.51 c 946s | 26 | 8718797 | 8585252 | 305 70570 | 1 | 0 948.26/948.52 c 948s | 26 | 8737057 | 8603152 | 305 70681 | 1 | 0 950.27/950.53 c 950s | 26 | 8754745 | 8620552 | 305 70790 | 1 | 0 952.26/952.54 c 952s | 26 | 8772239 | 8637752 | 305 70897 | 1 | 0 954.26/954.55 c 954s | 26 | 8789786 | 8654952 | 305 71004 | 1 | 0 956.26/956.55 c 956s | 26 | 8807585 | 8672452 | 305 71114 | 1 | 0 958.26/958.56 c 958s | 26 | 8825081 | 8689652 | 305 71222 | 1 | 0 960.26/960.57 c 960s | 26 | 8842283 | 8706652 | 305 71329 | 1 | 0 962.27/962.58 c 962s | 26 | 8859611 | 8723752 | 305 71437 | 1 | 0 964.26/964.60 c 964s | 26 | 8876766 | 8740652 | 305 71544 | 1 | 0 966.26/966.60 c 966s | 26 | 8893803 | 8757352 | 305 71649 | 1 | 0 968.36/968.60 c 968s | 26 | 8911183 | 8774352 | 305 71754 | 1 | 0 970.36/970.61 c 970s | 26 | 8928211 | 8791152 | 305 71859 | 1 | 0 972.36/972.63 c 972s | 26 | 8945239 | 8807952 | 305 71964 | 1 | 0 974.36/974.63 c 974s | 26 | 8962158 | 8824652 | 305 72069 | 1 | 0 976.35/976.64 c 976s | 26 | 8979750 | 8841952 | 305 72177 | 1 | 0 978.35/978.65 c 978s | 26 | 8996829 | 8858852 | 305 72283 | 1 | 0 980.35/980.66 c 980s | 26 | 9013518 | 8875352 | 305 72387 | 1 | 0 982.35/982.67 c 982s | 26 | 9030414 | 8891952 | 305 72490 | 1 | 0 984.36/984.67 c 984s | 26 | 9047200 | 8908552 | 305 72594 | 1 | 0 986.35/986.68 c 986s | 26 | 9064261 | 8925452 | 305 72700 | 1 | 0 988.34/988.68 c 988s | 26 | 9080725 | 8941752 | 305 72803 | 1 | 0 990.34/990.68 c 990s | 26 | 9097408 | 8958252 | 305 72908 | 1 | 0 992.34/992.68 c 992s | 26 | 9113863 | 8974552 | 305 73009 | 1 | 0 994.34/994.69 c 994s | 26 | 9130532 | 8991052 | 305 73112 | 1 | 0 996.35/996.70 c 996s | 26 | 9147537 | 9007852 | 305 73217 | 1 | 0 998.44/998.70 c 998s | 26 | 9164418 | 9024552 | 305 73323 | 1 | 0 1000.44/1000.72 c 1000s | 26 | 9181213 | 9041152 | 305 73427 | 1 | 0 1002.44/1002.72 c 1002s | 26 | 9198305 | 9057952 | 305 73532 | 1 | 0 1004.43/1004.73 c 1004s | 26 | 9215525 | 9074852 | 305 73639 | 1 | 0 1006.43/1006.73 c 1006s | 26 | 9232131 | 9091252 | 305 73742 | 1 | 0 1008.44/1008.74 c 1008s | 26 | 9249201 | 9108052 | 305 73848 | 1 | 0 1010.44/1010.75 c 1010s | 26 | 9266274 | 9124852 | 305 73954 | 1 | 0 1012.44/1012.75 c 1012s | 26 | 9283352 | 9141652 | 305 74061 | 1 | 0 1014.43/1014.75 c 1014s | 26 | 9299997 | 9158052 | 305 74164 | 1 | 0 1016.43/1016.76 c 1016s | 26 | 9316754 | 9174452 | 305 74266 | 1 | 0 1018.44/1018.77 c 1018s | 26 | 9333271 | 9190652 | 305 74367 | 1 | 0 1020.43/1020.77 c 1020s | 26 | 9349835 | 9206952 | 305 74469 | 1 | 0 1022.43/1022.78 c 1022s | 26 | 9366630 | 9223552 | 305 74573 | 1 | 0 1024.42/1024.78 c 1024s | 26 | 9383377 | 9240052 | 305 74678 | 1 | 0 1026.42/1026.78 c 1026s | 26 | 9400552 | 9256952 | 305 74784 | 1 | 0 1028.42/1028.79 c 1028s | 26 | 9418284 | 9274452 | 305 74894 | 1 | 0 1030.43/1030.80 c 1030s | 26 | 9435475 | 9291352 | 305 75001 | 1 | 0 1032.52/1032.81 c 1032s | 26 | 9452315 | 9307952 | 305 75107 | 1 | 0 1034.52/1034.81 c 1034s | 26 | 9468946 | 9324352 | 305 75209 | 1 | 0 1036.52/1036.82 c 1036s | 26 | 9486443 | 9341552 | 305 75316 | 1 | 0 1038.52/1038.82 c 1038s | 26 | 9503896 | 9358752 | 305 75424 | 1 | 0 1040.52/1040.83 c 1040s | 26 | 9521472 | 9375952 | 305 75531 | 1 | 0 1042.53/1042.83 c 1042s | 26 | 9538429 | 9392652 | 305 75636 | 1 | 0 1044.52/1044.83 c 1044s | 26 | 9555723 | 9409652 | 305 75743 | 1 | 0 1046.52/1046.84 c 1046s | 26 | 9572785 | 9426452 | 305 75849 | 1 | 0 1048.51/1048.84 c 1048s | 26 | 9589645 | 9443052 | 305 75954 | 1 | 0 1050.51/1050.85 c 1050s | 26 | 9606953 | 9460052 | 305 76062 | 1 | 0 1052.52/1052.85 c 1052s | 26 | 9623437 | 9476352 | 305 76164 | 1 | 0 1054.51/1054.86 c 1054s | 26 | 9640830 | 9493452 | 305 76271 | 1 | 0 1056.51/1056.88 c 1056s | 26 | 9658250 | 9510552 | 305 76379 | 1 | 0 1058.51/1058.88 c 1058s | 26 | 9676137 | 9528152 | 305 76491 | 1 | 0 1060.51/1060.89 c 1060s | 26 | 9693645 | 9545452 | 305 76600 | 1 | 0 1062.50/1062.89 c 1062s | 26 | 9710953 | 9562552 | 305 76708 | 1 | 0 1064.51/1064.90 c 1064s | 26 | 9728129 | 9579552 | 305 76815 | 1 | 0 1066.60/1066.91 c 1066s | 26 | 9744969 | 9596252 | 305 76921 | 1 | 0 1068.60/1068.91 c 1068s | 26 | 9762538 | 9613552 | 305 77030 | 1 | 0 1070.60/1070.91 c 1070s | 26 | 9780410 | 9631152 | 305 77142 | 1 | 0 1072.61/1072.92 c 1072s | 26 | 9797837 | 9648352 | 305 77251 | 1 | 0 1074.60/1074.93 c 1074s | 26 | 9815490 | 9665752 | 305 77362 | 1 | 0 1076.61/1076.93 c 1076s | 26 | 9832316 | 9682352 | 305 77467 | 1 | 0 1078.60/1078.94 c 1078s | 26 | 9849784 | 9699452 | 305 77577 | 1 | 0 1080.60/1080.95 c 1080s | 26 | 9865400 | 9714852 | 305 77672 | 1 | 0 1082.60/1082.96 c 1082s | 26 | 9881508 | 9730752 | 305 77771 | 1 | 0 1084.59/1084.97 c 1084s | 26 | 9897931 | 9746952 | 305 77872 | 1 | 0 1086.60/1086.98 c 1086s | 26 | 9914411 | 9763252 | 305 77974 | 1 | 0 1088.59/1088.98 c 1088s | 26 | 9931208 | 9779752 | 305 78077 | 1 | 0 1090.59/1090.99 c 1090s | 26 | 9947625 | 9795952 | 305 78178 | 1 | 0 1092.59/1092.99 c 1092s | 26 | 9964412 | 9812452 | 305 78281 | 1 | 0 1094.59/1094.99 c 1094s | 26 | 9981423 | 9829152 | 305 78386 | 1 | 0 1096.69/1097.00 c 1096s | 26 | 9998686 | 9846052 | 305 78491 | 1 | 0 1098.70/1099.01 c 1098s | 26 | 10016115 | 9863152 | 305 78598 | 1 | 0 1100.68/1101.02 c 1101s | 26 | 10033308 | 9879952 | 305 78704 | 1 | 0 1102.68/1103.02 c 1103s | 26 | 10050370 | 9896752 | 305 78810 | 1 | 0 1104.68/1105.03 c 1105s | 26 | 10067396 | 9913652 | 305 78916 | 1 | 0 1106.68/1107.04 c 1107s | 26 | 10085460 | 9931552 | 305 79028 | 1 | 0 1108.68/1109.04 c 1109s | 26 | 10102726 | 9948652 | 305 79134 | 1 | 0 1110.69/1111.05 c 1111s | 26 | 10120387 | 9966152 | 305 79243 | 1 | 0 1112.68/1113.06 c 1113s | 26 | 10137598 | 9983252 | 305 79351 | 1 | 0 1114.68/1115.07 c 1115s | 26 | 10155528 | 10001052 | 305 79462 | 1 | 0 1116.68/1117.07 c 1117s | 26 | 10172959 | 10018352 | 305 79570 | 1 | 0 1118.68/1119.07 c 1119s | 26 | 10190702 | 10035952 | 305 79681 | 1 | 0 1120.69/1121.08 c 1121s | 26 | 10207392 | 10052452 | 305 79785 | 1 | 0 1122.67/1123.09 c 1123s | 26 | 10224054 | 10068952 | 305 79889 | 1 | 0 1124.77/1125.10 c 1125s | 26 | 10241147 | 10085852 | 305 79995 | 1 | 0 1126.77/1127.11 c 1127s | 26 | 10257614 | 10102152 | 305 80099 | 1 | 0 1128.77/1129.12 c 1129s | 26 | 10275238 | 10119452 | 305 80208 | 1 | 0 1130.77/1131.12 c 1131s | 26 | 10292464 | 10136452 | 305 80315 | 1 | 0 1132.78/1133.12 c 1133s | 26 | 10308814 | 10152652 | 305 80415 | 1 | 0 1134.77/1135.13 c 1135s | 26 | 10325372 | 10168952 | 305 80517 | 1 | 0 1136.77/1137.13 c 1137s | 26 | 10342147 | 10185552 | 305 80621 | 1 | 0 1138.77/1139.14 c 1139s | 26 | 10359403 | 10202552 | 305 80728 | 1 | 0 1140.77/1141.14 c 1141s | 26 | 10376023 | 10218852 | 305 80830 | 1 | 0 1142.77/1143.15 c 1143s | 26 | 10392301 | 10234952 | 305 80930 | 1 | 0 1144.77/1145.15 c 1145s | 26 | 10409290 | 10251652 | 305 81035 | 1 | 0 1146.76/1147.16 c 1147s | 26 | 10425845 | 10267952 | 305 81137 | 1 | 0 1148.76/1149.16 c 1149s | 26 | 10441978 | 10283852 | 305 81237 | 1 | 0 1150.76/1151.17 c 1151s | 26 | 10458332 | 10300052 | 305 81339 | 1 | 0 1152.76/1153.17 c 1153s | 26 | 10474881 | 10316352 | 305 81441 | 1 | 0 1154.77/1155.18 c 1155s | 26 | 10491161 | 10332352 | 305 81543 | 1 | 0 1156.76/1157.19 c 1157s | 26 | 10507638 | 10348552 | 305 81645 | 1 | 0 1158.76/1159.19 c 1159s | 26 | 10524327 | 10365052 | 305 81749 | 1 | 0 1160.76/1161.19 c 1161s | 26 | 10541048 | 10381552 | 305 81855 | 1 | 0 1162.85/1163.20 c 1163s | 26 | 10557729 | 10397952 | 305 81957 | 1 | 0 1164.86/1165.20 c 1165s | 26 | 10573704 | 10413752 | 305 82056 | 1 | 0 1166.77/1167.20 c 1167s | 26 | 10590177 | 10429952 | 305 82156 | 1 | 0 1168.86/1169.21 c 1169s | 26 | 10607243 | 10446752 | 305 82262 | 1 | 0 1170.85/1171.22 c 1171s | 26 | 10623867 | 10463152 | 305 82365 | 1 | 0 1172.85/1173.23 c 1173s | 26 | 10640501 | 10479552 | 305 82468 | 1 | 0 1174.85/1175.23 c 1175s | 26 | 10657033 | 10495852 | 305 82571 | 1 | 0 1176.85/1177.24 c 1177s | 26 | 10673211 | 10511852 | 305 82671 | 1 | 0 1178.85/1179.25 c 1179s | 26 | 10689868 | 10528352 | 305 82775 | 1 | 0 1180.84/1181.25 c 1181s | 26 | 10706637 | 10544952 | 305 82880 | 1 | 0 1182.84/1183.26 c 1183s | 26 | 10723397 | 10561452 | 305 82984 | 1 | 0 1184.84/1185.27 c 1185s | 26 | 10740491 | 10578252 | 305 83090 | 1 | 0 1186.84/1187.28 c 1187s | 26 | 10757372 | 10594852 | 305 83195 | 1 | 0 1188.85/1189.29 c 1189s | 26 | 10774399 | 10611652 | 305 83301 | 1 | 0 1190.84/1191.30 c 1191s | 26 | 10791320 | 10628352 | 305 83407 | 1 | 0 1192.95/1193.30 c 1193s | 26 | 10808306 | 10645052 | 305 83513 | 1 | 0 1194.94/1195.30 c 1195s | 26 | 10824847 | 10661352 | 305 83617 | 1 | 0 1196.94/1197.31 c 1197s | 26 | 10841494 | 10677752 | 305 83722 | 1 | 0 1198.94/1199.31 c 1199s | 26 | 10858206 | 10694252 | 305 83825 | 1 | 0 1200.95/1201.32 c 1201s | 26 | 10874608 | 10710452 | 305 83926 | 1 | 0 1202.94/1203.33 c 1203s | 26 | 10891225 | 10726852 | 305 84028 | 1 | 0 1204.93/1205.33 c 1205s | 26 | 10907842 | 10743152 | 305 84130 | 1 | 0 1206.93/1207.34 c 1207s | 26 | 10924257 | 10759352 | 305 84232 | 1 | 0 1208.93/1209.35 c 1209s | 26 | 10940613 | 10775452 | 305 84333 | 1 | 0 1210.93/1211.36 c 1211s | 26 | 10957322 | 10791852 | 305 84435 | 1 | 0 1212.94/1213.36 c 1213s | 26 | 10974280 | 10808552 | 305 84541 | 1 | 0 1214.93/1215.37 c 1215s | 26 | 10990865 | 10824952 | 305 84644 | 1 | 0 1216.92/1217.38 c 1217s | 26 | 11007523 | 10841352 | 305 84747 | 1 | 0 1218.92/1219.39 c 1219s | 26 | 11023844 | 10857452 | 305 84849 | 1 | 0 1220.92/1221.39 c 1221s | 26 | 11040274 | 10873652 | 305 84952 | 1 | 0 1222.93/1223.39 c 1223s | 26 | 11056624 | 10889752 | 305 85052 | 1 | 0 1224.92/1225.40 c 1225s | 26 | 11073232 | 10906052 | 305 85155 | 1 | 0 1227.02/1227.41 c 1227s | 26 | 11090085 | 10922652 | 305 85260 | 1 | 0 1229.03/1229.41 c 1229s | 26 | 11106840 | 10939152 | 305 85363 | 1 | 0 1231.02/1231.42 c 1231s | 26 | 11123154 | 10955252 | 305 85464 | 1 | 0 1233.02/1233.42 c 1233s | 26 | 11139306 | 10971152 | 305 85565 | 1 | 0 1235.03/1235.43 c 1235s | 26 | 11155400 | 10987052 | 305 85666 | 1 | 0 1237.02/1237.43 c 1237s | 26 | 11171613 | 11003052 | 305 85767 | 1 | 0 1239.02/1239.43 c 1239s | 26 | 11188401 | 11019552 | 305 85872 | 1 | 0 1241.02/1241.44 c 1241s | 26 | 11205001 | 11035952 | 305 85976 | 1 | 0 1243.02/1243.45 c 1243s | 26 | 11221634 | 11052352 | 305 86080 | 1 | 0 1245.01/1245.45 c 1245s | 26 | 11238614 | 11069052 | 305 86187 | 1 | 0 1247.02/1247.46 c 1247s | 26 | 11255221 | 11085452 | 305 86291 | 1 | 0 1249.01/1249.46 c 1249s | 26 | 11271752 | 11101752 | 305 86394 | 1 | 0 1251.01/1251.47 c 1251s | 26 | 11288395 | 11118152 | 305 86499 | 1 | 0 1253.01/1253.48 c 1253s | 26 | 11305185 | 11134652 | 305 86603 | 1 | 0 1255.00/1255.48 c 1255s | 26 | 11321626 | 11150852 | 305 86706 | 1 | 0 1257.01/1257.49 c 1257s | 26 | 11338217 | 11167152 | 305 86811 | 1 | 0 1259.00/1259.49 c 1259s | 26 | 11354648 | 11183352 | 305 86914 | 1 | 0 1261.10/1261.50 c 1261s | 26 | 11371148 | 11199652 | 305 87018 | 1 | 0 1263.10/1263.51 c 1263s | 26 | 11387862 | 11216152 | 305 87124 | 1 | 0 1265.10/1265.52 c 1265s | 26 | 11404524 | 11232552 | 305 87229 | 1 | 0 1267.10/1267.52 c 1267s | 26 | 11420917 | 11248652 | 305 87328 | 1 | 0 1269.12/1269.52 c 1269s | 26 | 11437135 | 11264652 | 305 87426 | 1 | 0 1271.10/1271.53 c 1271s | 26 | 11453672 | 11280852 | 305 87526 | 1 | 0 1273.10/1273.54 c 1273s | 26 | 11469966 | 11296952 | 305 87626 | 1 | 0 1275.10/1275.55 c 1275s | 26 | 11486105 | 11312852 | 305 87725 | 1 | 0 1277.10/1277.56 c 1277s | 26 | 11502090 | 11328652 | 336 87815 | 1 | 0 1279.10/1279.56 c 1279s | 26 | 11517905 | 11344252 | 336 87904 | 1 | 0 1281.10/1281.57 c 1281s | 26 | 11534206 | 11360352 | 336 87995 | 1 | 0 1283.09/1283.57 c 1283s | 26 | 11550185 | 11376152 | 336 88085 | 1 | 0 1285.09/1285.57 c 1285s | 26 | 11566224 | 11392052 | 336 88175 | 1 | 0 1285.69/1286.15 c 1286s | 27 | 11570967 | 11396733 | 336 88202 | 1 | 0 1287.70/1288.16 c 1288s | 27 | 11586839 | 11412333 | 336 88289 | 1 | 0 1289.69/1290.16 c 1290s | 27 | 11602308 | 11427633 | 336 88374 | 1 | 0 1291.69/1292.17 c 1292s | 27 | 11618158 | 11443233 | 336 88461 | 1 | 0 1293.69/1294.18 c 1294s | 27 | 11634092 | 11458833 | 336 88549 | 1 | 0 1295.68/1296.18 c 1296s | 27 | 11650167 | 11474633 | 336 88638 | 1 | 0 1297.69/1298.19 c 1298s | 27 | 11665726 | 11489933 | 336 88724 | 1 | 0 1299.68/1300.19 c 1300s | 27 | 11681195 | 11505133 | 336 88809 | 1 | 0 1301.78/1302.20 c 1302s | 27 | 11696851 | 11520533 | 336 88896 | 1 | 0 1303.79/1304.20 c 1304s | 27 | 11712903 | 11536233 | 336 88986 | 1 | 0 1305.78/1306.20 c 1306s | 27 | 11728038 | 11551233 | 336 89069 | 1 | 0 1307.78/1308.21 c 1308s | 27 | 11743084 | 11566133 | 336 89153 | 1 | 0 1309.79/1310.22 c 1310s | 27 | 11758472 | 11581333 | 336 89238 | 1 | 0 1311.78/1312.23 c 1312s | 27 | 11773895 | 11596533 | 336 89324 | 1 | 0 1313.78/1314.23 c 1314s | 27 | 11789554 | 11611933 | 336 89411 | 1 | 0 1315.78/1316.25 c 1316s | 27 | 11805352 | 11627433 | 336 89499 | 1 | 0 1317.78/1318.25 c 1318s | 27 | 11820446 | 11642333 | 336 89584 | 1 | 0 1319.78/1320.26 c 1320s | 27 | 11835115 | 11656833 | 336 89665 | 1 | 0 1321.78/1322.26 c 1322s | 27 | 11850104 | 11671633 | 336 89749 | 1 | 0 1323.77/1324.27 c 1324s | 27 | 11864968 | 11686333 | 336 89831 | 1 | 0 1325.77/1326.28 c 1326s | 27 | 11879910 | 11701133 | 336 89915 | 1 | 0 1327.77/1328.29 c 1328s | 27 | 11894637 | 11715733 | 336 89997 | 1 | 0 1329.87/1330.31 c 1330s | 27 | 11909175 | 11730133 | 336 90079 | 1 | 0 1331.87/1332.32 c 1332s | 27 | 11923784 | 11744533 | 336 90160 | 1 | 0 1333.88/1334.33 c 1334s | 27 | 11938618 | 11759133 | 336 90242 | 1 | 0 1335.86/1336.34 c 1336s | 27 | 11953715 | 11774133 | 336 90327 | 1 | 0 1337.86/1338.35 c 1338s | 27 | 11969196 | 11789433 | 336 90413 | 1 | 0 1339.86/1340.35 c 1340s | 27 | 11984252 | 11804333 | 336 90498 | 1 | 0 1341.86/1342.36 c 1342s | 27 | 11999558 | 11819433 | 336 90584 | 1 | 0 1343.87/1344.37 c 1344s | 27 | 12014910 | 11834633 | 336 90669 | 1 | 0 1345.86/1346.37 c 1346s | 27 | 12030290 | 11849733 | 336 90755 | 1 | 0 1347.86/1348.37 c 1348s | 27 | 12045692 | 11864933 | 336 90841 | 1 | 0 1349.86/1350.38 c 1350s | 27 | 12061257 | 11880333 | 336 90930 | 1 | 0 1351.86/1352.39 c 1352s | 27 | 12076470 | 11895333 | 336 91015 | 1 | 0 1353.86/1354.39 c 1354s | 27 | 12092350 | 11910933 | 336 91104 | 1 | 0 1355.87/1356.40 c 1356s | 27 | 12107441 | 11925833 | 336 91189 | 1 | 0 1357.96/1358.41 c 1358s | 27 | 12122777 | 11940933 | 336 91274 | 1 | 0 1359.96/1360.41 c 1360s | 27 | 12138076 | 11956033 | 336 91359 | 1 | 0 1361.96/1362.42 c 1362s | 27 | 12153705 | 11971433 | 336 91446 | 1 | 0 1363.96/1364.43 c 1364s | 27 | 12169117 | 11986633 | 336 91533 | 1 | 0 1365.95/1366.44 c 1366s | 27 | 12184228 | 12001533 | 336 91617 | 1 | 0 1367.96/1368.45 c 1368s | 27 | 12199661 | 12016733 | 336 91704 | 1 | 0 1369.95/1370.46 c 1370s | 27 | 12215176 | 12032033 | 336 91790 | 1 | 0 1371.95/1372.46 c 1372s | 27 | 12230685 | 12047333 | 336 91877 | 1 | 0 1373.95/1374.47 c 1374s | 27 | 12246313 | 12062633 | 336 91964 | 1 | 0 1375.96/1376.47 c 1376s | 27 | 12261742 | 12077833 | 336 92051 | 1 | 0 1377.97/1378.48 c 1378s | 27 | 12277164 | 12093033 | 336 92137 | 1 | 0 1379.96/1380.48 c 1380s | 27 | 12292907 | 12108533 | 336 92226 | 1 | 0 1381.96/1382.48 c 1382s | 27 | 12308596 | 12124033 | 336 92315 | 1 | 0 1383.96/1384.49 c 1384s | 27 | 12324631 | 12139833 | 336 92406 | 1 | 0 1386.06/1386.50 c 1386s | 27 | 12340010 | 12155033 | 336 92493 | 1 | 0 1388.05/1388.51 c 1388s | 27 | 12355544 | 12170433 | 336 92580 | 1 | 0 1390.06/1390.51 c 1390s | 27 | 12371358 | 12186033 | 336 92669 | 1 | 0 1392.05/1392.52 c 1392s | 27 | 12387142 | 12201633 | 336 92759 | 1 | 0 1394.05/1394.53 c 1394s | 27 | 12402864 | 12217133 | 336 92848 | 1 | 0 1396.05/1396.54 c 1396s | 27 | 12418574 | 12232633 | 336 92937 | 1 | 0 1398.05/1398.54 c 1398s | 27 | 12434308 | 12248133 | 336 93026 | 1 | 0 1400.05/1400.55 c 1400s | 27 | 12450226 | 12263833 | 336 93116 | 1 | 0 1402.06/1402.55 c 1402s | 27 | 12466321 | 12279733 | 336 93207 | 1 | 0 1404.05/1404.56 c 1404s | 27 | 12482271 | 12295433 | 336 93298 | 1 | 0 1406.05/1406.56 c 1406s | 27 | 12498235 | 12311133 | 336 93389 | 1 | 0 1408.05/1408.57 c 1408s | 27 | 12514409 | 12327033 | 336 93478 | 1 | 0 1410.05/1410.57 c 1410s | 27 | 12530388 | 12342733 | 336 93566 | 1 | 0 1412.06/1412.58 c 1412s | 27 | 12546256 | 12358333 | 336 93653 | 1 | 0 1414.05/1414.59 c 1414s | 27 | 12561549 | 12373433 | 336 93738 | 1 | 0 1416.05/1416.59 c 1416s | 27 | 12577127 | 12388833 | 336 93824 | 1 | 0 1418.15/1418.60 c 1418s | 27 | 12592497 | 12404033 | 336 93910 | 1 | 0 1420.15/1420.61 c 1420s | 27 | 12607928 | 12419333 | 336 93996 | 1 | 0 1422.14/1422.62 c 1422s | 27 | 12623316 | 12434533 | 336 94081 | 1 | 0 1424.15/1424.63 c 1424s | 27 | 12638788 | 12449733 | 336 94166 | 1 | 0 1426.14/1426.64 c 1426s | 27 | 12654207 | 12464933 | 336 94252 | 1 | 0 1428.14/1428.64 c 1428s | 27 | 12669549 | 12480133 | 336 94337 | 1 | 0 1430.14/1430.65 c 1430s | 27 | 12685185 | 12495533 | 336 94424 | 1 | 0 1432.15/1432.66 c 1432s | 27 | 12700612 | 12510733 | 336 94510 | 1 | 0 1434.15/1434.66 c 1434s | 27 | 12715906 | 12525833 | 336 94595 | 1 | 0 1436.16/1436.67 c 1436s | 27 | 12731520 | 12541233 | 336 94682 | 1 | 0 1438.15/1438.67 c 1438s | 27 | 12747344 | 12556833 | 336 94770 | 1 | 0 1440.15/1440.69 c 1440s | 27 | 12763220 | 12572533 | 336 94859 | 1 | 0 1442.14/1442.69 c 1442s | 27 | 12779055 | 12588133 | 336 94948 | 1 | 0 1444.14/1444.69 c 1444s | 27 | 12794295 | 12603133 | 336 95033 | 1 | 0 1446.24/1446.70 c 1446s | 27 | 12809595 | 12618233 | 336 95118 | 1 | 0 1448.25/1448.71 c 1448s | 27 | 12824573 | 12633033 | 336 95202 | 1 | 0 1450.24/1450.72 c 1450s | 27 | 12839840 | 12648133 | 336 95287 | 1 | 0 1452.24/1452.73 c 1452s | 27 | 12854934 | 12663033 | 336 95372 | 1 | 0 1454.24/1454.73 c 1454s | 27 | 12870318 | 12678233 | 336 95458 | 1 | 0 1456.24/1456.74 c 1456s | 27 | 12886145 | 12693833 | 336 95547 | 1 | 0 1458.25/1458.74 c 1458s | 27 | 12901811 | 12709233 | 336 95635 | 1 | 0 1460.24/1460.75 c 1460s | 27 | 12917788 | 12724933 | 336 95725 | 1 | 0 1462.24/1462.75 c 1462s | 27 | 12932982 | 12739933 | 336 95810 | 1 | 0 1464.24/1464.76 c 1464s | 27 | 12948548 | 12755233 | 336 95896 | 1 | 0 1466.24/1466.76 c 1466s | 27 | 12963965 | 12770433 | 336 95983 | 1 | 0 1468.24/1468.77 c 1468s | 27 | 12979367 | 12785633 | 336 96070 | 1 | 0 1470.24/1470.78 c 1470s | 27 | 12994926 | 12800933 | 336 96158 | 1 | 0 1472.24/1472.78 c 1472s | 27 | 13009601 | 12815433 | 336 96240 | 1 | 0 1474.23/1474.78 c 1474s | 27 | 13024611 | 12830233 | 336 96324 | 1 | 0 1476.24/1476.79 c 1476s | 27 | 13039693 | 12845133 | 336 96409 | 1 | 0 1478.34/1478.80 c 1478s | 27 | 13054924 | 12860133 | 336 96496 | 1 | 0 1480.34/1480.81 c 1480s | 27 | 13070144 | 12875133 | 336 96582 | 1 | 0 1482.35/1482.82 c 1482s | 27 | 13085413 | 12890233 | 336 96669 | 1 | 0 1484.34/1484.82 c 1484s | 27 | 13099908 | 12904533 | 336 96749 | 1 | 0 1486.34/1486.83 c 1486s | 27 | 13115068 | 12919433 | 336 96834 | 1 | 0 1488.34/1488.84 c 1488s | 27 | 13130258 | 12934433 | 336 96919 | 1 | 0 1490.34/1490.85 c 1490s | 27 | 13145321 | 12949333 | 336 97003 | 1 | 0 1492.35/1492.85 c 1492s | 27 | 13160657 | 12964433 | 336 97089 | 1 | 0 1494.33/1494.86 c 1494s | 27 | 13175810 | 12979333 | 336 97174 | 1 | 0 1496.33/1496.87 c 1496s | 27 | 13191215 | 12994433 | 336 97261 | 1 | 0 1498.33/1498.88 c 1498s | 27 | 13206864 | 13009833 | 336 97349 | 1 | 0 1500.33/1500.89 c 1500s | 27 | 13222209 | 13024933 | 336 97435 | 1 | 0 1502.33/1502.89 c 1502s | 27 | 13237593 | 13040133 | 336 97522 | 1 | 0 1504.34/1504.89 c 1504s | 27 | 13253126 | 13055433 | 336 97608 | 1 | 0 1506.43/1506.90 c 1506s | 27 | 13269067 | 13071133 | 336 97698 | 1 | 0 1508.43/1508.91 c 1508s | 27 | 13284566 | 13086433 | 336 97785 | 1 | 0 1510.43/1510.92 c 1510s | 27 | 13300008 | 13101633 | 336 97872 | 1 | 0 1512.43/1512.92 c 1512s | 27 | 13315124 | 13116533 | 336 97957 | 1 | 0 1514.43/1514.92 c 1514s | 27 | 13330077 | 13131233 | 336 98042 | 1 | 0 1516.44/1516.93 c 1516s | 27 | 13345165 | 13146133 | 336 98127 | 1 | 0 1518.43/1518.94 c 1518s | 27 | 13361011 | 13161733 | 336 98217 | 1 | 0 1520.43/1520.95 c 1520s | 27 | 13376408 | 13176933 | 336 98305 | 1 | 0 1522.43/1522.95 c 1522s | 27 | 13391735 | 13192033 | 336 98390 | 1 | 0 1524.44/1524.97 c 1524s | 27 | 13406779 | 13206833 | 336 98474 | 1 | 0 1526.45/1526.97 c 1526s | 27 | 13421437 | 13221333 | 336 98556 | 1 | 0 1528.44/1528.98 c 1528s | 27 | 13436355 | 13236033 | 336 98640 | 1 | 0 1530.44/1530.98 c 1530s | 27 | 13450978 | 13250433 | 336 98722 | 1 | 0 1532.44/1532.98 c 1532s | 27 | 13465594 | 13264833 | 336 98804 | 1 | 0 1534.43/1534.99 c 1534s | 27 | 13480565 | 13279633 | 336 98890 | 1 | 0 1536.43/1536.99 c 1536s | 27 | 13495591 | 13294533 | 336 98974 | 1 | 0 1538.44/1539.00 c 1538s | 27 | 13511042 | 13309833 | 336 99062 | 1 | 0 1540.53/1541.01 c 1540s | 27 | 13526527 | 13325133 | 336 99149 | 1 | 0 1542.53/1543.02 c 1543s | 27 | 13542224 | 13340633 | 336 99238 | 1 | 0 1544.53/1545.03 c 1545s | 27 | 13558020 | 13356233 | 336 99327 | 1 | 0 1546.53/1547.04 c 1547s | 27 | 13573490 | 13371533 | 336 99415 | 1 | 0 1548.53/1549.05 c 1549s | 27 | 13589290 | 13387133 | 336 99505 | 1 | 0 1550.54/1551.05 c 1551s | 27 | 13605095 | 13402733 | 336 99595 | 1 | 0 1552.53/1553.05 c 1553s | 27 | 13620932 | 13418333 | 336 99685 | 1 | 0 1554.53/1555.05 c 1555s | 27 | 13636563 | 13433733 | 336 99774 | 1 | 0 1556.53/1557.05 c 1557s | 27 | 13652631 | 13449533 | 336 99866 | 1 | 0 1558.53/1559.06 c 1559s | 27 | 13668375 | 13465033 | 336 99955 | 1 | 0 1560.54/1561.08 c 1561s | 27 | 13683910 | 13480333 | 336 100043 | 1 | 0 1562.53/1563.08 c 1563s | 27 | 13699655 | 13495833 | 336 100132 | 1 | 0 1564.53/1565.09 c 1565s | 27 | 13715606 | 13511533 | 336 100223 | 1 | 0 1566.62/1567.10 c 1567s | 27 | 13731280 | 13526933 | 336 100311 | 1 | 0 1568.62/1569.11 c 1569s | 27 | 13746971 | 13542433 | 336 100401 | 1 | 0 1570.62/1571.11 c 1571s | 27 | 13762562 | 13557833 | 336 100490 | 1 | 0 1572.64/1573.12 c 1573s | 27 | 13778275 | 13573333 | 336 100579 | 1 | 0 1574.62/1575.13 c 1575s | 27 | 13794266 | 13589133 | 336 100670 | 1 | 0 1576.62/1577.14 c 1577s | 27 | 13810333 | 13605033 | 336 100763 | 1 | 0 1578.62/1579.14 c 1579s | 27 | 13826201 | 13620733 | 336 100855 | 1 | 0 1580.62/1581.15 c 1581s | 27 | 13841903 | 13636233 | 336 100945 | 1 | 0 1582.62/1583.16 c 1583s | 27 | 13857810 | 13651933 | 336 101036 | 1 | 0 1584.63/1585.16 c 1585s | 27 | 13873528 | 13667433 | 336 101126 | 1 | 0 1586.62/1587.17 c 1587s | 27 | 13889264 | 13682933 | 336 101216 | 1 | 0 1588.62/1589.17 c 1589s | 27 | 13904875 | 13698333 | 336 101305 | 1 | 0 1590.62/1591.18 c 1591s | 27 | 13920821 | 13714033 | 336 101396 | 1 | 0 1592.62/1593.18 c 1593s | 27 | 13936644 | 13729633 | 336 101487 | 1 | 0 1594.63/1595.19 c 1595s | 27 | 13951624 | 13744433 | 336 101572 | 1 | 0 1596.72/1597.21 c 1597s | 27 | 13966710 | 13759333 | 336 101656 | 1 | 0 1598.72/1599.21 c 1599s | 27 | 13981968 | 13774433 | 336 101743 | 1 | 0 1600.72/1601.21 c 1601s | 27 | 13997124 | 13789433 | 336 101828 | 1 | 0 1602.72/1603.22 c 1603s | 27 | 14012293 | 13804433 | 336 101914 | 1 | 0 1604.72/1605.24 c 1605s | 27 | 14027803 | 13819733 | 336 102001 | 1 | 0 1606.73/1607.24 c 1607s | 27 | 14043528 | 13835233 | 336 102089 | 1 | 0 1608.72/1609.25 c 1609s | 27 | 14059159 | 13850633 | 336 102177 | 1 | 0 1610.72/1611.26 c 1611s | 27 | 14074858 | 13866133 | 336 102266 | 1 | 0 1612.72/1613.27 c 1613s | 27 | 14090531 | 13881633 | 336 102354 | 1 | 0 1614.72/1615.28 c 1615s | 27 | 14106138 | 13897133 | 336 102442 | 1 | 0 1616.72/1617.28 c 1617s | 27 | 14121794 | 13912633 | 336 102531 | 1 | 0 1618.72/1619.28 c 1619s | 27 | 14137203 | 13927933 | 336 102618 | 1 | 0 1620.71/1621.29 c 1621s | 27 | 14152535 | 13943133 | 336 102706 | 1 | 0 1622.81/1623.30 c 1623s | 27 | 14167785 | 13958233 | 336 102792 | 1 | 0 1624.81/1625.30 c 1625s | 27 | 14183324 | 13973633 | 336 102880 | 1 | 0 1626.81/1627.31 c 1627s | 27 | 14199183 | 13989333 | 336 102971 | 1 | 0 1628.82/1629.31 c 1629s | 27 | 14214586 | 14004533 | 336 103058 | 1 | 0 1630.83/1631.32 c 1631s | 27 | 14230247 | 14020033 | 336 103146 | 1 | 0 1632.82/1633.33 c 1633s | 27 | 14245226 | 14034833 | 336 103231 | 1 | 0 1634.82/1635.33 c 1635s | 27 | 14260303 | 14049733 | 336 103317 | 1 | 0 1636.82/1637.34 c 1637s | 27 | 14275915 | 14065133 | 336 103407 | 1 | 0 1638.82/1639.34 c 1639s | 27 | 14290664 | 14079733 | 336 103491 | 1 | 0 1640.83/1641.34 c 1641s | 27 | 14306078 | 14094933 | 336 103579 | 1 | 0 1642.82/1643.35 c 1643s | 27 | 14321902 | 14110533 | 336 103670 | 1 | 0 1644.82/1645.35 c 1645s | 27 | 14337010 | 14125433 | 336 103754 | 1 | 0 1646.81/1647.35 c 1647s | 27 | 14351763 | 14140033 | 336 103836 | 1 | 0 1648.81/1649.36 c 1649s | 27 | 14366918 | 14155033 | 336 103921 | 1 | 0 1650.81/1651.36 c 1651s | 27 | 14381976 | 14169933 | 336 104006 | 1 | 0 1652.82/1653.37 c 1653s | 27 | 14397441 | 14185233 | 336 104093 | 1 | 0 1654.81/1655.38 c 1655s | 27 | 14412830 | 14200433 | 336 104180 | 1 | 0 1656.81/1657.38 c 1657s | 27 | 14428034 | 14215433 | 336 104266 | 1 | 0 1658.81/1659.39 c 1659s | 27 | 14443357 | 14230533 | 336 104352 | 1 | 0 1660.91/1661.40 c 1661s | 27 | 14458726 | 14245733 | 336 104439 | 1 | 0 1662.91/1663.40 c 1663s | 27 | 14474672 | 14261433 | 336 104530 | 1 | 0 1664.92/1665.41 c 1665s | 27 | 14490535 | 14277033 | 336 104621 | 1 | 0 1666.91/1667.42 c 1667s | 27 | 14506443 | 14292733 | 336 104712 | 1 | 0 1668.91/1669.43 c 1669s | 27 | 14521939 | 14308033 | 336 104800 | 1 | 0 1670.91/1671.44 c 1671s | 27 | 14536829 | 14322733 | 336 104883 | 1 | 0 1672.91/1673.44 c 1673s | 27 | 14552123 | 14337833 | 336 104969 | 1 | 0 1674.92/1675.45 c 1675s | 27 | 14567591 | 14353033 | 336 105055 | 1 | 0 1676.90/1677.46 c 1677s | 27 | 14583199 | 14368433 | 336 105143 | 1 | 0 1678.91/1679.47 c 1679s | 27 | 14598555 | 14383533 | 336 105230 | 1 | 0 1680.91/1681.48 c 1681s | 27 | 14614230 | 14398933 | 336 105318 | 1 | 0 1682.91/1683.48 c 1683s | 27 | 14629366 | 14413833 | 336 105404 | 1 | 0 1684.91/1685.48 c 1685s | 27 | 14645244 | 14429433 | 336 105494 | 1 | 0 1686.92/1687.49 c 1687s | 27 | 14660387 | 14444333 | 336 105578 | 1 | 0 1689.01/1689.50 c 1689s | 27 | 14675790 | 14459533 | 336 105666 | 1 | 0 1691.01/1691.50 c 1691s | 27 | 14690666 | 14474233 | 336 105750 | 1 | 0 1693.01/1693.51 c 1693s | 27 | 14705942 | 14489333 | 336 105837 | 1 | 0 1695.01/1695.52 c 1695s | 27 | 14721402 | 14504633 | 336 105926 | 1 | 0 1697.01/1697.53 c 1697s | 27 | 14737267 | 14520233 | 336 106017 | 1 | 0 1699.01/1699.54 c 1699s | 27 | 14752373 | 14535133 | 336 106103 | 1 | 0 1701.01/1701.55 c 1701s | 27 | 14767044 | 14549633 | 336 106186 | 1 | 0 1703.01/1703.55 c 1703s | 27 | 14782020 | 14564433 | 336 106271 | 1 | 0 1705.00/1705.55 c 1705s | 27 | 14796736 | 14579033 | 336 106355 | 1 | 0 1707.00/1707.56 c 1707s | 27 | 14812227 | 14594333 | 336 106444 | 1 | 0 1709.01/1709.57 c 1709s | 27 | 14827441 | 14609433 | 336 106530 | 1 | 0 1711.00/1711.58 c 1711s | 27 | 14843035 | 14624933 | 336 106619 | 1 | 0 1713.00/1713.58 c 1713s | 27 | 14858619 | 14640333 | 336 106708 | 1 | 0 1715.00/1715.58 c 1715s | 27 | 14874091 | 14655633 | 336 106796 | 1 | 0 1717.00/1717.58 c 1717s | 27 | 14889577 | 14670933 | 336 106884 | 1 | 0 1719.00/1719.59 c 1719s | 27 | 14905681 | 14686833 | 336 106977 | 1 | 0 1721.01/1721.60 c 1721s | 27 | 14921711 | 14702633 | 336 107069 | 1 | 0 1723.11/1723.61 c 1723s | 27 | 14937382 | 14718133 | 336 107159 | 1 | 0 1725.10/1725.62 c 1725s | 27 | 14953264 | 14733833 | 336 107250 | 1 | 0 1727.10/1727.62 c 1727s | 27 | 14969115 | 14749533 | 336 107342 | 1 | 0 1729.10/1729.63 c 1729s | 27 | 14985116 | 14765333 | 336 107433 | 1 | 0 1731.10/1731.63 c 1731s | 27 | 15001397 | 14781333 | 336 107525 | 1 | 0 1733.11/1733.64 c 1733s | 27 | 15017408 | 14797133 | 336 107617 | 1 | 0 1735.10/1735.64 c 1735s | 27 | 15033080 | 14812633 | 336 107706 | 1 | 0 1737.10/1737.65 c 1737s | 27 | 15048857 | 14828233 | 336 107796 | 1 | 0 1739.10/1739.65 c 1739s | 27 | 15064916 | 14844033 | 336 107887 | 1 | 0 1741.10/1741.65 c 1741s | 27 | 15080493 | 14859333 | 336 107976 | 1 | 0 1743.11/1743.65 c 1743s | 27 | 15096144 | 14874733 | 336 108066 | 1 | 0 1745.10/1745.66 c 1745s | 27 | 15111894 | 14890233 | 336 108156 | 1 | 0 1747.10/1747.67 c 1747s | 27 | 15128077 | 14906133 | 336 108249 | 1 | 0 1749.10/1749.68 c 1749s | 27 | 15143657 | 14921433 | 336 108337 | 1 | 0 1751.09/1751.69 c 1751s | 27 | 15159120 | 14936633 | 336 108425 | 1 | 0 1753.19/1753.70 c 1753s | 27 | 15173992 | 14951333 | 336 108510 | 1 | 0 1755.21/1755.71 c 1755s | 27 | 15189248 | 14966433 | 336 108598 | 1 | 0 1757.20/1757.72 c 1757s | 27 | 15205068 | 14982033 | 336 108689 | 1 | 0 1759.20/1759.73 c 1759s | 27 | 15220408 | 14997233 | 336 108777 | 1 | 0 1761.20/1761.74 c 1761s | 27 | 15235378 | 15012133 | 336 108861 | 1 | 0 1763.20/1763.75 c 1763s | 27 | 15250598 | 15027233 | 336 108947 | 1 | 0 1765.20/1765.75 c 1765s | 27 | 15266124 | 15042633 | 336 109033 | 1 | 0 1767.20/1767.76 c 1767s | 27 | 15281818 | 15058133 | 336 109121 | 1 | 0 1769.19/1769.76 c 1769s | 27 | 15297314 | 15073533 | 336 109208 | 1 | 0 1771.19/1771.78 c 1771s | 27 | 15313064 | 15089133 | 336 109297 | 1 | 0 1773.19/1773.79 c 1773s | 27 | 15328952 | 15104833 | 336 109387 | 1 | 0 1775.19/1775.79 c 1775s | 27 | 15344559 | 15120233 | 336 109474 | 1 | 0 1777.29/1777.80 c 1777s | 27 | 15359888 | 15135433 | 336 109561 | 1 | 0 1779.19/1779.81 c 1779s | 27 | 15375120 | 15150533 | 336 109647 | 1 | 0 1781.29/1781.81 c 1781s | 27 | 15390106 | 15165333 | 336 109732 | 1 | 0 1783.29/1783.81 c 1783s | 27 | 15405305 | 15180433 | 336 109819 | 1 | 0 1785.29/1785.82 c 1785s | 27 | 15420017 | 15195033 | 336 109902 | 1 | 0 1787.29/1787.82 c 1787s | 27 | 15435096 | 15210033 | 336 109987 | 1 | 0 1789.30/1789.83 c 1789s | 27 | 15450115 | 15224933 | 336 110072 | 1 | 0 1791.29/1791.84 c 1791s | 27 | 15465365 | 15240133 | 336 110158 | 1 | 0 1793.29/1793.85 c 1793s | 27 | 15481042 | 15255733 | 336 110248 | 1 | 0 1795.29/1795.85 c 1795s | 27 | 15496481 | 15271033 | 336 110336 | 1 | 0 1797.29/1797.86 c 1797s | 27 | 15511569 | 15285933 | 336 110420 | 1 | 0 1799.29/1799.86 c 1799s | 27 | 15527288 | 15301433 | 336 110509 | 1 | 0
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-4079736-1465244902/watcher-4079736-1465244902 -o /tmp/evaluation-result-4079736-1465244902/solver-4079736-1465244902 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079736-1465244902.opb pid=1211 running on 8 cores: 4-7,12-15 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.13 2.10 2.09 3/261 1214 /proc/meminfo: memFree=30921244/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=788924 CPUtime=0 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 2956 0 0 0 0 0 0 0 20 0 4 0 106332235 807858176 3316 33554432000 4194304 16246674 140735815527952 140735815527376 13880264 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 197743 3324 441 2943 0 194637 0 [pid=1214/tid=1215] ppid=1211 vsize=1134012 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1161228288 4664 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1139132 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1166471168 4684 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1144252 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106332235 1171714048 4701 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 [startup+0.10018 s] /proc/loadavg: 2.13 2.10 2.09 3/261 1214 /proc/meminfo: memFree=30921244/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1218116 CPUtime=0.09 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 19100 0 0 0 6 3 0 0 20 0 4 0 106332235 1247350784 19448 33554432000 4194304 16246674 140735815527952 140735815510944 13780501 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 304529 19456 751 2943 0 301423 0 [pid=1214/tid=1215] ppid=1211 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1247350784 19459 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1247350784 19464 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106332235 1247350784 19468 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200547 s] /proc/loadavg: 2.13 2.10 2.09 3/261 1214 /proc/meminfo: memFree=30921244/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1218116 CPUtime=0.18 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 34528 0 0 0 13 5 0 0 20 0 4 0 106332235 1247350784 34877 33554432000 4194304 16246674 140735815527952 140735815510944 6021133 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 304529 34883 751 2943 0 301423 0 [pid=1214/tid=1215] ppid=1211 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1247350784 34888 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1247350784 34897 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106332235 1247350784 34900 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.30049 s] /proc/loadavg: 2.13 2.10 2.09 3/261 1214 /proc/meminfo: memFree=30921244/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1218116 CPUtime=0.28 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 50058 0 0 0 21 7 0 0 20 0 4 0 106332235 1247350784 50407 33554432000 4194304 16246674 140735815527952 140735815510944 5516309 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 304529 50412 751 2943 0 301423 0 [pid=1214/tid=1215] ppid=1211 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1247350784 50416 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1247350784 50422 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106332235 1247350784 50430 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700399 s] /proc/loadavg: 2.13 2.10 2.09 3/261 1214 /proc/meminfo: memFree=30921244/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1218116 CPUtime=0.68 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 113603 0 0 0 52 16 0 0 20 0 4 0 106332235 1247350784 113952 33554432000 4194304 16246674 140735815527952 140735815509824 5589685 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 304529 113969 751 2943 0 301423 0 [pid=1214/tid=1215] ppid=1211 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1247350784 113980 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1247350784 113988 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106332235 1247350784 113992 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50035 s] /proc/loadavg: 2.12 2.10 2.09 3/265 1218 /proc/meminfo: memFree=30209916/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1218116 CPUtime=1.49 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 243481 0 0 0 114 35 0 0 20 0 4 0 106332235 1247350784 243830 33554432000 4194304 16246674 140735815527952 140735815509824 5828874 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 304529 243837 751 2943 0 301423 0 [pid=1214/tid=1215] ppid=1211 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1247350784 243840 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1247350784 243847 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106332235 1247350784 243852 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10042 s] /proc/loadavg: 2.12 2.10 2.09 3/265 1218 /proc/meminfo: memFree=29938488/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1306180 CPUtime=3.09 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 267400 0 0 0 270 39 0 0 20 0 4 0 106332235 1337528320 267725 33554432000 4194304 16246674 140735815527952 140735815509824 6042759 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 326545 267725 825 2943 0 323439 0 [pid=1214/tid=1215] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267725 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267725 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267725 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30043 s] /proc/loadavg: 2.11 2.10 2.09 3/265 1218 /proc/meminfo: memFree=29850608/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1306180 CPUtime=6.29 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 267446 0 0 0 590 39 0 0 20 0 4 0 106332235 1337528320 267771 33554432000 4194304 16246674 140735815527952 140735815509824 5721725 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 326545 267771 825 2943 0 323439 0 [pid=1214/tid=1215] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267771 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267771 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267771 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.10 2.10 2.09 3/265 1218 /proc/meminfo: memFree=29850440/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1306180 CPUtime=12.69 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 267450 0 0 0 1230 39 0 0 20 0 4 0 106332235 1337528320 267775 33554432000 4194304 16246674 140735815527952 140735815509824 15015658 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 326545 267775 825 2943 0 323439 0 [pid=1214/tid=1215] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267775 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267775 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267775 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.15 2.11 2.09 3/265 1218 /proc/meminfo: memFree=29852316/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1306180 CPUtime=25.49 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 267476 0 0 0 2510 39 0 0 20 0 4 0 106332235 1337528320 267801 33554432000 4194304 16246674 140735815527952 140735815509824 5997240 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 326545 267801 825 2943 0 323439 0 [pid=1214/tid=1215] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267801 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267801 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267801 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.10 2.10 2.09 3/265 1218 /proc/meminfo: memFree=29852816/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1306180 CPUtime=51.08 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 267478 0 0 0 5068 40 0 0 20 0 4 0 106332235 1337528320 267803 33554432000 4194304 16246674 140735815527952 140735815509824 13950192 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 326545 267803 826 2943 0 323439 0 [pid=1214/tid=1215] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267803 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267803 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267803 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.301 s] /proc/loadavg: 2.14 2.11 2.09 3/266 1222 /proc/meminfo: memFree=29851628/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1306180 CPUtime=102.28 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 267483 0 0 0 10187 41 0 0 20 0 4 0 106332235 1337528320 267808 33554432000 4194304 16246674 140735815527952 140735815509824 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 326545 267808 826 2943 0 323439 0 [pid=1214/tid=1215] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267808 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267808 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267808 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1306180 [startup+1302.3 s] /proc/loadavg: 2.22 2.14 2.10 3/266 1252 /proc/meminfo: memFree=29846880/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1306180 CPUtime=1301.88 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 267902 0 0 0 130117 71 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140735815509824 5546608 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 326545 267911 828 2943 0 323439 0 [pid=1214/tid=1215] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1306180 [startup+1362.3 s] /proc/loadavg: 2.17 2.14 2.10 3/265 1253 /proc/meminfo: memFree=29847404/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1306180 CPUtime=1361.86 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 267933 0 0 0 136113 73 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140735815509824 6018828 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 326545 267911 828 2943 0 323439 0 [pid=1214/tid=1215] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1306180 [startup+1422.3 s] /proc/loadavg: 2.09 2.13 2.09 3/265 1254 /proc/meminfo: memFree=29847980/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1306180 CPUtime=1421.85 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 267933 0 0 0 142111 74 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140735815509824 5822604 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 326545 267911 828 2943 0 323439 0 [pid=1214/tid=1215] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1306180 [startup+1482.3 s] /proc/loadavg: 2.10 2.12 2.09 3/265 1255 /proc/meminfo: memFree=29848108/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1306180 CPUtime=1481.84 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 267933 0 0 0 148108 76 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140735815509824 6011904 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 326545 267911 828 2943 0 323439 0 [pid=1214/tid=1215] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1306180 [startup+1542.31 s] /proc/loadavg: 2.03 2.09 2.08 3/265 1257 /proc/meminfo: memFree=29848108/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1306180 CPUtime=1541.84 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 267933 0 0 0 154107 77 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140735815509824 6020494 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 326545 267911 828 2943 0 323439 0 [pid=1214/tid=1215] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1306180 [startup+1602.3 s] /proc/loadavg: 2.14 2.12 2.09 3/265 1307 /proc/meminfo: memFree=29848408/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1306180 CPUtime=1601.82 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 267933 0 0 0 160105 77 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140735815509824 6020448 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 326545 267911 828 2943 0 323439 0 [pid=1214/tid=1215] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1306180 [startup+1662.3 s] /proc/loadavg: 2.19 2.14 2.10 3/265 1358 /proc/meminfo: memFree=29776172/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1306180 CPUtime=1661.81 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 267933 0 0 0 166102 79 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140735815509824 13943608 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 326545 267911 828 2943 0 323439 0 [pid=1214/tid=1215] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1306180 [startup+1722.3 s] /proc/loadavg: 2.07 2.11 2.09 3/265 1359 /proc/meminfo: memFree=29775680/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1306180 CPUtime=1721.8 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 267933 0 0 0 172100 80 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140735815509824 6011839 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 326545 267911 828 2943 0 323439 0 [pid=1214/tid=1215] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1306180 [startup+1782.3 s] /proc/loadavg: 2.08 2.10 2.09 3/265 1360 /proc/meminfo: memFree=29775300/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1306180 CPUtime=1781.79 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 267933 0 0 0 178097 82 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140735815509824 6021007 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 326545 267911 828 2943 0 323439 0 [pid=1214/tid=1215] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1306180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.14 2.12 2.09 3/265 1361 /proc/meminfo: memFree=29774936/32872528 swapFree=9196/9196 [pid=1214] ppid=1211 vsize=1306180 CPUtime=1800.09 cores=4-7,12-15 /proc/1214/stat : 1214 (toysat) R 1211 1214 25889 0 -1 4202496 267933 0 0 0 179926 83 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140735815509824 5545993 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/1214/statm: 326545 267911 828 2943 0 323439 0 [pid=1214/tid=1215] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1215/stat : 1215 (toysat) S 1211 1214 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729242332400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0 [pid=1214/tid=1216] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1216/stat : 1216 (toysat) S 1211 1214 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729231842544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0 [pid=1214/tid=1217] ppid=1211 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1214/task/1217/stat : 1217 (toysat) S 1211 1214 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106332235 1337528320 267911 33554432000 4194304 16246674 140735815527952 140729221369008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1306180 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 1214 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.11 CPU user time (s): 1799.27 CPU system time (s): 0.831873 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (KiB): 1306180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.27 system time used= 0.831873 maximum resident set size= 1071644 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 267933 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= 369 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.46971 second user time and 12.0762 second system time The end
Begin job on node132 at 2016-06-06 22:28:22 IDJOB=4079736 IDBENCH=2911 IDSOLVER=2542 FILE ID=node132/4079736-1465244902 RUNJOBID= node132-1465216787-25906 PBS_JOBID= 19843203 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079736-1465244902/watcher-4079736-1465244902 -o /tmp/evaluation-result-4079736-1465244902/solver-4079736-1465244902 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079736-1465244902.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= cef055af6c2a22a549e672ed9a55f2c8 RANDOM SEED=691996759 node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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.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 : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 30920880 kB Buffers: 51276 kB Cached: 100524 kB SwapCached: 3212 kB Active: 1140520 kB Inactive: 86248 kB Active(anon): 1074404 kB Inactive(anon): 3236 kB Active(file): 66116 kB Inactive(file): 83012 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67094540 kB Dirty: 16476 kB Writeback: 0 kB AnonPages: 1081488 kB Mapped: 10608 kB Shmem: 0 kB Slab: 573964 kB SReclaimable: 14252 kB SUnreclaim: 559712 kB KernelStack: 2312 kB PageTables: 6532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1229096 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 71712 MiB End job on node132 at 2016-06-06 22:58:23