| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_17.opb |
| MD5SUM | 2d9e515d426c52a025752c6dbc5949b8 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6642 |
| Total number of constraints | 32486 |
| Number of constraints which are clauses | 32481 |
| Number of constraints which are cardinality constraints (but not clauses) | 5 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 81 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 17 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 98 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-17T01:16:48+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-4097919-1466119008.opb"] 0.00/0.01 c use --random-gen="168082350 234322995 2025033826 3794397463 2652293607 3610153656 656641642 2890396553 2974856391 3179312453 3254295063 1405377490 860689685 4009445252 1463016897 764120980 3162617 1696547513 2012979857 360940249 254559492 4146814927 1417316979 997028907 1204054647 2238223301 2631262411 1373270735 2231843190 591605731 2956331631 1795433388 1793119463 4027096359 901923907 588064255 4049435316 2917220287 2605671281 2904543161 3883778627 1752463141 3949116061 1019338195 3816790164 1114438337 1434815757 2658329413 1949668294 4237463049 3055230566 4173601075 4234662491 3949615441 799193309 322366858 1837258742 4056753311 842346432 801779672 3595304181 132267013 3463190282 3283393812 170364685 3228039599 2501292460 354575364 2375186094 1588221111 3020498360 2355108285 603702614 507614857 4059854307 274322640 1055862166 933524987 3849789696 2589504124 991553861 1039482628 3900179320 2918699461 2029623511 625174687 2166144099 3892951623 2598736588 2778686595 937642163 3879407188 2824785696 3351133082 4234227070 2602552388 2416687996 2850446121 1002054495 1576691861 641247733 2369224802 1083857939 146371274 3622508375 1647147574 1001316307 391743902 3839231935 2906677035 3037845615 2912975495 3157449645 256564515 993102594 2127999431 2640945835 3563880693 3914784529 3715599889 4114545522 2804842473 2752370301 3264609243 78860395 834083770 3376985730 3211509558 2079848168 2098861803 1843243775 3547395500 2737247459 2705824857 2618468945 3594410170 1120951170 4227291162 3021900327 1038142509 4171694067 2892577785 2846741526 2015936562 382577563 1311731623 2518647026 1755798114 3780009805 1659326337 120454656 829254335 426152254 2708744290 1044543050 2573351144 3691189879 160193934 612549611 3628506911 3167597089 3661859952 517930323 344291362 96727233 3443340481 4073175244 643400636 1437539724 3188828457 744402457 3853008689 537732233 1145645669 3977286037 3490803835 2744047661 1854189753 1900128796 463537331 487788391 871271756 4006037269 2510674380 4146365359 1244590923 705499657 752376854 3171397744 1779133846 3963297973 3152738102 1916654971 2704632990 1424063424 2797858819 658714621 1383437998 3592262431 569247153 2081430471 1279919175 730883649 149011336 319231008 822926261 1271344874 4113890049 2547484963 2648162340 3527613461 2220885030 317849227 1237312494 1508940527 2749393352 1269443018 3830253532 4000035689 615196333 1485136588 3399054660 2307490769 779090545 2728842136 3612394247 3904982230 1413461038 1712807229 1303531158 2351276139 3713005611 635154782 3365006276 1412808735 3176515022 1539843482 3534733042 3358471865 92303147 3303785755 4025736341 4183199342 545953024 2805490546 3076895839 2890752162 1546723478 3450649922 3916116082 2791598005 1875795320 689746598 3317109409 2111367970 1099951821 255 362436" option to reproduce the execution 0.78/0.82 c #vars 6642 0.78/0.82 c #constraints 32486 2.20/2.25 c Solving starts ... 2.20/2.25 c ============================[ Search Statistics ]============================ 2.20/2.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.20/2.25 c | | | | Limit GC | Var | Constra 2.20/2.25 c ============================================================================= 2.20/2.25 c 0.0s | 0 | 0 | 0 | 13041 0 | 5 | 0 2.69/2.78 c 0.5s | 1 | 2773 | 100 | 13041 0 | 5 | 704 3.30/3.37 c 1.1s | 2 | 5076 | 250 | 14346 0 | 5 | 704 4.40/4.44 c 2.2s | 3 | 8082 | 475 | 15781 0 | 5 | 704 5.99/6.07 c 3.8s | 4 | 12268 | 813 | 17360 0 | 5 | 704 8.19/8.24 c 6.0s | 4 | 16234 | 1313 | 19096 0 | 5 | 704 8.19/8.26 c 6.0s | 5 | 16283 | 1320 | 19096 0 | 5 | 704 10.29/10.30 c 8.1s | 5 | 20035 | 1920 | 21006 0 | 5 | 704 10.69/10.73 c 8.5s | 6 | 20896 | 2081 | 23107 0 | 5 | 704 13.09/13.15 c 10.9s | 6 | 23836 | 2681 | 23107 0 | 5 | 704 15.39/15.47 c 13.2s | 6 | 29885 | 3181 | 23107 0 | 5 | 704 15.49/15.57 c 13.3s | 7 | 30610 | 3223 | 25418 0 | 5 | 704 17.59/17.65 c 15.4s | 7 | 33746 | 3623 | 25418 0 | 5 | 704 19.69/19.77 c 17.5s | 7 | 39047 | 4123 | 25418 0 | 5 | 704 21.89/21.93 c 19.7s | 7 | 42880 | 4823 | 25418 0 | 5 | 704 22.29/22.37 c 20.1s | 8 | 43623 | 4936 | 27960 0 | 5 | 704 24.29/24.39 c 22.1s | 8 | 48784 | 5436 | 27960 0 | 5 | 704 26.79/26.83 c 24.6s | 8 | 55457 | 5936 | 27960 0 | 5 | 704 28.89/28.92 c 26.7s | 8 | 59261 | 6436 | 27960 0 | 5 | 704 31.18/31.28 c 29.0s | 8 | 63237 | 7136 | 27960 0 | 5 | 704 32.78/32.89 c 30.6s | 9 | 65632 | 7506 | 30757 0 | 5 | 704 35.08/35.14 c 32.9s | 9 | 69888 | 7906 | 30757 0 | 5 | 704 37.39/37.42 c 35.2s | 9 | 74433 | 8406 | 30757 0 | 5 | 704 39.38/39.46 c 37.2s | 9 | 79830 | 8806 | 30757 0 | 5 | 704 41.48/41.57 c 39.3s | 9 | 84099 | 9506 | 30757 0 | 5 | 704 43.78/43.88 c 41.6s | 9 | 91651 | 10206 | 30757 0 | 5 | 704 46.08/46.18 c 43.9s | 9 | 98577 | 10706 | 30757 0 | 5 | 704 48.18/48.28 c 46.0s | 9 | 106019 | 11306 | 33833 0 | 5 | 704 48.39/48.48 c 46.2s | 10 | 106142 | 11361 | 33833 0 | 5 | 704 50.59/50.68 c 48.4s | 10 | 111859 | 11861 | 33833 0 | 5 | 704 52.79/52.84 c 50.6s | 10 | 115066 | 12461 | 33833 0 | 5 | 704 55.18/55.21 c 53.0s | 10 | 122739 | 13061 | 33833 0 | 5 | 704 57.38/57.45 c 55.2s | 10 | 129038 | 13561 | 33833 0 | 5 | 704 59.68/59.76 c 57.5s | 10 | 133721 | 14361 | 33833 0 | 5 | 704 61.98/62.04 c 59.8s | 10 | 139614 | 14961 | 33833 0 | 5 | 704 64.38/64.41 c 62.2s | 10 | 145621 | 15461 | 33833 0 | 5 | 704 66.58/66.70 c 64.4s | 10 | 150346 | 15961 | 33833 0 | 5 | 704 68.68/68.79 c 66.5s | 10 | 153902 | 16461 | 33833 0 | 5 | 704 71.18/71.21 c 69.0s | 11 | 158791 | 17144 | 37217 0 | 5 | 704 73.18/73.29 c 71.0s | 11 | 164384 | 17544 | 37217 0 | 5 | 704 75.28/75.31 c 73.1s | 11 | 169646 | 17944 | 37217 0 | 5 | 704 77.48/77.54 c 75.3s | 11 | 175543 | 18444 | 37217 0 | 5 | 704 79.48/79.58 c 77.3s | 11 | 179724 | 19144 | 37217 0 | 5 | 704 81.88/81.92 c 79.7s | 11 | 189978 | 19744 | 37217 0 | 5 | 704 83.98/84.04 c 81.8s | 11 | 197100 | 20244 | 37217 0 | 5 | 704 86.17/86.21 c 84.0s | 11 | 202686 | 21044 | 37217 0 | 5 | 704 88.17/88.29 c 86.0s | 11 | 207932 | 21544 | 37217 0 | 5 | 704 90.28/90.31 c 88.1s | 11 | 212208 | 21944 | 37217 0 | 5 | 704 92.57/92.68 c 90.4s | 11 | 217803 | 22444 | 37217 0 | 5 | 704 94.68/94.76 c 92.5s | 11 | 222723 | 23144 | 37217 0 | 5 | 704 96.78/96.83 c 94.6s | 11 | 229663 | 23644 | 37217 0 | 5 | 704 98.87/98.94 c 96.7s | 11 | 235903 | 24144 | 37217 0 | 5 | 704 101.07/101.15 c 98.9s | 11 | 241004 | 24944 | 37217 0 | 5 | 704 103.07/103.16 c 100s | 11 | 247197 | 25444 | 37217 0 | 5 | 704 104.58/104.65 c 102s | 12 | 250950 | 25819 | 40939 0 | 5 | 704 106.68/106.73 c 104s | 12 | 256683 | 26519 | 40939 0 | 5 | 704 108.77/108.82 c 106s | 12 | 262510 | 27119 | 40939 0 | 5 | 704 110.97/111.01 c 108s | 12 | 268809 | 27719 | 40939 0 | 5 | 704 113.07/113.15 c 110s | 12 | 275154 | 28519 | 40939 0 | 5 | 704 115.07/115.18 c 112s | 12 | 283542 | 29219 | 40939 0 | 5 | 704 117.27/117.39 c 115s | 12 | 290011 | 30019 | 40939 0 | 5 | 704 119.37/119.47 c 117s | 12 | 298602 | 30719 | 40939 0 | 5 | 704 121.67/121.71 c 119s | 12 | 304016 | 31419 | 40939 0 | 5 | 704 123.87/123.93 c 121s | 12 | 309749 | 32119 | 40939 0 | 5 | 704 125.97/126.08 c 123s | 12 | 318175 | 32719 | 40939 0 | 5 | 704 128.27/128.37 c 126s | 12 | 326947 | 33619 | 40939 0 | 5 | 704 130.47/130.54 c 128s | 12 | 334870 | 34519 | 40939 0 | 5 | 704 132.67/132.79 c 130s | 12 | 341283 | 35419 | 40939 0 | 5 | 704 134.87/134.94 c 132s | 12 | 348309 | 36119 | 40939 0 | 5 | 704 136.97/137.06 c 134s | 12 | 353766 | 36819 | 40939 0 | 5 | 704 139.17/139.29 c 137s | 12 | 359526 | 37619 | 40939 0 | 5 | 704 141.37/141.46 c 139s | 12 | 366803 | 38519 | 40939 0 | 5 | 704 141.87/141.96 c 139s | 13 | 368484 | 38832 | 45033 0 | 5 | 704 143.97/144.06 c 141s | 13 | 372694 | 39532 | 45033 0 | 5 | 704 146.16/146.23 c 143s | 13 | 377711 | 40232 | 45033 0 | 5 | 704 148.26/148.33 c 146s | 13 | 383031 | 41132 | 45033 0 | 5 | 704 150.36/150.45 c 148s | 13 | 387240 | 42032 | 45033 0 | 5 | 704 152.46/152.52 c 150s | 13 | 390929 | 42832 | 45033 0 | 5 | 704 154.46/154.57 c 152s | 13 | 394586 | 43732 | 45033 0 | 5 | 704 156.56/156.69 c 154s | 13 | 397473 | 44732 | 45033 0 | 5 | 704 159.06/159.19 c 156s | 13 | 403335 | 45332 | 45033 0 | 5 | 704 161.26/161.31 c 159s | 13 | 406643 | 45832 | 45033 0 | 5 | 704 163.56/163.63 c 161s | 13 | 409982 | 46432 | 45033 0 | 5 | 704 165.76/165.87 c 163s | 13 | 411760 | 46632 | 45033 1 | 5 | 704 168.06/168.17 c 165s | 13 | 421368 | 47132 | 45033 1 | 5 | 704 170.36/170.46 c 168s | 13 | 429733 | 47732 | 45033 1 | 5 | 704 172.36/172.48 c 170s | 13 | 437411 | 48532 | 45033 1 | 5 | 704 174.76/174.88 c 172s | 13 | 445974 | 49132 | 45033 1 | 5 | 704 176.96/177.06 c 174s | 13 | 452610 | 49732 | 45033 1 | 5 | 704 179.06/179.16 c 176s | 13 | 459204 | 50532 | 45033 1 | 5 | 704 181.16/181.27 c 179s | 13 | 466923 | 51132 | 45033 1 | 5 | 704 183.36/183.44 c 181s | 13 | 474729 | 51932 | 45033 1 | 5 | 704 185.46/185.52 c 183s | 13 | 480304 | 52432 | 45033 1 | 5 | 704 187.46/187.56 c 185s | 13 | 486519 | 53232 | 45033 1 | 5 | 704 189.76/189.83 c 187s | 13 | 494923 | 53832 | 45033 1 | 5 | 704 192.16/192.25 c 190s | 13 | 502923 | 54432 | 45033 1 | 5 | 704 194.46/194.54 c 192s | 13 | 508436 | 55232 | 45033 1 | 5 | 704 196.66/196.79 c 194s | 13 | 516645 | 55832 | 45033 1 | 5 | 704 198.86/198.95 c 196s | 13 | 524366 | 56732 | 45033 1 | 5 | 704 200.96/201.04 c 198s | 13 | 531147 | 57332 | 45033 1 | 5 | 704 203.16/203.25 c 201s | 13 | 538472 | 58132 | 49537 1 | 5 | 704 203.76/203.85 c 201s | 14 | 540191 | 58352 | 49537 1 | 5 | 704 206.15/206.29 c 204s | 14 | 546332 | 59152 | 49537 1 | 5 | 704 208.35/208.43 c 206s | 14 | 553149 | 59952 | 49537 1 | 5 | 704 210.55/210.68 c 208s | 14 | 558993 | 60652 | 49537 1 | 5 | 704 212.85/212.98 c 210s | 14 | 566752 | 61352 | 49537 1 | 5 | 704 215.15/215.23 c 212s | 14 | 571377 | 62052 | 49537 1 | 5 | 704 217.25/217.36 c 215s | 14 | 578207 | 62952 | 49537 1 | 5 | 704 219.45/219.54 c 217s | 14 | 584467 | 63852 | 49537 1 | 5 | 704 221.45/221.55 c 219s | 14 | 591016 | 64752 | 49537 1 | 5 | 704 223.65/223.78 c 221s | 14 | 596984 | 65652 | 49537 1 | 5 | 704 225.65/225.79 c 223s | 14 | 603520 | 66652 | 49537 1 | 5 | 704 227.95/228.05 c 225s | 14 | 608651 | 67552 | 49537 1 | 5 | 704 230.15/230.22 c 227s | 14 | 613418 | 68552 | 49537 1 | 5 | 704 232.16/232.24 c 229s | 14 | 616313 | 69452 | 49537 1 | 5 | 704 234.15/234.30 c 232s | 14 | 620301 | 70552 | 49537 1 | 5 | 704 236.25/236.33 c 234s | 14 | 628830 | 71052 | 49537 1 | 5 | 704 238.25/238.39 c 236s | 14 | 634713 | 71552 | 49537 1 | 5 | 704 240.55/240.64 c 238s | 14 | 642329 | 72352 | 49537 1 | 5 | 704 242.75/242.87 c 240s | 14 | 649572 | 72852 | 49537 1 | 5 | 704 245.05/245.17 c 242s | 14 | 654063 | 73552 | 49537 1 | 5 | 704 247.56/247.62 c 245s | 14 | 659734 | 74052 | 49537 2 | 5 | 704 249.85/249.90 c 247s | 14 | 666057 | 74552 | 49537 2 | 5 | 704 251.86/251.98 c 249s | 14 | 671881 | 75252 | 49537 2 | 5 | 704 254.16/254.25 c 252s | 14 | 678276 | 75852 | 49537 2 | 5 | 704 256.25/256.40 c 254s | 14 | 686788 | 76452 | 49537 2 | 5 | 704 258.75/258.85 c 256s | 14 | 698669 | 77452 | 49537 2 | 5 | 704 260.85/260.91 c 258s | 14 | 706928 | 78152 | 49537 2 | 5 | 704 263.25/263.35 c 261s | 14 | 713640 | 78952 | 49537 2 | 5 | 704 265.45/265.58 c 263s | 14 | 719654 | 79752 | 49537 2 | 5 | 704 267.45/267.58 c 265s | 14 | 725940 | 80252 | 49537 2 | 5 | 704 269.64/269.71 c 267s | 14 | 731249 | 80952 | 49537 2 | 5 | 704 271.65/271.73 c 269s | 14 | 737235 | 81552 | 49537 2 | 5 | 704 273.85/273.94 c 271s | 14 | 743124 | 82152 | 49537 2 | 5 | 704 275.94/276.01 c 273s | 14 | 749167 | 82952 | 49537 2 | 5 | 704 278.25/278.37 c 276s | 14 | 755744 | 83852 | 49537 2 | 5 | 704 280.64/280.78 c 278s | 14 | 762129 | 84352 | 49537 2 | 5 | 704 282.65/282.79 c 280s | 14 | 767681 | 85052 | 49537 2 | 5 | 704 285.14/285.27 c 283s | 14 | 775682 | 85652 | 49537 2 | 5 | 704 287.24/287.39 c 285s | 14 | 781327 | 86152 | 49537 2 | 5 | 704 289.54/289.68 c 287s | 14 | 788651 | 86952 | 49537 2 | 5 | 704 291.74/291.87 c 289s | 14 | 792816 | 87352 | 54491 2 | 5 | 704 293.04/293.18 c 290s | 15 | 796535 | 87632 | 54491 2 | 5 | 704 295.24/295.32 c 293s | 15 | 801582 | 88232 | 54491 2 | 5 | 704 297.34/297.43 c 295s | 15 | 808232 | 88932 | 54491 2 | 5 | 704 299.44/299.54 c 297s | 15 | 814120 | 89532 | 54491 2 | 5 | 704 301.94/302.05 c 299s | 15 | 820005 | 90232 | 54491 2 | 5 | 704 304.04/304.17 c 301s | 15 | 825428 | 90732 | 54491 2 | 5 | 704 306.24/306.37 c 304s | 15 | 830909 | 91432 | 54491 2 | 5 | 704 308.44/308.52 c 306s | 15 | 836149 | 92032 | 54491 2 | 5 | 704 310.64/310.75 c 308s | 15 | 839654 | 92632 | 54491 2 | 5 | 704 312.74/312.80 c 310s | 15 | 845246 | 93132 | 54491 2 | 5 | 704 315.04/315.18 c 312s | 15 | 850715 | 93932 | 54491 2 | 5 | 704 317.14/317.29 c 315s | 15 | 857364 | 94732 | 54491 2 | 5 | 704 319.54/319.64 c 317s | 15 | 863047 | 95332 | 54491 2 | 5 | 704 321.84/321.95 c 319s | 15 | 869289 | 96132 | 54491 2 | 5 | 704 324.13/324.25 c 322s | 15 | 874507 | 96932 | 54491 2 | 5 | 704 326.13/326.26 c 324s | 15 | 879163 | 97432 | 54491 2 | 5 | 704 328.23/328.35 c 326s | 15 | 884013 | 98232 | 54491 2 | 5 | 704 330.23/330.37 c 328s | 15 | 889198 | 98832 | 54491 2 | 5 | 704 332.33/332.46 c 330s | 15 | 894875 | 99632 | 54491 2 | 5 | 704 334.44/334.56 c 332s | 15 | 899909 | 100432 | 54491 2 | 5 | 704 336.73/336.84 c 334s | 15 | 902990 | 101132 | 54491 2 | 5 | 704 338.74/338.85 c 336s | 15 | 906339 | 101832 | 54491 2 | 5 | 704 340.73/340.87 c 338s | 15 | 910711 | 102632 | 54491 2 | 5 | 704 342.83/342.97 c 340s | 15 | 914823 | 103432 | 54491 2 | 5 | 704 345.03/345.19 c 342s | 15 | 918643 | 104332 | 54491 2 | 5 | 704 347.13/347.24 c 344s | 15 | 921014 | 105232 | 54491 2 | 5 | 704 349.85/349.97 c 347s | 15 | 922873 | 105532 | 54491 3 | 5 | 704 352.13/352.25 c 350s | 15 | 928336 | 105932 | 54491 3 | 5 | 704 354.43/354.54 c 352s | 15 | 935141 | 106732 | 54491 3 | 5 | 704 356.63/356.72 c 354s | 15 | 942481 | 107232 | 54491 3 | 5 | 704 358.73/358.84 c 356s | 15 | 946662 | 107832 | 54491 3 | 5 | 704 360.84/360.99 c 358s | 15 | 953625 | 108432 | 54491 3 | 5 | 704 363.13/363.27 c 361s | 15 | 960972 | 109032 | 54491 3 | 5 | 704 365.43/365.51 c 363s | 15 | 967609 | 109732 | 54491 3 | 5 | 704 367.73/367.88 c 365s | 15 | 973364 | 110532 | 54491 3 | 5 | 704 370.03/370.19 c 367s | 15 | 980846 | 111132 | 54491 3 | 5 | 704 372.33/372.45 c 370s | 15 | 985327 | 111832 | 54491 3 | 5 | 704 374.63/374.70 c 372s | 15 | 992786 | 112432 | 54491 3 | 5 | 704 376.73/376.81 c 374s | 15 | 997383 | 113132 | 54491 3 | 5 | 704 378.93/379.00 c 376s | 15 | 1003154 | 113932 | 54491 3 | 5 | 704 381.13/381.26 c 379s | 15 | 1009772 | 114532 | 54491 3 | 5 | 704 383.23/383.38 c 381s | 15 | 1015952 | 115132 | 54491 3 | 5 | 704 385.33/385.49 c 383s | 15 | 1019839 | 115832 | 54491 3 | 5 | 704 387.53/387.65 c 385s | 15 | 1025134 | 116532 | 54491 3 | 5 | 704 389.83/389.95 c 387s | 15 | 1030910 | 117332 | 54491 3 | 5 | 704 392.03/392.12 c 389s | 15 | 1035602 | 118032 | 54491 3 | 5 | 704 394.23/394.31 c 392s | 15 | 1040596 | 118632 | 54491 3 | 5 | 704 396.33/396.40 c 394s | 15 | 1045430 | 119332 | 54491 3 | 5 | 704 398.53/398.61 c 396s | 15 | 1050456 | 120132 | 54491 3 | 5 | 704 400.63/400.74 c 398s | 15 | 1055410 | 120932 | 54491 3 | 5 | 704 402.83/402.97 c 400s | 15 | 1060965 | 121832 | 54491 3 | 5 | 704 404.93/405.07 c 402s | 15 | 1066222 | 122732 | 54491 3 | 5 | 704 407.03/407.19 c 404s | 15 | 1069021 | 123532 | 54491 3 | 5 | 704 409.23/409.36 c 407s | 15 | 1071762 | 124532 | 54491 3 | 5 | 704 411.43/411.52 c 409s | 15 | 1076428 | 125032 | 54491 3 | 5 | 704 413.63/413.74 c 411s | 15 | 1083269 | 125532 | 54491 3 | 5 | 704 415.73/415.85 c 413s | 15 | 1087760 | 126132 | 54491 3 | 5 | 704 417.93/418.00 c 415s | 15 | 1093865 | 126732 | 54491 3 | 5 | 704 420.02/420.20 c 417s | 15 | 1100024 | 127232 | 54491 3 | 5 | 704 422.33/422.47 c 420s | 15 | 1106029 | 127932 | 54491 3 | 5 | 704 424.53/424.70 c 422s | 15 | 1110774 | 128332 | 54491 3 | 5 | 704 426.73/426.81 c 424s | 15 | 1117030 | 128932 | 54491 3 | 5 | 704 428.93/429.04 c 426s | 15 | 1122494 | 129632 | 54491 3 | 5 | 704 431.02/431.17 c 428s | 15 | 1126221 | 130132 | 54491 3 | 5 | 704 433.22/433.31 c 431s | 15 | 1132859 | 130832 | 59941 3 | 5 | 704 435.32/435.45 c 433s | 15 | 1138756 | 131532 | 59941 3 | 5 | 704 435.42/435.50 c 433s | 16 | 1138877 | 131552 | 59941 3 | 5 | 704 437.73/437.85 c 435s | 16 | 1143901 | 132152 | 59941 3 | 5 | 704 439.93/440.03 c 437s | 16 | 1148799 | 132752 | 59941 3 | 5 | 704 442.13/442.26 c 440s | 16 | 1152481 | 133452 | 59941 3 | 5 | 704 444.33/444.41 c 442s | 16 | 1156599 | 133952 | 59941 3 | 5 | 704 446.53/446.68 c 444s | 16 | 1163734 | 134652 | 59941 3 | 5 | 704 448.52/448.69 c 446s | 16 | 1168787 | 135152 | 59941 3 | 5 | 704 450.62/450.77 c 448s | 16 | 1173939 | 135852 | 59941 3 | 5 | 704 452.92/453.09 c 450s | 16 | 1178727 | 136552 | 59941 3 | 5 | 704 455.22/455.33 c 453s | 16 | 1182775 | 137052 | 59941 3 | 5 | 704 457.52/457.70 c 455s | 16 | 1188707 | 137852 | 59941 3 | 5 | 704 459.72/459.89 c 457s | 16 | 1195485 | 138452 | 59941 3 | 5 | 704 462.02/462.16 c 459s | 16 | 1200295 | 139152 | 59941 4 | 5 | 704 464.52/464.65 c 462s | 16 | 1205945 | 139952 | 59941 4 | 5 | 704 466.72/466.88 c 464s | 16 | 1211862 | 140752 | 59941 4 | 5 | 704 468.91/469.07 c 466s | 16 | 1217005 | 141552 | 59941 4 | 5 | 704 471.11/471.26 c 469s | 16 | 1220969 | 142252 | 59941 4 | 5 | 704 473.31/473.41 c 471s | 16 | 1227892 | 143152 | 59941 4 | 5 | 704 475.41/475.52 c 473s | 16 | 1231412 | 143952 | 59941 4 | 5 | 704 477.42/477.55 c 475s | 16 | 1236259 | 144852 | 59941 4 | 5 | 704 479.52/479.61 c 477s | 16 | 1241020 | 145752 | 59941 4 | 5 | 704 481.61/481.70 c 479s | 16 | 1243807 | 146652 | 59941 4 | 5 | 704 483.71/483.80 c 481s | 16 | 1247322 | 147752 | 59941 4 | 5 | 704 485.91/486.00 c 483s | 16 | 1251116 | 148252 | 59941 4 | 5 | 704 488.01/488.19 c 485s | 16 | 1256520 | 148952 | 59941 4 | 5 | 704 490.41/490.53 c 488s | 16 | 1266130 | 149552 | 59941 4 | 5 | 704 492.41/492.59 c 490s | 16 | 1271631 | 150252 | 59941 4 | 5 | 704 494.51/494.67 c 492s | 16 | 1278077 | 150852 | 59941 4 | 5 | 704 496.51/496.67 c 494s | 16 | 1284433 | 151552 | 59941 4 | 5 | 704 498.61/498.78 c 496s | 16 | 1290251 | 152052 | 59941 4 | 5 | 704 501.01/501.11 c 498s | 16 | 1297522 | 152852 | 59941 4 | 5 | 704 503.21/503.31 c 501s | 16 | 1303939 | 153652 | 59941 4 | 5 | 704 505.31/505.44 c 503s | 16 | 1312062 | 154452 | 59941 4 | 5 | 704 507.41/507.50 c 505s | 16 | 1318024 | 155152 | 59941 4 | 5 | 704 509.61/509.71 c 507s | 16 | 1323202 | 155752 | 59941 4 | 5 | 704 511.61/511.78 c 509s | 16 | 1330108 | 156552 | 59941 4 | 5 | 704 513.71/513.83 c 511s | 16 | 1335574 | 157252 | 59941 4 | 5 | 704 515.81/515.94 c 513s | 16 | 1341381 | 158052 | 59941 4 | 5 | 704 518.01/518.19 c 515s | 16 | 1346787 | 158752 | 59941 4 | 5 | 704 520.10/520.24 c 517s | 16 | 1350810 | 159552 | 59941 4 | 5 | 704 522.20/522.33 c 520s | 16 | 1355123 | 160352 | 59941 4 | 5 | 704 524.40/524.52 c 522s | 16 | 1359213 | 161152 | 59941 4 | 5 | 704 526.40/526.54 c 524s | 16 | 1362371 | 161852 | 59941 4 | 5 | 704 528.50/528.65 c 526s | 16 | 1367177 | 162752 | 59941 4 | 5 | 704 530.70/530.82 c 528s | 16 | 1370632 | 163752 | 59941 4 | 5 | 704 532.70/532.89 c 530s | 16 | 1374912 | 164452 | 59941 4 | 5 | 704 534.80/534.93 c 532s | 16 | 1379815 | 165052 | 59941 4 | 5 | 704 536.81/536.95 c 534s | 16 | 1384559 | 165552 | 59941 4 | 5 | 704 538.80/538.99 c 536s | 16 | 1388684 | 166052 | 59941 4 | 5 | 704 541.21/541.34 c 539s | 16 | 1393575 | 166652 | 59941 4 | 5 | 704 543.31/543.48 c 541s | 16 | 1397236 | 167252 | 59941 4 | 5 | 704 545.80/545.96 c 543s | 16 | 1402306 | 167852 | 59941 4 | 5 | 704 547.90/548.07 c 545s | 16 | 1407739 | 168552 | 59941 4 | 5 | 704 549.91/550.08 c 547s | 16 | 1414271 | 169152 | 59941 4 | 5 | 704 552.80/552.94 c 550s | 16 | 1418469 | 169752 | 59941 5 | 5 | 704 554.90/555.09 c 552s | 16 | 1424151 | 170452 | 59941 5 | 5 | 704 557.00/557.19 c 554s | 16 | 1429392 | 171152 | 59941 5 | 5 | 704 559.10/559.25 c 557s | 16 | 1435835 | 171952 | 59941 5 | 5 | 704 561.20/561.37 c 559s | 16 | 1440551 | 172752 | 59941 5 | 5 | 704 563.50/563.62 c 561s | 16 | 1445348 | 173552 | 59941 5 | 5 | 704 565.50/565.64 c 563s | 16 | 1451333 | 174352 | 59941 5 | 5 | 704 567.60/567.70 c 565s | 16 | 1456379 | 175152 | 59941 5 | 5 | 704 569.60/569.77 c 567s | 16 | 1460282 | 175952 | 59941 5 | 5 | 704 571.80/571.92 c 569s | 16 | 1463977 | 176752 | 59941 5 | 5 | 704 573.90/574.04 c 571s | 16 | 1468081 | 177652 | 59941 5 | 5 | 704 576.00/576.12 c 573s | 16 | 1472699 | 178752 | 59941 5 | 5 | 704 578.10/578.21 c 575s | 16 | 1475821 | 179952 | 59941 5 | 5 | 704 580.19/580.30 c 578s | 16 | 1480688 | 180552 | 59941 5 | 5 | 704 582.39/582.58 c 580s | 16 | 1486030 | 181252 | 59941 5 | 5 | 704 584.59/584.72 c 582s | 16 | 1490200 | 181752 | 59941 5 | 5 | 704 586.79/586.97 c 584s | 16 | 1496608 | 182552 | 59941 5 | 5 | 704 588.99/589.11 c 586s | 16 | 1501045 | 183152 | 59941 5 | 5 | 704 591.29/591.44 c 589s | 16 | 1506307 | 183852 | 59941 5 | 5 | 704 593.39/593.51 c 591s | 16 | 1510408 | 184552 | 59941 5 | 5 | 704 595.59/595.76 c 593s | 16 | 1515622 | 185152 | 59941 5 | 5 | 704 597.59/597.78 c 595s | 16 | 1520882 | 185952 | 59941 5 | 5 | 704 599.79/599.95 c 597s | 16 | 1525406 | 186652 | 59941 5 | 5 | 704 601.89/602.09 c 599s | 16 | 1529800 | 187252 | 59941 5 | 5 | 704 603.99/604.19 c 601s | 16 | 1533747 | 188052 | 59941 5 | 5 | 704 606.29/606.47 c 604s | 16 | 1538893 | 188852 | 59941 5 | 5 | 704 608.39/608.55 c 606s | 16 | 1543681 | 189652 | 59941 5 | 5 | 704 610.59/610.79 c 608s | 16 | 1549927 | 190652 | 59941 5 | 5 | 704 612.79/612.98 c 610s | 16 | 1554351 | 191652 | 59941 5 | 5 | 704 614.99/615.14 c 612s | 16 | 1557665 | 192652 | 59941 5 | 5 | 704 617.19/617.35 c 615s | 16 | 1563332 | 193552 | 59941 5 | 5 | 704 619.59/619.76 c 617s | 16 | 1569908 | 194152 | 59941 5 | 5 | 704 621.59/621.78 c 619s | 16 | 1574826 | 194852 | 59941 5 | 5 | 704 623.70/623.81 c 621s | 16 | 1580835 | 195552 | 59941 5 | 5 | 704 625.89/626.09 c 623s | 16 | 1586047 | 196152 | 65936 5 | 5 | 704 628.19/628.39 c 626s | 16 | 1591945 | 196952 | 65936 5 | 5 | 704 630.09/630.20 c 627s | 17 | 1596151 | 197432 | 65936 5 | 5 | 704 632.19/632.33 c 630s | 17 | 1601066 | 198132 | 65936 5 | 5 | 704 634.39/634.50 c 632s | 17 | 1608588 | 199032 | 65936 5 | 5 | 704 636.59/636.77 c 634s | 17 | 1614388 | 199832 | 65936 5 | 5 | 704 638.89/639.07 c 636s | 17 | 1619722 | 200632 | 65936 5 | 5 | 704 641.09/641.26 c 639s | 17 | 1625532 | 201532 | 65936 5 | 5 | 704 643.19/643.39 c 641s | 17 | 1629923 | 202332 | 65936 5 | 5 | 704 645.49/645.61 c 643s | 17 | 1635448 | 203232 | 65936 5 | 5 | 704 647.49/647.65 c 645s | 17 | 1638734 | 204032 | 65936 5 | 5 | 704 649.59/649.78 c 647s | 17 | 1641896 | 204932 | 65936 5 | 5 | 704 651.69/651.83 c 649s | 17 | 1644968 | 205832 | 65936 5 | 5 | 704 653.89/654.06 c 651s | 17 | 1647693 | 206632 | 65936 6 | 5 | 704 656.19/656.32 c 654s | 17 | 1652567 | 207432 | 65936 6 | 5 | 704 658.39/658.54 c 656s | 17 | 1658979 | 208232 | 65936 6 | 5 | 704 660.49/660.62 c 658s | 17 | 1664126 | 208932 | 65936 6 | 5 | 704 662.59/662.74 c 660s | 17 | 1669071 | 209532 | 65936 6 | 5 | 704 664.79/664.93 c 662s | 17 | 1674224 | 210232 | 65936 6 | 5 | 704 666.89/667.03 c 664s | 17 | 1680173 | 211032 | 65936 6 | 5 | 704 668.99/669.15 c 666s | 17 | 1686431 | 211832 | 65936 6 | 5 | 704 671.19/671.38 c 669s | 17 | 1692326 | 212632 | 65936 6 | 5 | 704 673.29/673.46 c 671s | 17 | 1698969 | 213632 | 65936 6 | 5 | 704 675.49/675.60 c 673s | 17 | 1704080 | 214432 | 65936 6 | 5 | 704 677.50/677.65 c 675s | 17 | 1707734 | 215232 | 65936 6 | 5 | 704 679.59/679.73 c 677s | 17 | 1711646 | 216032 | 65936 6 | 5 | 704 681.79/681.91 c 679s | 17 | 1716082 | 216932 | 65936 6 | 5 | 704 683.89/684.08 c 681s | 17 | 1719258 | 217932 | 65936 6 | 5 | 704 685.99/686.12 c 683s | 17 | 1722047 | 219032 | 65936 6 | 5 | 704 687.99/688.17 c 685s | 17 | 1726527 | 219632 | 65936 6 | 5 | 704 690.39/690.53 c 688s | 17 | 1731384 | 220332 | 65936 6 | 5 | 704 692.39/692.57 c 690s | 17 | 1735310 | 221032 | 65936 6 | 5 | 704 694.69/694.86 c 692s | 17 | 1739933 | 221832 | 65936 6 | 5 | 704 696.89/697.02 c 694s | 17 | 1743669 | 222532 | 65936 6 | 5 | 704 698.98/699.13 c 696s | 17 | 1747065 | 223232 | 65936 6 | 5 | 704 701.08/701.22 c 698s | 17 | 1752290 | 224032 | 65936 6 | 5 | 704 703.08/703.23 c 700s | 17 | 1755454 | 224732 | 65936 6 | 5 | 704 705.28/705.42 c 703s | 17 | 1760103 | 225632 | 65936 6 | 5 | 704 707.29/707.48 c 705s | 17 | 1763918 | 226532 | 65936 6 | 5 | 704 709.28/709.50 c 707s | 17 | 1767143 | 227532 | 65936 6 | 5 | 704 711.38/711.57 c 709s | 17 | 1769709 | 228332 | 65936 6 | 5 | 704 713.68/713.85 c 711s | 17 | 1774023 | 229032 | 65936 6 | 5 | 704 715.78/715.99 c 713s | 17 | 1779555 | 229532 | 65936 6 | 5 | 704 718.19/718.32 c 716s | 17 | 1786492 | 230332 | 65936 6 | 5 | 704 720.49/720.63 c 718s | 17 | 1791643 | 231132 | 65936 6 | 5 | 704 722.69/722.89 c 720s | 17 | 1797976 | 231932 | 65936 6 | 5 | 704 724.89/725.09 c 722s | 17 | 1803298 | 232532 | 65936 6 | 5 | 704 727.18/727.37 c 725s | 17 | 1807801 | 233332 | 65936 6 | 5 | 704 729.38/729.56 c 727s | 17 | 1811384 | 233932 | 65936 6 | 5 | 704 731.48/731.64 c 729s | 17 | 1816434 | 234632 | 65936 6 | 5 | 704 733.78/733.93 c 731s | 17 | 1821360 | 235432 | 65936 6 | 5 | 704 735.78/735.99 c 733s | 17 | 1825231 | 236232 | 65936 6 | 5 | 704 737.98/738.18 c 735s | 17 | 1828553 | 237032 | 65936 6 | 5 | 704 740.08/740.25 c 738s | 17 | 1832301 | 237732 | 65936 6 | 5 | 704 742.18/742.38 c 740s | 17 | 1835783 | 238532 | 65936 6 | 5 | 704 744.28/744.44 c 742s | 17 | 1838500 | 239332 | 65936 6 | 5 | 704 746.38/746.55 c 744s | 17 | 1840967 | 240132 | 65936 6 | 5 | 704 748.88/749.06 c 746s | 17 | 1843621 | 241032 | 65936 7 | 5 | 704 751.18/751.39 c 749s | 17 | 1848813 | 241832 | 65936 7 | 5 | 704 753.57/753.75 c 751s | 17 | 1853744 | 242532 | 65936 7 | 5 | 704 755.87/756.07 c 753s | 17 | 1860141 | 243432 | 65936 7 | 5 | 704 757.97/758.19 c 755s | 17 | 1865505 | 244332 | 65936 7 | 5 | 704 760.27/760.47 c 758s | 17 | 1870447 | 245132 | 65936 7 | 5 | 704 762.37/762.57 c 760s | 17 | 1874558 | 245932 | 65936 7 | 5 | 704 764.38/764.60 c 762s | 17 | 1878672 | 246832 | 65936 7 | 5 | 704 766.68/766.81 c 764s | 17 | 1883268 | 247932 | 65936 7 | 5 | 704 769.07/769.25 c 767s | 17 | 1887237 | 249032 | 65936 7 | 5 | 704 771.08/771.28 c 769s | 17 | 1890522 | 249632 | 65936 7 | 5 | 704 773.37/773.53 c 771s | 17 | 1894836 | 250232 | 65936 7 | 5 | 704 775.48/775.68 c 773s | 17 | 1898702 | 250932 | 65936 7 | 5 | 704 777.77/777.99 c 775s | 17 | 1904124 | 251732 | 65936 7 | 5 | 704 779.88/780.01 c 777s | 17 | 1908180 | 252432 | 65936 7 | 5 | 704 782.08/782.21 c 779s | 17 | 1912609 | 253132 | 65936 7 | 5 | 704 784.27/784.44 c 782s | 17 | 1916831 | 253932 | 65936 7 | 5 | 704 786.37/786.58 c 784s | 17 | 1921326 | 254832 | 65936 7 | 5 | 704 788.36/788.59 c 786s | 17 | 1924533 | 255732 | 65936 7 | 5 | 704 790.46/790.64 c 788s | 17 | 1926999 | 256632 | 65936 7 | 5 | 704 792.46/792.69 c 790s | 17 | 1931058 | 257432 | 65936 7 | 5 | 704 794.86/795.00 c 792s | 17 | 1936077 | 258232 | 65936 7 | 5 | 704 797.05/797.23 c 794s | 17 | 1940209 | 258932 | 65936 7 | 5 | 704 799.15/799.38 c 797s | 17 | 1943525 | 259632 | 65936 7 | 5 | 704 801.35/801.55 c 799s | 17 | 1947278 | 260332 | 65936 7 | 5 | 704 803.45/803.60 c 801s | 17 | 1951690 | 261232 | 65936 7 | 5 | 704 805.45/805.63 c 803s | 17 | 1954660 | 262032 | 65936 7 | 5 | 704 807.55/807.77 c 805s | 17 | 1956973 | 262932 | 65936 7 | 5 | 704 809.65/809.85 c 807s | 17 | 1960465 | 263732 | 65936 7 | 5 | 704 811.65/811.86 c 809s | 17 | 1965148 | 264432 | 65936 7 | 5 | 704 813.85/814.07 c 811s | 17 | 1969649 | 265132 | 65936 7 | 5 | 704 815.94/816.10 c 813s | 17 | 1972710 | 265832 | 65936 7 | 5 | 704 818.14/818.34 c 816s | 17 | 1978867 | 266832 | 65936 7 | 5 | 704 820.45/820.62 c 818s | 17 | 1984333 | 267732 | 65936 7 | 5 | 704 822.54/822.75 c 820s | 17 | 1987668 | 268532 | 65936 7 | 5 | 704 824.64/824.87 c 822s | 17 | 1990311 | 269332 | 65936 7 | 5 | 704 826.74/826.97 c 824s | 17 | 1992653 | 270132 | 65936 7 | 5 | 704 828.94/829.10 c 826s | 17 | 1996627 | 270732 | 65936 7 | 5 | 704 831.03/831.24 c 828s | 17 | 2000546 | 271532 | 65936 7 | 5 | 704 833.33/833.51 c 831s | 17 | 2004386 | 272232 | 65936 7 | 5 | 704 835.53/835.72 c 833s | 17 | 2008636 | 273032 | 65936 7 | 5 | 704 837.73/837.97 c 835s | 17 | 2012394 | 273832 | 65936 7 | 5 | 704 839.93/840.11 c 837s | 17 | 2014891 | 274732 | 65936 7 | 5 | 704 842.03/842.22 c 839s | 17 | 2017277 | 275432 | 65936 8 | 5 | 704 844.12/844.30 c 842s | 17 | 2021601 | 276132 | 65936 8 | 5 | 704 846.32/846.57 c 844s | 17 | 2026018 | 276932 | 65936 8 | 5 | 704 848.52/848.78 c 846s | 17 | 2030858 | 277832 | 65936 8 | 5 | 704 850.72/850.96 c 848s | 17 | 2035478 | 278732 | 65936 8 | 5 | 704 852.82/853.09 c 850s | 17 | 2038436 | 279632 | 65936 8 | 5 | 704 854.92/855.15 c 852s | 17 | 2041396 | 280632 | 65936 8 | 5 | 704 857.22/857.40 c 855s | 17 | 2045965 | 281732 | 65936 8 | 5 | 704 859.22/859.48 c 857s | 17 | 2048847 | 282432 | 65936 8 | 5 | 704 861.42/861.64 c 859s | 17 | 2053096 | 283332 | 65936 8 | 5 | 704 863.51/863.75 c 861s | 17 | 2056188 | 284232 | 65936 8 | 5 | 704 865.71/865.96 c 863s | 17 | 2059567 | 285232 | 65936 8 | 5 | 704 867.82/868.04 c 865s | 17 | 2063409 | 286032 | 65936 8 | 5 | 704 869.81/870.05 c 867s | 17 | 2066738 | 286832 | 65936 8 | 5 | 704 871.81/872.05 c 869s | 17 | 2069241 | 287732 | 65936 8 | 5 | 704 873.80/874.08 c 871s | 17 | 2071247 | 288632 | 65936 8 | 5 | 704 876.00/876.24 c 873s | 17 | 2075421 | 289432 | 65936 8 | 5 | 704 878.20/878.41 c 876s | 17 | 2079364 | 290332 | 65936 8 | 5 | 704 880.30/880.52 c 878s | 17 | 2082750 | 291232 | 65936 8 | 5 | 704 882.50/882.71 c 880s | 17 | 2085988 | 292332 | 65936 8 | 5 | 704 884.50/884.75 c 882s | 17 | 2088921 | 293132 | 65936 8 | 5 | 704 886.60/886.81 c 884s | 17 | 2091572 | 294032 | 65936 8 | 5 | 704 888.80/889.00 c 886s | 17 | 2094331 | 294932 | 72530 8 | 5 | 704 890.90/891.11 c 888s | 17 | 2098304 | 295832 | 72530 8 | 5 | 704 891.80/892.07 c 889s | 18 | 2100151 | 296252 | 72530 8 | 5 | 704 893.89/894.13 c 891s | 18 | 2103024 | 297052 | 72530 8 | 5 | 704 895.89/896.17 c 893s | 18 | 2105447 | 297952 | 72530 8 | 5 | 704 898.09/898.30 c 896s | 18 | 2108978 | 298852 | 72530 8 | 5 | 704 900.09/900.39 c 898s | 18 | 2111265 | 299752 | 72530 8 | 5 | 704 902.29/902.52 c 900s | 18 | 2113731 | 300552 | 72530 8 | 5 | 704 904.29/904.58 c 902s | 18 | 2116351 | 301352 | 72530 8 | 5 | 704 906.49/906.76 c 904s | 18 | 2118872 | 302252 | 72530 8 | 5 | 704 908.68/908.96 c 906s | 18 | 2121392 | 303152 | 72530 8 | 5 | 704 910.78/911.06 c 908s | 18 | 2123944 | 303952 | 72530 8 | 5 | 704 912.89/913.19 c 910s | 18 | 2126177 | 304852 | 72530 8 | 5 | 704 915.18/915.42 c 913s | 18 | 2128368 | 305852 | 72530 8 | 5 | 704 917.19/917.49 c 915s | 18 | 2130194 | 306652 | 72530 8 | 5 | 704 919.39/919.68 c 917s | 18 | 2132086 | 307552 | 72530 8 | 5 | 704 921.59/921.88 c 919s | 18 | 2134084 | 308552 | 72530 8 | 5 | 704 923.88/924.12 c 921s | 18 | 2135715 | 309452 | 72530 8 | 5 | 704 983.37/983.63 c 981s | 18 | 2137522 | 310052 | 72530 8 | 5 | 704 1013.76/1014.09 c 1011s | 18 | 2138860 | 310152 | 72530 8 | 5 | 704 1015.96/1016.23 c 1013s | 18 | 2142182 | 310552 | 72530 8 | 5 | 704 1018.26/1018.59 c 1016s | 18 | 2146543 | 311152 | 72530 8 | 5 | 704 1020.57/1020.83 c 1018s | 18 | 2153016 | 311652 | 72530 8 | 5 | 704 1022.66/1022.97 c 1020s | 18 | 2159227 | 312052 | 72530 8 | 5 | 704 1025.06/1025.35 c 1023s | 18 | 2164207 | 312452 | 72530 8 | 5 | 704 1027.26/1027.55 c 1025s | 18 | 2168896 | 312952 | 72530 8 | 5 | 704 1029.56/1029.86 c 1027s | 18 | 2172899 | 313552 | 72530 8 | 5 | 704 1031.66/1031.91 c 1029s | 18 | 2178029 | 313952 | 72530 8 | 5 | 704 1033.95/1034.27 c 1032s | 18 | 2181881 | 314352 | 72530 8 | 5 | 704 1038.06/1038.30 c 1036s | 18 | 2183290 | 314452 | 72530 9 | 5 | 704 1040.16/1040.43 c 1038s | 18 | 2189102 | 314852 | 72530 9 | 5 | 704 1042.16/1042.48 c 1040s | 18 | 2195039 | 315352 | 72530 9 | 5 | 704 1044.46/1044.72 c 1042s | 18 | 2202208 | 316152 | 72530 9 | 5 | 704 1046.66/1046.94 c 1044s | 18 | 2209365 | 316652 | 72530 9 | 5 | 704 1048.76/1049.07 c 1046s | 18 | 2215591 | 317352 | 72530 9 | 5 | 704 1051.16/1051.40 c 1049s | 18 | 2221550 | 317952 | 72530 9 | 5 | 704 1053.26/1053.58 c 1051s | 18 | 2230391 | 318552 | 72530 9 | 5 | 704 1055.56/1055.80 c 1053s | 18 | 2237119 | 319352 | 72530 9 | 5 | 704 1057.76/1058.08 c 1055s | 18 | 2244124 | 319852 | 72530 9 | 5 | 704 1059.95/1060.25 c 1058s | 18 | 2252168 | 320452 | 72530 9 | 5 | 704 1062.05/1062.33 c 1060s | 18 | 2255176 | 321052 | 72530 9 | 5 | 704 1064.15/1064.49 c 1062s | 18 | 2260296 | 321552 | 72530 9 | 5 | 704 1066.25/1066.58 c 1064s | 18 | 2267161 | 322152 | 72530 9 | 5 | 704 1068.45/1068.77 c 1066s | 18 | 2272047 | 322852 | 72530 9 | 5 | 704 1070.55/1070.89 c 1068s | 18 | 2283360 | 323552 | 72530 9 | 5 | 704 1072.65/1072.98 c 1070s | 18 | 2289814 | 324252 | 72530 9 | 5 | 704 1074.85/1075.13 c 1072s | 18 | 2296283 | 324852 | 72530 9 | 5 | 704 1077.05/1077.34 c 1075s | 18 | 2301766 | 325452 | 72530 9 | 5 | 704 1079.25/1079.55 c 1077s | 18 | 2307424 | 326052 | 72530 9 | 5 | 704 1081.45/1081.76 c 1079s | 18 | 2312248 | 326852 | 72530 9 | 5 | 704 1083.64/1083.95 c 1081s | 18 | 2317098 | 327452 | 72530 9 | 5 | 704 1085.74/1086.07 c 1083s | 18 | 2322479 | 327952 | 72530 9 | 5 | 704 1087.94/1088.24 c 1085s | 18 | 2328489 | 328752 | 72530 9 | 5 | 704 1089.95/1090.25 c 1087s | 18 | 2334951 | 329352 | 72530 9 | 5 | 704 1092.05/1092.39 c 1090s | 18 | 2340853 | 330252 | 72530 9 | 5 | 704 1094.34/1094.66 c 1092s | 18 | 2346269 | 330852 | 72530 9 | 5 | 704 1096.64/1096.98 c 1094s | 18 | 2350333 | 331552 | 72530 9 | 5 | 704 1098.74/1099.07 c 1096s | 18 | 2354798 | 332252 | 72530 9 | 5 | 704 1100.84/1101.20 c 1098s | 18 | 2359139 | 332952 | 72530 9 | 5 | 704 1103.14/1103.43 c 1101s | 18 | 2361595 | 333552 | 72530 9 | 5 | 704 1105.24/1105.52 c 1103s | 18 | 2365898 | 334252 | 72530 9 | 5 | 704 1107.53/1107.89 c 1105s | 18 | 2369027 | 334952 | 72530 9 | 5 | 704 1109.63/1110.00 c 1107s | 18 | 2372342 | 335752 | 72530 9 | 5 | 704 1111.83/1112.17 c 1109s | 18 | 2376221 | 336552 | 72530 9 | 5 | 704 1114.03/1114.35 c 1112s | 18 | 2379864 | 337452 | 72530 9 | 5 | 704 1116.12/1116.41 c 1114s | 18 | 2382127 | 338252 | 72530 9 | 5 | 704 1118.12/1118.41 c 1116s | 18 | 2384703 | 339052 | 72530 9 | 5 | 704 1120.32/1120.62 c 1118s | 18 | 2388391 | 339952 | 72530 9 | 5 | 704 1122.42/1122.73 c 1120s | 18 | 2391301 | 340952 | 72530 9 | 5 | 704 1124.72/1125.02 c 1122s | 18 | 2394251 | 341752 | 72530 9 | 5 | 704 1126.71/1127.09 c 1124s | 18 | 2397648 | 342552 | 72530 9 | 5 | 704 1129.01/1129.32 c 1127s | 18 | 2401217 | 343252 | 72530 9 | 5 | 704 1131.11/1131.43 c 1129s | 18 | 2405000 | 343952 | 72530 9 | 5 | 704 1133.21/1133.58 c 1131s | 18 | 2408530 | 344652 | 72530 9 | 5 | 704 1135.51/1135.84 c 1133s | 18 | 2411509 | 345352 | 72530 9 | 5 | 704 1137.71/1138.05 c 1135s | 18 | 2416589 | 346052 | 72530 9 | 5 | 704 1140.01/1140.39 c 1138s | 18 | 2422365 | 346852 | 72530 9 | 5 | 704 1142.11/1142.40 c 1140s | 18 | 2427002 | 347452 | 72530 9 | 5 | 704 1144.40/1144.70 c 1142s | 18 | 2432154 | 348052 | 72530 9 | 5 | 704 1146.40/1146.73 c 1144s | 18 | 2435600 | 348652 | 72530 9 | 5 | 704 1148.70/1149.05 c 1146s | 18 | 2440832 | 349252 | 72530 9 | 5 | 704 1151.00/1151.36 c 1149s | 18 | 2444957 | 349852 | 72530 9 | 5 | 704 1153.19/1153.51 c 1151s | 18 | 2449097 | 350452 | 72530 9 | 5 | 704 1155.49/1155.83 c 1153s | 18 | 2453606 | 350952 | 72530 9 | 5 | 704 1157.89/1158.21 c 1155s | 18 | 2457474 | 351552 | 72530 9 | 5 | 704 1159.99/1160.34 c 1158s | 18 | 2460894 | 352052 | 72530 9 | 5 | 704 1162.60/1162.97 c 1160s | 18 | 2463934 | 352552 | 72530 10 | 5 | 704 1164.90/1165.23 c 1162s | 18 | 2465980 | 352752 | 72530 10 | 5 | 704 1167.20/1167.50 c 1165s | 18 | 2471548 | 353552 | 72530 10 | 5 | 704 1169.50/1169.81 c 1167s | 18 | 2477674 | 354152 | 72530 10 | 5 | 704 1171.80/1172.14 c 1169s | 18 | 2483486 | 354952 | 72530 10 | 5 | 704 1174.10/1174.46 c 1172s | 18 | 2488714 | 355452 | 72530 10 | 5 | 704 1176.40/1176.76 c 1174s | 18 | 2493027 | 355952 | 72530 10 | 5 | 704 1178.60/1178.99 c 1176s | 18 | 2498561 | 356752 | 72530 10 | 5 | 704 1181.00/1181.30 c 1179s | 18 | 2504722 | 357252 | 72530 10 | 5 | 704 1183.00/1183.35 c 1181s | 18 | 2509510 | 357752 | 72530 10 | 5 | 704 1185.19/1185.53 c 1183s | 18 | 2513684 | 358452 | 72530 10 | 5 | 704 1187.39/1187.79 c 1185s | 18 | 2517911 | 358952 | 72530 10 | 5 | 704 1189.59/1189.91 c 1187s | 18 | 2523440 | 359552 | 72530 10 | 5 | 704 1191.59/1192.00 c 1189s | 18 | 2528206 | 360252 | 72530 10 | 5 | 704 1193.79/1194.12 c 1191s | 18 | 2531429 | 360552 | 72530 10 | 5 | 704 1196.09/1196.40 c 1194s | 18 | 2536213 | 361052 | 72530 10 | 5 | 704 1198.29/1198.69 c 1196s | 18 | 2540307 | 361752 | 72530 10 | 5 | 704 1200.79/1201.15 c 1198s | 18 | 2544999 | 362252 | 72530 10 | 5 | 704 1202.79/1203.18 c 1200s | 18 | 2549940 | 362652 | 72530 10 | 5 | 704 1204.89/1205.26 c 1203s | 18 | 2552571 | 363252 | 72530 10 | 5 | 704 1206.89/1207.27 c 1205s | 18 | 2557660 | 363752 | 72530 10 | 5 | 704 1208.99/1209.39 c 1207s | 18 | 2563585 | 364152 | 72530 10 | 5 | 704 1211.09/1211.48 c 1209s | 18 | 2568341 | 364752 | 72530 10 | 5 | 704 1213.39/1213.76 c 1211s | 18 | 2573262 | 365352 | 72530 10 | 5 | 704 1215.89/1216.24 c 1213s | 18 | 2579834 | 365852 | 72530 10 | 5 | 704 1218.09/1218.46 c 1216s | 18 | 2584725 | 366252 | 72530 10 | 5 | 704 1220.49/1220.88 c 1218s | 18 | 2590763 | 366752 | 72530 10 | 5 | 704 1222.69/1223.01 c 1220s | 18 | 2595136 | 367352 | 72530 10 | 5 | 704 1225.09/1225.45 c 1223s | 18 | 2600400 | 367952 | 72530 10 | 5 | 704 1227.09/1227.48 c 1225s | 18 | 2604666 | 368352 | 72530 10 | 5 | 704 1229.09/1229.49 c 1227s | 18 | 2608897 | 368852 | 72530 10 | 5 | 704 1231.48/1231.84 c 1229s | 18 | 2614008 | 369552 | 72530 10 | 5 | 704 1233.58/1233.93 c 1231s | 18 | 2619053 | 369952 | 72530 10 | 5 | 704 1235.78/1236.18 c 1233s | 18 | 2624557 | 370552 | 72530 10 | 5 | 704 1237.88/1238.20 c 1235s | 18 | 2628637 | 371152 | 72530 10 | 5 | 704 1239.98/1240.30 c 1238s | 18 | 2636479 | 371652 | 72530 10 | 5 | 704 1242.18/1242.59 c 1240s | 18 | 2641326 | 372352 | 72530 10 | 5 | 704 1244.38/1244.73 c 1242s | 18 | 2648565 | 372852 | 72530 10 | 5 | 704 1246.48/1246.84 c 1244s | 18 | 2653197 | 373452 | 72530 10 | 5 | 704 1248.78/1249.13 c 1246s | 18 | 2659920 | 374052 | 72530 10 | 5 | 704 1251.08/1251.41 c 1249s | 18 | 2666087 | 374552 | 72530 10 | 5 | 704 1253.08/1253.44 c 1251s | 18 | 2668362 | 375052 | 72530 10 | 5 | 704 1255.18/1255.59 c 1253s | 18 | 2673771 | 375552 | 72530 10 | 5 | 704 1257.37/1257.74 c 1255s | 18 | 2680027 | 376052 | 72530 10 | 5 | 704 1259.77/1260.19 c 1257s | 18 | 2684883 | 376752 | 72530 10 | 5 | 704 1261.87/1262.20 c 1259s | 18 | 2688332 | 377352 | 72530 10 | 5 | 704 1263.97/1264.30 c 1262s | 18 | 2693126 | 377852 | 72530 10 | 5 | 704 1265.97/1266.38 c 1264s | 18 | 2696634 | 378452 | 72530 10 | 5 | 704 1268.17/1268.56 c 1266s | 18 | 2701638 | 378952 | 72530 10 | 5 | 704 1270.47/1270.81 c 1268s | 18 | 2706065 | 379652 | 72530 10 | 5 | 704 1272.57/1272.93 c 1270s | 18 | 2710252 | 380152 | 72530 10 | 5 | 704 1274.67/1275.03 c 1272s | 18 | 2712770 | 380752 | 72530 10 | 5 | 704 1276.87/1277.25 c 1275s | 18 | 2716647 | 381252 | 72530 10 | 5 | 704 1279.07/1279.49 c 1277s | 18 | 2718402 | 381752 | 72530 10 | 5 | 704 1281.17/1281.55 c 1279s | 18 | 2721934 | 382352 | 72530 10 | 5 | 704 1283.36/1283.72 c 1281s | 18 | 2725934 | 383052 | 72530 10 | 5 | 704 1285.56/1285.97 c 1283s | 18 | 2730910 | 383652 | 72530 10 | 5 | 704 1287.66/1288.09 c 1285s | 18 | 2733975 | 384252 | 72530 10 | 5 | 704 1289.86/1290.29 c 1288s | 18 | 2737347 | 384952 | 72530 10 | 5 | 704 1292.06/1292.49 c 1290s | 18 | 2740467 | 385652 | 72530 10 | 5 | 704 1294.46/1294.83 c 1292s | 18 | 2742387 | 386252 | 72530 10 | 5 | 704 1296.56/1296.93 c 1294s | 18 | 2745126 | 386952 | 72530 10 | 5 | 704 1298.86/1299.22 c 1296s | 18 | 2747302 | 387652 | 72530 10 | 5 | 704 1301.06/1301.45 c 1299s | 18 | 2749576 | 388352 | 72530 10 | 5 | 704 1303.55/1303.95 c 1301s | 18 | 2751120 | 388852 | 72530 11 | 5 | 704 1305.74/1306.10 c 1303s | 18 | 2754168 | 389452 | 72530 11 | 5 | 704 1308.04/1308.40 c 1306s | 18 | 2759839 | 389952 | 72530 11 | 5 | 704 1310.14/1310.54 c 1308s | 18 | 2763657 | 390352 | 72530 11 | 5 | 704 1312.44/1312.80 c 1310s | 18 | 2769880 | 390852 | 72530 11 | 5 | 704 1314.64/1315.09 c 1312s | 18 | 2776936 | 391752 | 72530 11 | 5 | 704 1317.04/1317.44 c 1315s | 18 | 2783432 | 392352 | 72530 11 | 5 | 704 1319.34/1319.79 c 1317s | 18 | 2788675 | 393152 | 72530 11 | 5 | 704 1321.44/1321.85 c 1319s | 18 | 2793702 | 393652 | 72530 11 | 5 | 704 1323.63/1324.08 c 1321s | 18 | 2799122 | 394352 | 72530 11 | 5 | 704 1326.03/1326.46 c 1324s | 18 | 2803957 | 395052 | 72530 11 | 5 | 704 1328.13/1328.50 c 1326s | 18 | 2806579 | 395652 | 72530 11 | 5 | 704 1330.23/1330.62 c 1328s | 18 | 2811026 | 396152 | 72530 11 | 5 | 704 1332.33/1332.78 c 1330s | 18 | 2818352 | 396852 | 72530 11 | 5 | 704 1334.53/1334.94 c 1332s | 18 | 2822564 | 397452 | 72530 11 | 5 | 704 1336.83/1337.20 c 1334s | 18 | 2826145 | 398152 | 72530 11 | 5 | 704 1338.93/1339.34 c 1337s | 18 | 2832567 | 398752 | 72530 11 | 5 | 704 1341.23/1341.67 c 1339s | 18 | 2838247 | 399552 | 72530 11 | 5 | 704 1343.42/1343.88 c 1341s | 18 | 2841497 | 400252 | 72530 11 | 5 | 704 1345.72/1346.12 c 1343s | 18 | 2846062 | 400852 | 72530 11 | 5 | 704 1347.92/1348.33 c 1346s | 18 | 2851927 | 401752 | 72530 11 | 5 | 704 1350.02/1350.46 c 1348s | 18 | 2855344 | 402452 | 72530 11 | 5 | 704 1352.12/1352.59 c 1350s | 18 | 2860535 | 403252 | 72530 11 | 5 | 704 1354.22/1354.61 c 1352s | 18 | 2865515 | 404052 | 72530 11 | 5 | 704 1356.32/1356.77 c 1354s | 18 | 2870594 | 404852 | 72530 11 | 5 | 704 1358.42/1358.81 c 1356s | 18 | 2874421 | 405652 | 72530 11 | 5 | 704 1360.42/1360.84 c 1358s | 18 | 2877442 | 406452 | 72530 11 | 5 | 704 1362.41/1362.85 c 1360s | 18 | 2881087 | 407352 | 72530 11 | 5 | 704 1364.51/1364.96 c 1362s | 18 | 2883472 | 408152 | 72530 11 | 5 | 704 1366.61/1367.08 c 1364s | 18 | 2887468 | 408552 | 72530 11 | 5 | 704 1368.91/1369.33 c 1367s | 18 | 2892696 | 409152 | 72530 11 | 5 | 704 1371.11/1371.56 c 1369s | 18 | 2898524 | 409852 | 72530 11 | 5 | 704 1373.20/1373.60 c 1371s | 18 | 2903157 | 410252 | 72530 11 | 5 | 704 1375.20/1375.67 c 1373s | 18 | 2910166 | 410752 | 72530 11 | 5 | 704 1377.40/1377.81 c 1375s | 18 | 2913903 | 411352 | 72530 11 | 5 | 704 1379.70/1380.12 c 1377s | 18 | 2919474 | 411952 | 72530 11 | 5 | 704 1381.80/1382.22 c 1379s | 18 | 2923319 | 412352 | 72530 11 | 5 | 704 1383.90/1384.35 c 1382s | 18 | 2926775 | 413052 | 72530 11 | 5 | 704 1386.00/1386.40 c 1384s | 18 | 2930205 | 413552 | 72530 11 | 5 | 704 1388.40/1388.89 c 1386s | 18 | 2935979 | 414052 | 72530 11 | 5 | 704 1390.70/1391.16 c 1388s | 18 | 2941357 | 414552 | 72530 11 | 5 | 704 1392.80/1393.20 c 1390s | 18 | 2945512 | 415252 | 72530 11 | 5 | 704 1395.09/1395.52 c 1393s | 18 | 2950114 | 415752 | 72530 11 | 5 | 704 1397.09/1397.59 c 1395s | 18 | 2954328 | 416252 | 72530 11 | 5 | 704 1399.29/1399.74 c 1397s | 18 | 2959753 | 416952 | 72530 11 | 5 | 704 1401.49/1401.97 c 1399s | 18 | 2964674 | 417452 | 72530 11 | 5 | 704 1403.69/1404.15 c 1401s | 18 | 2968437 | 418152 | 72530 11 | 5 | 704 1406.08/1406.57 c 1404s | 18 | 2975222 | 418752 | 72530 11 | 5 | 704 1408.38/1408.82 c 1406s | 18 | 2981164 | 419452 | 72530 11 | 5 | 704 1410.58/1411.07 c 1408s | 18 | 2986871 | 419952 | 72530 11 | 5 | 704 1412.78/1413.26 c 1411s | 18 | 2990177 | 420552 | 72530 11 | 5 | 704 1415.18/1415.62 c 1413s | 18 | 2995374 | 421152 | 72530 11 | 5 | 704 1417.28/1417.72 c 1415s | 18 | 2999695 | 421852 | 72530 11 | 5 | 704 1419.38/1419.82 c 1417s | 18 | 3004347 | 422352 | 72530 11 | 5 | 704 1421.48/1421.96 c 1419s | 18 | 3008835 | 423052 | 72530 11 | 5 | 704 1423.77/1424.27 c 1422s | 18 | 3014940 | 423652 | 72530 11 | 5 | 704 1426.17/1426.63 c 1424s | 18 | 3019680 | 424352 | 72530 11 | 5 | 704 1428.48/1428.99 c 1426s | 18 | 3024067 | 425052 | 72530 11 | 5 | 704 1430.68/1431.15 c 1428s | 18 | 3027954 | 425552 | 72530 11 | 5 | 704 1432.98/1433.48 c 1431s | 18 | 3031068 | 426252 | 72530 11 | 5 | 704 1435.17/1435.66 c 1433s | 18 | 3035719 | 426852 | 72530 11 | 5 | 704 1437.17/1437.66 c 1435s | 18 | 3037838 | 427252 | 72530 12 | 5 | 704 1439.47/1439.97 c 1437s | 18 | 3043192 | 428152 | 72530 12 | 5 | 704 1441.77/1442.25 c 1440s | 18 | 3050539 | 429252 | 72530 12 | 5 | 704 1443.97/1444.45 c 1442s | 18 | 3053995 | 429952 | 72530 12 | 5 | 704 1446.27/1446.70 c 1444s | 18 | 3057399 | 430752 | 72530 12 | 5 | 704 1448.27/1448.71 c 1446s | 18 | 3061461 | 431552 | 72530 12 | 5 | 704 1450.36/1450.86 c 1448s | 18 | 3064205 | 432552 | 72530 12 | 5 | 704 1452.77/1453.26 c 1451s | 18 | 3067602 | 433352 | 72530 12 | 5 | 704 1454.88/1455.33 c 1453s | 18 | 3070576 | 433752 | 72530 12 | 5 | 704 1457.18/1457.67 c 1455s | 18 | 3075052 | 434452 | 72530 12 | 5 | 704 1459.28/1459.73 c 1457s | 18 | 3079558 | 434852 | 72530 12 | 5 | 704 1461.27/1461.79 c 1459s | 18 | 3085411 | 435452 | 72530 12 | 5 | 704 1463.68/1464.11 c 1461s | 18 | 3091497 | 436152 | 72530 12 | 5 | 704 1465.77/1466.30 c 1464s | 18 | 3096508 | 436652 | 72530 12 | 5 | 704 1468.18/1468.63 c 1466s | 18 | 3101667 | 437352 | 72530 12 | 5 | 704 1470.38/1470.84 c 1468s | 18 | 3107042 | 437852 | 72530 12 | 5 | 704 1472.48/1472.99 c 1470s | 18 | 3111514 | 438552 | 72530 12 | 5 | 704 1474.77/1475.24 c 1472s | 18 | 3117203 | 439252 | 72530 12 | 5 | 704 1477.17/1477.60 c 1475s | 18 | 3124210 | 439952 | 72530 12 | 5 | 704 1479.27/1479.73 c 1477s | 18 | 3129360 | 440452 | 72530 12 | 5 | 704 1481.37/1481.84 c 1479s | 18 | 3133428 | 441052 | 72530 12 | 5 | 704 1483.67/1484.15 c 1481s | 18 | 3139142 | 441852 | 79783 12 | 5 | 704 1485.87/1486.34 c 1484s | 18 | 3145556 | 442452 | 79783 12 | 5 | 704 1488.06/1488.57 c 1486s | 18 | 3150861 | 443152 | 79783 12 | 5 | 704 1490.17/1490.62 c 1488s | 18 | 3153818 | 443752 | 79783 12 | 5 | 704 1492.16/1492.64 c 1490s | 19 | 3158900 | 444482 | 79783 12 | 5 | 704 1508.06/1508.51 c 1506s | 19 | 3160583 | 444582 | 79783 12 | 5 | 704 1529.76/1530.24 c 1527s | 19 | 3162682 | 444882 | 79783 12 | 5 | 704 1531.86/1532.36 c 1530s | 19 | 3167960 | 445582 | 79783 12 | 5 | 704 1534.16/1534.65 c 1532s | 19 | 3173259 | 446182 | 79783 12 | 5 | 704 1536.36/1536.84 c 1534s | 19 | 3175722 | 447082 | 79783 12 | 5 | 704 1538.56/1539.00 c 1536s | 19 | 3178278 | 447982 | 79783 12 | 5 | 704 1540.55/1541.07 c 1538s | 19 | 3181949 | 448882 | 79783 12 | 5 | 704 1542.65/1543.10 c 1540s | 19 | 3185708 | 449682 | 79783 12 | 5 | 704 1544.95/1545.42 c 1543s | 19 | 3189630 | 450282 | 79783 12 | 5 | 704 1547.05/1547.57 c 1545s | 19 | 3194254 | 450982 | 79783 12 | 5 | 704 1549.25/1549.72 c 1547s | 19 | 3197431 | 451582 | 79783 12 | 5 | 704 1551.55/1552.03 c 1549s | 19 | 3202628 | 452082 | 79783 12 | 5 | 704 1553.96/1554.49 c 1552s | 19 | 3205443 | 452782 | 79783 12 | 5 | 704 1556.45/1556.94 c 1554s | 19 | 3210332 | 453282 | 79783 12 | 5 | 704 1558.55/1559.09 c 1556s | 19 | 3216097 | 453682 | 79783 12 | 5 | 704 1560.85/1561.33 c 1559s | 19 | 3221502 | 454082 | 79783 12 | 5 | 704 1563.25/1563.75 c 1561s | 19 | 3228668 | 454582 | 79783 12 | 5 | 704 1565.55/1566.00 c 1563s | 19 | 3234606 | 455182 | 79783 12 | 5 | 704 1567.65/1568.17 c 1565s | 19 | 3239692 | 455882 | 79783 12 | 5 | 704 1569.65/1570.18 c 1567s | 19 | 3246162 | 456282 | 79783 12 | 5 | 704 1571.75/1572.26 c 1570s | 19 | 3250072 | 456782 | 79783 12 | 5 | 704 1573.85/1574.33 c 1572s | 19 | 3253676 | 457382 | 79783 12 | 5 | 704 1576.15/1576.66 c 1574s | 19 | 3259183 | 457882 | 79783 12 | 5 | 704 1578.35/1578.81 c 1576s | 19 | 3264090 | 458282 | 79783 12 | 5 | 704 1580.75/1581.24 c 1578s | 19 | 3269907 | 458782 | 79783 12 | 5 | 704 1582.75/1583.26 c 1581s | 19 | 3273120 | 459382 | 79783 12 | 5 | 704 1585.05/1585.50 c 1583s | 19 | 3277597 | 459982 | 79783 12 | 5 | 704 1587.15/1587.67 c 1585s | 19 | 3283001 | 460382 | 79783 12 | 5 | 704 1589.25/1589.71 c 1587s | 19 | 3287199 | 460782 | 79783 12 | 5 | 704 1591.25/1591.77 c 1589s | 19 | 3290681 | 461382 | 79783 12 | 5 | 704 1593.35/1593.89 c 1591s | 19 | 3295446 | 461882 | 79783 12 | 5 | 704 1595.55/1596.09 c 1593s | 19 | 3299649 | 462382 | 79783 12 | 5 | 704 1597.65/1598.10 c 1595s | 19 | 3303374 | 462982 | 79783 12 | 5 | 704 1600.05/1600.51 c 1598s | 19 | 3308381 | 463482 | 79783 12 | 5 | 704 1602.15/1602.60 c 1600s | 19 | 3312624 | 463882 | 79783 12 | 5 | 704 1604.15/1604.64 c 1602s | 19 | 3316513 | 464382 | 79783 12 | 5 | 704 1606.14/1606.69 c 1604s | 19 | 3319489 | 464982 | 79783 12 | 5 | 704 1608.64/1609.13 c 1606s | 19 | 3325061 | 465482 | 79783 12 | 5 | 704 1610.64/1611.16 c 1608s | 19 | 3328982 | 465982 | 79783 12 | 5 | 704 1613.04/1613.56 c 1611s | 19 | 3333612 | 466782 | 79783 12 | 5 | 704 1615.45/1615.97 c 1613s | 19 | 3338011 | 467282 | 79783 12 | 5 | 704 1617.54/1618.02 c 1615s | 19 | 3342471 | 467982 | 79783 12 | 5 | 704 1619.64/1620.11 c 1617s | 19 | 3347190 | 468482 | 79783 12 | 5 | 704 1621.94/1622.42 c 1620s | 19 | 3351364 | 469182 | 79783 12 | 5 | 704 1624.25/1624.76 c 1622s | 19 | 3357263 | 469682 | 79783 12 | 5 | 704 1626.64/1627.13 c 1624s | 19 | 3361247 | 470382 | 79783 12 | 5 | 704 1628.94/1629.42 c 1627s | 19 | 3365190 | 470882 | 79783 12 | 5 | 704 1631.04/1631.59 c 1629s | 19 | 3368653 | 471582 | 79783 12 | 5 | 704 1633.64/1634.17 c 1631s | 19 | 3370762 | 471882 | 79783 13 | 5 | 704 1635.64/1636.18 c 1633s | 19 | 3374060 | 472582 | 79783 13 | 5 | 704 1637.74/1638.28 c 1636s | 19 | 3380608 | 473182 | 79783 13 | 5 | 704 1640.04/1640.59 c 1638s | 19 | 3384772 | 473982 | 79783 13 | 5 | 704 1642.24/1642.74 c 1640s | 19 | 3388381 | 474682 | 79783 13 | 5 | 704 1644.44/1644.93 c 1642s | 19 | 3393373 | 475482 | 79783 13 | 5 | 704 1646.74/1647.24 c 1644s | 19 | 3398723 | 476382 | 79783 13 | 5 | 704 1648.84/1649.38 c 1647s | 19 | 3402908 | 477182 | 79783 13 | 5 | 704 1651.04/1651.54 c 1649s | 19 | 3406875 | 477982 | 79783 13 | 5 | 704 1653.04/1653.56 c 1651s | 19 | 3409852 | 478782 | 79783 13 | 5 | 704 1655.04/1655.57 c 1653s | 19 | 3413164 | 479682 | 79783 13 | 5 | 704 1657.14/1657.66 c 1655s | 19 | 3416584 | 480582 | 79783 13 | 5 | 704 1659.24/1659.70 c 1657s | 19 | 3419500 | 481582 | 79783 13 | 5 | 704 1662.03/1662.53 c 1660s | 19 | 3422749 | 482682 | 79783 13 | 5 | 704 1668.43/1668.94 c 1666s | 19 | 3424195 | 482782 | 79783 13 | 5 | 704 1670.73/1671.22 c 1668s | 19 | 3427882 | 483182 | 79783 13 | 5 | 704 1672.93/1673.47 c 1671s | 19 | 3431064 | 483882 | 79783 13 | 5 | 704 1675.43/1675.94 c 1673s | 19 | 3436039 | 484482 | 79783 13 | 5 | 704 1677.73/1678.23 c 1675s | 19 | 3441319 | 484982 | 79783 13 | 5 | 704 1679.73/1680.28 c 1678s | 19 | 3445973 | 485682 | 79783 13 | 5 | 704 1682.03/1682.50 c 1680s | 19 | 3451349 | 486182 | 79783 13 | 5 | 704 1684.23/1684.79 c 1682s | 19 | 3457780 | 486682 | 79783 13 | 5 | 704 1686.53/1687.05 c 1684s | 19 | 3462613 | 487182 | 79783 13 | 5 | 704 1688.93/1689.44 c 1687s | 19 | 3466314 | 487882 | 79783 13 | 5 | 704 1691.13/1691.67 c 1689s | 19 | 3471180 | 488382 | 79783 13 | 5 | 704 1693.33/1693.87 c 1691s | 19 | 3475409 | 488982 | 79783 13 | 5 | 704 1695.63/1696.19 c 1693s | 19 | 3480068 | 489682 | 79783 13 | 5 | 704 1697.73/1698.26 c 1696s | 19 | 3484360 | 490282 | 79783 13 | 5 | 704 1699.73/1700.29 c 1698s | 19 | 3488787 | 490782 | 79783 13 | 5 | 704 1701.93/1702.42 c 1700s | 19 | 3492709 | 491282 | 79783 13 | 5 | 704 1704.23/1704.78 c 1702s | 19 | 3497947 | 492082 | 79783 13 | 5 | 704 1706.43/1706.97 c 1704s | 19 | 3501880 | 492782 | 79783 13 | 5 | 704 1708.53/1709.08 c 1706s | 19 | 3506385 | 493282 | 79783 13 | 5 | 704 1710.63/1711.18 c 1708s | 19 | 3510310 | 493782 | 79783 13 | 5 | 704 1712.93/1713.42 c 1711s | 19 | 3513916 | 494482 | 79783 13 | 5 | 704 1714.93/1715.45 c 1713s | 19 | 3518062 | 494982 | 79783 13 | 5 | 704 1716.93/1717.48 c 1715s | 19 | 3522003 | 495682 | 79783 13 | 5 | 704 1719.13/1719.67 c 1717s | 19 | 3526786 | 496382 | 79783 13 | 5 | 704 1721.13/1721.69 c 1719s | 19 | 3531036 | 496982 | 79783 13 | 5 | 704 1723.23/1723.79 c 1721s | 19 | 3534308 | 497582 | 79783 13 | 5 | 704 1725.32/1725.87 c 1723s | 19 | 3537078 | 498182 | 79783 13 | 5 | 704 1727.52/1728.09 c 1725s | 19 | 3540296 | 498782 | 79783 13 | 5 | 704 1729.72/1730.21 c 1727s | 19 | 3542756 | 499482 | 79783 13 | 5 | 704 1731.82/1732.35 c 1730s | 19 | 3546743 | 500082 | 79783 13 | 5 | 704 1733.92/1734.41 c 1732s | 19 | 3550077 | 500682 | 79783 13 | 5 | 704 1736.02/1736.50 c 1734s | 19 | 3553027 | 501382 | 79783 13 | 5 | 704 1738.12/1738.64 c 1736s | 19 | 3556679 | 502082 | 79783 13 | 5 | 704 1740.22/1740.71 c 1738s | 19 | 3559441 | 502782 | 79783 13 | 5 | 704 1742.32/1742.83 c 1740s | 19 | 3563084 | 503582 | 79783 13 | 5 | 704 1744.32/1744.83 c 1742s | 19 | 3565230 | 504282 | 79783 13 | 5 | 704 1746.43/1746.97 c 1744s | 19 | 3567068 | 505082 | 79783 13 | 5 | 704 1748.82/1749.35 c 1747s | 19 | 3570980 | 505582 | 79783 13 | 5 | 704 1751.12/1751.69 c 1749s | 19 | 3574118 | 506082 | 79783 13 | 5 | 704 1753.52/1754.09 c 1751s | 19 | 3578442 | 506782 | 79783 13 | 5 | 704 1755.82/1756.33 c 1754s | 19 | 3582656 | 507182 | 79783 13 | 5 | 704 1758.02/1758.57 c 1756s | 19 | 3586790 | 507582 | 79783 13 | 5 | 704 1760.12/1760.65 c 1758s | 19 | 3590807 | 507982 | 79783 13 | 5 | 704 1762.32/1762.88 c 1760s | 19 | 3594050 | 508482 | 79783 13 | 5 | 704 1764.52/1765.09 c 1762s | 19 | 3597086 | 509082 | 79783 13 | 5 | 704 1766.62/1767.11 c 1764s | 19 | 3601805 | 509482 | 79783 13 | 5 | 704 1768.62/1769.13 c 1766s | 19 | 3604629 | 510082 | 79783 13 | 5 | 704 1770.72/1771.23 c 1768s | 19 | 3608115 | 510582 | 79783 13 | 5 | 704 1773.02/1773.52 c 1771s | 19 | 3612699 | 511082 | 79783 13 | 5 | 704 1775.82/1776.35 c 1774s | 19 | 3617832 | 511482 | 79783 14 | 5 | 704 1778.11/1778.64 c 1776s | 19 | 3621438 | 511882 | 79783 14 | 5 | 704 1780.52/1781.03 c 1778s | 19 | 3625981 | 512582 | 79783 14 | 5 | 704 1782.62/1783.15 c 1780s | 19 | 3631008 | 513082 | 79783 14 | 5 | 704 1784.61/1785.15 c 1782s | 19 | 3634926 | 513682 | 79783 14 | 5 | 704 1787.12/1787.61 c 1785s | 19 | 3639530 | 514282 | 79783 14 | 5 | 704 1789.51/1790.00 c 1787s | 19 | 3643723 | 514782 | 79783 14 | 5 | 704 1791.52/1792.04 c 1789s | 19 | 3648219 | 515382 | 79783 14 | 5 | 704 1793.51/1794.06 c 1791s | 19 | 3653340 | 515982 | 79783 14 | 5 | 704 1795.71/1796.27 c 1794s | 19 | 3658479 | 516482 | 79783 14 | 5 | 704 1797.81/1798.37 c 1796s | 19 | 3665163 | 517182 | 79783 14 | 5 | 704
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-4097919-1466119008/watcher-4097919-1466119008 -o /tmp/evaluation-result-4097919-1466119008/solver-4097919-1466119008 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466119008-24872 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097919-1466119008.opb pid=24895 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.09 1.56 1.82 5/178 24904 /proc/meminfo: memFree=31318004/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=508348 CPUtime=0 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 1858 0 0 0 0 0 0 0 20 0 4 0 13950939 520548352 1707 33554432000 4194304 16246674 140736216432496 140736216431920 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 127599 1718 441 2943 0 124493 0 [pid=24904/tid=24905] ppid=24895 vsize=524732 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 537325568 1774 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=529852 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 542568448 1791 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=533948 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 546762752 1807 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100218 s] /proc/loadavg: 1.09 1.56 1.82 5/178 24904 /proc/meminfo: memFree=31318004/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 26853 0 0 0 5 4 0 0 20 0 4 0 13950939 1333334016 26641 33554432000 4194304 16246674 140736216432496 140736216431808 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 325521 26654 800 2943 0 322415 0 [pid=24904/tid=24905] ppid=24895 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1333334016 26664 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1333334016 26675 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1333334016 26687 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200436 s] /proc/loadavg: 1.09 1.56 1.82 5/178 24904 /proc/meminfo: memFree=31318004/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 48565 0 0 0 12 7 0 0 20 0 4 0 13950939 1344868352 48863 33554432000 4194304 16246674 140736216432496 140736216431808 7369592 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 328337 48863 800 2943 0 325231 0 [pid=24904/tid=24905] ppid=24895 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 48863 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 48863 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 48863 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300486 s] /proc/loadavg: 1.09 1.56 1.82 5/178 24904 /proc/meminfo: memFree=31318004/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1313348 CPUtime=0.28 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 56726 0 0 0 21 7 0 0 20 0 4 0 13950939 1344868352 57024 33554432000 4194304 16246674 140736216432496 140736216431808 8055512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 328337 57024 800 2943 0 325231 0 [pid=24904/tid=24905] ppid=24895 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 57024 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 57024 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 57024 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1313348 [startup+0.700383 s] /proc/loadavg: 1.09 1.56 1.82 5/178 24904 /proc/meminfo: memFree=31318004/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 69393 0 0 0 60 9 0 0 20 0 4 0 13950939 1344868352 69691 33554432000 4194304 16246674 140736216432496 140736216415488 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 328337 69691 802 2943 0 325231 0 [pid=24904/tid=24905] ppid=24895 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 69691 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 69691 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 69691 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50033 s] /proc/loadavg: 1.09 1.56 1.82 4/183 24909 /proc/meminfo: memFree=30193568/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1313348 CPUtime=1.48 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 237474 0 0 0 117 31 0 0 20 0 4 0 13950939 1344868352 237773 33554432000 4194304 16246674 140736216432496 140736216414400 5589685 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 328337 237781 836 2943 0 325231 0 [pid=24904/tid=24905] ppid=24895 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 237788 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 237795 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 237803 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1313348 [startup+3.10034 s] /proc/loadavg: 1.09 1.56 1.82 4/183 24909 /proc/meminfo: memFree=29132988/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1326660 CPUtime=3.09 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 272112 0 0 0 273 36 0 0 20 0 4 0 13950939 1358499840 272410 33554432000 4194304 16246674 140736216432496 140736216414400 5673995 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 331665 272410 882 2943 0 328559 0 [pid=24904/tid=24905] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272410 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272410 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272410 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1326660 [startup+6.30036 s] /proc/loadavg: 1.24 1.59 1.82 4/183 24909 /proc/meminfo: memFree=29131564/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1326660 CPUtime=6.29 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 272336 0 0 0 593 36 0 0 20 0 4 0 13950939 1358499840 272634 33554432000 4194304 16246674 140736216432496 140736216414400 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 331665 272634 885 2943 0 328559 0 [pid=24904/tid=24905] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272634 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272634 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272634 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1326660 [startup+12.7004 s] /proc/loadavg: 1.30 1.59 1.82 4/183 24909 /proc/meminfo: memFree=29131288/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1326660 CPUtime=12.69 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 272340 0 0 0 1233 36 0 0 20 0 4 0 13950939 1358499840 272638 33554432000 4194304 16246674 140736216432496 140736216414400 12478229 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 331665 272638 887 2943 0 328559 0 [pid=24904/tid=24905] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272638 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272638 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272638 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1326660 [startup+25.5005 s] /proc/loadavg: 1.54 1.63 1.83 4/183 24909 /proc/meminfo: memFree=29132432/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1326660 CPUtime=25.49 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 272340 0 0 0 2513 36 0 0 20 0 4 0 13950939 1358499840 272638 33554432000 4194304 16246674 140736216432496 140736216414400 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 331665 272638 887 2943 0 328559 0 [pid=24904/tid=24905] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272638 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272638 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272638 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1326660 [startup+51.1005 s] /proc/loadavg: 1.77 1.68 1.84 4/183 24909 /proc/meminfo: memFree=29132152/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1326660 CPUtime=51.08 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 272340 0 0 0 5072 36 0 0 20 0 4 0 13950939 1358499840 272638 33554432000 4194304 16246674 140736216432496 140736216414400 5823101 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 331665 272638 887 2943 0 328559 0 [pid=24904/tid=24905] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272638 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272638 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272638 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1326660 [startup+102.3 s] /proc/loadavg: 2.02 1.75 1.85 4/183 24911 /proc/meminfo: memFree=29131536/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1326660 CPUtime=102.28 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 272343 0 0 0 10192 36 0 0 20 0 4 0 13950939 1358499840 272641 33554432000 4194304 16246674 140736216432496 140736216414400 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 331665 272641 889 2943 0 328559 0 [pid=24904/tid=24905] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272641 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272641 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1358499840 272641 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1326660 ################ # More data... # ################ /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1435045888 291585 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1401412 [startup+1362.3 s] /proc/loadavg: 2.17 2.12 2.02 4/183 24942 /proc/meminfo: memFree=28916588/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1413700 CPUtime=1361.92 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 294375 0 0 0 136143 49 0 0 20 0 4 0 13950939 1447628800 294657 33554432000 4194304 16246674 140736216432496 140736216414400 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 353425 294657 889 2943 0 350319 0 [pid=24904/tid=24905] ppid=24895 vsize=1413700 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1447628800 294657 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1413700 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1447628800 294657 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1413700 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1447628800 294657 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1413700 [startup+1422.3 s] /proc/loadavg: 2.12 2.11 2.02 4/184 24946 /proc/meminfo: memFree=28916372/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1413700 CPUtime=1421.88 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 294412 0 0 0 142139 49 0 0 20 0 4 0 13950939 1447628800 294657 33554432000 4194304 16246674 140736216432496 140736216414400 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 353425 294657 889 2943 0 350319 0 [pid=24904/tid=24905] ppid=24895 vsize=1413700 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1447628800 294657 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1413700 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1447628800 294657 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1413700 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1447628800 294657 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1413700 [startup+1482.3 s] /proc/loadavg: 2.10 2.10 2.02 4/183 24947 /proc/meminfo: memFree=28888588/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1442372 CPUtime=1481.87 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 301360 0 0 0 148136 51 0 0 20 0 4 0 13950939 1476988928 301585 33554432000 4194304 16246674 140736216432496 140736216414400 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 360593 301585 889 2943 0 357487 0 [pid=24904/tid=24905] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301585 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301585 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301585 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1442372 [startup+1542.31 s] /proc/loadavg: 2.13 2.11 2.03 4/183 24948 /proc/meminfo: memFree=28887912/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1442372 CPUtime=1541.86 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 301602 0 0 0 154131 55 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140736216414400 12483624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 360593 301825 889 2943 0 357487 0 [pid=24904/tid=24905] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1442372 [startup+1602.3 s] /proc/loadavg: 2.10 2.11 2.03 4/183 24950 /proc/meminfo: memFree=28887912/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1442372 CPUtime=1601.85 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 301602 0 0 0 160130 55 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140736216414400 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 360593 301825 889 2943 0 357487 0 [pid=24904/tid=24905] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1442372 [startup+1662.3 s] /proc/loadavg: 2.10 2.10 2.03 4/183 24951 /proc/meminfo: memFree=28887908/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1442372 CPUtime=1661.83 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 301602 0 0 0 166128 55 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140736216414400 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 360593 301825 889 2943 0 357487 0 [pid=24904/tid=24905] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1442372 [startup+1722.3 s] /proc/loadavg: 2.20 2.13 2.04 4/183 24952 /proc/meminfo: memFree=28888044/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1442372 CPUtime=1721.83 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 301602 0 0 0 172127 56 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140736216414400 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 360593 301825 889 2943 0 357487 0 [pid=24904/tid=24905] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1442372 [startup+1782.3 s] /proc/loadavg: 2.13 2.12 2.04 4/183 24953 /proc/meminfo: memFree=28887552/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1442372 CPUtime=1781.81 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 301602 0 0 0 178125 56 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140736216414400 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 360593 301825 889 2943 0 357487 0 [pid=24904/tid=24905] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1442372 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.09 2.11 2.04 4/183 24953 /proc/meminfo: memFree=28887432/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1442372 CPUtime=1800.01 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 301602 0 0 0 179945 56 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140736216414400 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 360593 301825 889 2943 0 357487 0 [pid=24904/tid=24905] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1442372 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 24904 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.09 2.11 2.04 4/183 24953 /proc/meminfo: memFree=28887432/32872528 swapFree=525044/557748 [pid=24904] ppid=24895 vsize=1442372 CPUtime=1800.01 cores=0,2,4,6 /proc/24904/stat : 24904 (toysat) R 24895 24904 18612 0 -1 4202496 301602 0 0 0 179945 56 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140736216414400 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24904/statm: 360593 301825 889 2943 0 357487 0 [pid=24904/tid=24905] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24905/stat : 24905 (toysat) S 24895 24904 18612 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636196941040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=24904/tid=24906] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24906/stat : 24906 (toysat) S 24895 24904 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636186451184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=24904/tid=24907] ppid=24895 vsize=1442372 CPUtime=0 cores=0,2,4,6 /proc/24904/task/24907/stat : 24907 (toysat) S 24895 24904 18612 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950939 1476988928 301825 33554432000 4194304 16246674 140736216432496 140636175977648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1442372 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.46 CPU system time (s): 0.566913 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 1442372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.46 system time used= 0.566913 maximum resident set size= 1207300 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 301602 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= 347 involuntary context switches= 1986 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.36933 second user time and 7.13091 second system time The end
Begin job on node106 at 2016-06-17 01:16:48 IDJOB=4097919 IDBENCH=107826 IDSOLVER=2542 FILE ID=node106/4097919-1466119008 RUNJOBID= node106-1466119008-24872 PBS_JOBID= 19904130 Free space on /tmp= 71692 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_17.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097919-1466119008/watcher-4097919-1466119008 -o /tmp/evaluation-result-4097919-1466119008/solver-4097919-1466119008 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466119008-24872 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097919-1466119008.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2d9e515d426c52a025752c6dbc5949b8 RANDOM SEED=1470936870 node106.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.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.14 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.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.38 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.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31323924 kB Buffers: 72436 kB Cached: 210164 kB SwapCached: 1872 kB Active: 167232 kB Inactive: 118892 kB Active(anon): 4200 kB Inactive(anon): 1280 kB Active(file): 163032 kB Inactive(file): 117612 kB Unevictable: 557748 kB Mlocked: 525044 kB SwapTotal: 67108856 kB SwapFree: 67099104 kB Dirty: 40384 kB Writeback: 0 kB AnonPages: 560096 kB Mapped: 7088 kB Shmem: 0 kB Slab: 573056 kB SReclaimable: 17536 kB SUnreclaim: 555520 kB KernelStack: 1416 kB PageTables: 5284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 654892 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 32768 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71660 MiB End job on node106 at 2016-06-17 01:46:49