| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | UNSAT | 1513.78 | 1514.18 |
| Name | PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-regular-n28-d4-i3.cnf.gz-extracted.pb.metafix.opb |
| MD5SUM | 314078d5e19349bdb18e2430b463b154 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.011997 |
| 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 | 113 |
| Total number of constraints | 112 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 112 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 8 |
| Number of bits of the biggest sum of numbers | 4 |
| 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-30T21:52:16+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-4122242-1467316336.opb"] 0.00/0.01 c use --random-gen="2684485737 3442504392 1091024979 449108743 3243596765 1211659659 1723157139 1979144331 3124868543 1537781570 1405206125 3009158170 978196844 1910349258 1500777993 2089336031 1653065360 1273386291 3288418367 223022239 4175972425 1737649135 2894035449 2398366012 417761658 3294722929 3385144488 968592247 111687937 1410601367 693626049 4134017931 3030534274 468860211 2473307739 2754602242 2550525427 377914697 1634011236 281291114 4229215696 1819829903 3971567423 1841798350 1765303604 1984216838 4056167296 3305232131 1240077262 3484412796 4121756279 3003144904 1801568937 712657019 2327017088 369748969 2928664412 321482921 3697848791 828872564 162140495 169972526 4075421386 3793398708 4183355381 1540564642 1417796746 2760463181 3283959041 3094277348 217350757 1031763283 2480808208 1273930430 3229651405 1627412015 1929567387 2890592488 2746596086 3009767065 202061120 694315919 2213790288 967121780 250248031 863378144 3544514741 2508282623 1486900449 4088011202 3096177825 603615547 4127043762 2785933675 778504548 298331302 2526544663 2884318505 1726217194 3921567971 1260124954 2663913636 95744173 1815544212 1459599020 3819475453 1998669306 766153965 333359128 1764757916 3994209233 585791740 1251494455 3845441698 3278204577 3516091032 4123636618 4154603603 3509647986 2185618834 3173479108 2555483333 2282706081 2618261484 2563281942 4276083 789863813 1424860427 1553836393 689156750 1738382790 2731907286 3807624182 3413369152 3388543482 3372256321 964739704 3006251880 1090077640 3744646894 1793694174 2869296374 4020925323 3971200334 1558222560 271049248 2897726078 4124394699 3732159486 2955665903 1372474062 2023784228 845674506 1411958790 1438953962 187756717 1588089486 1101609318 1126776482 3033894243 2877924472 1042290005 842276549 2351296288 3600195419 3057830351 1096376559 2620705109 1020535862 3363950023 1926455241 1541717696 1133405242 476273145 1953442985 696198959 1529721109 58161507 2100697560 3860409834 3283462400 2848756194 3601892388 2971046489 2767428505 708961330 2043241364 4007448580 1858704814 408072812 1416352437 2280398795 3915580869 1478419559 4255944225 908185927 3165722657 3058225055 1752744157 1325037280 151876464 3723899720 1346025273 2848888913 4097369134 673237635 4016156032 1593327912 2054871486 3501221706 1293768667 2590254678 4084179462 3308330897 2505358451 4034737515 472187817 2097671332 2213352914 273416667 1359263171 1920530967 2633746747 3055626369 1922017631 1378354751 130603548 1323227292 4091922839 1174460466 4055033320 4201170104 1011601211 1911015042 178396423 796866587 741394084 3020373073 559874923 3045364284 3747248650 4121060555 1866941131 2235676205 3493666004 3956657055 2532422550 4150185794 1222639460 1961098869 2884503055 2370208215 309483645 3030088109 2509132576 2658272141 255 362436" option to reproduce the execution 0.00/0.01 c #vars 113 0.00/0.01 c #constraints 112 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 75 0 | 0 | 0 0.00/0.02 c 0.0s | 1 | 142 | 100 | 75 0 | 0 | 0 0.00/0.03 c 0.0s | 2 | 367 | 250 | 83 2 | 0 | 0 0.00/0.05 c 0.0s | 3 | 680 | 475 | 92 5 | 0 | 0 0.00/0.07 c 0.1s | 4 | 1317 | 813 | 102 10 | 0 | 0 0.08/0.12 c 0.1s | 5 | 2084 | 1320 | 113 17 | 0 | 0 0.08/0.18 c 0.2s | 6 | 3287 | 2081 | 138 27 | 0 | 0 0.19/0.28 c 0.3s | 7 | 5095 | 3223 | 152 41 | 0 | 0 0.39/0.43 c 0.4s | 8 | 7900 | 4936 | 168 61 | 0 | 0 0.59/0.69 c 0.7s | 9 | 11474 | 7506 | 185 87 | 0 | 0 0.98/1.10 c 1.1s | 10 | 16677 | 11361 | 204 124 | 0 | 0 1.49/1.53 c 1.5s | 11 | 24221 | 17144 | 225 176 | 0 | 0 1.99/2.09 c 2.1s | 12 | 36289 | 25819 | 248 247 | 0 | 0 2.99/3.03 c 3.0s | 13 | 54823 | 38832 | 273 343 | 0 | 0 4.39/4.47 c 4.5s | 14 | 81943 | 58352 | 301 475 | 0 | 0 6.39/6.48 c 6.5s | 14 | 113626 | 83452 | 301 629 | 0 | 0 6.69/6.79 c 6.8s | 15 | 119097 | 87632 | 332 654 | 0 | 0 8.69/8.79 c 8.8s | 15 | 158222 | 116032 | 332 814 | 0 | 0 9.89/9.98 c 10.0s | 16 | 178225 | 131552 | 366 901 | 0 | 0 11.88/11.99 c 12.0s | 16 | 219961 | 159752 | 366 1048 | 0 | 0 13.88/13.99 c 14.0s | 16 | 261771 | 187652 | 366 1193 | 0 | 0 14.69/14.72 c 14.7s | 17 | 274719 | 197432 | 403 1243 | 0 | 0 16.69/16.73 c 16.7s | 17 | 309439 | 222832 | 403 1363 | 0 | 0 18.70/18.73 c 18.7s | 17 | 343051 | 248132 | 403 1483 | 0 | 0 20.69/20.74 c 20.7s | 17 | 377323 | 273932 | 403 1606 | 0 | 0 22.39/22.44 c 22.4s | 18 | 407584 | 296252 | 444 1712 | 0 | 0 24.39/24.45 c 24.4s | 18 | 444094 | 323052 | 444 1828 | 0 | 0 26.39/26.46 c 26.4s | 18 | 482822 | 351352 | 444 1951 | 0 | 0 28.39/28.46 c 28.4s | 18 | 517899 | 377652 | 444 2065 | 0 | 0 30.38/30.46 c 30.5s | 18 | 553829 | 404652 | 444 2183 | 0 | 0 32.38/32.47 c 32.5s | 18 | 588925 | 430652 | 444 2296 | 0 | 0 33.48/33.51 c 33.5s | 19 | 607273 | 444482 | 489 2355 | 0 | 0 35.48/35.51 c 35.5s | 19 | 641834 | 469882 | 489 2456 | 0 | 0 37.49/37.52 c 37.5s | 19 | 674380 | 494582 | 489 2553 | 0 | 0 39.48/39.53 c 39.5s | 19 | 709027 | 520282 | 489 2655 | 0 | 0 41.48/41.53 c 41.5s | 19 | 744376 | 545982 | 489 2757 | 0 | 0 43.48/43.53 c 43.5s | 19 | 779626 | 571882 | 489 2860 | 0 | 0 45.48/45.53 c 45.5s | 19 | 817116 | 598082 | 489 2964 | 0 | 0 47.48/47.54 c 47.5s | 19 | 854613 | 624882 | 489 3070 | 0 | 0 49.49/49.54 c 49.5s | 19 | 886692 | 650282 | 489 3171 | 0 | 0 50.78/50.83 c 50.8s | 20 | 908414 | 666827 | 538 3235 | 0 | 0 52.78/52.83 c 52.8s | 20 | 943584 | 692527 | 538 3327 | 0 | 0 54.78/54.83 c 54.8s | 20 | 977049 | 717027 | 538 3416 | 0 | 0 56.78/56.84 c 56.8s | 20 | 1010263 | 742027 | 538 3506 | 0 | 0 58.78/58.84 c 58.8s | 20 | 1046347 | 767727 | 538 3600 | 0 | 0 60.78/60.85 c 60.8s | 20 | 1078204 | 791727 | 538 3686 | 0 | 0 62.79/62.85 c 62.8s | 20 | 1108935 | 815727 | 538 3773 | 0 | 0 64.78/64.86 c 64.8s | 20 | 1144701 | 841027 | 538 3864 | 0 | 0 66.78/66.86 c 66.8s | 20 | 1178142 | 865827 | 538 3954 | 0 | 0 68.78/68.86 c 68.9s | 20 | 1209804 | 890127 | 538 4042 | 0 | 0 70.78/70.87 c 70.9s | 20 | 1244841 | 915827 | 538 4135 | 0 | 0 72.78/72.87 c 72.9s | 20 | 1280757 | 941327 | 538 4228 | 0 | 0 74.78/74.88 c 74.9s | 20 | 1315380 | 966727 | 538 4320 | 0 | 0 76.78/76.88 c 76.9s | 20 | 1349605 | 992327 | 538 4413 | 0 | 0 77.48/77.54 c 77.5s | 21 | 1360142 | 1000345 | 592 4439 | 0 | 0 79.48/79.54 c 79.5s | 21 | 1390762 | 1024645 | 592 4519 | 0 | 0 81.48/81.55 c 81.5s | 21 | 1424067 | 1049545 | 592 4601 | 0 | 0 83.47/83.55 c 83.5s | 21 | 1456931 | 1074945 | 592 4685 | 0 | 0 85.48/85.56 c 85.5s | 21 | 1492408 | 1101645 | 592 4774 | 0 | 0 87.48/87.56 c 87.6s | 21 | 1527341 | 1127145 | 592 4858 | 0 | 0 89.48/89.56 c 89.6s | 21 | 1560458 | 1152445 | 592 4942 | 0 | 0 91.47/91.57 c 91.6s | 21 | 1591024 | 1176645 | 592 5022 | 0 | 0 93.48/93.57 c 93.6s | 21 | 1625256 | 1202545 | 592 5107 | 0 | 0 95.47/95.58 c 95.6s | 21 | 1660452 | 1228745 | 592 5194 | 0 | 0 97.47/97.58 c 97.6s | 21 | 1694304 | 1254745 | 592 5280 | 0 | 0 99.47/99.59 c 99.6s | 21 | 1729787 | 1280945 | 592 5367 | 0 | 0 101.47/101.59 c 101s | 21 | 1763339 | 1306245 | 592 5451 | 0 | 0 103.57/103.60 c 103s | 21 | 1796613 | 1332145 | 592 5537 | 0 | 0 105.47/105.60 c 105s | 21 | 1832140 | 1358145 | 592 5624 | 0 | 0 107.56/107.60 c 107s | 21 | 1867082 | 1384145 | 592 5710 | 0 | 0 109.56/109.61 c 109s | 21 | 1901312 | 1409845 | 592 5796 | 0 | 0 111.56/111.61 c 111s | 21 | 1935741 | 1435045 | 592 5878 | 0 | 0 113.56/113.62 c 113s | 21 | 1967189 | 1459045 | 592 5957 | 0 | 0 115.57/115.62 c 115s | 21 | 1998416 | 1483245 | 592 6037 | 0 | 0 116.96/117.07 c 117s | 22 | 2021787 | 1500622 | 652 6091 | 0 | 0 118.96/119.07 c 119s | 22 | 2056554 | 1526322 | 652 6168 | 0 | 0 120.97/121.08 c 121s | 22 | 2089260 | 1550922 | 652 6242 | 0 | 0 122.95/123.08 c 123s | 22 | 2121934 | 1575322 | 652 6315 | 0 | 0 124.96/125.08 c 125s | 22 | 2158116 | 1601222 | 652 6393 | 0 | 0 126.96/127.09 c 127s | 22 | 2193146 | 1626322 | 652 6468 | 0 | 0 128.96/129.09 c 129s | 22 | 2225247 | 1650022 | 652 6540 | 0 | 0 130.97/131.09 c 131s | 22 | 2259987 | 1675422 | 652 6616 | 0 | 0 132.96/133.10 c 133s | 22 | 2295513 | 1701322 | 652 6694 | 0 | 0 135.06/135.10 c 135s | 22 | 2330430 | 1726822 | 652 6771 | 0 | 0 137.06/137.10 c 137s | 22 | 2364346 | 1751622 | 652 6845 | 0 | 0 139.05/139.11 c 139s | 22 | 2396871 | 1776022 | 652 6918 | 0 | 0 141.05/141.11 c 141s | 22 | 2429096 | 1800522 | 652 6991 | 0 | 0 143.06/143.11 c 143s | 22 | 2459065 | 1823122 | 652 7058 | 0 | 0 145.05/145.12 c 145s | 22 | 2488664 | 1845622 | 652 7125 | 0 | 0 147.05/147.12 c 147s | 22 | 2514409 | 1866522 | 652 7187 | 0 | 0 149.05/149.13 c 149s | 22 | 2539321 | 1886722 | 652 7247 | 0 | 0 151.05/151.13 c 151s | 22 | 2565017 | 1907322 | 652 7308 | 0 | 0 153.05/153.13 c 153s | 22 | 2594577 | 1930122 | 652 7376 | 0 | 0 155.06/155.13 c 155s | 22 | 2623849 | 1953222 | 652 7446 | 0 | 0 157.05/157.14 c 157s | 22 | 2653130 | 1976122 | 652 7514 | 0 | 0 159.06/159.14 c 159s | 22 | 2682170 | 1998922 | 652 7583 | 0 | 0 161.06/161.15 c 161s | 22 | 2714090 | 2022722 | 652 7654 | 0 | 0 163.06/163.15 c 163s | 22 | 2746498 | 2046522 | 652 7725 | 0 | 0 165.06/165.16 c 165s | 22 | 2778448 | 2070922 | 652 7799 | 0 | 0 167.05/167.16 c 167s | 22 | 2812784 | 2096122 | 652 7874 | 0 | 0 169.05/169.16 c 169s | 22 | 2845484 | 2121222 | 652 7950 | 0 | 0 171.05/171.17 c 171s | 22 | 2879410 | 2147122 | 652 8028 | 0 | 0 173.05/173.18 c 173s | 22 | 2915590 | 2173522 | 652 8108 | 0 | 0 175.05/175.18 c 175s | 22 | 2949818 | 2199222 | 652 8186 | 0 | 0 177.05/177.18 c 177s | 22 | 2981058 | 2223222 | 652 8258 | 0 | 0 179.04/179.19 c 179s | 22 | 3012536 | 2247522 | 718 8328 | 0 | 0 179.35/179.47 c 179s | 23 | 3017999 | 2251038 | 718 8337 | 0 | 0 181.34/181.48 c 181s | 23 | 3051856 | 2276038 | 718 8405 | 0 | 0 183.34/183.48 c 183s | 23 | 3084860 | 2300538 | 718 8472 | 0 | 0 185.34/185.49 c 185s | 23 | 3119150 | 2325238 | 718 8540 | 0 | 0 187.34/187.49 c 187s | 23 | 3147560 | 2348138 | 718 8602 | 0 | 0 189.34/189.49 c 189s | 23 | 3179011 | 2372438 | 718 8668 | 0 | 0 191.34/191.50 c 191s | 23 | 3208616 | 2396138 | 718 8733 | 0 | 0 193.44/193.50 c 193s | 23 | 3240993 | 2421438 | 718 8802 | 0 | 0 195.44/195.50 c 195s | 23 | 3273603 | 2446038 | 718 8869 | 0 | 0 197.43/197.50 c 197s | 23 | 3306098 | 2470338 | 718 8936 | 0 | 0 199.43/199.51 c 199s | 23 | 3334570 | 2492738 | 718 8996 | 0 | 0 201.43/201.51 c 201s | 23 | 3364579 | 2515638 | 718 9058 | 0 | 0 203.44/203.52 c 203s | 23 | 3399472 | 2541238 | 718 9129 | 0 | 0 205.43/205.52 c 205s | 23 | 3432893 | 2566338 | 718 9198 | 0 | 0 207.44/207.53 c 207s | 23 | 3467557 | 2591938 | 718 9268 | 0 | 0 209.44/209.53 c 209s | 23 | 3502281 | 2617638 | 718 9339 | 0 | 0 211.44/211.54 c 211s | 23 | 3536213 | 2643138 | 718 9409 | 0 | 0 213.45/213.54 c 213s | 23 | 3567608 | 2666938 | 718 9473 | 0 | 0 215.44/215.54 c 215s | 23 | 3598321 | 2690238 | 718 9536 | 0 | 0 217.44/217.54 c 217s | 23 | 3629076 | 2713538 | 718 9599 | 0 | 0 219.44/219.55 c 219s | 23 | 3657764 | 2736038 | 718 9660 | 0 | 0 221.43/221.56 c 221s | 23 | 3688245 | 2759438 | 718 9724 | 0 | 0 223.43/223.56 c 223s | 23 | 3718582 | 2782838 | 718 9787 | 0 | 0 225.44/225.57 c 225s | 23 | 3748479 | 2805138 | 718 9848 | 0 | 0 227.43/227.57 c 227s | 23 | 3777359 | 2827138 | 718 9908 | 0 | 0 229.43/229.57 c 229s | 23 | 3805503 | 2848438 | 718 9966 | 0 | 0 231.43/231.57 c 231s | 23 | 3834781 | 2871338 | 718 10028 | 0 | 0 233.42/233.57 c 233s | 23 | 3864737 | 2894538 | 718 10092 | 0 | 0 235.43/235.58 c 235s | 23 | 3895208 | 2918338 | 718 10157 | 0 | 0 237.42/237.59 c 237s | 23 | 3925197 | 2941638 | 718 10220 | 0 | 0 239.42/239.59 c 239s | 23 | 3954235 | 2964638 | 718 10283 | 0 | 0 241.52/241.60 c 241s | 23 | 3983995 | 2987638 | 718 10346 | 0 | 0 243.52/243.60 c 243s | 23 | 4013116 | 3010738 | 718 10409 | 0 | 0 245.52/245.60 c 245s | 23 | 4045103 | 3034338 | 718 10474 | 0 | 0 247.52/247.61 c 247s | 23 | 4076911 | 3058038 | 718 10539 | 0 | 0 249.52/249.61 c 249s | 23 | 4110996 | 3083038 | 718 10607 | 0 | 0 251.51/251.61 c 251s | 23 | 4143138 | 3107238 | 718 10673 | 0 | 0 253.51/253.61 c 253s | 23 | 4173853 | 3130538 | 718 10737 | 0 | 0 255.51/255.61 c 255s | 23 | 4204048 | 3153838 | 718 10801 | 0 | 0 257.51/257.62 c 257s | 23 | 4234160 | 3177438 | 718 10865 | 0 | 0 259.52/259.62 c 259s | 23 | 4266478 | 3201838 | 718 10932 | 0 | 0 261.51/261.62 c 261s | 23 | 4299835 | 3226038 | 718 10998 | 0 | 0 263.51/263.63 c 263s | 23 | 4329693 | 3250038 | 718 11064 | 0 | 0 265.51/265.63 c 265s | 23 | 4363657 | 3274438 | 718 11131 | 0 | 0 267.51/267.64 c 267s | 23 | 4392647 | 3297138 | 718 11193 | 0 | 0 269.52/269.64 c 269s | 23 | 4424655 | 3321138 | 718 11259 | 0 | 0 271.50/271.64 c 271s | 23 | 4453176 | 3343538 | 718 11320 | 0 | 0 273.50/273.65 c 273s | 23 | 4481464 | 3365938 | 790 11378 | 0 | 0 274.50/274.65 c 274s | 24 | 4494826 | 3376662 | 790 11405 | 0 | 0 276.50/276.66 c 276s | 24 | 4524125 | 3398662 | 790 11459 | 0 | 0 278.50/278.67 c 278s | 24 | 4552128 | 3420662 | 790 11514 | 0 | 0 280.51/280.67 c 280s | 24 | 4581119 | 3442862 | 790 11569 | 0 | 0 282.51/282.67 c 282s | 24 | 4609308 | 3465062 | 790 11624 | 0 | 0 284.51/284.68 c 284s | 24 | 4638876 | 3487762 | 790 11680 | 0 | 0 286.51/286.68 c 286s | 24 | 4666504 | 3509662 | 790 11734 | 0 | 0 288.50/288.68 c 288s | 24 | 4695020 | 3532162 | 790 11790 | 0 | 0 290.50/290.69 c 290s | 24 | 4725870 | 3555062 | 790 11847 | 0 | 0 292.51/292.69 c 292s | 24 | 4757203 | 3578562 | 790 11906 | 0 | 0 294.50/294.70 c 294s | 24 | 4788005 | 3601562 | 790 11963 | 0 | 0 296.60/296.70 c 296s | 24 | 4819253 | 3624862 | 790 12021 | 0 | 0 298.60/298.70 c 298s | 24 | 4849069 | 3647862 | 790 12078 | 0 | 0 300.60/300.71 c 300s | 24 | 4879798 | 3671162 | 790 12136 | 0 | 0 302.60/302.72 c 302s | 24 | 4909533 | 3694362 | 790 12194 | 0 | 0 304.61/304.73 c 304s | 24 | 4939939 | 3717262 | 790 12251 | 0 | 0 306.60/306.73 c 306s | 24 | 4967152 | 3739062 | 790 12305 | 0 | 0 308.60/308.74 c 308s | 24 | 4996550 | 3761462 | 790 12361 | 0 | 0 310.60/310.74 c 310s | 24 | 5027575 | 3785062 | 790 12420 | 0 | 0 312.60/312.75 c 312s | 24 | 5058240 | 3807862 | 790 12477 | 0 | 0 314.60/314.75 c 314s | 24 | 5093700 | 3832962 | 790 12539 | 0 | 0 316.60/316.75 c 316s | 24 | 5127093 | 3857062 | 790 12599 | 0 | 0 318.60/318.76 c 318s | 24 | 5163494 | 3882262 | 790 12662 | 0 | 0 320.60/320.76 c 320s | 24 | 5195742 | 3906362 | 790 12722 | 0 | 0 322.59/322.76 c 322s | 24 | 5224835 | 3929262 | 790 12779 | 0 | 0 324.59/324.77 c 324s | 24 | 5254132 | 3952162 | 790 12837 | 0 | 0 326.60/326.77 c 326s | 24 | 5288773 | 3976762 | 790 12898 | 0 | 0 328.59/328.78 c 328s | 24 | 5323567 | 4001462 | 790 12960 | 0 | 0 330.59/330.78 c 330s | 24 | 5355207 | 4024862 | 790 13018 | 0 | 0 332.59/332.78 c 332s | 24 | 5384774 | 4047762 | 790 13075 | 0 | 0 334.59/334.78 c 334s | 24 | 5415725 | 4071162 | 790 13134 | 0 | 0 336.59/336.78 c 336s | 24 | 5445313 | 4094362 | 790 13192 | 0 | 0 338.60/338.79 c 338s | 24 | 5478265 | 4118262 | 790 13252 | 0 | 0 340.59/340.79 c 340s | 24 | 5507497 | 4140562 | 790 13307 | 0 | 0 342.69/342.80 c 342s | 24 | 5537229 | 4163462 | 790 13365 | 0 | 0 344.69/344.80 c 344s | 24 | 5568248 | 4186862 | 790 13423 | 0 | 0 346.69/346.80 c 346s | 24 | 5600124 | 4210862 | 790 13483 | 0 | 0 348.69/348.80 c 348s | 24 | 5636400 | 4236162 | 790 13547 | 0 | 0 350.69/350.81 c 350s | 24 | 5670415 | 4260862 | 790 13609 | 0 | 0 352.68/352.81 c 352s | 24 | 5705283 | 4285462 | 790 13670 | 0 | 0 354.68/354.82 c 354s | 24 | 5738642 | 4309862 | 790 13731 | 0 | 0 356.68/356.82 c 356s | 24 | 5769787 | 4333262 | 790 13789 | 0 | 0 358.68/358.83 c 358s | 24 | 5800773 | 4356262 | 790 13847 | 0 | 0 360.69/360.83 c 360s | 24 | 5830481 | 4379262 | 790 13904 | 0 | 0 362.68/362.84 c 362s | 24 | 5862104 | 4403462 | 790 13964 | 0 | 0 364.69/364.84 c 364s | 24 | 5895350 | 4428062 | 790 14026 | 0 | 0 366.68/366.84 c 366s | 24 | 5921986 | 4449662 | 790 14080 | 0 | 0 368.68/368.85 c 368s | 24 | 5952952 | 4473062 | 790 14138 | 0 | 0 370.69/370.86 c 370s | 24 | 5982836 | 4495862 | 790 14195 | 0 | 0 372.68/372.86 c 372s | 24 | 6011364 | 4518162 | 790 14251 | 0 | 0 374.68/374.86 c 374s | 24 | 6041205 | 4541162 | 790 14308 | 0 | 0 376.67/376.86 c 376s | 24 | 6070256 | 4563962 | 790 14365 | 0 | 0 378.67/378.86 c 378s | 24 | 6101464 | 4587262 | 790 14423 | 0 | 0 380.67/380.87 c 380s | 24 | 6129711 | 4609162 | 790 14478 | 0 | 0 382.67/382.87 c 382s | 24 | 6158619 | 4631462 | 790 14533 | 0 | 0 384.67/384.88 c 384s | 24 | 6186571 | 4653862 | 790 14589 | 0 | 0 386.67/386.88 c 386s | 24 | 6216119 | 4676562 | 790 14646 | 0 | 0 388.66/388.89 c 388s | 24 | 6241737 | 4697162 | 790 14697 | 0 | 0 390.66/390.89 c 390s | 24 | 6267648 | 4718162 | 790 14750 | 0 | 0 392.68/392.89 c 392s | 24 | 6295443 | 4739962 | 790 14804 | 0 | 0 394.67/394.89 c 394s | 24 | 6323187 | 4762162 | 790 14860 | 0 | 0 396.77/396.90 c 396s | 24 | 6351780 | 4784262 | 790 14915 | 0 | 0 398.77/398.90 c 398s | 24 | 6379849 | 4805962 | 790 14969 | 0 | 0 400.76/400.91 c 400s | 24 | 6408531 | 4828362 | 790 15025 | 0 | 0 402.76/402.91 c 402s | 24 | 6439085 | 4851662 | 790 15083 | 0 | 0 404.77/404.91 c 404s | 24 | 6466202 | 4873762 | 790 15139 | 0 | 0 406.76/406.92 c 406s | 24 | 6495711 | 4896762 | 790 15196 | 0 | 0 408.76/408.92 c 408s | 24 | 6525418 | 4919262 | 790 15252 | 0 | 0 410.75/410.93 c 410s | 24 | 6553889 | 4941362 | 790 15308 | 0 | 0 412.75/412.93 c 412s | 24 | 6582684 | 4963462 | 790 15363 | 0 | 0 414.76/414.93 c 414s | 24 | 6611727 | 4986562 | 790 15420 | 0 | 0 416.76/416.94 c 416s | 24 | 6637173 | 5007862 | 790 15473 | 0 | 0 418.76/418.95 c 418s | 24 | 6663108 | 5029362 | 870 15527 | 0 | 0 420.76/420.96 c 420s | 24 | 6689119 | 5050462 | 870 15574 | 0 | 0 422.26/422.42 c 422s | 25 | 6706288 | 5065098 | 870 15608 | 0 | 0 424.25/424.43 c 424s | 25 | 6735457 | 5087498 | 870 15658 | 0 | 0 426.25/426.43 c 426s | 25 | 6764427 | 5109998 | 870 15709 | 0 | 0 428.25/428.44 c 428s | 25 | 6793231 | 5132598 | 870 15760 | 0 | 0 430.25/430.44 c 430s | 25 | 6822774 | 5155098 | 870 15811 | 0 | 0 432.26/432.44 c 432s | 25 | 6851907 | 5177498 | 870 15862 | 0 | 0 434.25/434.44 c 434s | 25 | 6880689 | 5199698 | 870 15912 | 0 | 0 436.25/436.45 c 436s | 25 | 6908100 | 5220998 | 870 15960 | 0 | 0 438.25/438.45 c 438s | 25 | 6934903 | 5242098 | 870 16008 | 0 | 0 440.25/440.45 c 440s | 25 | 6961174 | 5263098 | 870 16055 | 0 | 0 442.24/442.46 c 442s | 25 | 6987412 | 5283698 | 870 16101 | 0 | 0 444.25/444.47 c 444s | 25 | 7014192 | 5305098 | 870 16150 | 0 | 0 446.24/446.48 c 446s | 25 | 7039987 | 5326598 | 870 16198 | 0 | 0 448.24/448.48 c 448s | 25 | 7068269 | 5348998 | 870 16249 | 0 | 0 450.25/450.48 c 450s | 25 | 7098357 | 5371598 | 870 16300 | 0 | 0 452.25/452.49 c 452s | 25 | 7126675 | 5393498 | 870 16349 | 0 | 0 454.25/454.50 c 454s | 25 | 7155565 | 5415698 | 870 16400 | 0 | 0 456.24/456.50 c 456s | 25 | 7181810 | 5436498 | 870 16447 | 0 | 0 458.34/458.51 c 458s | 25 | 7209158 | 5457898 | 870 16496 | 0 | 0 460.34/460.51 c 460s | 25 | 7236270 | 5479398 | 870 16545 | 0 | 0 462.34/462.51 c 462s | 25 | 7264061 | 5501698 | 870 16596 | 0 | 0 464.34/464.51 c 464s | 25 | 7294532 | 5525098 | 870 16649 | 0 | 0 466.35/466.52 c 466s | 25 | 7327896 | 5549498 | 870 16705 | 0 | 0 468.34/468.53 c 468s | 25 | 7360594 | 5572898 | 870 16758 | 0 | 0 470.34/470.53 c 470s | 25 | 7392385 | 5596498 | 870 16811 | 0 | 0 472.33/472.53 c 472s | 25 | 7423700 | 5619598 | 870 16864 | 0 | 0 474.33/474.54 c 474s | 25 | 7450406 | 5641098 | 870 16913 | 0 | 0 476.33/476.54 c 476s | 25 | 7478937 | 5663298 | 870 16963 | 0 | 0 478.34/478.54 c 478s | 25 | 7506040 | 5684998 | 870 17012 | 0 | 0 480.33/480.55 c 480s | 25 | 7533021 | 5706698 | 870 17061 | 0 | 0 482.32/482.55 c 482s | 25 | 7560630 | 5728398 | 870 17110 | 0 | 0 484.32/484.55 c 484s | 25 | 7587376 | 5749298 | 870 17157 | 0 | 0 486.32/486.56 c 486s | 25 | 7616141 | 5771698 | 870 17209 | 0 | 0 488.33/488.57 c 488s | 25 | 7644764 | 5794298 | 870 17260 | 0 | 0 490.32/490.57 c 490s | 25 | 7672308 | 5816298 | 870 17310 | 0 | 0 492.32/492.58 c 492s | 25 | 7701840 | 5839198 | 870 17362 | 0 | 0 494.32/494.58 c 494s | 25 | 7730776 | 5861698 | 870 17413 | 0 | 0 496.32/496.58 c 496s | 25 | 7759328 | 5883498 | 870 17463 | 0 | 0 498.32/498.59 c 498s | 25 | 7789790 | 5906298 | 870 17514 | 0 | 0 500.32/500.59 c 500s | 25 | 7818884 | 5928698 | 870 17566 | 0 | 0 502.41/502.60 c 502s | 25 | 7849113 | 5952198 | 870 17619 | 0 | 0 504.41/504.60 c 504s | 25 | 7879375 | 5975398 | 870 17672 | 0 | 0 506.42/506.61 c 506s | 25 | 7911302 | 5999298 | 870 17726 | 0 | 0 508.42/508.61 c 508s | 25 | 7939781 | 6021398 | 870 17777 | 0 | 0 510.42/510.61 c 510s | 25 | 7967838 | 6043498 | 870 17827 | 0 | 0 512.42/512.62 c 512s | 25 | 7996055 | 6065698 | 870 17878 | 0 | 0 514.41/514.62 c 514s | 25 | 8023685 | 6087698 | 870 17928 | 0 | 0 516.41/516.63 c 516s | 25 | 8051831 | 6109498 | 870 17978 | 0 | 0 518.41/518.63 c 518s | 25 | 8079943 | 6130998 | 870 18027 | 0 | 0 520.41/520.64 c 520s | 25 | 8108670 | 6153298 | 870 18077 | 0 | 0 522.41/522.64 c 522s | 25 | 8138303 | 6175598 | 870 18128 | 0 | 0 524.41/524.64 c 524s | 25 | 8169588 | 6198098 | 870 18178 | 0 | 0 526.41/526.65 c 526s | 25 | 8198462 | 6220098 | 870 18228 | 0 | 0 528.40/528.65 c 528s | 25 | 8227409 | 6242698 | 870 18279 | 0 | 0 530.40/530.65 c 530s | 25 | 8258295 | 6265898 | 870 18331 | 0 | 0 532.40/532.65 c 532s | 25 | 8286280 | 6287698 | 870 18381 | 0 | 0 534.41/534.66 c 534s | 25 | 8313615 | 6308898 | 870 18429 | 0 | 0 536.40/536.66 c 536s | 25 | 8340578 | 6330598 | 870 18478 | 0 | 0 538.40/538.67 c 538s | 25 | 8366717 | 6351798 | 870 18526 | 0 | 0 540.40/540.68 c 540s | 25 | 8394510 | 6373398 | 870 18575 | 0 | 0 542.39/542.68 c 542s | 25 | 8426928 | 6397398 | 870 18629 | 0 | 0 544.40/544.69 c 544s | 25 | 8454517 | 6419198 | 870 18679 | 0 | 0 546.39/546.69 c 546s | 25 | 8484218 | 6441698 | 870 18730 | 0 | 0 548.39/548.69 c 548s | 25 | 8515456 | 6464898 | 870 18783 | 0 | 0 550.49/550.70 c 550s | 25 | 8546063 | 6487798 | 870 18835 | 0 | 0 552.49/552.71 c 552s | 25 | 8576533 | 6511098 | 870 18887 | 0 | 0 554.49/554.71 c 554s | 25 | 8609105 | 6534798 | 870 18941 | 0 | 0 556.49/556.71 c 556s | 25 | 8639663 | 6558098 | 870 18994 | 0 | 0 558.49/558.72 c 558s | 25 | 8672054 | 6582298 | 870 19049 | 0 | 0 560.49/560.72 c 560s | 25 | 8705016 | 6606498 | 870 19104 | 0 | 0 562.49/562.73 c 562s | 25 | 8738648 | 6631098 | 870 19160 | 0 | 0 564.49/564.73 c 564s | 25 | 8768099 | 6654198 | 870 19213 | 0 | 0 566.49/566.74 c 566s | 25 | 8798072 | 6677298 | 870 19265 | 0 | 0 568.50/568.74 c 568s | 25 | 8826070 | 6699598 | 870 19316 | 0 | 0 570.49/570.75 c 570s | 25 | 8855400 | 6721998 | 870 19366 | 0 | 0 572.49/572.75 c 572s | 25 | 8884022 | 6744198 | 870 19417 | 0 | 0 574.49/574.75 c 574s | 25 | 8911530 | 6765998 | 870 19466 | 0 | 0 576.49/576.76 c 576s | 25 | 8939646 | 6788498 | 870 19518 | 0 | 0 578.49/578.76 c 578s | 25 | 8971404 | 6812098 | 870 19571 | 0 | 0 580.49/580.76 c 580s | 25 | 9003364 | 6836098 | 870 19626 | 0 | 0 582.48/582.77 c 582s | 25 | 9033483 | 6859098 | 870 19678 | 0 | 0 584.48/584.77 c 584s | 25 | 9061956 | 6881698 | 870 19729 | 0 | 0 586.48/586.77 c 586s | 25 | 9094107 | 6906198 | 870 19786 | 0 | 0 588.48/588.78 c 588s | 25 | 9125928 | 6930098 | 870 19840 | 0 | 0 590.49/590.78 c 590s | 25 | 9158176 | 6954298 | 870 19895 | 0 | 0 592.48/592.79 c 592s | 25 | 9186998 | 6976998 | 870 19946 | 0 | 0 594.47/594.79 c 594s | 25 | 9218276 | 7000498 | 870 20000 | 0 | 0 596.57/596.80 c 596s | 25 | 9249362 | 7023898 | 870 20053 | 0 | 0 598.57/598.81 c 598s | 25 | 9278605 | 7046898 | 870 20106 | 0 | 0 600.57/600.81 c 600s | 25 | 9311990 | 7071598 | 870 20162 | 0 | 0 602.58/602.82 c 602s | 25 | 9343686 | 7095898 | 870 20217 | 0 | 0 604.57/604.82 c 604s | 25 | 9379106 | 7120998 | 870 20274 | 0 | 0 606.57/606.82 c 606s | 25 | 9414792 | 7146098 | 870 20332 | 0 | 0 608.58/608.83 c 608s | 25 | 9445458 | 7169398 | 870 20385 | 0 | 0 610.58/610.83 c 610s | 25 | 9477544 | 7193298 | 870 20439 | 0 | 0 612.58/612.84 c 612s | 25 | 9510383 | 7217598 | 870 20494 | 0 | 0 614.57/614.84 c 614s | 25 | 9542448 | 7241498 | 870 20549 | 0 | 0 616.57/616.85 c 616s | 25 | 9573165 | 7264898 | 870 20602 | 0 | 0 618.57/618.85 c 618s | 25 | 9605080 | 7288898 | 870 20657 | 0 | 0 620.57/620.86 c 620s | 25 | 9632174 | 7310598 | 870 20706 | 0 | 0 622.56/622.86 c 622s | 25 | 9661099 | 7333198 | 870 20758 | 0 | 0 624.57/624.86 c 624s | 25 | 9692824 | 7356998 | 870 20812 | 0 | 0 626.56/626.86 c 626s | 25 | 9727452 | 7381798 | 870 20869 | 0 | 0 628.56/628.87 c 628s | 25 | 9762941 | 7407298 | 870 20927 | 0 | 0 630.56/630.87 c 630s | 25 | 9794441 | 7430998 | 870 20980 | 0 | 0 632.55/632.88 c 632s | 25 | 9822144 | 7452698 | 870 21029 | 0 | 0 634.56/634.89 c 634s | 25 | 9850996 | 7474998 | 870 21080 | 0 | 0 636.55/636.89 c 636s | 25 | 9881843 | 7497998 | 870 21132 | 0 | 0 638.56/638.89 c 638s | 25 | 9909828 | 7519798 | 870 21181 | 0 | 0 640.56/640.90 c 640s | 25 | 9938524 | 7541698 | 870 21231 | 0 | 0 642.66/642.90 c 642s | 25 | 9966504 | 7563598 | 958 21276 | 0 | 0 644.66/644.91 c 644s | 25 | 9991704 | 7584098 | 958 21318 | 0 | 0 645.86/646.19 c 646s | 26 | 10009565 | 7597752 | 958 21346 | 0 | 0 647.96/648.20 c 648s | 26 | 10036546 | 7619052 | 958 21390 | 0 | 0 649.86/650.20 c 650s | 26 | 10062686 | 7640152 | 958 21433 | 0 | 0 651.95/652.21 c 652s | 26 | 10090391 | 7661652 | 958 21477 | 0 | 0 653.95/654.22 c 654s | 26 | 10119006 | 7683952 | 958 21523 | 0 | 0 655.95/656.23 c 656s | 26 | 10147298 | 7706052 | 958 21569 | 0 | 0 657.95/658.23 c 658s | 26 | 10174283 | 7727452 | 958 21613 | 0 | 0 659.95/660.24 c 660s | 26 | 10203443 | 7750152 | 958 21660 | 0 | 0 661.95/662.25 c 662s | 26 | 10232097 | 7772252 | 958 21705 | 0 | 0 663.94/664.25 c 664s | 26 | 10260721 | 7793952 | 958 21750 | 0 | 0 665.94/666.25 c 666s | 26 | 10289105 | 7815852 | 958 21795 | 0 | 0 667.94/668.26 c 668s | 26 | 10315646 | 7837152 | 958 21838 | 0 | 0 669.94/670.26 c 670s | 26 | 10343279 | 7858752 | 958 21883 | 0 | 0 671.94/672.26 c 672s | 26 | 10372444 | 7881252 | 958 21929 | 0 | 0 673.93/674.27 c 674s | 26 | 10400827 | 7902952 | 958 21974 | 0 | 0 675.93/676.27 c 676s | 26 | 10427826 | 7924252 | 958 22018 | 0 | 0 677.94/678.27 c 678s | 26 | 10454201 | 7945152 | 958 22061 | 0 | 0 679.94/680.28 c 680s | 26 | 10479015 | 7965452 | 958 22102 | 0 | 0 681.94/682.28 c 682s | 26 | 10508444 | 7987852 | 958 22149 | 0 | 0 683.94/684.29 c 684s | 26 | 10535890 | 8009452 | 958 22193 | 0 | 0 685.94/686.29 c 686s | 26 | 10561979 | 8030452 | 958 22236 | 0 | 0 687.93/688.29 c 688s | 26 | 10589672 | 8051652 | 958 22280 | 0 | 0 690.03/690.30 c 690s | 26 | 10618545 | 8074052 | 958 22326 | 0 | 0 692.03/692.30 c 692s | 26 | 10647478 | 8096252 | 958 22372 | 0 | 0 694.03/694.31 c 694s | 26 | 10673035 | 8116652 | 958 22414 | 0 | 0 696.03/696.31 c 696s | 26 | 10700815 | 8138152 | 958 22458 | 0 | 0 698.02/698.32 c 698s | 26 | 10725873 | 8158352 | 958 22500 | 0 | 0 700.03/700.32 c 700s | 26 | 10753616 | 8180452 | 958 22545 | 0 | 0 702.03/702.32 c 702s | 26 | 10781748 | 8202552 | 958 22591 | 0 | 0 704.02/704.33 c 704s | 26 | 10808041 | 8224052 | 958 22635 | 0 | 0 706.03/706.34 c 706s | 26 | 10832692 | 8244352 | 958 22677 | 0 | 0 708.02/708.34 c 708s | 26 | 10858428 | 8265452 | 958 22721 | 0 | 0 710.02/710.35 c 710s | 26 | 10886379 | 8287352 | 958 22766 | 0 | 0 712.02/712.36 c 712s | 26 | 10914364 | 8309352 | 958 22811 | 0 | 0 714.02/714.36 c 714s | 26 | 10940329 | 8330452 | 958 22855 | 0 | 0 716.02/716.37 c 716s | 26 | 10964354 | 8350752 | 958 22897 | 0 | 0 718.02/718.37 c 718s | 26 | 10989778 | 8371252 | 958 22939 | 0 | 0 720.01/720.37 c 720s | 26 | 11014547 | 8391552 | 958 22981 | 0 | 0 722.02/722.38 c 722s | 26 | 11040778 | 8412552 | 958 23024 | 0 | 0 724.02/724.38 c 724s | 26 | 11067596 | 8433652 | 958 23067 | 0 | 0 726.02/726.38 c 726s | 26 | 11094858 | 8455352 | 958 23112 | 0 | 0 728.02/728.39 c 728s | 26 | 11123356 | 8477352 | 958 23157 | 0 | 0 730.02/730.39 c 730s | 26 | 11150429 | 8498952 | 958 23202 | 0 | 0 732.01/732.39 c 732s | 26 | 11179997 | 8521552 | 958 23248 | 0 | 0 734.01/734.39 c 734s | 26 | 11207937 | 8543052 | 958 23292 | 0 | 0 736.11/736.40 c 736s | 26 | 11235265 | 8564552 | 958 23337 | 0 | 0 738.11/738.41 c 738s | 26 | 11262336 | 8586252 | 958 23381 | 0 | 0 740.12/740.41 c 740s | 26 | 11289554 | 8608152 | 958 23427 | 0 | 0 742.11/742.41 c 742s | 26 | 11317512 | 8630152 | 958 23472 | 0 | 0 744.11/744.42 c 744s | 26 | 11344052 | 8651552 | 958 23516 | 0 | 0 746.11/746.42 c 746s | 26 | 11372177 | 8673152 | 958 23561 | 0 | 0 748.11/748.42 c 748s | 26 | 11400044 | 8695052 | 958 23606 | 0 | 0 750.11/750.43 c 750s | 26 | 11429308 | 8717652 | 958 23653 | 0 | 0 752.12/752.43 c 752s | 26 | 11457875 | 8739952 | 958 23699 | 0 | 0 754.11/754.43 c 754s | 26 | 11485615 | 8761652 | 958 23744 | 0 | 0 756.11/756.44 c 756s | 26 | 11511772 | 8782652 | 958 23787 | 0 | 0 758.11/758.44 c 758s | 26 | 11539813 | 8804652 | 958 23832 | 0 | 0 760.11/760.44 c 760s | 26 | 11570381 | 8827552 | 958 23880 | 0 | 0 762.11/762.45 c 762s | 26 | 11599298 | 8849552 | 958 23925 | 0 | 0 764.10/764.45 c 764s | 26 | 11627622 | 8871552 | 958 23971 | 0 | 0 766.10/766.45 c 766s | 26 | 11657769 | 8894352 | 958 24018 | 0 | 0 768.10/768.45 c 768s | 26 | 11686559 | 8916652 | 958 24064 | 0 | 0 770.11/770.46 c 770s | 26 | 11714431 | 8938152 | 958 24108 | 0 | 0 772.11/772.46 c 772s | 26 | 11742984 | 8959952 | 958 24154 | 0 | 0 774.12/774.47 c 774s | 26 | 11773830 | 8982752 | 958 24201 | 0 | 0 776.11/776.47 c 776s | 26 | 11802452 | 9004852 | 958 24246 | 0 | 0 778.10/778.48 c 778s | 26 | 11830450 | 9026952 | 958 24292 | 0 | 0 780.10/780.48 c 780s | 26 | 11858818 | 9049152 | 958 24338 | 0 | 0 782.10/782.48 c 782s | 26 | 11888521 | 9072052 | 958 24385 | 0 | 0 784.11/784.49 c 784s | 26 | 11919937 | 9095352 | 958 24434 | 0 | 0 786.10/786.49 c 786s | 26 | 11950212 | 9117952 | 958 24480 | 0 | 0 788.20/788.50 c 788s | 26 | 11982432 | 9141652 | 958 24529 | 0 | 0 790.20/790.50 c 790s | 26 | 12013998 | 9164852 | 958 24577 | 0 | 0 792.20/792.51 c 792s | 26 | 12045635 | 9188852 | 958 24626 | 0 | 0 794.20/794.51 c 794s | 26 | 12073768 | 9211252 | 958 24672 | 0 | 0 796.21/796.53 c 796s | 26 | 12102496 | 9233652 | 958 24719 | 0 | 0 798.20/798.53 c 798s | 26 | 12128259 | 9254552 | 958 24762 | 0 | 0 800.20/800.54 c 800s | 26 | 12154925 | 9275752 | 958 24805 | 0 | 0 802.20/802.54 c 802s | 26 | 12181499 | 9296352 | 958 24848 | 0 | 0 804.20/804.55 c 804s | 26 | 12210665 | 9318352 | 958 24893 | 0 | 0 806.20/806.55 c 806s | 26 | 12239947 | 9340452 | 958 24939 | 0 | 0 808.21/808.56 c 808s | 26 | 12270676 | 9363352 | 958 24986 | 0 | 0 810.20/810.56 c 810s | 26 | 12300315 | 9386052 | 958 25033 | 0 | 0 812.20/812.56 c 812s | 26 | 12327333 | 9407552 | 958 25077 | 0 | 0 814.20/814.56 c 814s | 26 | 12357361 | 9430152 | 958 25123 | 0 | 0 816.20/816.57 c 816s | 26 | 12387835 | 9453252 | 958 25171 | 0 | 0 818.21/818.57 c 818s | 26 | 12416503 | 9475352 | 958 25217 | 0 | 0 820.20/820.57 c 820s | 26 | 12446943 | 9497952 | 958 25263 | 0 | 0 822.20/822.58 c 822s | 26 | 12475229 | 9520052 | 958 25309 | 0 | 0 824.20/824.59 c 824s | 26 | 12503474 | 9541852 | 958 25354 | 0 | 0 826.20/826.59 c 826s | 26 | 12533138 | 9564552 | 958 25401 | 0 | 0 828.20/828.59 c 828s | 26 | 12561314 | 9586552 | 958 25446 | 0 | 0 830.20/830.60 c 830s | 26 | 12590869 | 9609452 | 958 25494 | 0 | 0 832.30/832.60 c 832s | 26 | 12619912 | 9631752 | 958 25540 | 0 | 0 834.30/834.61 c 834s | 26 | 12648945 | 9654252 | 958 25586 | 0 | 0 836.29/836.62 c 836s | 26 | 12673699 | 9674652 | 958 25628 | 0 | 0 838.29/838.62 c 838s | 26 | 12700392 | 9695752 | 958 25671 | 0 | 0 840.29/840.63 c 840s | 26 | 12728464 | 9717452 | 958 25716 | 0 | 0 842.30/842.63 c 842s | 26 | 12757189 | 9739152 | 958 25760 | 0 | 0 844.29/844.63 c 844s | 26 | 12782364 | 9759852 | 958 25803 | 0 | 0 846.29/846.64 c 846s | 26 | 12807323 | 9780652 | 958 25846 | 0 | 0 848.29/848.64 c 848s | 26 | 12833096 | 9801752 | 958 25889 | 0 | 0 850.29/850.65 c 850s | 26 | 12861973 | 9823952 | 958 25935 | 0 | 0 852.30/852.65 c 852s | 26 | 12891616 | 9846252 | 958 25981 | 0 | 0 854.29/854.66 c 854s | 26 | 12917284 | 9867052 | 958 26024 | 0 | 0 856.29/856.66 c 856s | 26 | 12944189 | 9887852 | 958 26067 | 0 | 0 858.29/858.67 c 858s | 26 | 12973392 | 9910452 | 958 26113 | 0 | 0 860.29/860.67 c 860s | 26 | 13002346 | 9933052 | 958 26160 | 0 | 0 862.30/862.68 c 862s | 26 | 13030543 | 9955052 | 958 26205 | 0 | 0 864.30/864.68 c 864s | 26 | 13058030 | 9976752 | 958 26250 | 0 | 0 866.30/866.69 c 866s | 26 | 13085340 | 9998352 | 958 26294 | 0 | 0 868.30/868.69 c 868s | 26 | 13114486 | 10020752 | 958 26340 | 0 | 0 870.29/870.69 c 870s | 26 | 13144534 | 10043752 | 958 26387 | 0 | 0 872.39/872.70 c 872s | 26 | 13175801 | 10066952 | 958 26435 | 0 | 0 874.39/874.70 c 874s | 26 | 13204886 | 10088752 | 958 26480 | 0 | 0 876.29/876.70 c 876s | 26 | 13236720 | 10112352 | 958 26528 | 0 | 0 878.39/878.71 c 878s | 26 | 13265625 | 10134752 | 958 26573 | 1 | 0 880.39/880.71 c 880s | 26 | 13297215 | 10157252 | 958 26620 | 1 | 0 882.39/882.72 c 882s | 26 | 13325616 | 10178752 | 958 26664 | 1 | 0 884.39/884.72 c 884s | 26 | 13351960 | 10199252 | 958 26706 | 1 | 0 886.40/886.72 c 886s | 26 | 13380320 | 10220552 | 958 26749 | 1 | 0 888.39/888.73 c 888s | 26 | 13408455 | 10242052 | 958 26794 | 1 | 0 890.39/890.73 c 890s | 26 | 13436445 | 10263552 | 958 26838 | 1 | 0 892.39/892.73 c 892s | 26 | 13463428 | 10284852 | 958 26881 | 1 | 0 894.39/894.74 c 894s | 26 | 13490546 | 10305952 | 958 26925 | 1 | 0 896.39/896.75 c 896s | 26 | 13519190 | 10327952 | 958 26970 | 1 | 0 898.40/898.75 c 898s | 26 | 13547800 | 10349852 | 958 27015 | 1 | 0 900.39/900.75 c 900s | 26 | 13577953 | 10372252 | 958 27062 | 1 | 0 902.39/902.75 c 902s | 26 | 13607336 | 10393752 | 958 27106 | 1 | 0 904.39/904.75 c 904s | 26 | 13632730 | 10413952 | 958 27147 | 1 | 0 906.39/906.76 c 906s | 26 | 13659279 | 10434452 | 958 27190 | 1 | 0 908.39/908.76 c 908s | 26 | 13686969 | 10455652 | 958 27233 | 1 | 0 910.39/910.77 c 910s | 26 | 13714325 | 10477052 | 958 27278 | 1 | 0 912.39/912.78 c 912s | 26 | 13742233 | 10498652 | 958 27322 | 1 | 0 914.39/914.78 c 914s | 26 | 13773133 | 10521452 | 958 27369 | 1 | 0 916.38/916.79 c 916s | 26 | 13803525 | 10543852 | 958 27416 | 1 | 0 918.38/918.80 c 918s | 26 | 13833677 | 10566152 | 958 27462 | 1 | 0 920.39/920.80 c 920s | 26 | 13864185 | 10588552 | 958 27508 | 1 | 0 922.48/922.81 c 922s | 26 | 13894325 | 10610752 | 958 27554 | 1 | 0 924.48/924.82 c 924s | 26 | 13922255 | 10631952 | 958 27597 | 1 | 0 926.48/926.82 c 926s | 26 | 13951361 | 10654052 | 958 27643 | 1 | 0 928.48/928.83 c 928s | 26 | 13979259 | 10675652 | 958 27687 | 1 | 0 930.48/930.83 c 930s | 26 | 14006175 | 10696552 | 958 27730 | 1 | 0 932.48/932.84 c 932s | 26 | 14032555 | 10717052 | 958 27773 | 1 | 0 934.48/934.85 c 934s | 26 | 14060035 | 10737852 | 958 27815 | 1 | 0 936.48/936.85 c 936s | 26 | 14085334 | 10757852 | 958 27856 | 1 | 0 938.48/938.85 c 938s | 26 | 14112056 | 10778152 | 958 27898 | 1 | 0 940.48/940.86 c 940s | 26 | 14137315 | 10797852 | 958 27938 | 1 | 0 942.48/942.86 c 942s | 26 | 14163177 | 10817752 | 958 27979 | 1 | 0 944.48/944.87 c 944s | 26 | 14192359 | 10839452 | 958 28024 | 1 | 0 946.48/946.87 c 946s | 26 | 14219193 | 10860552 | 958 28067 | 1 | 0 948.48/948.87 c 948s | 26 | 14247980 | 10882252 | 958 28112 | 1 | 0 950.48/950.88 c 950s | 26 | 14274818 | 10903452 | 958 28156 | 1 | 0 952.48/952.88 c 952s | 26 | 14301835 | 10924552 | 958 28200 | 1 | 0 954.49/954.89 c 954s | 26 | 14329342 | 10945852 | 958 28243 | 1 | 0 956.58/956.90 c 956s | 26 | 14358879 | 10968052 | 958 28289 | 1 | 0 958.58/958.90 c 958s | 26 | 14385878 | 10989152 | 958 28333 | 1 | 0 960.58/960.90 c 960s | 26 | 14414711 | 11011052 | 958 28378 | 1 | 0 962.58/962.90 c 962s | 26 | 14438339 | 11030452 | 958 28418 | 1 | 0 964.58/964.90 c 964s | 26 | 14463011 | 11050252 | 958 28459 | 1 | 0 966.58/966.90 c 966s | 26 | 14489197 | 11070852 | 958 28501 | 1 | 0 968.58/968.91 c 968s | 26 | 14515996 | 11091852 | 958 28544 | 1 | 0 970.57/970.92 c 970s | 26 | 14544043 | 11113252 | 958 28588 | 1 | 0 972.57/972.92 c 972s | 26 | 14570515 | 11134152 | 958 28632 | 1 | 0 974.57/974.92 c 974s | 26 | 14596668 | 11155152 | 958 28675 | 1 | 0 976.58/976.93 c 976s | 26 | 14624194 | 11175952 | 958 28718 | 1 | 0 978.57/978.93 c 978s | 26 | 14651310 | 11196452 | 958 28760 | 1 | 0 980.57/980.94 c 980s | 26 | 14676464 | 11216252 | 958 28801 | 1 | 0 982.58/982.95 c 982s | 26 | 14702833 | 11237052 | 958 28844 | 1 | 0 984.58/984.95 c 984s | 26 | 14730240 | 11258052 | 958 28887 | 1 | 0 986.58/986.95 c 986s | 26 | 14755883 | 11278452 | 958 28929 | 1 | 0 988.58/988.96 c 988s | 26 | 14784062 | 11299952 | 958 28974 | 1 | 0 990.57/990.96 c 990s | 26 | 14812330 | 11321652 | 1054 29017 | 1 | 0 992.57/992.97 c 992s | 26 | 14840180 | 11342752 | 1054 29057 | 1 | 0 994.57/994.97 c 994s | 26 | 14866534 | 11363452 | 1054 29095 | 1 | 0 996.57/996.98 c 996s | 26 | 14892131 | 11383952 | 1054 29134 | 1 | 0 997.87/998.21 c 998s | 27 | 14908282 | 11396733 | 1054 29158 | 1 | 0 999.87/1000.22 c 1000s | 27 | 14928788 | 11414333 | 1054 29191 | 1 | 0 1001.88/1002.22 c 1002s | 27 | 14950261 | 11433033 | 1054 29225 | 1 | 0 1003.87/1004.23 c 1004s | 27 | 14972387 | 11452133 | 1054 29261 | 1 | 0 1005.87/1006.24 c 1006s | 27 | 14992999 | 11469633 | 1054 29294 | 1 | 0 1007.87/1008.24 c 1008s | 27 | 15013493 | 11487333 | 1054 29327 | 1 | 0 1009.87/1010.25 c 1010s | 27 | 15035071 | 11506033 | 1054 29361 | 1 | 0 1011.87/1012.25 c 1012s | 27 | 15058890 | 11525933 | 1054 29399 | 1 | 0 1013.88/1014.26 c 1014s | 27 | 15080450 | 11544733 | 1054 29434 | 1 | 0 1015.87/1016.27 c 1016s | 27 | 15104203 | 11564533 | 1054 29471 | 1 | 0 1017.87/1018.28 c 1018s | 27 | 15124954 | 11582833 | 1054 29505 | 1 | 0 1019.87/1020.28 c 1020s | 27 | 15145973 | 11601333 | 1054 29540 | 1 | 0 1021.87/1022.28 c 1022s | 27 | 15168438 | 11620433 | 1054 29576 | 1 | 0 1023.87/1024.29 c 1024s | 27 | 15191687 | 11639833 | 1054 29612 | 1 | 0 1025.86/1026.29 c 1026s | 27 | 15213456 | 11658633 | 1054 29647 | 1 | 0 1027.86/1028.29 c 1028s | 27 | 15236229 | 11677533 | 1054 29683 | 1 | 0 1029.96/1030.30 c 1030s | 27 | 15259087 | 11696833 | 1054 29719 | 1 | 0 1031.96/1032.31 c 1032s | 27 | 15281611 | 11715833 | 1054 29755 | 1 | 0 1033.96/1034.32 c 1034s | 27 | 15302509 | 11734233 | 1054 29789 | 1 | 0 1035.97/1036.33 c 1036s | 27 | 15326084 | 11753933 | 1054 29826 | 1 | 0 1037.96/1038.34 c 1038s | 27 | 15348091 | 11772833 | 1054 29861 | 1 | 0 1039.96/1040.34 c 1040s | 27 | 15369078 | 11791333 | 1054 29896 | 1 | 0 1041.96/1042.34 c 1042s | 27 | 15390617 | 11809833 | 1054 29931 | 1 | 0 1043.96/1044.34 c 1044s | 27 | 15415874 | 11830133 | 1054 29969 | 1 | 0 1045.96/1046.35 c 1046s | 27 | 15438929 | 11849733 | 1054 30005 | 1 | 0 1047.98/1048.36 c 1048s | 27 | 15461058 | 11868433 | 1054 30040 | 1 | 0 1049.97/1050.37 c 1050s | 27 | 15483432 | 11887833 | 1054 30077 | 1 | 0 1051.97/1052.37 c 1052s | 27 | 15507030 | 11907833 | 1054 30114 | 1 | 0 1053.96/1054.37 c 1054s | 27 | 15532904 | 11928633 | 1054 30153 | 1 | 0 1055.96/1056.38 c 1056s | 27 | 15557695 | 11949033 | 1054 30192 | 1 | 0 1057.97/1058.38 c 1058s | 27 | 15584073 | 11969833 | 1054 30231 | 1 | 0 1059.96/1060.39 c 1060s | 27 | 15608246 | 11989633 | 1054 30268 | 1 | 0 1061.96/1062.39 c 1062s | 27 | 15630909 | 12008233 | 1054 30303 | 1 | 0 1063.96/1064.39 c 1064s | 27 | 15653392 | 12026733 | 1054 30338 | 1 | 0 1066.06/1066.40 c 1066s | 27 | 15672940 | 12044133 | 1054 30370 | 1 | 0 1068.06/1068.40 c 1068s | 27 | 15692581 | 12061533 | 1054 30403 | 1 | 0 1070.07/1070.40 c 1070s | 27 | 15714402 | 12080033 | 1054 30438 | 1 | 0 1072.06/1072.41 c 1072s | 27 | 15736181 | 12098633 | 1054 30473 | 1 | 0 1074.06/1074.42 c 1074s | 27 | 15757745 | 12116633 | 1054 30506 | 1 | 0 1076.06/1076.43 c 1076s | 27 | 15778360 | 12134533 | 1054 30540 | 1 | 0 1078.06/1078.43 c 1078s | 27 | 15799421 | 12152633 | 1054 30574 | 1 | 0 1080.06/1080.44 c 1080s | 27 | 15820104 | 12170533 | 1054 30607 | 1 | 0 1082.07/1082.44 c 1082s | 27 | 15842277 | 12189133 | 1054 30642 | 1 | 0 1084.06/1084.44 c 1084s | 27 | 15862218 | 12206533 | 1054 30675 | 1 | 0 1086.06/1086.45 c 1086s | 27 | 15882881 | 12224233 | 1054 30708 | 1 | 0 1088.06/1088.45 c 1088s | 27 | 15904702 | 12242433 | 1054 30743 | 1 | 0 1090.06/1090.45 c 1090s | 27 | 15927390 | 12261033 | 1054 30778 | 1 | 0 1092.06/1092.46 c 1092s | 27 | 15950100 | 12279733 | 1054 30813 | 1 | 0 1094.06/1094.46 c 1094s | 27 | 15970766 | 12297533 | 1054 30847 | 1 | 0 1096.06/1096.48 c 1096s | 27 | 15989959 | 12314533 | 1054 30878 | 1 | 0 1098.06/1098.48 c 1098s | 27 | 16011018 | 12332333 | 1054 30912 | 1 | 0 1100.06/1100.48 c 1100s | 27 | 16031956 | 12350233 | 1054 30945 | 1 | 0 1102.06/1102.48 c 1102s | 27 | 16057359 | 12370833 | 1054 30984 | 1 | 0 1104.06/1104.49 c 1104s | 27 | 16082576 | 12391533 | 1054 31023 | 1 | 0 1106.05/1106.49 c 1106s | 27 | 16109199 | 12412533 | 1054 31062 | 1 | 0 1108.15/1108.50 c 1108s | 27 | 16133707 | 12432833 | 1054 31100 | 1 | 0 1110.15/1110.50 c 1110s | 27 | 16158356 | 12453233 | 1054 31138 | 1 | 0 1112.16/1112.51 c 1112s | 27 | 16183361 | 12473633 | 1054 31177 | 1 | 0 1114.16/1114.51 c 1114s | 27 | 16209602 | 12494333 | 1054 31215 | 1 | 0 1116.17/1116.52 c 1116s | 27 | 16236105 | 12514933 | 1054 31254 | 1 | 0 1118.16/1118.53 c 1118s | 27 | 16260861 | 12534833 | 1054 31291 | 1 | 0 1120.16/1120.53 c 1120s | 27 | 16286426 | 12555333 | 1054 31330 | 1 | 0 1122.16/1122.53 c 1122s | 27 | 16312731 | 12576233 | 1054 31369 | 1 | 0 1124.16/1124.54 c 1124s | 27 | 16337835 | 12596533 | 1054 31407 | 1 | 0 1126.16/1126.55 c 1126s | 27 | 16363528 | 12617133 | 1054 31446 | 1 | 0 1128.15/1128.55 c 1128s | 27 | 16386016 | 12636633 | 1054 31482 | 1 | 0 1130.15/1130.56 c 1130s | 27 | 16411077 | 12656833 | 1054 31520 | 1 | 0 1132.15/1132.56 c 1132s | 27 | 16436589 | 12676933 | 1054 31558 | 1 | 0 1134.15/1134.56 c 1134s | 27 | 16461994 | 12697333 | 1054 31596 | 1 | 0 1136.15/1136.57 c 1136s | 27 | 16486145 | 12717033 | 1054 31633 | 1 | 0 1138.16/1138.57 c 1138s | 27 | 16512634 | 12737733 | 1054 31672 | 1 | 0 1140.15/1140.57 c 1140s | 27 | 16536980 | 12757833 | 1054 31710 | 1 | 0 1142.15/1142.58 c 1142s | 27 | 16560904 | 12777733 | 1054 31747 | 1 | 0 1144.15/1144.59 c 1144s | 27 | 16585767 | 12798033 | 1054 31786 | 1 | 0 1146.25/1146.60 c 1146s | 27 | 16610226 | 12818233 | 1054 31824 | 1 | 0 1148.25/1148.60 c 1148s | 27 | 16635932 | 12839233 | 1054 31863 | 1 | 0 1150.26/1150.60 c 1150s | 27 | 16662519 | 12860533 | 1054 31903 | 1 | 0 1152.25/1152.61 c 1152s | 27 | 16689895 | 12882033 | 1054 31944 | 1 | 0 1154.25/1154.61 c 1154s | 27 | 16717463 | 12903633 | 1054 31984 | 1 | 0 1156.24/1156.61 c 1156s | 27 | 16745802 | 12925733 | 1054 32026 | 1 | 0 1158.24/1158.62 c 1158s | 27 | 16771249 | 12946733 | 1054 32066 | 1 | 0 1160.25/1160.63 c 1160s | 27 | 16798191 | 12968033 | 1054 32106 | 1 | 0 1162.24/1162.63 c 1162s | 27 | 16826141 | 12990133 | 1054 32147 | 1 | 0 1164.24/1164.64 c 1164s | 27 | 16852579 | 13011333 | 1054 32187 | 1 | 0 1166.24/1166.64 c 1166s | 27 | 16880592 | 13032033 | 1054 32226 | 1 | 0 1168.24/1168.64 c 1168s | 27 | 16906201 | 13051733 | 1054 32263 | 1 | 0 1170.25/1170.64 c 1170s | 27 | 16931675 | 13071533 | 1054 32300 | 1 | 0 1172.25/1172.64 c 1172s | 27 | 16957144 | 13091333 | 1054 32337 | 1 | 0 1174.25/1174.65 c 1174s | 27 | 16982605 | 13111333 | 1054 32374 | 1 | 0 1176.25/1176.66 c 1176s | 27 | 17008564 | 13131433 | 1054 32412 | 1 | 0 1178.25/1178.67 c 1178s | 27 | 17032689 | 13151133 | 1054 32449 | 1 | 0 1180.24/1180.68 c 1180s | 27 | 17059508 | 13172033 | 1054 32488 | 1 | 0 1182.25/1182.68 c 1182s | 27 | 17083886 | 13191933 | 1054 32525 | 1 | 0 1184.24/1184.69 c 1184s | 27 | 17110416 | 13212533 | 1054 32564 | 1 | 0 1186.24/1186.69 c 1186s | 27 | 17135788 | 13232833 | 1054 32602 | 1 | 0 1188.34/1188.70 c 1188s | 27 | 17160288 | 13252933 | 1054 32639 | 1 | 0 1190.34/1190.70 c 1190s | 27 | 17185864 | 13273533 | 1054 32678 | 1 | 0 1192.35/1192.70 c 1192s | 27 | 17211439 | 13294033 | 1054 32716 | 1 | 0 1194.35/1194.70 c 1194s | 27 | 17237820 | 13315133 | 1054 32756 | 1 | 0 1196.35/1196.71 c 1196s | 27 | 17263816 | 13335233 | 1054 32794 | 1 | 0 1198.35/1198.72 c 1198s | 27 | 17287428 | 13354433 | 1054 32830 | 1 | 0 1200.35/1200.72 c 1200s | 27 | 17313454 | 13375033 | 1054 32868 | 1 | 0 1202.34/1202.73 c 1202s | 27 | 17340576 | 13396633 | 1054 32909 | 1 | 0 1204.34/1204.74 c 1204s | 27 | 17366539 | 13417333 | 1054 32948 | 1 | 0 1206.35/1206.74 c 1206s | 27 | 17395000 | 13438933 | 1054 32988 | 1 | 0 1208.34/1208.74 c 1208s | 27 | 17422544 | 13460133 | 1054 33028 | 1 | 0 1210.34/1210.75 c 1210s | 27 | 17448725 | 13480733 | 1054 33067 | 1 | 0 1212.34/1212.75 c 1212s | 27 | 17473885 | 13501033 | 1054 33105 | 1 | 0 1214.34/1214.76 c 1214s | 27 | 17499956 | 13522133 | 1054 33145 | 1 | 0 1216.34/1216.76 c 1216s | 27 | 17526396 | 13543033 | 1054 33184 | 1 | 0 1218.34/1218.76 c 1218s | 27 | 17549075 | 13562133 | 1054 33220 | 1 | 0 1220.34/1220.76 c 1220s | 27 | 17574871 | 13583033 | 1054 33259 | 1 | 0 1222.34/1222.77 c 1222s | 27 | 17602345 | 13603833 | 1054 33298 | 1 | 0 1224.33/1224.77 c 1224s | 27 | 17628679 | 13624633 | 1054 33337 | 1 | 0 1226.33/1226.77 c 1226s | 27 | 17653368 | 13644733 | 1054 33375 | 1 | 0 1228.34/1228.78 c 1228s | 27 | 17678760 | 13665233 | 1054 33414 | 1 | 0 1230.33/1230.78 c 1230s | 27 | 17702336 | 13684833 | 1054 33450 | 1 | 0 1232.33/1232.78 c 1232s | 27 | 17727020 | 13704733 | 1054 33488 | 1 | 0 1234.33/1234.79 c 1234s | 27 | 17752240 | 13724833 | 1054 33525 | 1 | 0 1236.33/1236.79 c 1236s | 27 | 17777618 | 13744633 | 1054 33562 | 1 | 0 1238.43/1238.80 c 1238s | 27 | 17803410 | 13765133 | 1054 33601 | 1 | 0 1240.44/1240.81 c 1240s | 27 | 17830268 | 13785733 | 1054 33639 | 1 | 0 1242.43/1242.82 c 1242s | 27 | 17858872 | 13807333 | 1054 33680 | 1 | 0 1244.43/1244.82 c 1244s | 27 | 17887643 | 13828833 | 1054 33720 | 1 | 0 1246.43/1246.83 c 1246s | 27 | 17911793 | 13848333 | 1054 33757 | 1 | 0 1248.43/1248.83 c 1248s | 27 | 17935163 | 13868033 | 1054 33794 | 1 | 0 1250.44/1250.84 c 1250s | 27 | 17962138 | 13889033 | 1054 33833 | 1 | 0 1252.44/1252.85 c 1252s | 27 | 17990613 | 13910833 | 1054 33874 | 1 | 0 1254.44/1254.85 c 1254s | 27 | 18015203 | 13931033 | 1054 33912 | 1 | 0 1256.44/1256.86 c 1256s | 27 | 18041253 | 13951933 | 1054 33951 | 1 | 0 1258.44/1258.87 c 1258s | 27 | 18068688 | 13973333 | 1054 33992 | 1 | 0 1260.44/1260.87 c 1260s | 27 | 18094907 | 13994233 | 1054 34031 | 1 | 0 1262.44/1262.87 c 1262s | 27 | 18122338 | 14015333 | 1054 34070 | 1 | 0 1264.43/1264.88 c 1264s | 27 | 18151389 | 14037333 | 1054 34111 | 1 | 0 1266.43/1266.89 c 1266s | 27 | 18181749 | 14059733 | 1054 34153 | 1 | 0 1268.53/1268.90 c 1268s | 27 | 18207280 | 14080233 | 1054 34192 | 1 | 0 1270.53/1270.91 c 1270s | 27 | 18236284 | 14101333 | 1054 34231 | 1 | 0 1272.53/1272.91 c 1272s | 27 | 18266291 | 14123833 | 1054 34273 | 1 | 0 1274.53/1274.92 c 1274s | 27 | 18295492 | 14145633 | 1054 34314 | 1 | 0 1276.53/1276.92 c 1276s | 27 | 18323855 | 14167133 | 1054 34354 | 1 | 0 1278.53/1278.93 c 1278s | 27 | 18350207 | 14187933 | 1054 34393 | 1 | 0 1280.53/1280.93 c 1280s | 27 | 18377224 | 14208233 | 1054 34431 | 1 | 0 1282.53/1282.94 c 1282s | 27 | 18408290 | 14230733 | 1054 34473 | 1 | 0 1284.53/1284.95 c 1284s | 27 | 18435876 | 14252233 | 1054 34514 | 1 | 0 1286.52/1286.95 c 1286s | 27 | 18463909 | 14273433 | 1054 34554 | 1 | 0 1288.52/1288.96 c 1288s | 27 | 18489002 | 14293333 | 1054 34591 | 1 | 0 1290.52/1290.96 c 1290s | 27 | 18514422 | 14313133 | 1054 34628 | 1 | 0 1292.52/1292.97 c 1292s | 27 | 18540769 | 14333533 | 1054 34666 | 1 | 0 1294.52/1294.98 c 1294s | 27 | 18567867 | 14354433 | 1054 34705 | 1 | 0 1296.53/1296.99 c 1296s | 27 | 18592259 | 14374233 | 1054 34742 | 1 | 0 1298.52/1298.99 c 1298s | 27 | 18619252 | 14395233 | 1054 34781 | 1 | 0 1300.62/1301.00 c 1300s | 27 | 18647989 | 14416833 | 1054 34822 | 1 | 0 1302.62/1303.00 c 1302s | 27 | 18677719 | 14438433 | 1054 34862 | 1 | 0 1304.62/1305.00 c 1304s | 27 | 18707512 | 14460633 | 1054 34904 | 1 | 0 1306.62/1307.01 c 1306s | 27 | 18736688 | 14482833 | 1054 34945 | 1 | 0 1308.64/1309.02 c 1309s | 27 | 18764295 | 14503933 | 1054 34985 | 1 | 0 1310.63/1311.03 c 1311s | 27 | 18789593 | 14524033 | 1054 35022 | 1 | 0 1312.63/1313.04 c 1313s | 27 | 18813257 | 14543433 | 1054 35059 | 1 | 0 1314.63/1315.04 c 1315s | 27 | 18837205 | 14562733 | 1054 35095 | 1 | 0 1316.63/1317.04 c 1317s | 27 | 18862510 | 14583133 | 1054 35133 | 1 | 0 1318.63/1319.05 c 1319s | 27 | 18888577 | 14603733 | 1054 35171 | 1 | 0 1320.63/1321.05 c 1321s | 27 | 18913910 | 14624133 | 1054 35209 | 1 | 0 1322.63/1323.05 c 1323s | 27 | 18942010 | 14645133 | 1054 35249 | 1 | 0 1324.62/1325.06 c 1325s | 27 | 18971185 | 14666833 | 1054 35289 | 1 | 0 1326.62/1327.06 c 1327s | 27 | 18996840 | 14687233 | 1054 35327 | 1 | 0 1328.62/1329.06 c 1329s | 27 | 19021613 | 14707433 | 1054 35365 | 1 | 0 1330.63/1331.06 c 1331s | 27 | 19048428 | 14728633 | 1054 35404 | 2 | 0 1332.62/1333.07 c 1333s | 27 | 19073084 | 14749333 | 1054 35443 | 2 | 0 1334.62/1335.07 c 1335s | 27 | 19099152 | 14770333 | 1054 35482 | 2 | 0 1336.62/1337.07 c 1337s | 27 | 19123901 | 14790833 | 1054 35521 | 2 | 0 1338.62/1339.08 c 1339s | 27 | 19150054 | 14812133 | 1054 35560 | 2 | 0 1340.63/1341.08 c 1341s | 27 | 19177188 | 14833633 | 1054 35601 | 2 | 0 1342.62/1343.09 c 1343s | 27 | 19205249 | 14855833 | 1054 35642 | 2 | 0 1344.62/1345.09 c 1345s | 27 | 19228530 | 14875733 | 1054 35680 | 2 | 0 1346.72/1347.10 c 1347s | 27 | 19252046 | 14895833 | 1054 35717 | 2 | 0 1348.72/1349.10 c 1349s | 27 | 19275855 | 14916133 | 1054 35756 | 2 | 0 1350.72/1351.11 c 1351s | 27 | 19301641 | 14937233 | 1054 35795 | 2 | 0 1352.72/1353.12 c 1353s | 27 | 19329786 | 14958933 | 1054 35836 | 2 | 0 1354.72/1355.13 c 1355s | 27 | 19355284 | 14979833 | 1054 35875 | 2 | 0 1356.71/1357.13 c 1357s | 27 | 19382094 | 15001233 | 1054 35915 | 2 | 0 1358.71/1359.14 c 1359s | 27 | 19407768 | 15021533 | 1054 35953 | 2 | 0 1360.71/1361.14 c 1361s | 27 | 19433395 | 15041833 | 1054 35991 | 2 | 0 1362.71/1363.14 c 1363s | 27 | 19461461 | 15063233 | 1054 36031 | 2 | 0 1364.72/1365.15 c 1365s | 27 | 19488172 | 15084133 | 1054 36070 | 2 | 0 1366.71/1367.15 c 1367s | 27 | 19514814 | 15105333 | 1054 36110 | 2 | 0 1368.71/1369.15 c 1369s | 27 | 19543944 | 15127533 | 1054 36151 | 2 | 0 1370.71/1371.16 c 1371s | 27 | 19572054 | 15149033 | 1054 36192 | 2 | 0 1372.71/1373.16 c 1373s | 27 | 19596212 | 15168533 | 1054 36228 | 2 | 0 1374.72/1375.17 c 1375s | 27 | 19620035 | 15188233 | 1054 36265 | 2 | 0 1376.71/1377.17 c 1377s | 27 | 19643621 | 15207933 | 1054 36302 | 2 | 0 1378.72/1379.18 c 1379s | 27 | 19668137 | 15228033 | 1054 36340 | 2 | 0 1380.72/1381.19 c 1381s | 27 | 19694007 | 15248433 | 1054 36378 | 2 | 0 1382.72/1383.19 c 1383s | 27 | 19719814 | 15268833 | 1054 36416 | 2 | 0 1384.72/1385.19 c 1385s | 27 | 19745599 | 15288333 | 1054 36453 | 2 | 0 1386.72/1387.20 c 1387s | 27 | 19772139 | 15308833 | 1054 36491 | 2 | 0 1388.82/1389.21 c 1389s | 27 | 19798328 | 15328933 | 1054 36529 | 2 | 0 1390.81/1391.22 c 1391s | 27 | 19824058 | 15349133 | 1054 36566 | 2 | 0 1392.81/1393.22 c 1393s | 27 | 19851263 | 15370333 | 1054 36606 | 2 | 0 1394.81/1395.23 c 1395s | 27 | 19879630 | 15391633 | 1054 36646 | 2 | 0 1396.81/1397.24 c 1397s | 27 | 19903754 | 15410933 | 1054 36682 | 2 | 0 1398.82/1399.24 c 1399s | 27 | 19927570 | 15429933 | 1054 36718 | 2 | 0 1400.81/1401.25 c 1401s | 27 | 19956044 | 15450833 | 1054 36757 | 2 | 0 1402.81/1403.25 c 1403s | 27 | 19981287 | 15470833 | 1054 36794 | 2 | 0 1404.81/1405.26 c 1405s | 27 | 20006763 | 15490833 | 1054 36831 | 2 | 0 1406.81/1407.27 c 1407s | 27 | 20032157 | 15510833 | 1054 36868 | 2 | 0 1408.82/1409.27 c 1409s | 27 | 20054862 | 15529733 | 1054 36904 | 2 | 0 1410.81/1411.28 c 1411s | 27 | 20077514 | 15548733 | 1054 36939 | 2 | 0 1412.81/1413.28 c 1413s | 27 | 20102622 | 15569033 | 1054 36977 | 2 | 0 1414.81/1415.29 c 1415s | 27 | 20129332 | 15589833 | 1054 37016 | 2 | 0 1416.81/1417.29 c 1417s | 27 | 20155583 | 15610633 | 1054 37055 | 2 | 0 1418.81/1419.29 c 1419s | 27 | 20181281 | 15631133 | 1054 37093 | 2 | 0 1420.91/1421.30 c 1421s | 27 | 20206029 | 15651033 | 1054 37131 | 2 | 0 1422.90/1423.31 c 1423s | 27 | 20233572 | 15671933 | 1054 37170 | 2 | 0 1424.90/1425.31 c 1425s | 27 | 20261529 | 15693333 | 1054 37209 | 2 | 0 1426.90/1427.32 c 1427s | 27 | 20285930 | 15713033 | 1054 37246 | 2 | 0 1428.90/1429.32 c 1429s | 27 | 20311282 | 15733733 | 1054 37285 | 3 | 0 1430.90/1431.32 c 1431s | 27 | 20338394 | 15755033 | 1054 37324 | 3 | 0 1432.91/1433.32 c 1433s | 27 | 20364894 | 15775433 | 1054 37362 | 3 | 0 1434.90/1435.33 c 1435s | 27 | 20392188 | 15796233 | 1054 37401 | 3 | 0 1436.90/1437.33 c 1437s | 27 | 20419167 | 15817233 | 1054 37440 | 3 | 0 1438.91/1439.33 c 1439s | 27 | 20446452 | 15838333 | 1054 37480 | 3 | 0 1440.91/1441.34 c 1441s | 27 | 20476571 | 15860833 | 1054 37522 | 3 | 0 1442.91/1443.34 c 1443s | 27 | 20505017 | 15882433 | 1054 37562 | 3 | 0 1444.91/1445.35 c 1445s | 27 | 20535759 | 15905533 | 1054 37605 | 3 | 0 1446.91/1447.35 c 1447s | 27 | 20561870 | 15925833 | 1054 37643 | 3 | 0 1448.90/1449.35 c 1449s | 27 | 20587956 | 15946133 | 1054 37681 | 3 | 0 1450.90/1451.36 c 1451s | 27 | 20616121 | 15967533 | 1054 37721 | 3 | 0 1452.90/1453.37 c 1453s | 27 | 20641958 | 15988133 | 1054 37760 | 3 | 0 1454.91/1455.37 c 1455s | 27 | 20665558 | 16007733 | 1054 37796 | 3 | 0 1456.90/1457.37 c 1457s | 27 | 20693767 | 16029533 | 1054 37837 | 4 | 0 1458.90/1459.38 c 1459s | 27 | 20722859 | 16051633 | 1054 37878 | 4 | 0 1460.90/1461.38 c 1461s | 27 | 20749786 | 16072333 | 1054 37917 | 4 | 0 1462.90/1463.39 c 1463s | 27 | 20776735 | 16094033 | 1054 37958 | 4 | 0 1464.90/1465.39 c 1465s | 27 | 20805437 | 16116433 | 1054 38000 | 4 | 0 1466.91/1467.40 c 1467s | 27 | 20832359 | 16137733 | 1054 38040 | 4 | 0 1469.00/1469.41 c 1469s | 27 | 20860584 | 16159133 | 1054 38080 | 4 | 0 1471.00/1471.42 c 1471s | 27 | 20886534 | 16179633 | 1054 38118 | 4 | 0 1473.00/1473.42 c 1473s | 27 | 20914010 | 16200633 | 1054 38157 | 4 | 0 1475.00/1475.42 c 1475s | 27 | 20941590 | 16222233 | 1054 38198 | 4 | 0 1477.01/1477.43 c 1477s | 27 | 20967371 | 16243533 | 1054 38238 | 4 | 0 1479.00/1479.43 c 1479s | 27 | 20994921 | 16265333 | 1054 38278 | 4 | 0 1481.00/1481.44 c 1481s | 27 | 21022559 | 16286633 | 1054 38318 | 4 | 0 1483.00/1483.45 c 1483s | 27 | 21050993 | 16308633 | 1054 38358 | 5 | 0 1485.00/1485.45 c 1485s | 27 | 21080028 | 16330733 | 1054 38400 | 5 | 0 1487.00/1487.46 c 1487s | 27 | 21106784 | 16351833 | 1054 38439 | 5 | 0 1489.01/1489.46 c 1489s | 27 | 21135316 | 16373433 | 1054 38479 | 5 | 0 1491.00/1491.46 c 1491s | 27 | 21162313 | 16394533 | 1054 38519 | 5 | 0 1493.00/1493.46 c 1493s | 27 | 21190226 | 16416033 | 1054 38559 | 5 | 0 1495.00/1495.47 c 1495s | 27 | 21216129 | 16436733 | 1054 38597 | 6 | 0 1497.00/1497.48 c 1497s | 27 | 21243768 | 16458033 | 1054 38637 | 6 | 0 1499.00/1499.48 c 1499s | 27 | 21271302 | 16479033 | 1054 38676 | 6 | 0 1500.99/1501.48 c 1501s | 27 | 21297989 | 16500033 | 1054 38715 | 7 | 0 1502.99/1503.49 c 1503s | 27 | 21325953 | 16521733 | 1054 38755 | 7 | 0 1504.99/1505.49 c 1505s | 27 | 21353274 | 16543233 | 1054 38795 | 7 | 0 1506.99/1507.49 c 1507s | 27 | 21380458 | 16564733 | 1054 38835 | 7 | 0 1509.09/1509.50 c 1509s | 27 | 21406528 | 16585533 | 1054 38874 | 8 | 0 1511.10/1511.50 c 1511s | 27 | 21433742 | 16606433 | 1054 38913 | 9 | 0 1513.09/1513.51 c 1513s | 27 | 21461182 | 16627733 | 1054 38952 | 11 | 0 1513.69/1514.17 c 1514s | 27 | 21470307 | 16634935 | 1054 38962 | 59 | 4 1513.69/1514.17 c #cpu_time = 1514.038s 1513.69/1514.17 c #wall_clock_time = 1514.156s 1513.69/1514.17 c #decision = 21470307 1513.69/1514.17 c #random_decision = 93173 1513.69/1514.17 c #conflict = 16634935 1513.69/1514.17 c #restart = 27 1513.69/1514.17 s UNSATISFIABLE 1513.69/1514.17 c total CPU time = 1514.052s 1513.69/1514.17 c total wall clock time = 1514.170s
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-4122242-1467316336/watcher-4122242-1467316336 -o /tmp/evaluation-result-4122242-1467316336/solver-4122242-1467316336 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1467316318-5402 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122242-1467316336.opb pid=5529 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.37 1.33 1.65 3/179 5532 /proc/meminfo: memFree=29340176/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=788924 CPUtime=0 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 2956 0 0 0 0 0 0 0 20 0 4 0 2314258 807858176 3317 33554432000 4194304 16246674 140734577702240 140734577701664 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 197999 3325 441 2943 0 194893 0 [pid=5532/tid=5533] ppid=5529 vsize=807356 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 826732544 3387 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=811452 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 830926848 3404 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=815548 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2314258 835121152 3420 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 1.37 1.33 1.65 3/179 5532 /proc/meminfo: memFree=29340176/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 24539 0 0 0 5 3 0 0 20 0 4 0 2314258 1247350784 24889 33554432000 4194304 16246674 140734577702240 140734577701664 5723873 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 304529 24897 707 2943 0 301423 0 [pid=5532/tid=5533] ppid=5529 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1247350784 24904 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1247350784 24913 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2314258 1247350784 24919 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200537 s] /proc/loadavg: 1.37 1.33 1.65 3/179 5532 /proc/meminfo: memFree=29340176/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 47804 0 0 0 12 7 0 0 20 0 4 0 2314258 1247350784 48153 33554432000 4194304 16246674 140734577702240 140734577685240 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 304529 48166 707 2943 0 301423 0 [pid=5532/tid=5533] ppid=5529 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1247350784 48172 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1247350784 48180 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2314258 1247350784 48185 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300497 s] /proc/loadavg: 1.37 1.33 1.65 3/179 5532 /proc/meminfo: memFree=29340176/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 70954 0 0 0 19 10 0 0 20 0 4 0 2314258 1247350784 71303 33554432000 4194304 16246674 140734577702240 140734577685240 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 304529 71314 707 2943 0 301423 0 [pid=5532/tid=5533] ppid=5529 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1247350784 71322 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1247350784 71330 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2314258 1247350784 71335 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700403 s] /proc/loadavg: 1.37 1.33 1.65 3/179 5532 /proc/meminfo: memFree=29340176/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 161771 0 0 0 45 24 0 0 20 0 4 0 2314258 1247350784 162121 33554432000 4194304 16246674 140734577702240 140734577685240 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 304529 162133 708 2943 0 301423 0 [pid=5532/tid=5533] ppid=5529 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1247350784 162140 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1247350784 162147 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2314258 1247350784 162157 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 1.37 1.33 1.65 4/183 5536 /proc/meminfo: memFree=28357860/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1218116 CPUtime=1.49 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 245486 0 0 0 115 34 0 0 20 0 4 0 2314258 1247350784 245815 33554432000 4194304 16246674 140734577702240 140734577685232 5822168 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 304529 245815 784 2943 0 301423 0 [pid=5532/tid=5533] ppid=5529 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1247350784 245815 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1247350784 245815 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1247350784 245815 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10041 s] /proc/loadavg: 1.42 1.35 1.65 3/183 5536 /proc/meminfo: memFree=28269820/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 267393 0 0 0 272 37 0 0 20 0 4 0 2314258 1337528320 267722 33554432000 4194304 16246674 140734577702240 140734577685240 5667484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326545 267722 784 2943 0 323439 0 [pid=5532/tid=5533] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267722 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267722 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267722 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30042 s] /proc/loadavg: 1.42 1.35 1.65 3/183 5536 /proc/meminfo: memFree=28269972/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 267403 0 0 0 592 37 0 0 20 0 4 0 2314258 1337528320 267732 33554432000 4194304 16246674 140734577702240 140734577685240 12477996 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326545 267732 784 2943 0 323439 0 [pid=5532/tid=5533] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267732 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267732 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267732 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 1.51 1.37 1.66 3/183 5536 /proc/meminfo: memFree=28269720/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1306180 CPUtime=12.68 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 267433 0 0 0 1231 37 0 0 20 0 4 0 2314258 1337528320 267762 33554432000 4194304 16246674 140734577702240 140734577685240 6842531 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326545 267762 784 2943 0 323439 0 [pid=5532/tid=5533] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267762 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267762 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267762 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 1.58 1.39 1.66 3/183 5536 /proc/meminfo: memFree=28270056/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1306180 CPUtime=25.49 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 267457 0 0 0 2511 38 0 0 20 0 4 0 2314258 1337528320 267786 33554432000 4194304 16246674 140734577702240 140734577685240 13963975 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326545 267786 784 2943 0 323439 0 [pid=5532/tid=5533] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267786 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267786 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267786 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 1.79 1.45 1.67 3/183 5585 /proc/meminfo: memFree=28265164/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1306180 CPUtime=51.08 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 267458 0 0 0 5070 38 0 0 20 0 4 0 2314258 1337528320 267787 33554432000 4194304 16246674 140734577702240 140734577684160 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326545 267787 784 2943 0 323439 0 [pid=5532/tid=5533] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267787 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267787 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267787 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.3 s] /proc/loadavg: 1.91 1.54 1.69 4/183 5733 /proc/meminfo: memFree=28264848/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1306180 CPUtime=102.28 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 267473 0 0 0 10188 40 0 0 20 0 4 0 2314258 1337528320 267789 33554432000 4194304 16246674 140734577702240 140734577684160 6842322 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326545 267789 786 2943 0 323439 0 [pid=5532/tid=5533] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267789 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267789 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1337528320 267789 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 268033 0 0 0 142122 69 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 140734577684160 6026720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326801 268044 787 2943 0 323695 0 [pid=5532/tid=5533] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1307204 [startup+1482.3 s] /proc/loadavg: 2.10 2.06 1.94 3/183 5790 /proc/meminfo: memFree=28254556/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1307204 CPUtime=1481.9 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 268033 0 0 0 148119 71 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 140734577684160 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326801 268044 787 2943 0 323695 0 [pid=5532/tid=5533] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1307204 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5532 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1484.8 s] /proc/loadavg: 2.17 2.07 1.95 3/183 5790 /proc/meminfo: memFree=28254564/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1307204 CPUtime=1484.4 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 268033 0 0 0 148369 71 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 140734577685240 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326801 268044 787 2943 0 323695 0 [pid=5532/tid=5533] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1484.4 Current children cumulated vsize (KiB) 1307204 [startup+1497.6 s] /proc/loadavg: 2.15 2.07 1.95 3/183 5790 /proc/meminfo: memFree=28254564/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1307204 CPUtime=1497.2 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 268033 0 0 0 149649 71 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 140734577685240 5523072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326801 268044 787 2943 0 323695 0 [pid=5532/tid=5533] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1497.2 Current children cumulated vsize (KiB) 1307204 [startup+1504 s] /proc/loadavg: 2.12 2.07 1.95 3/183 5790 /proc/meminfo: memFree=28254688/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1307204 CPUtime=1503.59 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 268033 0 0 0 150288 71 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 140734577685240 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326801 268044 787 2943 0 323695 0 [pid=5532/tid=5533] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1503.59 Current children cumulated vsize (KiB) 1307204 [startup+1510.41 s] /proc/loadavg: 2.11 2.07 1.95 3/183 5790 /proc/meminfo: memFree=28254688/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1307204 CPUtime=1510 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 268033 0 0 0 150929 71 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 140734577685240 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326801 268044 787 2943 0 323695 0 [pid=5532/tid=5533] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1510 Current children cumulated vsize (KiB) 1307204 [startup+1512 s] /proc/loadavg: 2.11 2.07 1.95 3/183 5790 /proc/meminfo: memFree=28254688/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1307204 CPUtime=1511.59 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 268033 0 0 0 151088 71 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 140734577685240 5827824 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326801 268044 787 2943 0 323695 0 [pid=5532/tid=5533] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1511.59 Current children cumulated vsize (KiB) 1307204 [startup+1512.8 s] /proc/loadavg: 2.10 2.07 1.95 3/183 5790 /proc/meminfo: memFree=28254688/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1307204 CPUtime=1512.39 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 268033 0 0 0 151168 71 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 140734577685240 5823655 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326801 268044 787 2943 0 323695 0 [pid=5532/tid=5533] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1512.39 Current children cumulated vsize (KiB) 1307204 [startup+1513.6 s] /proc/loadavg: 2.10 2.07 1.95 3/183 5790 /proc/meminfo: memFree=28254688/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1307204 CPUtime=1513.2 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 268033 0 0 0 151249 71 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 140734577685240 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326801 268044 787 2943 0 323695 0 [pid=5532/tid=5533] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1513.2 Current children cumulated vsize (KiB) 1307204 [startup+1514 s] /proc/loadavg: 2.10 2.07 1.95 3/183 5790 /proc/meminfo: memFree=28254688/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1307204 CPUtime=1513.59 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 268033 0 0 0 151288 71 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 140734577685240 12466584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326801 268044 787 2943 0 323695 0 [pid=5532/tid=5533] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1513.59 Current children cumulated vsize (KiB) 1307204 [startup+1514.1 s] /proc/loadavg: 2.10 2.07 1.95 3/183 5790 /proc/meminfo: memFree=28254688/32872528 swapFree=670956/736364 [pid=5532] ppid=5529 vsize=1307204 CPUtime=1513.69 cores=1,3,5,7 /proc/5532/stat : 5532 (toysat) R 5529 5532 2752 0 -1 4202496 268033 0 0 0 151298 71 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 140734577685240 5546664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5532/statm: 326801 268044 787 2943 0 323695 0 [pid=5532/tid=5533] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832397376752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832386886896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2314258 1338576896 268044 33554432000 4194304 16246674 140734577702240 139832376413360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1513.69 Current children cumulated vsize (KiB) 1307204 Child status: 0 Real time (s): 1514.18 CPU time (s): 1513.78 CPU user time (s): 1513.06 CPU system time (s): 0.72089 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 1307204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1513.06 system time used= 0.72089 maximum resident set size= 1072192 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268039 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= 338 involuntary context switches= 1619 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.73043 second user time and 5.96609 second system time The end
Begin job on node112 at 2016-06-30 21:52:16 IDJOB=4122242 IDBENCH=111000 IDSOLVER=2542 FILE ID=node112/4122242-1467316336 RUNJOBID= node112-1467316318-5402 PBS_JOBID= 20005278 Free space on /tmp= 71708 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n28-d4-i3.cnf.gz-extracted.pb.metafix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122242-1467316336/watcher-4122242-1467316336 -o /tmp/evaluation-result-4122242-1467316336/solver-4122242-1467316336 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1467316318-5402 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122242-1467316336.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 314078d5e19349bdb18e2430b463b154 RANDOM SEED=643505883 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.411 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.411 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.411 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.411 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 : 2666.411 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.411 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.411 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.411 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: 29340448 kB Buffers: 74080 kB Cached: 894676 kB SwapCached: 0 kB Active: 1301584 kB Inactive: 757180 kB Active(anon): 1092624 kB Inactive(anon): 0 kB Active(file): 208960 kB Inactive(file): 757180 kB Unevictable: 736364 kB Mlocked: 670956 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 33200 kB Writeback: 0 kB AnonPages: 1828360 kB Mapped: 17088 kB Shmem: 204 kB Slab: 603672 kB SReclaimable: 47356 kB SUnreclaim: 556316 kB KernelStack: 1520 kB PageTables: 8016 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1965456 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 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= 71692 MiB End job on node112 at 2016-06-30 22:17:31