| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.51 |
| Name | /DEC-SMALLINT-LIN/lopes/ normalized-31.opb |
| MD5SUM | 1231d9e508dc821e38b22e6db3fd2b2f |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 231.924 |
| 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 | 9310 |
| Total number of constraints | 199239 |
| Number of constraints which are clauses | 178407 |
| Number of constraints which are cardinality constraints (but not clauses) | 730 |
| Number of constraints which are nor clauses,nor cardinality constraints | 20102 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 231 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 232 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-07T07:19:44+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-4078866-1465276784.opb"] 0.00/0.01 c use --random-gen="2974662148 117578880 2451916735 3941090620 1818079684 3287048568 3363323654 874124667 3019713930 38231466 4008184442 4035783581 1489295883 2287950908 3438343445 519846603 1176888418 2708037524 3869995084 223286844 2673677448 3643650095 1755965434 1071595531 290994303 2302584362 2123006829 649688881 4137706538 2651441998 1884563806 3810564452 1049874259 3131275999 3635829782 454654622 2788622866 1291868050 875075332 1667049093 741221462 918755710 1462707423 3048663036 1500848341 3855346243 3306430146 4290540718 1279650755 4054543786 2766560256 2961436253 2514943999 1946966263 1756759380 136353761 383335508 3212019003 4179292181 1154085296 2351164256 3645790874 3121951538 786262272 1232416866 3706559815 3674240197 4094932091 416555307 1928462173 1719383623 2992851218 268951669 1164632755 48054407 2046071127 3559177197 732053556 2262658327 159446633 2195043984 2561590622 2830493165 2512554366 3381341664 1166481685 1564969244 999022207 843654877 454410583 414831512 1005029697 3343031497 941836946 4238875134 2983606989 3834497311 1985811285 1347472633 3197603253 1950955699 72897865 2363741953 1639112721 1245568832 1101016178 3551557998 3915463760 1762653931 714350454 2054226969 280815853 1656467690 3550646240 782791042 1131432313 3411251194 1107291752 415408191 3536108046 667442332 2519441174 525293634 2164052163 464887202 4019451534 4023882490 955138406 1518482789 3781784665 4279033880 274191481 3711122046 3480141130 3681253806 596516619 4183470955 1964273983 4081150188 2188981995 1480365847 2273923163 3757439967 1050843934 4137744407 3101265216 4160731097 2228443765 3903691474 2852945891 2960227001 2495092254 395826443 222436005 801360245 2822046983 2190301501 2536082206 2290399347 3258282181 1436077728 2577200922 3927516167 1095987844 2458939791 2403303442 822173658 81922261 4166136586 2001446007 1238585557 2846320608 944857619 560599319 3032613670 4007224899 401875591 1847425536 1544905354 2920154625 201432806 2696538999 3788221479 1206221003 3817779650 2472098429 3520548305 715416485 2590273319 38559341 2990520384 752171449 703543051 3619470668 2841082871 1761932037 3726495973 3490810346 2755846112 1306460590 2073206081 3549874516 2518028168 1680788279 3222320164 2374130833 2031212964 4106724631 3729316402 2200749432 1634602741 1478344243 1444597539 3520002697 2818472194 115562569 3114332265 634296799 1556656369 3861370230 3338477820 3916299206 2672230642 2811824899 2646317512 1837661914 1236168389 805667431 2093764873 3287337568 1851369897 793390611 2101383081 3929706043 3959028680 4130795829 231355034 3470964879 4116023305 2060310016 1636338993 3194333618 2334933952 4133005702 3518322973 3991849769 4228651559 3997591691 2535963777 4096993991 3818688176 1969854174 2344610633 1781621904 3160387281 653311940 255 362436" option to reproduce the execution 1.59/1.65 c #vars 9310 1.59/1.65 c #constraints 199239 5.09/5.17 c Solving starts ... 5.09/5.17 c ============================[ Search Statistics ]============================ 5.09/5.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.09/5.17 c | | | | Limit GC | Var | Constra 5.09/5.17 c ============================================================================= 5.09/5.18 c 0.0s | 0 | 0 | 0 | 68747 0 | 99 | 0 5.49/5.55 c 0.4s | 1 | 131 | 100 | 68747 0 | 99 | 968 5.99/6.04 c 0.9s | 2 | 3272 | 250 | 75622 0 | 99 | 968 6.90/6.96 c 1.8s | 3 | 15840 | 475 | 83185 0 | 99 | 968 8.19/8.21 c 3.0s | 4 | 39948 | 813 | 91504 0 | 99 | 968 8.69/8.73 c 3.6s | 5 | 60966 | 1320 | 100655 0 | 99 | 968 11.89/11.96 c 6.8s | 5 | 109813 | 2020 | 110721 0 | 99 | 968 12.40/12.49 c 7.3s | 6 | 116446 | 2081 | 121794 0 | 99 | 968 14.29/14.32 c 9.1s | 7 | 130264 | 3223 | 133974 0 | 99 | 968 16.29/16.34 c 11.2s | 7 | 145005 | 4523 | 133974 0 | 100 | 979 16.90/16.91 c 11.7s | 8 | 157799 | 4936 | 147372 0 | 100 | 979 18.89/18.94 c 13.8s | 8 | 162021 | 6936 | 147372 0 | 101 | 990 19.99/20.09 c 14.9s | 9 | 162894 | 7506 | 162110 0 | 101 | 990 22.40/22.46 c 17.3s | 9 | 192264 | 8006 | 162110 0 | 101 | 990 24.39/24.47 c 19.3s | 9 | 209738 | 9306 | 162110 0 | 102 | 1001 26.49/26.54 c 21.4s | 9 | 211352 | 10606 | 162110 0 | 102 | 1001 27.69/27.72 c 22.5s | 10 | 212258 | 11361 | 178321 0 | 102 | 1001 29.79/29.85 c 24.7s | 10 | 216280 | 12561 | 178321 0 | 103 | 1012 31.89/31.93 c 26.8s | 10 | 220100 | 14161 | 178321 0 | 103 | 1012 33.89/33.98 c 28.8s | 10 | 221700 | 15561 | 178321 0 | 103 | 1012 35.99/36.05 c 30.9s | 10 | 223146 | 16861 | 178321 0 | 103 | 1012 36.49/36.54 c 31.4s | 11 | 223433 | 17144 | 196154 0 | 103 | 1012 38.49/38.55 c 33.4s | 11 | 235161 | 18944 | 196154 0 | 105 | 1034 40.58/40.65 c 35.5s | 11 | 236505 | 20144 | 196154 0 | 105 | 1034 42.78/42.80 c 37.6s | 11 | 237539 | 21044 | 196154 0 | 105 | 1034 44.78/44.84 c 39.7s | 11 | 238613 | 21944 | 196154 0 | 105 | 1034 46.78/46.88 c 41.7s | 11 | 239615 | 22844 | 196154 0 | 105 | 1034 48.88/48.90 c 43.7s | 11 | 240498 | 23644 | 196154 0 | 105 | 1034 50.89/50.93 c 45.8s | 11 | 241481 | 24544 | 196154 0 | 105 | 1034 52.88/52.96 c 47.8s | 11 | 243855 | 25244 | 196154 0 | 105 | 1034 53.78/53.86 c 48.7s | 12 | 249554 | 25819 | 215770 0 | 105 | 1034 55.88/55.98 c 50.8s | 12 | 253968 | 27519 | 215770 0 | 105 | 1034 57.98/58.07 c 52.9s | 12 | 260427 | 29619 | 215770 0 | 105 | 1034 60.08/60.14 c 55.0s | 12 | 280225 | 30519 | 215770 0 | 107 | 1056 62.08/62.16 c 57.0s | 12 | 297786 | 33619 | 215770 0 | 107 | 1056 64.09/64.17 c 59.0s | 12 | 305989 | 35219 | 215770 0 | 107 | 1056 66.08/66.17 c 61.0s | 12 | 317249 | 37819 | 215770 0 | 107 | 1056 67.49/67.56 c 62.4s | 13 | 321015 | 38832 | 237348 0 | 107 | 1056 69.69/69.76 c 64.6s | 13 | 321859 | 39432 | 237348 0 | 107 | 1056 71.98/72.04 c 66.9s | 13 | 324628 | 40532 | 237348 0 | 107 | 1056 73.99/74.09 c 68.9s | 13 | 325613 | 41432 | 237348 0 | 107 | 1056 76.29/76.35 c 71.2s | 13 | 326815 | 42532 | 237348 0 | 107 | 1056 78.28/78.38 c 73.2s | 13 | 327578 | 43232 | 237348 0 | 107 | 1056 80.38/80.48 c 75.3s | 13 | 328544 | 44132 | 237348 0 | 107 | 1056 82.48/82.54 c 77.4s | 13 | 329415 | 44932 | 237348 0 | 107 | 1056 84.68/84.75 c 79.6s | 13 | 330305 | 45732 | 237348 0 | 107 | 1056 87.18/87.26 c 82.1s | 13 | 346635 | 47632 | 237348 0 | 108 | 1067 89.38/89.40 c 84.2s | 13 | 380980 | 48032 | 237348 0 | 108 | 1067 91.38/91.44 c 86.3s | 13 | 418856 | 49232 | 237348 0 | 108 | 1067 93.47/93.50 c 88.3s | 13 | 429198 | 50332 | 237348 0 | 108 | 1067 95.47/95.53 c 90.4s | 13 | 433252 | 51132 | 237348 0 | 108 | 1067 97.57/97.61 c 92.4s | 13 | 437238 | 52032 | 237348 0 | 108 | 1067 99.87/99.95 c 94.8s | 13 | 446893 | 52732 | 237348 0 | 108 | 1067 101.87/101.97 c 96.8s | 13 | 457594 | 53732 | 237348 0 | 108 | 1067 103.97/104.07 c 98.9s | 13 | 461882 | 54532 | 237348 0 | 108 | 1067 106.17/106.25 c 101s | 13 | 463119 | 55232 | 237348 0 | 108 | 1067 108.47/108.52 c 103s | 13 | 463888 | 55832 | 237348 0 | 108 | 1067 110.57/110.62 c 105s | 13 | 472523 | 56532 | 237348 0 | 108 | 1067 112.77/112.81 c 107s | 13 | 473668 | 57132 | 237348 0 | 108 | 1067 114.97/115.00 c 109s | 13 | 474483 | 57632 | 237348 0 | 108 | 1067 116.98/117.04 c 111s | 13 | 491426 | 58232 | 261083 0 | 108 | 1067 117.37/117.45 c 112s | 14 | 494258 | 58352 | 261083 0 | 108 | 1067 119.47/119.55 c 114s | 14 | 497966 | 58852 | 261083 0 | 108 | 1067 121.47/121.57 c 116s | 14 | 498653 | 59452 | 261083 0 | 108 | 1067 123.97/124.01 c 118s | 14 | 501463 | 60152 | 261083 0 | 108 | 1067 125.97/126.03 c 120s | 14 | 503160 | 60652 | 261083 0 | 108 | 1067 128.07/128.12 c 122s | 14 | 507683 | 61152 | 261083 0 | 108 | 1067 130.07/130.15 c 124s | 14 | 509693 | 61652 | 261083 0 | 108 | 1067 132.17/132.25 c 127s | 14 | 510253 | 62152 | 261083 0 | 108 | 1067 134.27/134.37 c 129s | 14 | 517760 | 62552 | 261083 0 | 108 | 1067 136.57/136.70 c 131s | 14 | 524147 | 63052 | 261083 0 | 108 | 1067 138.77/138.87 c 133s | 14 | 525084 | 63552 | 261083 0 | 108 | 1067 141.07/141.14 c 135s | 14 | 530637 | 64052 | 261083 0 | 108 | 1067 143.07/143.17 c 137s | 14 | 533244 | 64452 | 261083 0 | 108 | 1067 145.07/145.17 c 139s | 14 | 533690 | 64852 | 261083 0 | 108 | 1067 147.46/147.50 c 142s | 14 | 534237 | 65352 | 261083 0 | 108 | 1067 149.56/149.67 c 144s | 14 | 534803 | 65852 | 261083 0 | 108 | 1067 151.76/151.88 c 146s | 14 | 535456 | 66452 | 261083 0 | 108 | 1067 153.96/154.00 c 148s | 14 | 536110 | 67052 | 261083 0 | 108 | 1067 156.06/156.18 c 151s | 14 | 536645 | 67552 | 261083 0 | 108 | 1067 158.26/158.39 c 153s | 14 | 537692 | 68152 | 261083 0 | 108 | 1067 160.56/160.60 c 155s | 14 | 557006 | 68752 | 261083 0 | 108 | 1067 163.07/163.15 c 157s | 14 | 559324 | 69152 | 261083 0 | 108 | 1067 165.46/165.58 c 160s | 14 | 573344 | 69852 | 261083 0 | 108 | 1067 167.66/167.79 c 162s | 14 | 573807 | 70252 | 261083 0 | 108 | 1067 169.96/170.07 c 164s | 14 | 574349 | 70652 | 261083 0 | 108 | 1067 172.16/172.25 c 167s | 14 | 574918 | 71152 | 261083 0 | 108 | 1067 174.56/174.60 c 169s | 14 | 575643 | 71652 | 261083 0 | 108 | 1067 176.76/176.83 c 171s | 14 | 576324 | 72152 | 261083 0 | 108 | 1067 178.76/178.85 c 173s | 14 | 576850 | 72652 | 261083 0 | 108 | 1067 180.96/181.03 c 175s | 14 | 577357 | 73052 | 261083 0 | 108 | 1067 183.46/183.55 c 178s | 14 | 581200 | 73652 | 261083 0 | 108 | 1067 185.76/185.81 c 180s | 14 | 581635 | 73952 | 261083 0 | 108 | 1067 187.76/187.83 c 182s | 14 | 584017 | 74352 | 261083 0 | 108 | 1067 189.96/190.02 c 184s | 14 | 584915 | 74852 | 261083 0 | 108 | 1067 192.06/192.14 c 186s | 14 | 586019 | 75252 | 261083 0 | 108 | 1067 194.26/194.30 c 189s | 14 | 586911 | 75652 | 261083 0 | 108 | 1067 196.66/196.71 c 191s | 14 | 587464 | 76052 | 261083 0 | 108 | 1067 198.96/199.01 c 193s | 14 | 587980 | 76452 | 261083 0 | 108 | 1067 200.96/201.07 c 195s | 14 | 588323 | 76752 | 261083 0 | 108 | 1067 203.56/203.64 c 198s | 14 | 588799 | 77152 | 261083 0 | 108 | 1067 205.96/206.03 c 200s | 14 | 589279 | 77552 | 261083 0 | 108 | 1067 207.96/208.06 c 202s | 14 | 589605 | 77852 | 261083 0 | 108 | 1067 210.46/210.51 c 205s | 14 | 590161 | 78252 | 261083 0 | 108 | 1067 212.75/212.87 c 207s | 14 | 595524 | 79052 | 261083 0 | 108 | 1067 214.95/215.00 c 209s | 14 | 596542 | 79452 | 261083 0 | 108 | 1067 217.15/217.24 c 212s | 14 | 598668 | 79952 | 261083 0 | 108 | 1067 219.45/219.57 c 214s | 14 | 599333 | 80452 | 261083 0 | 108 | 1067 221.85/221.99 c 216s | 14 | 600281 | 80952 | 261083 0 | 108 | 1067 223.95/224.05 c 218s | 14 | 601140 | 81352 | 261083 0 | 108 | 1067 226.25/226.33 c 221s | 14 | 601615 | 81752 | 261083 0 | 108 | 1067 228.35/228.46 c 223s | 14 | 602260 | 82152 | 261083 0 | 108 | 1067 230.45/230.57 c 225s | 14 | 602726 | 82552 | 261083 0 | 108 | 1067 232.55/232.68 c 227s | 14 | 603754 | 82952 | 261083 0 | 108 | 1067 234.85/234.92 c 229s | 14 | 604268 | 83352 | 261083 0 | 108 | 1067 237.35/237.47 c 232s | 14 | 604775 | 83752 | 261083 0 | 108 | 1067 239.65/239.74 c 234s | 14 | 605148 | 84052 | 261083 0 | 108 | 1067 242.15/242.20 c 237s | 14 | 606392 | 84452 | 261083 0 | 108 | 1067 244.25/244.36 c 239s | 14 | 625606 | 85052 | 261083 0 | 108 | 1067 246.35/246.44 c 241s | 14 | 634417 | 85452 | 261083 0 | 108 | 1067 248.45/248.52 c 243s | 14 | 637557 | 85852 | 261083 0 | 108 | 1067 250.55/250.65 c 245s | 14 | 637895 | 86152 | 261083 0 | 108 | 1067 252.75/252.83 c 247s | 14 | 643603 | 86552 | 261083 0 | 108 | 1067 254.95/255.06 c 249s | 14 | 668974 | 87152 | 287192 0 | 108 | 1067 257.15/257.21 c 252s | 14 | 678091 | 87552 | 287192 0 | 108 | 1067 257.35/257.49 c 252s | 15 | 679166 | 87632 | 287192 0 | 108 | 1067 259.55/259.66 c 254s | 15 | 685984 | 88132 | 287192 0 | 108 | 1067 261.75/261.85 c 256s | 15 | 689045 | 88432 | 287192 0 | 108 | 1067 263.85/263.97 c 258s | 15 | 701643 | 88832 | 287192 0 | 108 | 1067 266.25/266.33 c 261s | 15 | 706525 | 89332 | 287192 0 | 108 | 1067 268.25/268.34 c 263s | 15 | 708078 | 89732 | 287192 0 | 108 | 1067 270.55/270.62 c 265s | 15 | 710247 | 90232 | 287192 0 | 108 | 1067 273.05/273.18 c 268s | 15 | 711206 | 90732 | 287192 0 | 108 | 1067 275.05/275.18 c 270s | 15 | 711893 | 91032 | 287192 0 | 108 | 1067 277.45/277.51 c 272s | 15 | 712946 | 91532 | 287192 0 | 108 | 1067 280.24/280.30 c 275s | 15 | 713670 | 91932 | 287192 0 | 108 | 1067 282.24/282.38 c 277s | 15 | 714075 | 92232 | 287192 0 | 108 | 1067 285.04/285.13 c 279s | 15 | 714615 | 92632 | 287192 0 | 108 | 1067 287.04/287.15 c 281s | 15 | 715097 | 92932 | 287192 0 | 108 | 1067 289.14/289.21 c 284s | 15 | 715555 | 93232 | 287192 0 | 108 | 1067 291.24/291.33 c 286s | 15 | 716041 | 93532 | 287192 0 | 108 | 1067 293.64/293.78 c 288s | 15 | 716682 | 93932 | 287192 0 | 108 | 1067 296.34/296.42 c 291s | 15 | 717166 | 94332 | 287192 0 | 108 | 1067 298.54/298.65 c 293s | 15 | 717836 | 94732 | 287192 0 | 108 | 1067 300.65/300.72 c 295s | 15 | 718304 | 95032 | 287192 0 | 108 | 1067 303.14/303.25 c 298s | 15 | 719014 | 95432 | 287192 0 | 108 | 1067 305.24/305.37 c 300s | 15 | 719495 | 95732 | 287192 0 | 108 | 1067 307.44/307.56 c 302s | 15 | 719970 | 96032 | 287192 0 | 108 | 1067 309.54/309.62 c 304s | 15 | 728267 | 96332 | 287192 0 | 108 | 1067 311.55/311.67 c 306s | 15 | 729147 | 96732 | 287192 0 | 108 | 1067 313.75/313.83 c 308s | 15 | 737054 | 97032 | 287192 0 | 108 | 1067 315.84/315.97 c 310s | 15 | 744818 | 98632 | 287192 0 | 108 | 1067 318.44/318.50 c 313s | 15 | 748088 | 99132 | 287192 0 | 108 | 1067 320.94/321.03 c 315s | 15 | 748841 | 99632 | 287192 0 | 108 | 1067 323.24/323.36 c 318s | 15 | 749317 | 99932 | 287192 0 | 108 | 1067 325.34/325.47 c 320s | 15 | 754987 | 100932 | 287192 0 | 108 | 1067 328.04/328.15 c 322s | 15 | 767264 | 101632 | 287192 0 | 108 | 1067 330.64/330.75 c 325s | 15 | 769989 | 102132 | 287192 0 | 108 | 1067 333.34/333.47 c 328s | 15 | 770821 | 102532 | 287192 0 | 108 | 1067 335.64/335.80 c 330s | 15 | 783390 | 103832 | 287192 0 | 108 | 1067 338.13/338.24 c 333s | 15 | 783818 | 104132 | 287192 0 | 108 | 1067 340.24/340.35 c 335s | 15 | 784210 | 104432 | 287192 0 | 108 | 1067 343.13/343.28 c 338s | 15 | 785435 | 104832 | 287192 0 | 108 | 1067 345.64/345.76 c 340s | 15 | 785815 | 105132 | 287192 0 | 108 | 1067 347.63/347.77 c 342s | 15 | 786397 | 105432 | 287192 0 | 108 | 1067 349.83/349.98 c 344s | 15 | 787644 | 105832 | 287192 0 | 108 | 1067 352.63/352.72 c 347s | 15 | 788002 | 106132 | 287192 0 | 108 | 1067 354.73/354.87 c 349s | 15 | 788442 | 106432 | 287192 0 | 108 | 1067 357.23/357.34 c 352s | 15 | 788861 | 106732 | 287192 0 | 108 | 1067 359.43/359.53 c 354s | 15 | 789264 | 107032 | 287192 0 | 108 | 1067 361.53/361.66 c 356s | 15 | 789737 | 107332 | 287192 0 | 108 | 1067 364.23/364.32 c 359s | 15 | 790145 | 107632 | 287192 0 | 108 | 1067 366.33/366.40 c 361s | 15 | 790887 | 108032 | 287192 0 | 108 | 1067 368.43/368.53 c 363s | 15 | 791916 | 108632 | 287192 0 | 108 | 1067 370.53/370.64 c 365s | 15 | 792534 | 109032 | 287192 0 | 108 | 1067 372.53/372.67 c 367s | 15 | 793251 | 109432 | 287192 0 | 108 | 1067 374.83/374.91 c 369s | 15 | 793637 | 109732 | 287192 0 | 108 | 1067 377.43/377.60 c 372s | 15 | 794014 | 110032 | 287192 0 | 108 | 1067 379.63/379.75 c 374s | 15 | 794546 | 110332 | 287192 0 | 108 | 1067 382.33/382.40 c 377s | 15 | 795339 | 110832 | 287192 0 | 108 | 1067 384.93/385.00 c 379s | 15 | 795990 | 111232 | 287192 0 | 108 | 1067 386.93/387.00 c 381s | 15 | 796827 | 111532 | 287192 0 | 108 | 1067 389.13/389.23 c 384s | 15 | 797968 | 111932 | 287192 0 | 108 | 1067 391.23/391.33 c 386s | 15 | 798488 | 112232 | 287192 0 | 108 | 1067 393.83/393.98 c 388s | 15 | 798840 | 112532 | 287192 0 | 108 | 1067 396.63/396.75 c 391s | 15 | 799257 | 112832 | 287192 0 | 108 | 1067 399.53/399.63 c 394s | 15 | 799639 | 113132 | 287192 0 | 108 | 1067 401.73/401.83 c 396s | 15 | 800027 | 113432 | 287192 0 | 108 | 1067 404.22/404.32 c 399s | 15 | 800452 | 113732 | 287192 0 | 108 | 1067 406.42/406.57 c 401s | 15 | 800843 | 114032 | 287192 0 | 108 | 1067 408.62/408.78 c 403s | 15 | 801906 | 114332 | 287192 0 | 108 | 1067 411.22/411.35 c 406s | 15 | 804337 | 114832 | 287192 0 | 108 | 1067 413.62/413.74 c 408s | 15 | 805168 | 115232 | 287192 0 | 108 | 1067 415.72/415.88 c 410s | 15 | 806412 | 115632 | 287192 0 | 108 | 1067 417.82/417.98 c 412s | 15 | 807911 | 116232 | 287192 0 | 108 | 1067 420.02/420.13 c 414s | 15 | 809763 | 116932 | 287192 0 | 108 | 1067 422.02/422.15 c 416s | 15 | 810892 | 117532 | 287192 0 | 108 | 1067 424.22/424.34 c 419s | 15 | 817278 | 118132 | 287192 0 | 108 | 1067 426.42/426.52 c 421s | 15 | 822878 | 118832 | 287192 0 | 108 | 1067 428.52/428.60 c 423s | 15 | 831492 | 119632 | 287192 0 | 108 | 1067 430.72/430.82 c 425s | 15 | 837168 | 120632 | 287192 0 | 108 | 1067 432.82/432.94 c 427s | 15 | 848541 | 121832 | 287192 0 | 108 | 1067 435.02/435.13 c 429s | 15 | 852733 | 122832 | 287192 0 | 108 | 1067 437.52/437.62 c 432s | 15 | 854120 | 123432 | 287192 0 | 108 | 1067 440.12/440.21 c 435s | 15 | 855147 | 123832 | 287192 0 | 108 | 1067 442.12/442.27 c 437s | 15 | 855719 | 124132 | 287192 0 | 108 | 1067 444.52/444.62 c 439s | 15 | 856623 | 124532 | 287192 0 | 108 | 1067 446.52/446.68 c 441s | 15 | 857017 | 124832 | 287192 0 | 108 | 1067 449.12/449.22 c 444s | 15 | 857777 | 125232 | 287192 0 | 108 | 1067 451.22/451.37 c 446s | 15 | 858204 | 125532 | 287192 0 | 108 | 1067 453.32/453.47 c 448s | 15 | 858647 | 125832 | 287192 0 | 108 | 1067 455.62/455.75 c 450s | 15 | 859011 | 126132 | 287192 0 | 108 | 1067 458.42/458.51 c 453s | 15 | 859545 | 126532 | 287192 0 | 108 | 1067 460.82/460.94 c 455s | 15 | 859898 | 126832 | 287192 0 | 108 | 1067 463.22/463.31 c 458s | 15 | 860244 | 127132 | 287192 0 | 108 | 1067 465.22/465.35 c 460s | 15 | 860852 | 127432 | 287192 0 | 108 | 1067 467.32/467.42 c 462s | 15 | 863683 | 128132 | 287192 0 | 108 | 1067 469.61/469.70 c 464s | 15 | 864600 | 128532 | 287192 0 | 108 | 1067 472.12/472.21 c 467s | 15 | 864986 | 128832 | 287192 0 | 108 | 1067 474.32/474.47 c 469s | 15 | 865362 | 129132 | 287192 0 | 108 | 1067 476.71/476.81 c 471s | 15 | 865746 | 129432 | 287192 0 | 108 | 1067 478.91/479.05 c 473s | 15 | 866106 | 129732 | 287192 0 | 108 | 1067 480.92/481.08 c 475s | 15 | 867035 | 130132 | 287192 0 | 108 | 1067 483.01/483.20 c 478s | 15 | 869500 | 131132 | 315912 0 | 108 | 1067 485.61/485.78 c 480s | 15 | 870097 | 131532 | 315912 0 | 108 | 1067 485.81/485.93 c 480s | 16 | 870121 | 131552 | 315912 0 | 108 | 1067 488.21/488.38 c 483s | 16 | 871594 | 132052 | 315912 0 | 108 | 1067 490.42/490.54 c 485s | 16 | 872103 | 132352 | 315912 0 | 108 | 1067 492.62/492.73 c 487s | 16 | 872661 | 132652 | 315912 0 | 108 | 1067 495.02/495.14 c 489s | 16 | 872994 | 132952 | 315912 0 | 108 | 1067 497.32/497.47 c 492s | 16 | 873475 | 133252 | 315912 0 | 108 | 1067 499.42/499.57 c 494s | 16 | 873824 | 133552 | 315912 0 | 108 | 1067 501.72/501.83 c 496s | 16 | 874240 | 133852 | 315912 0 | 108 | 1067 503.92/504.08 c 498s | 16 | 874641 | 134152 | 315912 0 | 108 | 1067 506.32/506.46 c 501s | 16 | 874997 | 134452 | 315912 0 | 108 | 1067 508.92/509.02 c 503s | 16 | 875319 | 134752 | 315912 0 | 108 | 1067 511.42/511.51 c 506s | 16 | 875658 | 135052 | 315912 0 | 108 | 1067 513.51/513.69 c 508s | 16 | 875974 | 135352 | 315912 0 | 108 | 1067 515.81/515.91 c 510s | 16 | 877222 | 135752 | 315912 0 | 108 | 1067 518.11/518.27 c 513s | 16 | 877962 | 136152 | 315912 0 | 108 | 1067 520.41/520.51 c 515s | 16 | 878786 | 136552 | 315912 0 | 108 | 1067 522.41/522.59 c 517s | 16 | 879563 | 136952 | 315912 0 | 108 | 1067 524.71/524.81 c 519s | 16 | 881567 | 137552 | 315912 0 | 108 | 1067 527.22/527.34 c 522s | 16 | 881932 | 137852 | 315912 0 | 108 | 1067 529.91/530.04 c 524s | 16 | 882322 | 138152 | 315912 0 | 108 | 1067 532.01/532.16 c 526s | 16 | 882884 | 138452 | 315912 0 | 108 | 1067 534.01/534.17 c 528s | 16 | 883231 | 138752 | 315912 0 | 108 | 1067 536.21/536.38 c 531s | 16 | 883599 | 139052 | 315912 0 | 108 | 1067 538.41/538.58 c 533s | 16 | 883995 | 139352 | 315912 0 | 108 | 1067 540.61/540.74 c 535s | 16 | 885181 | 139752 | 315912 0 | 108 | 1067 543.01/543.14 c 537s | 16 | 885648 | 140052 | 315912 0 | 108 | 1067 545.41/545.58 c 540s | 16 | 886203 | 140452 | 315912 0 | 108 | 1067 547.71/547.81 c 542s | 16 | 886541 | 140752 | 315912 0 | 108 | 1067 550.11/550.21 c 545s | 16 | 887370 | 141052 | 315912 0 | 108 | 1067 552.11/552.26 c 547s | 16 | 888795 | 141452 | 315912 0 | 108 | 1067 554.21/554.30 c 549s | 16 | 889561 | 141852 | 315912 0 | 108 | 1067 556.21/556.37 c 551s | 16 | 890022 | 142152 | 315912 0 | 108 | 1067 558.91/559.09 c 553s | 16 | 890741 | 142552 | 315912 0 | 108 | 1067 561.11/561.23 c 556s | 16 | 891093 | 142852 | 315912 0 | 108 | 1067 563.31/563.47 c 558s | 16 | 891495 | 143152 | 315912 0 | 108 | 1067 565.51/565.70 c 560s | 16 | 891830 | 143452 | 315912 0 | 108 | 1067 568.01/568.11 c 562s | 16 | 892163 | 143752 | 315912 0 | 108 | 1067 570.31/570.43 c 565s | 16 | 892509 | 144052 | 315912 0 | 108 | 1067 572.61/572.78 c 567s | 16 | 892841 | 144352 | 315912 0 | 108 | 1067 575.00/575.12 c 569s | 16 | 893175 | 144652 | 315912 0 | 108 | 1067 577.50/577.65 c 572s | 16 | 894205 | 145052 | 315912 0 | 108 | 1067 579.91/580.07 c 574s | 16 | 895024 | 145452 | 315912 0 | 108 | 1067 582.30/582.44 c 577s | 16 | 895693 | 145852 | 315912 0 | 108 | 1067 584.70/584.88 c 579s | 16 | 896277 | 146252 | 315912 0 | 108 | 1067 586.80/586.95 c 581s | 16 | 896667 | 146552 | 315912 0 | 108 | 1067 589.00/589.14 c 583s | 16 | 897328 | 146952 | 315912 0 | 108 | 1067 591.30/591.47 c 586s | 16 | 897870 | 147352 | 315912 0 | 108 | 1067 593.30/593.48 c 588s | 16 | 898266 | 147652 | 315912 0 | 108 | 1067 595.50/595.61 c 590s | 16 | 898710 | 147952 | 315912 0 | 108 | 1067 597.90/598.07 c 592s | 16 | 899234 | 148352 | 315912 0 | 108 | 1067 600.30/600.43 c 595s | 16 | 899566 | 148652 | 315912 0 | 108 | 1067 602.50/602.65 c 597s | 16 | 900001 | 148952 | 315912 0 | 108 | 1067 605.00/605.11 c 599s | 16 | 900697 | 149352 | 315912 0 | 108 | 1067 607.00/607.13 c 601s | 16 | 901125 | 149652 | 315912 0 | 108 | 1067 609.61/609.72 c 604s | 16 | 901600 | 150052 | 315912 0 | 108 | 1067 611.81/611.95 c 606s | 16 | 902967 | 150452 | 315912 0 | 108 | 1067 614.00/614.19 c 609s | 16 | 904668 | 151152 | 315912 0 | 108 | 1067 616.40/616.53 c 611s | 16 | 905732 | 151652 | 315912 0 | 108 | 1067 618.50/618.64 c 613s | 16 | 908827 | 152052 | 315912 0 | 108 | 1067 620.60/620.79 c 615s | 16 | 918781 | 152552 | 315912 0 | 108 | 1067 622.70/622.82 c 617s | 16 | 923543 | 153152 | 315912 0 | 108 | 1067 624.90/625.03 c 619s | 16 | 924281 | 153552 | 315912 0 | 108 | 1067 627.40/627.56 c 622s | 16 | 925324 | 154152 | 315912 0 | 108 | 1067 629.80/629.95 c 624s | 16 | 925815 | 154452 | 315912 0 | 108 | 1067 632.59/632.80 c 627s | 16 | 926351 | 154852 | 315912 0 | 108 | 1067 634.90/635.02 c 629s | 16 | 926914 | 155252 | 315912 0 | 108 | 1067 637.20/637.31 c 632s | 16 | 927546 | 155652 | 315912 0 | 108 | 1067 639.19/639.38 c 634s | 16 | 928146 | 156052 | 315912 0 | 108 | 1067 641.50/641.65 c 636s | 16 | 928615 | 156352 | 315912 0 | 108 | 1067 643.80/643.94 c 638s | 16 | 929180 | 156752 | 315912 0 | 108 | 1067 646.09/646.25 c 641s | 16 | 929524 | 157052 | 315912 0 | 108 | 1067 648.49/648.62 c 643s | 16 | 930070 | 157452 | 315912 0 | 108 | 1067 650.49/650.69 c 645s | 16 | 930417 | 157752 | 315912 0 | 108 | 1067 652.69/652.89 c 647s | 16 | 931079 | 158152 | 315912 0 | 108 | 1067 654.89/655.09 c 649s | 16 | 936392 | 158852 | 315912 0 | 108 | 1067 657.29/657.47 c 652s | 16 | 937840 | 159352 | 315912 0 | 108 | 1067 659.39/659.53 c 654s | 16 | 939887 | 160152 | 315912 0 | 108 | 1067 661.39/661.59 c 656s | 16 | 941748 | 160952 | 315912 0 | 108 | 1067 663.39/663.59 c 658s | 16 | 944908 | 161852 | 315912 0 | 108 | 1067 665.59/665.73 c 660s | 16 | 947376 | 162552 | 315912 0 | 108 | 1067 667.58/667.76 c 662s | 16 | 951597 | 163552 | 315912 0 | 108 | 1067 669.78/669.90 c 664s | 16 | 953175 | 164152 | 315912 0 | 108 | 1067 671.98/672.15 c 666s | 16 | 954628 | 164952 | 315912 0 | 108 | 1067 674.08/674.25 c 669s | 16 | 955655 | 165452 | 315912 0 | 108 | 1067 676.18/676.30 c 671s | 16 | 956484 | 165852 | 315912 0 | 108 | 1067 678.18/678.31 c 673s | 16 | 957223 | 166252 | 315912 0 | 108 | 1067 680.18/680.37 c 675s | 16 | 958512 | 166852 | 315912 0 | 108 | 1067 682.18/682.37 c 677s | 16 | 960072 | 167452 | 315912 0 | 108 | 1067 684.18/684.38 c 679s | 16 | 965895 | 168452 | 315912 0 | 108 | 1067 686.18/686.39 c 681s | 16 | 967382 | 168952 | 315912 0 | 108 | 1067 688.37/688.50 c 683s | 16 | 969881 | 169752 | 315912 0 | 108 | 1067 690.57/690.72 c 685s | 16 | 973194 | 170652 | 315912 0 | 108 | 1067 692.67/692.85 c 687s | 16 | 974391 | 171152 | 315912 0 | 108 | 1067 694.87/695.00 c 689s | 16 | 975574 | 171652 | 315912 0 | 108 | 1067 697.27/697.43 c 692s | 16 | 976831 | 172352 | 315912 0 | 108 | 1067 699.57/699.71 c 694s | 16 | 978693 | 173152 | 315912 0 | 108 | 1067 701.77/702.00 c 696s | 16 | 979992 | 173752 | 315912 0 | 108 | 1067 704.07/704.20 c 699s | 16 | 981388 | 174352 | 315912 0 | 108 | 1067 706.38/706.51 c 701s | 16 | 982744 | 174952 | 315912 0 | 108 | 1067 708.67/708.85 c 703s | 16 | 984936 | 175752 | 315912 0 | 108 | 1067 710.66/710.87 c 705s | 16 | 986471 | 176252 | 315912 0 | 108 | 1067 712.76/712.91 c 707s | 16 | 987659 | 176652 | 315912 0 | 109 | 1078 714.96/715.13 c 709s | 16 | 988876 | 177352 | 315912 0 | 109 | 1078 716.96/717.18 c 712s | 16 | 989953 | 178052 | 315912 0 | 109 | 1078 719.26/719.41 c 714s | 16 | 991402 | 178752 | 315912 0 | 109 | 1078 721.36/721.52 c 716s | 16 | 992721 | 179452 | 315912 0 | 109 | 1078 723.36/723.58 c 718s | 16 | 997050 | 180452 | 315912 0 | 109 | 1078 725.46/725.62 c 720s | 16 | 999484 | 181152 | 315912 0 | 109 | 1078 727.46/727.65 c 722s | 16 | 1002235 | 181852 | 315912 0 | 109 | 1078 729.86/730.05 c 724s | 16 | 1004934 | 182552 | 315912 0 | 109 | 1078 731.96/732.14 c 726s | 16 | 1005777 | 182952 | 315912 0 | 109 | 1078 734.26/734.42 c 729s | 16 | 1006769 | 183452 | 315912 0 | 109 | 1078 736.36/736.52 c 731s | 16 | 1008585 | 184252 | 315912 0 | 109 | 1078 738.65/738.86 c 733s | 16 | 1010005 | 184852 | 315912 0 | 109 | 1078 741.15/741.35 c 736s | 16 | 1010863 | 185352 | 315912 0 | 109 | 1078 743.55/743.78 c 738s | 16 | 1011579 | 185852 | 315912 0 | 109 | 1078 745.96/746.11 c 740s | 16 | 1013530 | 186452 | 315912 0 | 109 | 1078 748.34/748.56 c 743s | 16 | 1014381 | 186952 | 315912 0 | 109 | 1078 750.74/750.91 c 745s | 16 | 1015802 | 187452 | 315912 0 | 109 | 1078 752.74/752.93 c 747s | 16 | 1016350 | 187752 | 315912 0 | 109 | 1078 755.04/755.25 c 750s | 16 | 1017011 | 188152 | 315912 0 | 109 | 1078 757.64/757.83 c 752s | 16 | 1018084 | 188652 | 315912 0 | 109 | 1078 760.04/760.29 c 755s | 16 | 1019130 | 189052 | 315912 0 | 109 | 1078 762.55/762.74 c 757s | 16 | 1019793 | 189452 | 315912 0 | 109 | 1078 764.74/764.95 c 759s | 16 | 1020852 | 189752 | 315912 0 | 109 | 1078 767.43/767.61 c 762s | 16 | 1021273 | 190052 | 315912 0 | 109 | 1078 769.63/769.86 c 764s | 16 | 1021709 | 190352 | 315912 0 | 109 | 1078 771.63/771.89 c 766s | 16 | 1021928 | 190552 | 315912 0 | 109 | 1078 774.33/774.57 c 769s | 16 | 1022364 | 190852 | 315912 0 | 109 | 1078 776.33/776.57 c 771s | 16 | 1022854 | 191152 | 315912 0 | 109 | 1078 778.73/778.92 c 773s | 16 | 1023854 | 191652 | 315912 0 | 109 | 1078 781.14/781.33 c 776s | 16 | 1024419 | 192052 | 315912 0 | 109 | 1078 783.63/783.80 c 778s | 16 | 1024831 | 192352 | 315912 0 | 109 | 1078 786.03/786.21 c 781s | 16 | 1025265 | 192652 | 315912 0 | 109 | 1078 788.13/788.37 c 783s | 16 | 1029927 | 193552 | 315912 0 | 109 | 1078 790.73/790.97 c 785s | 16 | 1032134 | 194152 | 315912 0 | 109 | 1078 792.83/793.08 c 787s | 16 | 1035462 | 194952 | 315912 0 | 109 | 1078 794.92/795.11 c 789s | 16 | 1038371 | 195652 | 315912 0 | 109 | 1078 797.12/797.38 c 792s | 16 | 1040269 | 196352 | 347504 0 | 109 | 1078 799.42/799.65 c 794s | 16 | 1041517 | 196952 | 347504 0 | 109 | 1078 801.22/801.44 c 796s | 17 | 1042483 | 197432 | 347504 0 | 109 | 1078 803.32/803.54 c 798s | 17 | 1045191 | 198332 | 347504 0 | 109 | 1078 805.52/805.78 c 800s | 17 | 1049587 | 199232 | 347504 0 | 109 | 1078 808.12/808.30 c 803s | 17 | 1053678 | 199932 | 347504 0 | 109 | 1078 810.11/810.37 c 805s | 17 | 1054401 | 200432 | 347504 0 | 109 | 1078 812.51/812.77 c 807s | 17 | 1055964 | 201032 | 347504 0 | 109 | 1078 815.01/815.20 c 810s | 17 | 1057120 | 201432 | 347504 0 | 109 | 1078 817.11/817.32 c 812s | 17 | 1059189 | 202232 | 347504 0 | 109 | 1078 819.21/819.42 c 814s | 17 | 1061222 | 203232 | 347504 0 | 109 | 1078 821.71/821.94 c 816s | 17 | 1067030 | 203732 | 347504 0 | 109 | 1078 823.81/824.08 c 818s | 17 | 1067530 | 204032 | 347504 0 | 109 | 1078 825.81/826.09 c 820s | 17 | 1068740 | 204532 | 347504 0 | 109 | 1078 828.11/828.38 c 823s | 17 | 1072078 | 205032 | 347504 0 | 109 | 1078 830.31/830.55 c 825s | 17 | 1073705 | 205332 | 347504 0 | 109 | 1078 832.81/833.02 c 827s | 17 | 1074403 | 205732 | 347504 0 | 109 | 1078 834.91/835.16 c 829s | 17 | 1074909 | 206032 | 347504 0 | 109 | 1078 837.31/837.56 c 832s | 17 | 1075712 | 206432 | 347504 0 | 109 | 1078 840.00/840.29 c 835s | 17 | 1076510 | 206832 | 347504 0 | 109 | 1078 842.71/842.92 c 837s | 17 | 1076834 | 207132 | 347504 0 | 109 | 1078 845.01/845.27 c 840s | 17 | 1077156 | 207432 | 347504 0 | 109 | 1078 847.60/847.86 c 842s | 17 | 1077477 | 207732 | 347504 0 | 109 | 1078 849.70/849.91 c 844s | 17 | 1078020 | 208032 | 347504 0 | 109 | 1078 852.30/852.52 c 847s | 17 | 1078369 | 208332 | 347504 0 | 109 | 1078 854.81/855.04 c 849s | 17 | 1078720 | 208632 | 347504 0 | 109 | 1078 857.01/857.25 c 852s | 17 | 1079335 | 208932 | 347504 0 | 109 | 1078 859.31/859.51 c 854s | 17 | 1079953 | 209232 | 347504 0 | 109 | 1078 861.41/861.70 c 856s | 17 | 1082505 | 210032 | 347504 0 | 109 | 1078 864.10/864.37 c 859s | 17 | 1083831 | 210732 | 347504 0 | 109 | 1078 866.50/866.77 c 861s | 17 | 1084188 | 211032 | 347504 0 | 109 | 1078 868.69/868.93 c 863s | 17 | 1099846 | 211332 | 347504 0 | 109 | 1078 870.79/871.02 c 865s | 17 | 1103949 | 211732 | 347504 0 | 109 | 1078 873.50/873.74 c 868s | 17 | 1114244 | 212332 | 347504 0 | 109 | 1078 875.99/876.23 c 871s | 17 | 1117586 | 212732 | 347504 0 | 109 | 1078 878.29/878.51 c 873s | 17 | 1132351 | 213332 | 347504 0 | 109 | 1078 880.49/880.78 c 875s | 17 | 1135388 | 213532 | 347504 0 | 109 | 1078 882.79/883.02 c 877s | 17 | 1148597 | 214632 | 347504 0 | 109 | 1078 885.08/885.39 c 880s | 17 | 1150366 | 215532 | 347504 0 | 109 | 1078 887.28/887.59 c 882s | 17 | 1157932 | 216132 | 347504 0 | 109 | 1078 889.48/889.70 c 884s | 17 | 1167699 | 216832 | 347504 0 | 109 | 1078 891.48/891.78 c 886s | 17 | 1181386 | 218332 | 347504 0 | 109 | 1078 893.68/893.96 c 888s | 17 | 1183123 | 219032 | 347504 0 | 109 | 1078 896.18/896.41 c 891s | 17 | 1183836 | 219432 | 347504 0 | 109 | 1078 898.28/898.59 c 893s | 17 | 1185349 | 220032 | 347504 0 | 109 | 1078 900.38/900.60 c 895s | 17 | 1187225 | 220932 | 347504 0 | 109 | 1078 902.88/903.14 c 897s | 17 | 1193731 | 221832 | 347504 0 | 109 | 1078 905.39/905.62 c 900s | 17 | 1195708 | 222432 | 347504 0 | 109 | 1078 907.98/908.25 c 903s | 17 | 1196653 | 222832 | 347504 0 | 109 | 1078 909.98/910.27 c 905s | 17 | 1200874 | 223132 | 347504 0 | 109 | 1078 912.08/912.39 c 907s | 17 | 1203672 | 223432 | 347504 0 | 109 | 1078 914.18/914.46 c 909s | 17 | 1205329 | 223832 | 347504 0 | 109 | 1078 916.48/916.71 c 911s | 17 | 1206081 | 224132 | 347504 0 | 109 | 1078 918.77/919.07 c 913s | 17 | 1206679 | 224432 | 347504 0 | 109 | 1078 921.77/922.09 c 916s | 17 | 1207259 | 224732 | 347504 0 | 109 | 1078 924.37/924.63 c 919s | 17 | 1207731 | 225032 | 347504 0 | 109 | 1078 927.07/927.31 c 922s | 17 | 1208139 | 225332 | 347504 0 | 109 | 1078 929.17/929.45 c 924s | 17 | 1208415 | 225532 | 347504 0 | 109 | 1078 931.27/931.50 c 926s | 17 | 1208671 | 225732 | 347504 0 | 109 | 1078 933.57/933.86 c 928s | 17 | 1209268 | 226032 | 347504 0 | 109 | 1078 935.87/936.17 c 930s | 17 | 1210116 | 226332 | 347504 0 | 109 | 1078 938.17/938.41 c 933s | 17 | 1210969 | 226732 | 347504 0 | 109 | 1078 940.37/940.66 c 935s | 17 | 1211363 | 226932 | 347504 0 | 109 | 1078 942.57/942.81 c 937s | 17 | 1212378 | 227232 | 347504 0 | 109 | 1078 944.87/945.13 c 939s | 17 | 1213721 | 227632 | 347504 0 | 109 | 1078 947.17/947.43 c 942s | 17 | 1216060 | 228032 | 347504 0 | 109 | 1078 949.26/949.54 c 944s | 17 | 1217733 | 228532 | 347504 0 | 109 | 1078 951.36/951.61 c 946s | 17 | 1218224 | 228832 | 347504 0 | 109 | 1078 953.46/953.75 c 948s | 17 | 1218590 | 229032 | 347504 0 | 109 | 1078 955.56/955.85 c 950s | 17 | 1219174 | 229332 | 347504 0 | 109 | 1078 958.27/958.58 c 953s | 17 | 1221205 | 229632 | 347504 0 | 109 | 1078 960.37/960.61 c 955s | 17 | 1221438 | 229832 | 347504 0 | 109 | 1078 962.46/962.71 c 957s | 17 | 1223558 | 230332 | 347504 0 | 109 | 1078 964.46/964.72 c 959s | 17 | 1225225 | 230632 | 347504 0 | 109 | 1078 966.97/967.26 c 962s | 17 | 1226084 | 230932 | 347504 0 | 109 | 1078 969.05/969.39 c 964s | 17 | 1226502 | 231132 | 347504 0 | 109 | 1078 971.55/971.82 c 966s | 17 | 1227115 | 231432 | 347504 0 | 109 | 1078 973.85/974.17 c 968s | 17 | 1227585 | 231732 | 347504 0 | 109 | 1078 975.95/976.25 c 971s | 17 | 1228364 | 232032 | 347504 0 | 109 | 1078 978.75/979.06 c 973s | 17 | 1228773 | 232332 | 347504 0 | 109 | 1078 980.95/981.22 c 976s | 17 | 1230828 | 232632 | 347504 0 | 109 | 1078 983.35/983.64 c 978s | 17 | 1233258 | 232932 | 347504 0 | 109 | 1078 986.15/986.40 c 981s | 17 | 1236967 | 233332 | 347504 0 | 109 | 1078 988.95/989.24 c 984s | 17 | 1237179 | 233532 | 347504 0 | 109 | 1078 991.45/991.77 c 986s | 17 | 1237908 | 233732 | 347504 0 | 109 | 1078 993.65/993.91 c 988s | 17 | 1246814 | 234332 | 347504 0 | 109 | 1078 996.05/996.38 c 991s | 17 | 1251885 | 234732 | 347504 0 | 109 | 1078 998.64/998.96 c 993s | 17 | 1254609 | 235132 | 347504 0 | 109 | 1078 1000.84/1001.12 c 995s | 17 | 1257134 | 235432 | 347504 0 | 109 | 1078 1003.25/1003.53 c 998s | 17 | 1257776 | 235732 | 347504 0 | 109 | 1078 1005.64/1005.92 c 1000s | 17 | 1258247 | 236032 | 347504 0 | 109 | 1078 1008.04/1008.39 c 1003s | 17 | 1259566 | 236332 | 347504 0 | 109 | 1078 1011.24/1011.50 c 1006s | 17 | 1260001 | 236632 | 347504 0 | 109 | 1078 1013.64/1013.90 c 1008s | 17 | 1260233 | 236832 | 347504 0 | 109 | 1078 1015.84/1016.14 c 1010s | 17 | 1260455 | 237032 | 347504 0 | 109 | 1078 1017.94/1018.21 c 1013s | 17 | 1260701 | 237232 | 347504 0 | 109 | 1078 1020.64/1020.90 c 1015s | 17 | 1261046 | 237532 | 347504 0 | 109 | 1078 1023.24/1023.58 c 1018s | 17 | 1261700 | 237832 | 347504 0 | 109 | 1078 1025.94/1026.29 c 1021s | 17 | 1262264 | 238132 | 347504 0 | 109 | 1078 1028.13/1028.42 c 1023s | 17 | 1264237 | 238432 | 347504 0 | 109 | 1078 1030.23/1030.57 c 1025s | 17 | 1265054 | 238732 | 347504 0 | 109 | 1078 1032.23/1032.57 c 1027s | 17 | 1265784 | 239032 | 347504 0 | 109 | 1078 1034.93/1035.24 c 1030s | 17 | 1266407 | 239332 | 347504 0 | 109 | 1078 1037.03/1037.37 c 1032s | 17 | 1266899 | 239532 | 347504 0 | 109 | 1078 1039.93/1040.25 c 1035s | 17 | 1267379 | 239832 | 347504 0 | 109 | 1078 1042.84/1043.19 c 1038s | 17 | 1267737 | 240132 | 347504 0 | 109 | 1078 1044.93/1045.25 c 1040s | 17 | 1268388 | 240332 | 347504 0 | 109 | 1078 1047.03/1047.36 c 1042s | 17 | 1268614 | 240532 | 347504 0 | 109 | 1078 1049.43/1049.72 c 1044s | 17 | 1271393 | 240832 | 347504 0 | 109 | 1078 1052.42/1052.76 c 1047s | 17 | 1271804 | 241132 | 347504 0 | 109 | 1078 1054.42/1054.76 c 1049s | 17 | 1272043 | 241332 | 347504 0 | 109 | 1078 1056.52/1056.85 c 1051s | 17 | 1272467 | 241532 | 347504 0 | 109 | 1078 1058.62/1058.93 c 1053s | 17 | 1272717 | 241732 | 347504 0 | 109 | 1078 1061.72/1062.05 c 1056s | 17 | 1273099 | 242032 | 347504 0 | 109 | 1078 1063.92/1064.27 c 1059s | 17 | 1273357 | 242232 | 347504 0 | 109 | 1078 1066.72/1067.01 c 1061s | 17 | 1273719 | 242532 | 347504 0 | 109 | 1078 1069.52/1069.81 c 1064s | 17 | 1274088 | 242832 | 347504 0 | 109 | 1078 1072.22/1072.53 c 1067s | 17 | 1277476 | 243232 | 347504 0 | 109 | 1078 1074.62/1074.99 c 1069s | 17 | 1278274 | 243532 | 347504 0 | 109 | 1078 1077.52/1077.84 c 1072s | 17 | 1278887 | 243832 | 347504 0 | 109 | 1078 1080.22/1080.59 c 1075s | 17 | 1279334 | 244132 | 347504 0 | 109 | 1078 1082.31/1082.67 c 1077s | 17 | 1279579 | 244332 | 347504 0 | 109 | 1078 1084.81/1085.18 c 1080s | 17 | 1280712 | 244632 | 347504 0 | 109 | 1078 1087.41/1087.72 c 1082s | 17 | 1283130 | 244932 | 347504 0 | 109 | 1078 1089.81/1090.12 c 1084s | 17 | 1283552 | 245232 | 347504 0 | 109 | 1078 1092.51/1092.86 c 1087s | 17 | 1283964 | 245532 | 347504 0 | 109 | 1078 1094.62/1094.91 c 1089s | 17 | 1284227 | 245732 | 347504 0 | 109 | 1078 1096.72/1097.02 c 1091s | 17 | 1284518 | 245932 | 347504 0 | 109 | 1078 1098.91/1099.23 c 1094s | 17 | 1284754 | 246132 | 347504 0 | 109 | 1078 1101.11/1101.46 c 1096s | 17 | 1285005 | 246332 | 347504 0 | 109 | 1078 1103.41/1103.80 c 1098s | 17 | 1285285 | 246532 | 347504 0 | 109 | 1078 1106.20/1106.54 c 1101s | 17 | 1286034 | 246832 | 347504 0 | 109 | 1078 1108.30/1108.68 c 1103s | 17 | 1286804 | 247132 | 347504 0 | 109 | 1078 1110.70/1111.00 c 1105s | 17 | 1288712 | 247432 | 347504 0 | 109 | 1078 1113.10/1113.47 c 1108s | 17 | 1289143 | 247732 | 347504 0 | 109 | 1078 1115.30/1115.67 c 1110s | 17 | 1289621 | 248032 | 347504 0 | 109 | 1078 1118.10/1118.43 c 1113s | 17 | 1290401 | 248532 | 347504 0 | 109 | 1078 1121.00/1121.33 c 1116s | 17 | 1290771 | 248832 | 347504 0 | 109 | 1078 1123.60/1123.93 c 1118s | 17 | 1291435 | 249232 | 347504 0 | 109 | 1078 1125.90/1126.27 c 1121s | 17 | 1291881 | 249532 | 347504 0 | 109 | 1078 1127.99/1128.36 c 1123s | 17 | 1292316 | 249832 | 347504 0 | 109 | 1078 1130.69/1131.05 c 1125s | 17 | 1292721 | 250132 | 347504 0 | 109 | 1078 1132.69/1133.05 c 1127s | 17 | 1293132 | 250432 | 347504 0 | 109 | 1078 1135.09/1135.47 c 1130s | 17 | 1293571 | 250732 | 347504 0 | 109 | 1078 1137.59/1137.91 c 1132s | 17 | 1294027 | 251032 | 347504 0 | 109 | 1078 1140.29/1140.63 c 1135s | 17 | 1294430 | 251332 | 347504 0 | 109 | 1078 1142.79/1143.16 c 1137s | 17 | 1294896 | 251632 | 347504 0 | 109 | 1078 1145.39/1145.79 c 1140s | 17 | 1295258 | 251932 | 347504 0 | 109 | 1078 1147.98/1148.33 c 1143s | 17 | 1295635 | 252232 | 347504 0 | 109 | 1078 1150.78/1151.16 c 1145s | 17 | 1295984 | 252532 | 347504 0 | 109 | 1078 1152.89/1153.22 c 1148s | 17 | 1296209 | 252732 | 347504 0 | 109 | 1078 1155.09/1155.44 c 1150s | 17 | 1296433 | 252932 | 347504 0 | 109 | 1078 1157.98/1158.31 c 1153s | 17 | 1296818 | 253232 | 347504 0 | 109 | 1078 1160.38/1160.72 c 1155s | 17 | 1298015 | 253632 | 347504 0 | 109 | 1078 1162.48/1162.87 c 1157s | 17 | 1299058 | 253932 | 347504 0 | 109 | 1078 1165.38/1165.79 c 1160s | 17 | 1300086 | 254232 | 347504 0 | 109 | 1078 1167.68/1168.07 c 1162s | 17 | 1300395 | 254432 | 347504 0 | 109 | 1078 1169.88/1170.28 c 1165s | 17 | 1300781 | 254632 | 347504 0 | 109 | 1078 1172.38/1172.76 c 1167s | 17 | 1301778 | 254932 | 347504 0 | 109 | 1078 1175.18/1175.55 c 1170s | 17 | 1302277 | 255232 | 347504 0 | 109 | 1078 1177.38/1177.73 c 1172s | 17 | 1302526 | 255432 | 347504 0 | 109 | 1078 1179.58/1179.98 c 1174s | 17 | 1302806 | 255632 | 347504 0 | 109 | 1078 1182.48/1182.90 c 1177s | 17 | 1303373 | 255932 | 347504 0 | 109 | 1078 1185.28/1185.63 c 1180s | 17 | 1303892 | 256232 | 347504 0 | 109 | 1078 1187.98/1188.38 c 1183s | 17 | 1304422 | 256532 | 347504 0 | 109 | 1078 1190.57/1190.98 c 1185s | 17 | 1304920 | 256832 | 347504 0 | 109 | 1078 1192.77/1193.10 c 1187s | 17 | 1305276 | 257032 | 347504 0 | 109 | 1078 1195.27/1195.68 c 1190s | 17 | 1305516 | 257232 | 347504 0 | 109 | 1078 1197.37/1197.72 c 1192s | 17 | 1305749 | 257432 | 347504 0 | 109 | 1078 1199.46/1199.84 c 1194s | 17 | 1305966 | 257632 | 347504 0 | 109 | 1078 1201.56/1201.97 c 1196s | 17 | 1306218 | 257832 | 347504 0 | 109 | 1078 1203.96/1204.31 c 1199s | 17 | 1306457 | 258032 | 347504 0 | 109 | 1078 1206.46/1206.88 c 1201s | 17 | 1306671 | 258232 | 347504 0 | 109 | 1078 1209.36/1209.71 c 1204s | 17 | 1306891 | 258432 | 347504 0 | 109 | 1078 1212.17/1212.52 c 1207s | 17 | 1307137 | 258632 | 347504 0 | 109 | 1078 1215.16/1215.55 c 1210s | 17 | 1307661 | 258932 | 347504 0 | 109 | 1078 1217.56/1217.92 c 1212s | 17 | 1307923 | 259132 | 347504 0 | 109 | 1078 1219.56/1219.96 c 1214s | 17 | 1308205 | 259332 | 347504 0 | 109 | 1078 1222.06/1222.48 c 1217s | 17 | 1308445 | 259532 | 347504 0 | 109 | 1078 1224.66/1225.02 c 1219s | 17 | 1308837 | 259832 | 347504 0 | 109 | 1078 1227.26/1227.66 c 1222s | 17 | 1309225 | 260132 | 347504 0 | 109 | 1078 1229.86/1230.26 c 1225s | 17 | 1309625 | 260432 | 347504 0 | 109 | 1078 1232.65/1233.01 c 1227s | 17 | 1309994 | 260732 | 347504 0 | 109 | 1078 1234.85/1235.26 c 1230s | 17 | 1310225 | 260932 | 347504 0 | 109 | 1078 1236.95/1237.36 c 1232s | 17 | 1310442 | 261132 | 347504 0 | 109 | 1078 1239.05/1239.43 c 1234s | 17 | 1310738 | 261332 | 347504 0 | 109 | 1078 1241.15/1241.58 c 1236s | 17 | 1311097 | 261532 | 347504 0 | 109 | 1078 1243.45/1243.84 c 1238s | 17 | 1311382 | 261732 | 347504 0 | 109 | 1078 1245.65/1246.06 c 1240s | 17 | 1311646 | 261932 | 347504 0 | 109 | 1078 1247.85/1248.26 c 1243s | 17 | 1311869 | 262132 | 347504 0 | 109 | 1078 1249.95/1250.36 c 1245s | 17 | 1312127 | 262332 | 347504 0 | 109 | 1078 1252.25/1252.62 c 1247s | 17 | 1312357 | 262532 | 347504 0 | 109 | 1078 1254.45/1254.88 c 1249s | 17 | 1312617 | 262732 | 347504 0 | 109 | 1078 1256.75/1257.12 c 1251s | 17 | 1312847 | 262932 | 347504 0 | 109 | 1078 1259.04/1259.43 c 1254s | 17 | 1313096 | 263132 | 347504 0 | 109 | 1078 1261.84/1262.27 c 1257s | 17 | 1313454 | 263432 | 347504 0 | 109 | 1078 1264.04/1264.41 c 1259s | 17 | 1313707 | 263632 | 347504 0 | 109 | 1078 1266.84/1267.25 c 1262s | 17 | 1314181 | 263932 | 347504 0 | 109 | 1078 1268.84/1269.29 c 1264s | 17 | 1314429 | 264132 | 347504 0 | 109 | 1078 1271.74/1272.14 c 1266s | 17 | 1314911 | 264432 | 347504 0 | 109 | 1078 1273.94/1274.30 c 1269s | 17 | 1315150 | 264632 | 347504 0 | 109 | 1078 1275.94/1276.35 c 1271s | 17 | 1315425 | 264832 | 347504 0 | 109 | 1078 1278.24/1278.69 c 1273s | 17 | 1315657 | 265032 | 347504 0 | 109 | 1078 1280.73/1281.18 c 1276s | 17 | 1315906 | 265232 | 347504 0 | 109 | 1078 1283.03/1283.49 c 1278s | 17 | 1316138 | 265432 | 347504 0 | 109 | 1078 1285.23/1285.63 c 1280s | 17 | 1316379 | 265632 | 347504 0 | 109 | 1078 1287.43/1287.89 c 1282s | 17 | 1316615 | 265832 | 347504 0 | 109 | 1078 1289.83/1290.21 c 1285s | 17 | 1316861 | 266032 | 347504 0 | 109 | 1078 1292.53/1292.98 c 1287s | 17 | 1317084 | 266232 | 347504 0 | 109 | 1078 1295.23/1295.64 c 1290s | 17 | 1317323 | 266432 | 347504 0 | 109 | 1078 1297.72/1298.18 c 1293s | 17 | 1317544 | 266632 | 347504 0 | 109 | 1078 1300.32/1300.76 c 1295s | 17 | 1317786 | 266832 | 347504 0 | 109 | 1078 1302.72/1303.13 c 1297s | 17 | 1318020 | 267032 | 347504 0 | 109 | 1078 1304.82/1305.28 c 1300s | 17 | 1318263 | 267232 | 347504 0 | 109 | 1078 1307.22/1307.65 c 1302s | 17 | 1318516 | 267432 | 347504 0 | 109 | 1078 1309.42/1309.80 c 1304s | 17 | 1318869 | 267632 | 347504 0 | 109 | 1078 1312.23/1312.61 c 1307s | 17 | 1319358 | 267932 | 347504 0 | 109 | 1078 1314.53/1314.93 c 1309s | 17 | 1319612 | 268132 | 347504 0 | 109 | 1078 1317.42/1317.88 c 1312s | 17 | 1319963 | 268432 | 347504 0 | 109 | 1078 1319.62/1320.08 c 1314s | 17 | 1320172 | 268632 | 347504 0 | 109 | 1078 1322.32/1322.72 c 1317s | 17 | 1320416 | 268832 | 347504 0 | 109 | 1078 1325.12/1325.59 c 1320s | 17 | 1320631 | 269032 | 347504 0 | 109 | 1078 1327.62/1328.07 c 1322s | 17 | 1320891 | 269232 | 347504 0 | 109 | 1078 1329.72/1330.12 c 1324s | 17 | 1321138 | 269432 | 347504 0 | 109 | 1078 1332.22/1332.62 c 1327s | 17 | 1321383 | 269632 | 347504 0 | 109 | 1078 1334.92/1335.30 c 1330s | 17 | 1321599 | 269832 | 347504 0 | 109 | 1078 1338.02/1338.48 c 1333s | 17 | 1322115 | 270132 | 347504 0 | 109 | 1078 1340.32/1340.76 c 1335s | 17 | 1322422 | 270332 | 347504 0 | 109 | 1078 1342.71/1343.16 c 1337s | 17 | 1322817 | 270532 | 347504 0 | 109 | 1078 1344.81/1345.26 c 1340s | 17 | 1323233 | 270732 | 347504 0 | 109 | 1078 1347.21/1347.60 c 1342s | 17 | 1323443 | 270932 | 347504 0 | 109 | 1078 1349.41/1349.86 c 1344s | 17 | 1323934 | 271132 | 347504 0 | 109 | 1078 1352.92/1353.37 c 1348s | 17 | 1324432 | 271432 | 347504 0 | 109 | 1078 1355.81/1356.28 c 1351s | 17 | 1324670 | 271632 | 347504 0 | 109 | 1078 1359.01/1359.45 c 1354s | 17 | 1324913 | 271832 | 347504 0 | 109 | 1078 1361.72/1362.12 c 1356s | 17 | 1325346 | 272132 | 347504 0 | 109 | 1078 1364.41/1364.82 c 1359s | 17 | 1325767 | 272432 | 347504 0 | 109 | 1078 1367.32/1367.71 c 1362s | 17 | 1326125 | 272732 | 347504 0 | 109 | 1078 1369.71/1370.18 c 1365s | 17 | 1326531 | 273032 | 347504 0 | 109 | 1078 1372.82/1373.22 c 1368s | 17 | 1326914 | 273332 | 347504 0 | 109 | 1078 1374.92/1375.30 c 1370s | 17 | 1327155 | 273532 | 347504 0 | 109 | 1078 1377.81/1378.26 c 1373s | 17 | 1327532 | 273832 | 347504 0 | 109 | 1078 1380.31/1380.78 c 1375s | 17 | 1328125 | 274132 | 347504 0 | 109 | 1078 1382.72/1383.11 c 1377s | 17 | 1328383 | 274332 | 347504 0 | 109 | 1078 1385.01/1385.46 c 1380s | 17 | 1328638 | 274532 | 347504 0 | 109 | 1078 1387.41/1387.88 c 1382s | 17 | 1328863 | 274732 | 347504 0 | 109 | 1078 1390.01/1390.43 c 1385s | 17 | 1329103 | 274932 | 347504 0 | 109 | 1078 1393.11/1393.55 c 1388s | 17 | 1329455 | 275232 | 347504 0 | 109 | 1078 1395.41/1395.87 c 1390s | 17 | 1329717 | 275432 | 347504 0 | 109 | 1078 1398.22/1398.64 c 1393s | 17 | 1330107 | 275732 | 347504 0 | 109 | 1078 1400.42/1400.82 c 1395s | 17 | 1330348 | 275932 | 347504 0 | 109 | 1078 1402.91/1403.34 c 1398s | 17 | 1330585 | 276132 | 347504 0 | 109 | 1078 1405.11/1405.56 c 1400s | 17 | 1330810 | 276332 | 347504 0 | 109 | 1078 1407.81/1408.24 c 1403s | 17 | 1331028 | 276532 | 347504 0 | 109 | 1078 1410.12/1410.51 c 1405s | 17 | 1331272 | 276732 | 347504 0 | 109 | 1078 1412.51/1412.95 c 1407s | 17 | 1331493 | 276932 | 347504 0 | 109 | 1078 1414.62/1415.06 c 1409s | 17 | 1331731 | 277132 | 347504 0 | 109 | 1078 1416.82/1417.28 c 1412s | 17 | 1331960 | 277332 | 347504 0 | 109 | 1078 1419.02/1419.46 c 1414s | 17 | 1332180 | 277532 | 347504 0 | 109 | 1078 1421.51/1421.98 c 1416s | 17 | 1332866 | 277832 | 347504 0 | 109 | 1078 1423.81/1424.24 c 1419s | 17 | 1333342 | 278132 | 347504 0 | 109 | 1078 1425.81/1426.25 c 1421s | 17 | 1333682 | 278332 | 347504 0 | 109 | 1078 1428.31/1428.79 c 1423s | 17 | 1334357 | 278632 | 347504 0 | 109 | 1078 1430.61/1431.05 c 1425s | 17 | 1335069 | 278932 | 347504 0 | 109 | 1078 1432.81/1433.20 c 1428s | 17 | 1335667 | 279232 | 347504 0 | 109 | 1078 1435.31/1435.70 c 1430s | 17 | 1336185 | 279532 | 347504 0 | 109 | 1078 1437.51/1438.00 c 1432s | 17 | 1338966 | 279932 | 347504 0 | 109 | 1078 1440.31/1440.72 c 1435s | 17 | 1339393 | 280232 | 347504 0 | 109 | 1078 1443.01/1443.44 c 1438s | 17 | 1339730 | 280532 | 347504 0 | 109 | 1078 1445.21/1445.62 c 1440s | 17 | 1340429 | 280932 | 347504 0 | 109 | 1078 1447.71/1448.14 c 1442s | 17 | 1341113 | 281332 | 347504 0 | 109 | 1078 1449.81/1450.29 c 1445s | 17 | 1342086 | 281832 | 347504 0 | 109 | 1078 1452.11/1452.59 c 1447s | 17 | 1343129 | 282332 | 347504 0 | 109 | 1078 1454.41/1454.84 c 1449s | 17 | 1344242 | 282932 | 347504 0 | 109 | 1078 1456.71/1457.17 c 1452s | 17 | 1345414 | 283532 | 347504 0 | 109 | 1078 1458.81/1459.27 c 1454s | 17 | 1346062 | 283932 | 347504 0 | 109 | 1078 1461.01/1461.45 c 1456s | 17 | 1346716 | 284332 | 347504 0 | 109 | 1078 1463.51/1463.94 c 1458s | 17 | 1347501 | 284732 | 347504 0 | 109 | 1078 1466.01/1466.42 c 1461s | 17 | 1347883 | 285032 | 347504 0 | 109 | 1078 1468.20/1468.62 c 1463s | 17 | 1348544 | 285432 | 347504 0 | 109 | 1078 1471.10/1471.50 c 1466s | 17 | 1348954 | 285632 | 347504 0 | 110 | 1089 1473.20/1473.64 c 1468s | 17 | 1350986 | 286832 | 347504 0 | 110 | 1089 1475.40/1475.85 c 1470s | 17 | 1352735 | 287632 | 347504 0 | 110 | 1089 1477.50/1477.97 c 1472s | 17 | 1354402 | 288332 | 347504 0 | 110 | 1089 1479.60/1480.06 c 1474s | 17 | 1355350 | 288832 | 347504 0 | 110 | 1089 1481.90/1482.38 c 1477s | 17 | 1357287 | 289532 | 347504 0 | 110 | 1089 1484.20/1484.65 c 1479s | 17 | 1358655 | 290232 | 347504 0 | 110 | 1089 1486.60/1487.07 c 1481s | 17 | 1359418 | 290832 | 347504 0 | 110 | 1089 1488.90/1489.37 c 1484s | 17 | 1360225 | 291332 | 347504 0 | 110 | 1089 1491.10/1491.54 c 1486s | 17 | 1361635 | 292032 | 347504 0 | 110 | 1089 1493.50/1493.90 c 1488s | 17 | 1362536 | 292632 | 347504 0 | 110 | 1089 1495.50/1495.99 c 1490s | 17 | 1363696 | 293232 | 347504 0 | 110 | 1089 1498.00/1498.47 c 1493s | 17 | 1365670 | 293832 | 347504 0 | 110 | 1089 1500.70/1501.16 c 1495s | 17 | 1373167 | 294232 | 382255 0 | 110 | 1089 1502.90/1503.36 c 1498s | 17 | 1377566 | 294632 | 382255 0 | 110 | 1089 1505.30/1505.74 c 1500s | 17 | 1378505 | 294832 | 382255 0 | 110 | 1089 1508.30/1508.79 c 1503s | 17 | 1380661 | 295132 | 382255 0 | 110 | 1089 1510.70/1511.15 c 1505s | 17 | 1381562 | 295432 | 382255 0 | 110 | 1089 1513.60/1514.08 c 1508s | 17 | 1382176 | 295632 | 382255 0 | 110 | 1089 1515.90/1516.37 c 1511s | 17 | 1382417 | 295832 | 382255 0 | 110 | 1089 1518.20/1518.68 c 1513s | 17 | 1382684 | 296032 | 382255 0 | 110 | 1089 1520.60/1521.10 c 1515s | 17 | 1382960 | 296232 | 382255 0 | 110 | 1089 1520.90/1521.33 c 1516s | 18 | 1382984 | 296252 | 382255 0 | 110 | 1089 1523.00/1523.48 c 1518s | 18 | 1383677 | 296452 | 382255 0 | 110 | 1089 1525.40/1525.89 c 1520s | 18 | 1385557 | 297152 | 382255 0 | 110 | 1089 1528.19/1528.67 c 1523s | 18 | 1385975 | 297452 | 382255 0 | 110 | 1089 1530.49/1530.95 c 1525s | 18 | 1386206 | 297652 | 382255 0 | 110 | 1089 1532.69/1533.15 c 1527s | 18 | 1386433 | 297852 | 382255 0 | 110 | 1089 1535.79/1536.28 c 1531s | 18 | 1386751 | 298152 | 382255 0 | 110 | 1089 1537.99/1538.45 c 1533s | 18 | 1386973 | 298352 | 382255 0 | 110 | 1089 1540.19/1540.60 c 1535s | 18 | 1387199 | 298552 | 382255 0 | 110 | 1089 1542.49/1542.98 c 1537s | 18 | 1387431 | 298752 | 382255 0 | 110 | 1089 1544.99/1545.44 c 1540s | 18 | 1387667 | 298952 | 382255 0 | 110 | 1089 1547.29/1547.78 c 1542s | 18 | 1387900 | 299152 | 382255 0 | 110 | 1089 1550.49/1550.98 c 1545s | 18 | 1388255 | 299452 | 382255 0 | 110 | 1089 1553.20/1553.60 c 1548s | 18 | 1388630 | 299752 | 382255 0 | 110 | 1089 1556.19/1556.69 c 1551s | 18 | 1389019 | 300052 | 382255 0 | 110 | 1089 1559.29/1559.78 c 1554s | 18 | 1389405 | 300352 | 382255 0 | 110 | 1089 1561.59/1562.06 c 1556s | 18 | 1389630 | 300552 | 382255 0 | 110 | 1089 1563.69/1564.13 c 1558s | 18 | 1389881 | 300752 | 382255 0 | 110 | 1089 1565.89/1566.38 c 1561s | 18 | 1390130 | 300952 | 382255 0 | 110 | 1089 1567.99/1568.46 c 1563s | 18 | 1390385 | 301152 | 382255 0 | 110 | 1089 1570.29/1570.76 c 1565s | 18 | 1390607 | 301352 | 382255 0 | 110 | 1089 1573.09/1573.52 c 1568s | 18 | 1390831 | 301552 | 382255 0 | 110 | 1089 1575.09/1575.57 c 1570s | 18 | 1391095 | 301752 | 382255 0 | 110 | 1089 1577.39/1577.84 c 1572s | 18 | 1391329 | 301952 | 382255 0 | 110 | 1089 1579.39/1579.86 c 1574s | 18 | 1391546 | 302152 | 382255 0 | 110 | 1089 1581.49/1581.99 c 1576s | 18 | 1391770 | 302352 | 382255 0 | 110 | 1089 1583.79/1584.30 c 1579s | 18 | 1391994 | 302552 | 382255 0 | 110 | 1089 1586.09/1586.60 c 1581s | 18 | 1392200 | 302752 | 382255 0 | 110 | 1089 1588.88/1589.34 c 1584s | 18 | 1392527 | 303052 | 382255 0 | 110 | 1089 1591.78/1592.21 c 1587s | 18 | 1392856 | 303352 | 382255 0 | 110 | 1089 1595.08/1595.50 c 1590s | 18 | 1393180 | 303652 | 382255 0 | 110 | 1089 1597.58/1598.00 c 1592s | 18 | 1393398 | 303852 | 382255 0 | 110 | 1089 1599.68/1600.18 c 1595s | 18 | 1393614 | 304052 | 382255 0 | 110 | 1089 1602.69/1603.19 c 1598s | 18 | 1393961 | 304352 | 382255 0 | 110 | 1089 1604.89/1605.35 c 1600s | 18 | 1394245 | 304552 | 382255 0 | 110 | 1089 1607.58/1608.05 c 1602s | 18 | 1394724 | 304852 | 382255 0 | 110 | 1089 1609.98/1610.48 c 1605s | 18 | 1395157 | 305152 | 382255 0 | 110 | 1089 1611.98/1612.49 c 1607s | 18 | 1395408 | 305352 | 382255 0 | 110 | 1089 1614.18/1614.62 c 1609s | 18 | 1395683 | 305552 | 382255 0 | 110 | 1089 1616.38/1616.83 c 1611s | 18 | 1395939 | 305752 | 382255 0 | 110 | 1089 1618.78/1619.25 c 1614s | 18 | 1396187 | 305952 | 382255 0 | 110 | 1089 1621.18/1621.68 c 1616s | 18 | 1396432 | 306152 | 382255 0 | 110 | 1089 1624.38/1624.83 c 1619s | 18 | 1396794 | 306452 | 382255 0 | 110 | 1089 1626.48/1626.93 c 1621s | 18 | 1397014 | 306652 | 382255 0 | 110 | 1089 1629.08/1629.55 c 1624s | 18 | 1397259 | 306852 | 382255 0 | 110 | 1089 1631.38/1631.88 c 1626s | 18 | 1397497 | 307052 | 382255 0 | 110 | 1089 1633.48/1633.99 c 1628s | 18 | 1397735 | 307252 | 382255 0 | 110 | 1089 1635.88/1636.37 c 1631s | 18 | 1397957 | 307452 | 382255 0 | 110 | 1089 1637.98/1638.40 c 1633s | 18 | 1398187 | 307652 | 382255 0 | 110 | 1089 1640.27/1640.72 c 1635s | 18 | 1398410 | 307852 | 382255 0 | 110 | 1089 1642.97/1643.45 c 1638s | 18 | 1398739 | 308152 | 382255 0 | 110 | 1089 1646.07/1646.51 c 1641s | 18 | 1399129 | 308452 | 382255 0 | 110 | 1089 1648.17/1648.67 c 1643s | 18 | 1399369 | 308652 | 382255 0 | 110 | 1089 1650.37/1650.86 c 1645s | 18 | 1399609 | 308852 | 382255 0 | 110 | 1089 1652.87/1653.34 c 1648s | 18 | 1399845 | 309052 | 382255 0 | 110 | 1089 1655.07/1655.53 c 1650s | 18 | 1400089 | 309252 | 382255 0 | 110 | 1089 1657.37/1657.88 c 1652s | 18 | 1400334 | 309452 | 382255 0 | 110 | 1089 1659.47/1659.99 c 1654s | 18 | 1400566 | 309652 | 382255 0 | 110 | 1089 1661.77/1662.29 c 1657s | 18 | 1400801 | 309852 | 382255 0 | 110 | 1089 1664.77/1665.24 c 1660s | 18 | 1401137 | 310152 | 382255 0 | 110 | 1089 1666.87/1667.39 c 1662s | 18 | 1401356 | 310352 | 382255 0 | 110 | 1089 1668.97/1669.43 c 1664s | 18 | 1401580 | 310552 | 382255 0 | 110 | 1089 1671.17/1671.61 c 1666s | 18 | 1401819 | 310752 | 382255 0 | 110 | 1089 1673.47/1673.98 c 1668s | 18 | 1402059 | 310952 | 382255 0 | 110 | 1089 1675.87/1676.37 c 1671s | 18 | 1402300 | 311152 | 382255 0 | 110 | 1089 1678.67/1679.10 c 1673s | 18 | 1402526 | 311352 | 382255 0 | 110 | 1089 1681.37/1681.82 c 1676s | 18 | 1402750 | 311552 | 382255 0 | 110 | 1089 1683.87/1684.34 c 1679s | 18 | 1402974 | 311752 | 382255 0 | 110 | 1089 1686.77/1687.25 c 1682s | 18 | 1403334 | 312052 | 382255 0 | 110 | 1089 1689.17/1689.69 c 1684s | 18 | 1403576 | 312252 | 382255 0 | 110 | 1089 1691.96/1692.40 c 1687s | 18 | 1403810 | 312452 | 382255 0 | 110 | 1089 1694.46/1694.90 c 1689s | 18 | 1404040 | 312652 | 382255 0 | 110 | 1089 1696.76/1697.25 c 1692s | 18 | 1404264 | 312852 | 382255 0 | 110 | 1089 1699.26/1699.77 c 1694s | 18 | 1404555 | 313052 | 382255 0 | 110 | 1089 1702.26/1702.70 c 1697s | 18 | 1404792 | 313252 | 382255 0 | 110 | 1089 1704.87/1705.36 c 1700s | 18 | 1405051 | 313452 | 382255 0 | 110 | 1089 1707.07/1707.51 c 1702s | 18 | 1405313 | 313652 | 382255 0 | 110 | 1089 1709.16/1709.63 c 1704s | 18 | 1405634 | 313852 | 382255 0 | 110 | 1089 1712.16/1712.66 c 1707s | 18 | 1406020 | 314152 | 382255 0 | 110 | 1089 1714.96/1715.41 c 1710s | 18 | 1406278 | 314352 | 382255 0 | 110 | 1089 1717.56/1718.02 c 1712s | 18 | 1406538 | 314552 | 382255 0 | 110 | 1089 1719.96/1720.49 c 1715s | 18 | 1406783 | 314752 | 382255 0 | 110 | 1089 1722.66/1723.11 c 1717s | 18 | 1407029 | 314952 | 382255 0 | 110 | 1089 1725.36/1725.89 c 1720s | 18 | 1407266 | 315152 | 382255 0 | 110 | 1089 1728.07/1728.60 c 1723s | 18 | 1407523 | 315352 | 382255 0 | 110 | 1089 1730.96/1731.49 c 1726s | 18 | 1407748 | 315552 | 382255 0 | 110 | 1089 1733.16/1733.68 c 1728s | 18 | 1408000 | 315752 | 382255 0 | 110 | 1089 1735.56/1736.08 c 1730s | 18 | 1408235 | 315952 | 382255 0 | 110 | 1089 1737.96/1738.49 c 1733s | 18 | 1408469 | 316152 | 382255 0 | 110 | 1089 1740.76/1741.20 c 1736s | 18 | 1408700 | 316352 | 382255 0 | 110 | 1089 1743.46/1743.93 c 1738s | 18 | 1408935 | 316552 | 382255 0 | 110 | 1089 1745.96/1746.41 c 1741s | 18 | 1409176 | 316752 | 382255 0 | 110 | 1089 1748.26/1748.70 c 1743s | 18 | 1409463 | 316952 | 382255 0 | 110 | 1089 1750.76/1751.20 c 1746s | 18 | 1409695 | 317152 | 382255 0 | 110 | 1089 1753.06/1753.55 c 1748s | 18 | 1409980 | 317352 | 382255 0 | 110 | 1089 1756.26/1756.75 c 1751s | 18 | 1410342 | 317652 | 382255 0 | 110 | 1089 1759.35/1759.84 c 1754s | 18 | 1410686 | 317952 | 382255 0 | 110 | 1089 1762.25/1762.74 c 1757s | 18 | 1411062 | 318252 | 382255 0 | 110 | 1089 1765.46/1765.98 c 1760s | 18 | 1411314 | 318452 | 382255 0 | 110 | 1089 1768.55/1769.03 c 1763s | 18 | 1411562 | 318652 | 382255 0 | 110 | 1089 1771.45/1771.90 c 1766s | 18 | 1411828 | 318852 | 382255 0 | 110 | 1089 1774.26/1774.78 c 1769s | 18 | 1412068 | 319052 | 382255 0 | 110 | 1089 1777.05/1777.56 c 1772s | 18 | 1412298 | 319252 | 382255 0 | 110 | 1089 1779.45/1779.93 c 1774s | 18 | 1412523 | 319452 | 382255 0 | 110 | 1089 1781.96/1782.47 c 1777s | 18 | 1412746 | 319652 | 382255 0 | 110 | 1089 1784.85/1785.37 c 1780s | 18 | 1412978 | 319852 | 382255 0 | 110 | 1089 1787.46/1787.97 c 1782s | 18 | 1413215 | 320052 | 382255 0 | 110 | 1089 1790.25/1790.78 c 1785s | 18 | 1413455 | 320252 | 382255 0 | 110 | 1089 1793.25/1793.79 c 1788s | 18 | 1413669 | 320452 | 382255 0 | 110 | 1089 1796.45/1796.93 c 1791s | 18 | 1413904 | 320652 | 382255 0 | 110 | 1089 1799.25/1799.71 c 1794s | 18 | 1414132 | 320852 | 382255 0 | 110 | 1089
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-4078866-1465276784/watcher-4078866-1465276784 -o /tmp/evaluation-result-4078866-1465276784/solver-4078866-1465276784 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9910 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078866-1465276784.opb pid=12482 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.17 2.23 2.23 3/178 12485 /proc/meminfo: memFree=29178932/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=759228 CPUtime=0 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 2839 0 0 0 0 0 0 0 20 0 4 0 109611767 777449472 3710 33554432000 4194304 16246674 140735604986656 140735604986080 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 190575 3721 441 2943 0 187469 0 [pid=12485/tid=12486] ppid=12482 vsize=777660 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 796323840 3782 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=782780 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 801566720 3800 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=786876 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109611767 805761024 3818 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100158 s] /proc/loadavg: 2.17 2.23 2.23 3/178 12485 /proc/meminfo: memFree=29178932/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1301060 CPUtime=0.09 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 25557 0 0 0 6 3 0 0 20 0 4 0 109611767 1332285440 26366 33554432000 4194304 16246674 140735604986656 140735604985968 7375574 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 325265 26380 800 2943 0 322159 0 [pid=12485/tid=12486] ppid=12482 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1332285440 26391 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1332285440 26402 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1332285440 26412 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.200502 s] /proc/loadavg: 2.17 2.23 2.23 3/178 12485 /proc/meminfo: memFree=29178932/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1309252 CPUtime=0.19 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 51230 0 0 0 13 6 0 0 20 0 4 0 109611767 1340674048 52550 33554432000 4194304 16246674 140735604986656 140735604985968 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 327313 52554 800 2943 0 324207 0 [pid=12485/tid=12486] ppid=12482 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1340674048 52556 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1340674048 52558 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1340674048 52560 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1309252 [startup+0.300473 s] /proc/loadavg: 2.17 2.23 2.23 3/178 12485 /proc/meminfo: memFree=29178932/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 59010 0 0 0 22 7 0 0 20 0 4 0 109611767 1345916928 60330 33554432000 4194304 16246674 140735604986656 140735604985968 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 328593 60330 800 2943 0 325487 0 [pid=12485/tid=12486] ppid=12482 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1345916928 60330 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1345916928 60330 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1345916928 60330 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700409 s] /proc/loadavg: 2.17 2.23 2.23 3/178 12485 /proc/meminfo: memFree=29178932/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 70500 0 0 0 60 9 0 0 20 0 4 0 109611767 1345916928 71820 33554432000 4194304 16246674 140735604986656 140735604985968 7439734 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 328593 71820 801 2943 0 325487 0 [pid=12485/tid=12486] ppid=12482 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1345916928 71820 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1345916928 71820 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1345916928 71820 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50041 s] /proc/loadavg: 2.17 2.23 2.23 3/183 12490 /proc/meminfo: memFree=28843296/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1314372 CPUtime=1.49 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 84188 0 0 0 138 11 0 0 20 0 4 0 109611767 1345916928 85508 33554432000 4194304 16246674 140735604986656 140735604969648 8058840 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 328593 85508 802 2943 0 325487 0 [pid=12485/tid=12486] ppid=12482 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1345916928 85508 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1345916928 85508 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1345916928 85508 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10036 s] /proc/loadavg: 2.16 2.23 2.23 3/183 12490 /proc/meminfo: memFree=28479004/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1349188 CPUtime=3.09 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 277687 0 0 0 270 39 0 0 20 0 4 0 109611767 1381568512 279007 33554432000 4194304 16246674 140735604986656 140735604968576 13956309 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 337297 279007 847 2943 0 334191 0 [pid=12485/tid=12486] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279007 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279007 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279007 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1349188 [startup+6.30039 s] /proc/loadavg: 2.16 2.23 2.23 4/183 12490 /proc/meminfo: memFree=28063608/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1349188 CPUtime=6.29 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 277969 0 0 0 590 39 0 0 20 0 4 0 109611767 1381568512 279289 33554432000 4194304 16246674 140735604986656 140735604968576 5601651 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 337297 279289 889 2943 0 334191 0 [pid=12485/tid=12486] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279289 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279289 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279289 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1349188 [startup+12.7004 s] /proc/loadavg: 2.21 2.24 2.23 3/183 12490 /proc/meminfo: memFree=28065820/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1349188 CPUtime=12.69 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 277971 0 0 0 1230 39 0 0 20 0 4 0 109611767 1381568512 279291 33554432000 4194304 16246674 140735604986656 140735604968576 5822432 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 337297 279291 889 2943 0 334191 0 [pid=12485/tid=12486] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279291 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279291 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279291 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1349188 [startup+25.5004 s] /proc/loadavg: 2.17 2.23 2.23 3/184 12493 /proc/meminfo: memFree=28066648/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1349188 CPUtime=25.49 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 277971 0 0 0 2510 39 0 0 20 0 4 0 109611767 1381568512 279291 33554432000 4194304 16246674 140735604986656 140735604968576 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 337297 279291 889 2943 0 334191 0 [pid=12485/tid=12486] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279291 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279291 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279291 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1349188 [startup+51.1004 s] /proc/loadavg: 2.25 2.24 2.23 4/184 12493 /proc/meminfo: memFree=28066408/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1349188 CPUtime=51.08 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 277971 0 0 0 5069 39 0 0 20 0 4 0 109611767 1381568512 279291 33554432000 4194304 16246674 140735604986656 140735604968576 5675216 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 337297 279291 889 2943 0 334191 0 [pid=12485/tid=12486] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279291 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279291 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279291 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1349188 [startup+102.3 s] /proc/loadavg: 2.27 2.25 2.23 3/183 12494 /proc/meminfo: memFree=28066584/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1349188 CPUtime=102.27 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 277976 0 0 0 10188 39 0 0 20 0 4 0 109611767 1381568512 279296 33554432000 4194304 16246674 140735604986656 140735604968576 6842284 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 337297 279296 893 2943 0 334191 0 [pid=12485/tid=12486] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279296 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279296 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279296 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1349188 ################ # More data... # ################ /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1349188 [startup+1302.3 s] /proc/loadavg: 2.18 2.22 2.20 4/183 12670 /proc/meminfo: memFree=17639792/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1349188 CPUtime=1301.92 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 278300 0 0 0 130152 40 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 140735604968576 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 337297 279298 894 2943 0 334191 0 [pid=12485/tid=12486] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1349188 [startup+1362.3 s] /proc/loadavg: 2.27 2.24 2.20 3/183 12671 /proc/meminfo: memFree=17639568/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1349188 CPUtime=1361.91 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 278301 0 0 0 136151 40 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 140735604968576 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 337297 279298 894 2943 0 334191 0 [pid=12485/tid=12486] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1349188 [startup+1422.3 s] /proc/loadavg: 2.21 2.23 2.20 4/183 12672 /proc/meminfo: memFree=17639476/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1349188 CPUtime=1421.91 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 278301 0 0 0 142150 41 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 140735604968512 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 337297 279298 894 2943 0 334191 0 [pid=12485/tid=12486] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1349188 [startup+1482.3 s] /proc/loadavg: 2.25 2.24 2.20 3/183 12673 /proc/meminfo: memFree=17639508/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1349188 CPUtime=1481.9 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 278301 0 0 0 148149 41 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 140735604968576 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 337297 279298 894 2943 0 334191 0 [pid=12485/tid=12486] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1349188 [startup+1542.3 s] /proc/loadavg: 2.14 2.21 2.19 4/183 12675 /proc/meminfo: memFree=17639532/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1349188 CPUtime=1541.89 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 278301 0 0 0 154148 41 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 140735604968576 13898695 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 337297 279298 894 2943 0 334191 0 [pid=12485/tid=12486] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1349188 [startup+1602.3 s] /proc/loadavg: 2.25 2.23 2.19 3/183 12676 /proc/meminfo: memFree=17639480/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1349188 CPUtime=1601.88 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 278301 0 0 0 160147 41 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 140735604968576 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 337297 279298 894 2943 0 334191 0 [pid=12485/tid=12486] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1349188 [startup+1662.3 s] /proc/loadavg: 2.19 2.22 2.19 3/183 12677 /proc/meminfo: memFree=17639572/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1349188 CPUtime=1661.87 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 278301 0 0 0 166146 41 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 140735604968576 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 337297 279298 894 2943 0 334191 0 [pid=12485/tid=12486] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1349188 [startup+1722.3 s] /proc/loadavg: 2.22 2.22 2.18 4/183 12678 /proc/meminfo: memFree=17639232/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1349188 CPUtime=1721.86 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 278301 0 0 0 172145 41 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 140735604968576 5602050 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 337297 279298 894 2943 0 334191 0 [pid=12485/tid=12486] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1349188 [startup+1782.3 s] /proc/loadavg: 2.24 2.22 2.18 3/183 12679 /proc/meminfo: memFree=17639156/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1349188 CPUtime=1781.86 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 278301 0 0 0 178145 41 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 140735604968576 5523539 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 337297 279298 894 2943 0 334191 0 [pid=12485/tid=12486] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1349188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.19 2.21 2.18 4/183 12680 /proc/meminfo: memFree=17638704/32872528 swapFree=15272/1656604 [pid=12485] ppid=12482 vsize=1349188 CPUtime=1800.05 cores=0,2,4,6 /proc/12485/stat : 12485 (toysat) R 12482 12485 9894 0 -1 4202496 278301 0 0 0 179964 41 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 140735604968576 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12485/statm: 337297 279298 894 2943 0 334191 0 [pid=12485/tid=12486] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12486/stat : 12486 (toysat) S 12482 12485 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835830414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12485/tid=12487] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12487/stat : 12487 (toysat) S 12482 12485 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835746528496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12485/tid=12488] ppid=12482 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/12485/task/12488/stat : 12488 (toysat) S 12482 12485 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109611767 1381568512 279298 33554432000 4194304 16246674 140735604986656 139835736054960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1349188 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 12485 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1799.65 CPU system time (s): 0.416936 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (KiB): 1349188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.416936 maximum resident set size= 1117192 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278301 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= 356 involuntary context switches= 1891 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.51331 second user time and 6.99794 second system time The end
Begin job on node136 at 2016-06-07 07:19:44 IDJOB=4078866 IDBENCH=89784 IDSOLVER=2542 FILE ID=node136/4078866-1465276784 RUNJOBID= node136-1465261284-9910 PBS_JOBID= 19843291 Free space on /tmp= 71704 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-31.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078866-1465276784/watcher-4078866-1465276784 -o /tmp/evaluation-result-4078866-1465276784/solver-4078866-1465276784 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9910 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078866-1465276784.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1231d9e508dc821e38b22e6db3fd2b2f RANDOM SEED=434531355 node136.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.959 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.91 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.959 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.959 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.959 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.959 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.959 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.59 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.959 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.959 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: 29179848 kB Buffers: 39496 kB Cached: 142960 kB SwapCached: 592 kB Active: 1199996 kB Inactive: 98384 kB Active(anon): 1114052 kB Inactive(anon): 4084 kB Active(file): 85944 kB Inactive(file): 94300 kB Unevictable: 1656604 kB Mlocked: 15272 kB SwapTotal: 67108856 kB SwapFree: 67099384 kB Dirty: 24512 kB Writeback: 0 kB AnonPages: 2771628 kB Mapped: 10716 kB Shmem: 0 kB Slab: 597972 kB SReclaimable: 41836 kB SUnreclaim: 556136 kB KernelStack: 1456 kB PageTables: 9656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2916620 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1648640 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= 71460 MiB End job on node136 at 2016-06-07 07:49:45