Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2016-05-02 | ? (TO) | 1800.17 | 1800.57 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb |
MD5SUM | 11ee19baa608345f86d8483767b8a181 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
Number of variables | 309773 |
Total number of constraints | 5980 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 16 |
Number of constraints which are nor clauses,nor cardinality constraints | 5964 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 24690 |
Number of terms in the objective function | 212680 |
Biggest coefficient in the objective function | 244 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 711535 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 711535 |
Number of bits of the biggest sum of numbers | 20 |
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-18T07:30:08+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-4101841-1466227808.opb"] 0.00/0.01 c use --random-gen="3388060596 2338171969 3249267101 1832491364 2148272222 4086249731 520897062 764129641 1127307018 1910811481 2043654610 2961232579 2578593921 3181447016 2237894180 1462227956 2233774615 2723280633 1700695305 4043340139 848188961 3809420894 4139892921 2361197324 2069604232 3385699073 3191355924 2316314806 1804213334 3332298960 3730628405 3188394303 1527261763 2980918951 69112549 717874762 1081289290 4168082936 2966273609 690545564 1270993287 2306819840 794146629 3621769373 1623002376 1894999172 2259108810 1272102335 3820498685 3152465307 2850369708 4249193008 1947171231 3641842902 3397334649 1489950714 3173540107 3910217089 278634310 1869094721 1463796581 3588442717 4176858877 254175915 412480998 3806541210 3099008334 40285180 3703676487 2985678192 1738474057 2900062868 116307260 4251608466 154641578 3730375614 2771812741 2235823314 1585717056 4229520410 2983638441 3205811008 813412138 3359440787 3117168634 2573821890 323641034 1282067471 1434865606 2643036075 1462910798 3205698162 1762996594 2647118959 2731268092 4241750988 2417487919 1264142121 2550446482 25808351 1457582631 423033110 109678702 600136321 2768601490 1445736112 3440896037 2795874513 2121086678 3909893444 2878582301 2187712460 2497794655 522632609 1604422829 1248168008 1819340981 3529051821 1552633562 4280841927 685977687 2613044795 2492659337 2688313322 3020183627 2912547825 611008058 892813971 2252446891 1164251498 1317120559 100410509 3328002814 726917861 332053812 4284555964 1306832990 1194694022 3943988103 921463716 3067113796 3921777598 933503162 3270101705 1384040077 2640883270 4217463519 3246862845 957849448 3005586151 1775443602 3952946950 1243639857 2560779765 4019938270 3743334156 1291748680 1954803687 2729060130 669259048 4003328768 3226857082 2440495830 1803086092 3708965334 3569176852 2804542865 3475696560 1611968430 3829557289 2240064800 1913986505 3678799383 824566532 2873583153 3534875486 2138680930 1307020602 2481629698 480000309 6716459 1897857631 3205103046 2397326062 3311162561 1881706743 1674754490 3754770345 1552476852 3245369114 195595307 2708327656 1242418795 2349721973 5705340 1877335240 302937897 1210342490 1754894676 1940368880 1409599190 164407088 2031437618 1032194923 1847885692 3082689322 1161479721 3424741798 3847438118 4143295698 3047582320 4169392629 3411202373 2499958464 3773201560 3292064321 1107745511 29043547 4074921233 2208713837 3980536248 2413501431 1750287922 1131489023 3111490182 4223766433 537021504 3561952223 1631094974 3949539775 1232974835 2252327126 2243724433 1114281922 4129155585 3910343021 2199600098 1274187839 1123085211 4092795829 2251814506 3139099109 2321539118 508589518 533616436 4070094437 2865150562 3394359481 2776879605 1400636908 3544220497 2446781354 1643569130 1226389424 4212011711 2514209192 255 362436" option to reproduce the execution 1.49/1.54 c #vars 309773 1.49/1.54 c #constraints 5980 47.98/48.08 c BCD2: Hardening is enabled. 47.98/48.08 c BCD2: BiasedSearch is enabled. 47.98/48.08 c Solving starts ... 47.98/48.08 c ============================[ Search Statistics ]============================ 47.98/48.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 47.98/48.08 c | | | | Limit GC | Var | Constra 47.98/48.08 c ============================================================================= 48.08/48.10 c 0.0s | 0 | 0 | 0 | 106706 0 | 82338 | 0 49.78/49.81 c 1.7s | 1 | 3413 | 100 | 106706 0 | 82345 | 0 52.08/52.17 c 4.1s | 1 | 17089 | 200 | 117377 0 | 82355 | 0 52.08/52.19 c 4.1s | 2 | 17141 | 250 | 117377 0 | 82355 | 0 52.58/52.62 c 4.5s | 3 | 18173 | 475 | 129115 0 | 82355 | 0 54.38/54.45 c 6.3s | 4 | 30478 | 813 | 142027 0 | 82360 | 0 56.98/57.06 c 9.0s | 4 | 52660 | 1313 | 156230 0 | 82370 | 0 56.98/57.08 c 9.0s | 5 | 52668 | 1320 | 156230 0 | 82370 | 0 59.08/59.11 c 11.0s | 5 | 68419 | 1920 | 171853 0 | 82378 | 0 59.08/59.18 c 11.1s | 6 | 68584 | 2081 | 189039 0 | 82378 | 0 60.18/60.20 c 12.1s | 7 | 70431 | 3223 | 207943 0 | 82378 | 0 62.78/62.84 c 14.7s | 7 | 86425 | 3423 | 207943 0 | 82411 | 0 63.18/63.23 c 15.1s | 8 | 88237 | 4936 | 228738 0 | 82411 | 0 66.18/66.26 c 18.2s | 9 | 102020 | 7506 | 251612 0 | 82415 | 0 72.78/72.87 c 24.8s | 9 | 163369 | 7606 | 251612 0 | 82430 | 0 76.99/77.03 c 28.9s | 9 | 192795 | 8206 | 251612 0 | 82440 | 0 80.58/80.65 c 32.5s | 9 | 221229 | 8606 | 251612 0 | 82447 | 0 82.59/82.67 c 34.6s | 9 | 240393 | 8706 | 251612 0 | 82447 | 0 84.98/85.08 c 37.0s | 9 | 241011 | 9106 | 251612 0 | 82447 | 0 87.58/87.69 c 39.6s | 9 | 241723 | 9606 | 251612 0 | 82447 | 0 90.68/90.70 c 42.6s | 9 | 242157 | 9906 | 251612 0 | 82447 | 0 93.68/93.78 c 45.7s | 9 | 242484 | 10206 | 251612 0 | 82447 | 0 95.88/95.95 c 47.8s | 9 | 242908 | 10506 | 251612 0 | 82447 | 0 97.98/98.05 c 49.9s | 9 | 243148 | 10706 | 251612 0 | 82447 | 0 100.08/100.13 c 52.0s | 9 | 243362 | 10906 | 251612 0 | 82447 | 0 103.08/103.16 c 55.1s | 9 | 243683 | 11206 | 251612 0 | 82447 | 0 104.78/104.88 c 56.8s | 10 | 243852 | 11361 | 276774 0 | 82447 | 0 106.87/106.93 c 58.8s | 10 | 249274 | 14061 | 276774 0 | 82447 | 0 109.47/109.58 c 61.5s | 10 | 267607 | 14461 | 276774 0 | 82448 | 0 111.77/111.88 c 63.8s | 10 | 268763 | 14761 | 276774 0 | 82448 | 0 114.38/114.46 c 66.4s | 10 | 269426 | 15061 | 276774 0 | 82448 | 0 117.47/117.55 c 69.4s | 10 | 271363 | 15461 | 276774 0 | 82448 | 0 119.57/119.67 c 71.6s | 10 | 274019 | 15761 | 276774 0 | 82448 | 0 121.77/121.86 c 73.8s | 10 | 276212 | 16461 | 276774 0 | 82448 | 0 123.18/123.23 c 75.1s | 11 | 278848 | 17144 | 304452 0 | 82448 | 0 125.67/125.77 c 77.7s | 11 | 280847 | 17644 | 304452 0 | 82449 | 0 127.87/127.98 c 79.9s | 11 | 281619 | 18344 | 304452 0 | 82449 | 0 130.17/130.23 c 82.1s | 11 | 282273 | 18844 | 304452 0 | 82449 | 0 133.08/133.19 c 85.1s | 11 | 283417 | 19844 | 304452 0 | 82449 | 0 135.38/135.46 c 87.4s | 11 | 283823 | 20244 | 304452 0 | 82449 | 0 137.58/137.61 c 89.5s | 11 | 284573 | 20944 | 304452 0 | 82449 | 0 139.57/139.69 c 91.6s | 11 | 285581 | 21844 | 304452 0 | 82449 | 0 141.67/141.78 c 93.7s | 11 | 286816 | 22844 | 304452 0 | 82449 | 0 144.18/144.20 c 96.1s | 11 | 289528 | 23744 | 304452 0 | 82450 | 0 146.57/146.62 c 98.5s | 11 | 290047 | 24244 | 304452 0 | 82450 | 0 148.58/148.67 c 100s | 11 | 290453 | 24644 | 304452 0 | 82450 | 0 150.68/150.78 c 102s | 11 | 290868 | 25044 | 304452 0 | 82450 | 0 152.87/152.91 c 104s | 11 | 291282 | 25444 | 304452 0 | 82450 | 0 154.97/155.01 c 106s | 12 | 291674 | 25819 | 334898 0 | 82450 | 0 158.57/158.61 c 110s | 12 | 309449 | 25919 | 334898 0 | 82451 | 0 160.57/160.62 c 112s | 12 | 309681 | 26119 | 334898 0 | 82451 | 0 162.67/162.78 c 114s | 12 | 310303 | 26719 | 334898 0 | 82451 | 0 165.46/165.58 c 117s | 12 | 310725 | 27119 | 334898 0 | 82451 | 0 168.16/168.29 c 120s | 12 | 311581 | 27519 | 334898 0 | 82451 | 0 170.47/170.55 c 122s | 12 | 311790 | 27719 | 334898 0 | 82451 | 0 173.26/173.34 c 125s | 12 | 312004 | 27919 | 334898 0 | 82451 | 0 175.56/175.68 c 127s | 12 | 312410 | 28319 | 334898 0 | 82451 | 0 177.86/177.94 c 129s | 12 | 313198 | 28619 | 334898 0 | 82451 | 0 180.66/180.77 c 132s | 12 | 314514 | 29019 | 334898 0 | 82451 | 0 183.36/183.44 c 135s | 12 | 314921 | 29319 | 334898 0 | 82451 | 0 186.16/186.23 c 138s | 12 | 315409 | 29619 | 334898 0 | 82451 | 0 188.17/188.28 c 140s | 12 | 316185 | 30119 | 334898 0 | 82451 | 0 190.37/190.45 c 142s | 12 | 317143 | 31019 | 334898 0 | 82451 | 0 192.47/192.55 c 144s | 12 | 318253 | 31919 | 334898 0 | 82451 | 0 194.67/194.74 c 146s | 12 | 319286 | 32819 | 334898 0 | 82451 | 0 196.86/196.96 c 148s | 12 | 320315 | 33719 | 334898 0 | 82451 | 0 198.96/199.05 c 150s | 12 | 321171 | 34519 | 334898 0 | 82451 | 0 200.96/201.05 c 152s | 12 | 321875 | 35219 | 334898 0 | 82451 | 0 203.06/203.10 c 154s | 12 | 322903 | 36019 | 334898 0 | 82451 | 0 205.05/205.11 c 157s | 12 | 324123 | 36919 | 334898 0 | 82451 | 0 207.15/207.20 c 159s | 12 | 324998 | 37719 | 334898 0 | 82451 | 0 209.25/209.34 c 161s | 12 | 325908 | 38519 | 334898 0 | 82451 | 0 210.17/210.27 c 162s | 13 | 326220 | 38832 | 368388 0 | 82451 | 0 212.27/212.32 c 164s | 13 | 329051 | 39532 | 368388 0 | 82452 | 0 214.26/214.33 c 166s | 13 | 331836 | 42032 | 368388 0 | 82452 | 0 216.67/216.74 c 168s | 13 | 334314 | 43832 | 368388 0 | 82452 | 0 219.36/219.48 c 171s | 13 | 335273 | 44132 | 368388 0 | 82452 | 0 221.86/221.99 c 173s | 13 | 335796 | 44332 | 368388 0 | 82452 | 0 223.96/224.00 c 175s | 13 | 336226 | 44532 | 368388 0 | 82452 | 0 226.67/226.77 c 178s | 13 | 336713 | 44732 | 368388 0 | 82452 | 0 228.96/229.06 c 180s | 13 | 337288 | 44932 | 368388 0 | 82452 | 0 231.07/231.16 c 183s | 13 | 337833 | 45132 | 368388 0 | 82452 | 0 233.66/233.71 c 185s | 13 | 338294 | 45332 | 368388 0 | 82452 | 0 236.06/236.11 c 188s | 13 | 338799 | 45532 | 368388 0 | 82452 | 0 238.66/238.78 c 190s | 13 | 339309 | 45732 | 368388 0 | 82452 | 0 241.86/241.98 c 193s | 13 | 340176 | 46032 | 368388 0 | 82452 | 0 244.06/244.17 c 196s | 13 | 340768 | 46232 | 368388 0 | 82452 | 0 247.06/247.12 c 199s | 13 | 341188 | 46432 | 368388 0 | 82452 | 0 249.66/249.75 c 201s | 13 | 341619 | 46632 | 368388 0 | 82452 | 0 252.36/252.43 c 204s | 13 | 341967 | 46832 | 368388 0 | 82452 | 0 254.46/254.56 c 206s | 13 | 342508 | 47032 | 368388 0 | 82452 | 0 256.66/256.74 c 208s | 13 | 342646 | 47132 | 368388 0 | 82452 | 0 259.26/259.38 c 211s | 13 | 342912 | 47332 | 368388 0 | 82452 | 0 261.96/262.07 c 213s | 13 | 343442 | 47532 | 368388 0 | 82452 | 0 264.45/264.51 c 216s | 13 | 344017 | 47732 | 368388 0 | 82452 | 0 266.85/266.96 c 218s | 13 | 344398 | 47932 | 368388 0 | 82452 | 0 269.46/269.60 c 221s | 13 | 344744 | 48132 | 368388 0 | 82452 | 0 272.15/272.26 c 224s | 13 | 345853 | 48432 | 368388 0 | 82452 | 0 274.55/274.67 c 226s | 13 | 346355 | 48632 | 368388 0 | 82452 | 0 277.26/277.33 c 229s | 13 | 346707 | 48832 | 368388 0 | 82452 | 0 279.95/280.01 c 231s | 13 | 347235 | 49032 | 368388 0 | 82452 | 0 282.25/282.35 c 234s | 13 | 347876 | 49232 | 368388 0 | 82452 | 0 284.65/284.75 c 236s | 13 | 348218 | 49432 | 368388 0 | 82452 | 0 287.55/287.66 c 239s | 13 | 349001 | 49732 | 368388 0 | 82452 | 0 289.65/289.73 c 241s | 13 | 349698 | 49932 | 368388 0 | 82452 | 0 291.85/291.90 c 243s | 13 | 350256 | 50132 | 368388 0 | 82452 | 0 294.05/294.10 c 245s | 13 | 350947 | 50332 | 368388 0 | 82452 | 0 296.75/296.83 c 248s | 13 | 351935 | 50632 | 368388 0 | 82452 | 0 299.35/299.44 c 251s | 13 | 352274 | 50832 | 368388 0 | 82452 | 0 301.85/301.96 c 253s | 13 | 352750 | 51032 | 368388 0 | 82452 | 0 304.75/304.87 c 256s | 13 | 353250 | 51232 | 368388 0 | 82452 | 0 307.45/307.57 c 259s | 13 | 353636 | 51432 | 368388 0 | 82452 | 0 309.85/309.92 c 261s | 13 | 354135 | 51632 | 368388 0 | 82452 | 0 312.45/312.53 c 264s | 13 | 354682 | 51832 | 368388 0 | 82452 | 0 314.85/314.99 c 266s | 13 | 355258 | 52032 | 368388 0 | 82452 | 0 317.04/317.12 c 269s | 13 | 355814 | 52232 | 368388 0 | 82452 | 0 319.74/319.87 c 271s | 13 | 356197 | 52432 | 368388 0 | 82452 | 0 322.25/322.36 c 274s | 13 | 356728 | 52632 | 368388 0 | 82452 | 0 324.84/324.93 c 276s | 13 | 357279 | 52832 | 368388 0 | 82452 | 0 327.04/327.12 c 279s | 13 | 357816 | 53032 | 368388 0 | 82452 | 0 329.44/329.52 c 281s | 13 | 358337 | 53232 | 368388 0 | 82452 | 0 331.64/331.71 c 283s | 13 | 359111 | 53432 | 368388 0 | 82452 | 0 334.04/334.19 c 286s | 13 | 359532 | 53632 | 368388 0 | 82452 | 0 336.55/336.61 c 288s | 13 | 360015 | 53832 | 368388 0 | 82452 | 0 338.64/338.78 c 290s | 13 | 360610 | 54032 | 368388 0 | 82452 | 0 341.34/341.40 c 293s | 13 | 361081 | 54232 | 368388 0 | 82452 | 0 343.54/343.60 c 295s | 13 | 361608 | 54432 | 368388 0 | 82452 | 0 346.74/346.89 c 298s | 13 | 361992 | 54632 | 368388 0 | 82452 | 0 349.44/349.52 c 301s | 13 | 362391 | 54832 | 368388 0 | 82452 | 0 351.84/351.95 c 303s | 13 | 362995 | 55032 | 368388 0 | 82452 | 0 354.24/354.39 c 306s | 13 | 363611 | 55232 | 368388 0 | 82452 | 0 356.44/356.54 c 308s | 13 | 364061 | 55432 | 368388 0 | 82452 | 0 358.64/358.73 c 310s | 13 | 364520 | 55632 | 368388 0 | 82452 | 0 361.64/361.75 c 313s | 13 | 364827 | 55832 | 368388 0 | 82452 | 0 363.83/363.91 c 315s | 13 | 365353 | 56032 | 368388 0 | 82452 | 0 366.24/366.33 c 318s | 13 | 365813 | 56232 | 368388 0 | 82452 | 0 368.54/368.68 c 320s | 13 | 366299 | 56432 | 368388 0 | 82452 | 0 371.13/371.20 c 323s | 13 | 366784 | 56632 | 368388 0 | 82452 | 0 373.53/373.64 c 325s | 13 | 367393 | 56932 | 368388 0 | 82452 | 0 375.93/376.06 c 327s | 13 | 368068 | 57132 | 368388 0 | 82452 | 0 378.34/378.47 c 330s | 13 | 368720 | 57332 | 368388 0 | 82452 | 0 380.83/380.93 c 332s | 13 | 369366 | 57532 | 368388 0 | 82452 | 0 383.43/383.53 c 335s | 13 | 369661 | 57732 | 368388 0 | 82452 | 0 386.63/386.78 c 338s | 13 | 370147 | 57932 | 368388 0 | 82452 | 0 389.23/389.38 c 341s | 13 | 370745 | 58132 | 405227 0 | 82452 | 0 391.93/392.05 c 343s | 13 | 371209 | 58332 | 405227 0 | 82452 | 0 392.33/392.44 c 344s | 14 | 371224 | 58352 | 405227 0 | 82452 | 0 395.63/395.73 c 347s | 14 | 373067 | 58452 | 405227 0 | 82456 | 0 397.73/397.85 c 349s | 14 | 376153 | 60352 | 405227 0 | 82456 | 0 399.93/400.08 c 351s | 14 | 376857 | 61052 | 405227 0 | 82456 | 0 402.13/402.29 c 354s | 14 | 377510 | 61552 | 405227 0 | 82457 | 0 404.33/404.48 c 356s | 14 | 378213 | 62252 | 405227 0 | 82457 | 0 406.53/406.64 c 358s | 14 | 378916 | 62952 | 405227 0 | 82457 | 0 408.73/408.85 c 360s | 14 | 379622 | 63652 | 405227 0 | 82457 | 0 410.83/410.97 c 362s | 14 | 380221 | 64252 | 405227 0 | 82457 | 0 412.83/412.97 c 364s | 14 | 380822 | 64852 | 405227 0 | 82457 | 0 414.92/415.03 c 366s | 14 | 382494 | 65252 | 405227 0 | 82457 | 0 417.12/417.22 c 369s | 14 | 383197 | 65952 | 405227 0 | 82457 | 0 419.32/419.41 c 371s | 14 | 383905 | 66652 | 405227 0 | 82457 | 0 421.62/421.70 c 373s | 14 | 384602 | 67352 | 405227 0 | 82457 | 0 424.02/424.10 c 375s | 14 | 385341 | 68052 | 405227 0 | 82457 | 0 426.12/426.27 c 378s | 14 | 385862 | 68552 | 405227 0 | 82457 | 0 428.32/428.41 c 380s | 14 | 386381 | 69052 | 405227 0 | 82457 | 0 430.32/430.42 c 382s | 14 | 386784 | 69452 | 405227 0 | 82457 | 0 432.52/432.63 c 384s | 14 | 387292 | 69952 | 405227 0 | 82457 | 0 434.72/434.84 c 386s | 14 | 387796 | 70452 | 405227 0 | 82457 | 0 436.82/436.95 c 388s | 14 | 388299 | 70952 | 405227 0 | 82457 | 0 438.93/439.06 c 390s | 14 | 388812 | 71452 | 405227 0 | 82457 | 0 441.03/441.19 c 393s | 14 | 389316 | 71952 | 405227 0 | 82457 | 0 443.23/443.39 c 395s | 14 | 389816 | 72452 | 405227 0 | 82457 | 0 445.62/445.70 c 397s | 14 | 390314 | 72952 | 405227 0 | 82457 | 0 447.73/447.85 c 399s | 14 | 390829 | 73452 | 405227 0 | 82457 | 0 450.52/450.65 c 402s | 14 | 399873 | 73852 | 405227 0 | 82457 | 0 453.02/453.16 c 405s | 14 | 400580 | 74352 | 405227 0 | 82457 | 0 455.32/455.42 c 407s | 14 | 401254 | 74752 | 405227 0 | 82457 | 0 457.92/458.05 c 409s | 14 | 401675 | 75152 | 405227 0 | 82457 | 0 460.22/460.36 c 412s | 14 | 402012 | 75452 | 405227 0 | 82457 | 0 462.52/462.66 c 414s | 14 | 402490 | 75852 | 405227 0 | 82457 | 0 465.12/465.20 c 417s | 14 | 402932 | 76252 | 405227 0 | 82457 | 0 467.72/467.80 c 419s | 14 | 403376 | 76652 | 405227 0 | 82457 | 0 470.02/470.13 c 422s | 14 | 403860 | 77052 | 405227 0 | 82457 | 0 472.42/472.56 c 424s | 14 | 404310 | 77452 | 405227 0 | 82457 | 0 474.51/474.61 c 426s | 14 | 404859 | 77852 | 405227 0 | 82457 | 0 476.71/476.80 c 428s | 14 | 405378 | 78252 | 405227 0 | 82457 | 0 482.61/482.74 c 434s | 14 | 433022 | 78352 | 405227 0 | 82461 | 0 489.42/489.59 c 441s | 14 | 472113 | 78452 | 405227 0 | 82465 | 0 495.41/495.50 c 447s | 14 | 504519 | 78552 | 405227 0 | 82469 | 0 498.11/498.23 c 450s | 14 | 507564 | 78652 | 405227 0 | 82474 | 0 500.31/500.48 c 452s | 14 | 509515 | 79252 | 405227 0 | 82474 | 0 502.41/502.51 c 454s | 14 | 514004 | 83652 | 405227 0 | 82474 | 0 504.41/504.56 c 456s | 14 | 517428 | 87052 | 445750 0 | 82474 | 0 504.82/504.95 c 456s | 15 | 518016 | 87632 | 445750 0 | 82474 | 0 506.81/506.95 c 458s | 15 | 520446 | 89332 | 445750 0 | 82474 | 0 508.81/508.96 c 460s | 15 | 525043 | 93832 | 445750 0 | 82474 | 0 510.91/511.02 c 462s | 15 | 528893 | 97532 | 445750 0 | 82474 | 0 512.91/513.06 c 464s | 15 | 531622 | 100232 | 445750 0 | 82474 | 0 515.01/515.13 c 467s | 15 | 534092 | 102632 | 445750 0 | 82474 | 0 517.11/517.20 c 469s | 15 | 536557 | 104932 | 445750 0 | 82474 | 0 519.12/519.27 c 471s | 15 | 538971 | 107132 | 445750 0 | 82474 | 0 521.21/521.33 c 473s | 15 | 541110 | 109132 | 445750 0 | 82474 | 0 523.21/523.35 c 475s | 15 | 543132 | 111032 | 445750 0 | 82474 | 0 525.31/525.43 c 477s | 15 | 545141 | 112932 | 445750 0 | 82474 | 0 527.41/527.52 c 479s | 15 | 547206 | 114832 | 445750 0 | 82474 | 0 529.41/529.57 c 481s | 15 | 548784 | 116332 | 445750 0 | 82474 | 0 531.41/531.59 c 483s | 15 | 550718 | 118132 | 445750 0 | 82474 | 0 533.81/533.92 c 485s | 15 | 552385 | 119732 | 445750 0 | 82474 | 0 536.01/536.10 c 488s | 15 | 553191 | 120532 | 445750 0 | 82474 | 0 538.11/538.28 c 490s | 15 | 554304 | 121632 | 445750 0 | 82474 | 0 540.21/540.30 c 492s | 15 | 555322 | 122632 | 445750 0 | 82474 | 0 542.22/542.38 c 494s | 15 | 556430 | 123732 | 445750 0 | 82474 | 0 544.21/544.39 c 496s | 15 | 557543 | 124832 | 445750 0 | 82474 | 0 546.41/546.53 c 498s | 15 | 558547 | 125832 | 445750 0 | 82474 | 0 548.61/548.74 c 500s | 15 | 559468 | 126732 | 445750 0 | 82474 | 0 550.71/550.89 c 502s | 15 | 560471 | 127732 | 445750 0 | 82474 | 0 552.91/553.02 c 504s | 15 | 561581 | 128832 | 445750 0 | 82474 | 0 554.91/555.06 c 506s | 15 | 562591 | 129832 | 445750 0 | 82474 | 0 557.01/557.11 c 509s | 15 | 563502 | 130732 | 490326 0 | 82474 | 0 559.11/559.26 c 511s | 15 | 564324 | 131532 | 490326 0 | 82474 | 0 559.21/559.32 c 511s | 16 | 564345 | 131552 | 490326 0 | 82474 | 0 573.21/573.31 c 525s | 16 | 715238 | 131652 | 490326 0 | 82482 | 0 578.91/579.00 c 530s | 16 | 805277 | 131752 | 490326 0 | 82485 | 0 581.10/581.27 c 533s | 16 | 805672 | 132152 | 490326 0 | 82485 | 0 587.00/587.16 c 539s | 16 | 869475 | 132452 | 490326 0 | 82487 | 0 589.00/589.17 c 541s | 16 | 894427 | 134452 | 490326 0 | 82487 | 0 591.10/591.20 c 543s | 16 | 901130 | 139452 | 490326 0 | 82487 | 0 593.10/593.24 c 545s | 16 | 905657 | 143352 | 490326 0 | 82487 | 0 595.11/595.28 c 547s | 16 | 909384 | 146452 | 490326 0 | 82487 | 0 597.31/597.49 c 549s | 16 | 911449 | 148252 | 490326 0 | 82487 | 0 599.41/599.54 c 551s | 16 | 914306 | 150652 | 490326 0 | 82487 | 0 601.40/601.57 c 553s | 16 | 917210 | 153152 | 490326 0 | 82487 | 0 603.50/603.62 c 555s | 16 | 919742 | 155352 | 490326 0 | 82487 | 0 605.50/605.67 c 557s | 16 | 921953 | 157352 | 490326 0 | 82487 | 0 607.60/607.72 c 559s | 16 | 924280 | 159252 | 490326 0 | 82487 | 0 609.60/609.78 c 561s | 16 | 926051 | 160852 | 490326 0 | 82487 | 0 611.70/611.80 c 563s | 16 | 928450 | 162752 | 490326 0 | 82487 | 0 613.70/613.83 c 565s | 16 | 930954 | 164852 | 490326 0 | 82487 | 0 615.70/615.85 c 567s | 16 | 933092 | 166652 | 490326 0 | 82487 | 0 617.80/617.90 c 569s | 16 | 935431 | 168552 | 490326 0 | 82487 | 0 619.79/619.97 c 571s | 16 | 937692 | 170352 | 490326 0 | 82487 | 0 621.89/622.02 c 573s | 16 | 940280 | 172452 | 490326 0 | 82487 | 0 623.89/624.09 c 575s | 16 | 942580 | 174352 | 490326 0 | 82487 | 0 625.90/626.09 c 577s | 16 | 944626 | 176052 | 490326 0 | 82487 | 0 628.00/628.14 c 580s | 16 | 946664 | 177752 | 490326 0 | 82487 | 0 630.09/630.22 c 582s | 16 | 948731 | 179552 | 490326 0 | 82487 | 0 632.19/632.31 c 584s | 16 | 950947 | 181452 | 490326 0 | 82487 | 0 634.19/634.32 c 586s | 16 | 952635 | 182952 | 490326 0 | 82487 | 0 636.19/636.36 c 588s | 16 | 954280 | 184352 | 490326 0 | 82487 | 0 638.29/638.43 c 590s | 16 | 955330 | 185252 | 490326 0 | 82487 | 0 640.49/640.64 c 592s | 16 | 956129 | 185952 | 490326 0 | 82487 | 0 642.59/642.71 c 594s | 16 | 956868 | 186652 | 490326 0 | 82487 | 0 644.60/644.78 c 596s | 16 | 957803 | 187452 | 490326 0 | 82487 | 0 646.89/647.07 c 598s | 16 | 958777 | 188352 | 490326 0 | 82487 | 0 649.09/649.23 c 601s | 16 | 959921 | 189352 | 490326 0 | 82487 | 0 651.10/651.25 c 603s | 16 | 960952 | 190252 | 490326 0 | 82487 | 0 653.09/653.28 c 605s | 16 | 961998 | 191152 | 490326 0 | 82487 | 0 655.19/655.37 c 607s | 16 | 962815 | 191952 | 490326 0 | 82487 | 0 657.29/657.42 c 609s | 16 | 963758 | 192752 | 490326 0 | 82487 | 0 659.39/659.52 c 611s | 16 | 964379 | 193252 | 490326 0 | 82487 | 0 661.59/661.75 c 613s | 16 | 965216 | 193952 | 490326 0 | 82487 | 0 663.59/663.75 c 615s | 16 | 966191 | 194752 | 490326 0 | 82487 | 0 665.59/665.76 c 617s | 16 | 967560 | 195852 | 490326 0 | 82487 | 0 667.99/668.10 c 619s | 16 | 969113 | 197152 | 539359 0 | 82487 | 0 668.79/668.99 c 620s | 17 | 969447 | 197432 | 539359 0 | 82487 | 0 671.79/671.98 c 623s | 17 | 989548 | 197532 | 539359 0 | 82491 | 0 676.39/676.56 c 628s | 17 | 1059444 | 197632 | 539359 0 | 82496 | 0 681.68/681.88 c 633s | 17 | 1134500 | 197932 | 539359 0 | 82498 | 0 684.78/684.95 c 636s | 17 | 1134699 | 198132 | 539359 0 | 82498 | 0 687.88/688.03 c 639s | 17 | 1134900 | 198332 | 539359 0 | 82498 | 0 690.98/691.14 c 643s | 17 | 1135101 | 198532 | 539359 0 | 82498 | 0 693.88/694.02 c 645s | 17 | 1135325 | 198732 | 539359 0 | 82498 | 0 696.58/696.70 c 648s | 17 | 1135538 | 198932 | 539359 0 | 82498 | 0 699.28/699.46 c 651s | 17 | 1135741 | 199132 | 539359 0 | 82498 | 0 702.08/702.20 c 654s | 17 | 1135945 | 199332 | 539359 0 | 82498 | 0 704.99/705.15 c 657s | 17 | 1136147 | 199532 | 539359 0 | 82498 | 0 707.88/708.01 c 659s | 17 | 1136345 | 199732 | 539359 0 | 82498 | 0 710.68/710.80 c 662s | 17 | 1136550 | 199932 | 539359 0 | 82498 | 0 713.48/713.65 c 665s | 17 | 1136752 | 200132 | 539359 0 | 82498 | 0 716.48/716.61 c 668s | 17 | 1136947 | 200332 | 539359 0 | 82498 | 0 719.08/719.27 c 671s | 17 | 1137159 | 200532 | 539359 0 | 82498 | 0 721.98/722.17 c 674s | 17 | 1137356 | 200732 | 539359 0 | 82498 | 0 724.98/725.17 c 677s | 17 | 1137558 | 200932 | 539359 0 | 82498 | 0 727.98/728.19 c 680s | 17 | 1137754 | 201132 | 539359 0 | 82498 | 0 730.88/731.10 c 682s | 17 | 1137956 | 201332 | 539359 0 | 82498 | 0 733.88/734.06 c 685s | 17 | 1138161 | 201532 | 539359 0 | 82498 | 0 736.67/736.82 c 688s | 17 | 1138424 | 201732 | 539359 0 | 82498 | 0 739.27/739.49 c 691s | 17 | 1138644 | 201932 | 539359 0 | 82498 | 0 749.77/749.90 c 701s | 17 | 1235622 | 202132 | 539359 0 | 82504 | 0 751.77/751.91 c 703s | 17 | 1268133 | 206932 | 539359 0 | 82504 | 0 753.77/753.95 c 705s | 17 | 1274773 | 212632 | 539359 0 | 82504 | 0 755.77/755.97 c 707s | 17 | 1279211 | 216732 | 539359 0 | 82504 | 0 757.87/758.03 c 709s | 17 | 1285796 | 221732 | 539359 0 | 82504 | 0 759.87/760.05 c 711s | 17 | 1291512 | 226032 | 539359 0 | 82504 | 0 761.87/762.07 c 713s | 17 | 1295151 | 229232 | 539359 0 | 82504 | 0 763.87/764.08 c 715s | 17 | 1298531 | 232032 | 539359 0 | 82504 | 0 765.97/766.13 c 718s | 17 | 1302352 | 235232 | 539359 0 | 82504 | 0 767.97/768.18 c 720s | 17 | 1305336 | 237732 | 539359 0 | 82504 | 0 770.07/770.21 c 722s | 17 | 1310140 | 241432 | 539359 0 | 82504 | 0 772.17/772.33 c 724s | 17 | 1312414 | 243132 | 539359 0 | 82504 | 0 774.27/774.48 c 726s | 17 | 1313963 | 244432 | 539359 0 | 82504 | 0 776.47/776.65 c 728s | 17 | 1315488 | 245632 | 539359 0 | 82504 | 0 778.56/778.72 c 730s | 17 | 1317791 | 247832 | 539359 0 | 82504 | 0 780.66/780.86 c 732s | 17 | 1320031 | 249932 | 539359 0 | 82504 | 0 782.66/782.89 c 734s | 17 | 1321727 | 251532 | 539359 0 | 82504 | 0 784.86/785.03 c 736s | 17 | 1323464 | 253132 | 539359 0 | 82504 | 0 786.96/787.16 c 739s | 17 | 1325090 | 254632 | 539359 0 | 82504 | 0 788.96/789.16 c 741s | 17 | 1326524 | 255932 | 539359 0 | 82504 | 0 791.06/791.20 c 743s | 17 | 1327722 | 257032 | 539359 0 | 82504 | 0 793.16/793.33 c 745s | 17 | 1329033 | 258232 | 539359 0 | 82504 | 0 795.16/795.35 c 747s | 17 | 1330363 | 259432 | 539359 0 | 82504 | 0 797.25/797.42 c 749s | 17 | 1331771 | 260732 | 539359 0 | 82504 | 0 799.35/799.50 c 751s | 17 | 1333267 | 262032 | 539359 0 | 82504 | 0 801.35/801.51 c 753s | 17 | 1334647 | 263232 | 539359 0 | 82504 | 0 803.45/803.64 c 755s | 17 | 1336168 | 264632 | 539359 0 | 82504 | 0 805.55/805.75 c 757s | 17 | 1337342 | 265632 | 539359 0 | 82504 | 0 807.65/807.82 c 759s | 17 | 1338713 | 266732 | 539359 0 | 82504 | 0 809.85/810.02 c 761s | 17 | 1340017 | 267832 | 539359 0 | 82504 | 0 811.85/812.07 c 763s | 17 | 1341155 | 268832 | 539359 0 | 82504 | 0 813.95/814.15 c 766s | 17 | 1342415 | 269932 | 539359 0 | 82504 | 0 816.05/816.21 c 768s | 17 | 1343640 | 271032 | 539359 0 | 82504 | 0 818.15/818.36 c 770s | 17 | 1344737 | 272032 | 539359 0 | 82504 | 0 820.15/820.37 c 772s | 17 | 1345717 | 272932 | 539359 0 | 82504 | 0 822.25/822.47 c 774s | 17 | 1346721 | 273832 | 539359 0 | 82504 | 0 824.44/824.61 c 776s | 17 | 1347762 | 274732 | 539359 0 | 82504 | 0 826.64/826.87 c 778s | 17 | 1348780 | 275632 | 539359 0 | 82504 | 0 828.64/828.89 c 780s | 17 | 1349847 | 276532 | 539359 0 | 82504 | 0 830.84/831.02 c 782s | 17 | 1350799 | 277332 | 539359 0 | 82504 | 0 832.84/833.10 c 784s | 17 | 1351685 | 278132 | 539359 0 | 82504 | 0 835.24/835.44 c 787s | 17 | 1352832 | 279132 | 539359 0 | 82504 | 0 837.54/837.71 c 789s | 17 | 1354044 | 280032 | 539359 0 | 82504 | 0 839.54/839.75 c 791s | 17 | 1354979 | 280732 | 539359 0 | 82504 | 0 841.64/841.89 c 793s | 17 | 1355936 | 281432 | 539359 0 | 82504 | 0 843.74/843.97 c 795s | 17 | 1357041 | 282332 | 539359 0 | 82504 | 0 845.94/846.14 c 798s | 17 | 1357797 | 283032 | 539359 0 | 82504 | 0 848.24/848.44 c 800s | 17 | 1358595 | 283732 | 539359 0 | 82504 | 0 850.54/850.73 c 802s | 17 | 1359356 | 284332 | 539359 0 | 82504 | 0 852.64/852.83 c 804s | 17 | 1360216 | 285132 | 539359 0 | 82504 | 0 854.74/854.99 c 806s | 17 | 1361190 | 286032 | 539359 0 | 82504 | 0 856.84/857.02 c 808s | 17 | 1362301 | 287132 | 539359 0 | 82504 | 0 858.94/859.17 c 811s | 17 | 1363239 | 288032 | 539359 0 | 82504 | 0 861.14/861.37 c 813s | 17 | 1364111 | 288832 | 539359 0 | 82504 | 0 863.34/863.51 c 815s | 17 | 1364763 | 289432 | 539359 0 | 82504 | 0 865.43/865.62 c 817s | 17 | 1365472 | 290032 | 539359 0 | 82504 | 0 867.63/867.87 c 819s | 17 | 1366237 | 290632 | 539359 0 | 82504 | 0 869.73/869.94 c 821s | 17 | 1366932 | 291232 | 539359 0 | 82504 | 0 872.03/872.22 c 824s | 17 | 1367662 | 291832 | 539359 0 | 82504 | 0 874.23/874.49 c 826s | 17 | 1368419 | 292432 | 539359 0 | 82504 | 0 876.53/876.78 c 828s | 17 | 1369044 | 292932 | 539359 0 | 82504 | 0 878.63/878.87 c 830s | 17 | 1369604 | 293432 | 539359 0 | 82504 | 0 880.73/880.98 c 832s | 17 | 1370159 | 293932 | 539359 0 | 82504 | 0 883.03/883.23 c 835s | 17 | 1370890 | 294632 | 593295 0 | 82504 | 0 885.02/885.29 c 837s | 17 | 1371590 | 295232 | 593295 0 | 82504 | 0 887.22/887.44 c 839s | 17 | 1372547 | 296032 | 593295 0 | 82504 | 0 888.22/888.43 c 840s | 18 | 1372809 | 296252 | 593295 0 | 82504 | 0 890.52/890.73 c 842s | 18 | 1398723 | 296552 | 593295 0 | 82504 | 0 892.52/892.75 c 844s | 18 | 1404631 | 302052 | 593295 0 | 82504 | 0 894.52/894.79 c 846s | 18 | 1409157 | 306152 | 593295 0 | 82504 | 0 896.62/896.82 c 848s | 18 | 1413590 | 310252 | 593295 0 | 82504 | 0 898.62/898.87 c 850s | 18 | 1418196 | 314552 | 593295 0 | 82504 | 0 900.72/900.92 c 852s | 18 | 1422756 | 318452 | 593295 0 | 82504 | 0 902.72/902.96 c 854s | 18 | 1426351 | 321352 | 593295 0 | 82504 | 0 904.72/904.98 c 856s | 18 | 1429424 | 324152 | 593295 0 | 82504 | 0 907.81/908.01 c 859s | 18 | 1431925 | 326552 | 593295 0 | 82504 | 0 909.81/910.04 c 861s | 18 | 1434656 | 329052 | 593295 0 | 82504 | 0 911.82/912.09 c 863s | 18 | 1437257 | 331452 | 593295 0 | 82504 | 0 913.81/914.10 c 865s | 18 | 1440137 | 334052 | 593295 0 | 82504 | 0 915.91/916.11 c 868s | 18 | 1443276 | 336952 | 593295 0 | 82504 | 0 917.91/918.13 c 870s | 18 | 1446375 | 339852 | 593295 0 | 82504 | 0 920.01/920.23 c 872s | 18 | 1448864 | 342252 | 593295 0 | 82504 | 0 922.11/922.33 c 874s | 18 | 1451064 | 344352 | 593295 0 | 82504 | 0 924.11/924.35 c 876s | 18 | 1453441 | 346652 | 593295 0 | 82504 | 0 926.11/926.39 c 878s | 18 | 1455825 | 348852 | 593295 0 | 82504 | 0 928.21/928.49 c 880s | 18 | 1458086 | 350852 | 593295 0 | 82504 | 0 930.30/930.51 c 882s | 18 | 1460302 | 352952 | 593295 0 | 82504 | 0 932.40/932.60 c 884s | 18 | 1462478 | 354952 | 593295 0 | 82504 | 0 934.40/934.65 c 886s | 18 | 1464498 | 356852 | 593295 0 | 82504 | 0 936.50/936.70 c 888s | 18 | 1466698 | 358952 | 593295 0 | 82504 | 0 938.60/938.81 c 890s | 18 | 1468723 | 360852 | 593295 0 | 82504 | 0 940.60/940.84 c 892s | 18 | 1470488 | 362552 | 593295 0 | 82504 | 0 942.61/942.85 c 894s | 18 | 1472865 | 364852 | 593295 0 | 82504 | 0 944.71/944.93 c 896s | 18 | 1474540 | 366452 | 593295 0 | 82504 | 0 946.70/946.99 c 898s | 18 | 1476564 | 368352 | 593295 0 | 82504 | 0 948.80/949.08 c 900s | 18 | 1478429 | 370152 | 593295 0 | 82504 | 0 950.90/951.13 c 903s | 18 | 1480113 | 371752 | 593295 0 | 82504 | 0 953.00/953.29 c 905s | 18 | 1481877 | 373452 | 593295 0 | 82504 | 0 955.09/955.31 c 907s | 18 | 1483353 | 374852 | 593295 0 | 82504 | 0 957.19/957.45 c 909s | 18 | 1484476 | 375952 | 593295 0 | 82504 | 0 959.19/959.49 c 911s | 18 | 1485498 | 376952 | 593295 0 | 82504 | 0 961.39/961.62 c 913s | 18 | 1487239 | 378552 | 593295 0 | 82504 | 0 963.50/963.76 c 915s | 18 | 1488618 | 379852 | 593295 0 | 82504 | 0 965.49/965.77 c 917s | 18 | 1489948 | 381152 | 593295 0 | 82504 | 0 967.59/967.82 c 919s | 18 | 1491206 | 382352 | 593295 0 | 82504 | 0 969.59/969.86 c 921s | 18 | 1492296 | 383352 | 593295 0 | 82504 | 0 971.69/971.92 c 923s | 18 | 1493422 | 384452 | 593295 0 | 82504 | 0 973.69/973.93 c 925s | 18 | 1494619 | 385552 | 593295 0 | 82504 | 0 975.69/975.97 c 927s | 18 | 1495699 | 386552 | 593295 0 | 82504 | 0 977.79/978.06 c 929s | 18 | 1496743 | 387552 | 593295 0 | 82504 | 0 980.00/980.23 c 932s | 18 | 1497783 | 388552 | 593295 0 | 82504 | 0 981.99/982.24 c 934s | 18 | 1499755 | 390452 | 593295 0 | 82504 | 0 984.09/984.32 c 936s | 18 | 1500983 | 391652 | 593295 0 | 82504 | 0 986.19/986.42 c 938s | 18 | 1502416 | 393052 | 593295 0 | 82504 | 0 988.29/988.52 c 940s | 18 | 1504047 | 394552 | 593295 0 | 82504 | 0 990.29/990.52 c 942s | 18 | 1505281 | 395752 | 593295 0 | 82504 | 0 992.39/992.60 c 944s | 18 | 1506535 | 396952 | 593295 0 | 82504 | 0 994.49/994.70 c 946s | 18 | 1507768 | 398152 | 593295 0 | 82504 | 0 996.59/996.83 c 948s | 18 | 1509005 | 399352 | 593295 0 | 82504 | 0 998.70/998.96 c 950s | 18 | 1510174 | 400452 | 593295 0 | 82504 | 0 1000.89/1001.15 c 953s | 18 | 1511313 | 401552 | 593295 0 | 82504 | 0 1002.99/1003.29 c 955s | 18 | 1512482 | 402652 | 593295 0 | 82504 | 0 1005.09/1005.31 c 957s | 18 | 1513472 | 403552 | 593295 0 | 82504 | 0 1007.49/1007.70 c 959s | 18 | 1514744 | 404752 | 593295 0 | 82504 | 0 1009.79/1010.07 c 961s | 18 | 1515205 | 405152 | 593295 0 | 82504 | 0 1011.89/1012.15 c 964s | 18 | 1516029 | 405852 | 593295 0 | 82504 | 0 1013.88/1014.16 c 966s | 18 | 1517229 | 406852 | 593295 0 | 82504 | 0 1015.88/1016.19 c 968s | 18 | 1519189 | 408752 | 593295 0 | 82504 | 0 1017.98/1018.25 c 970s | 18 | 1520590 | 410052 | 593295 0 | 82504 | 0 1020.08/1020.33 c 972s | 18 | 1521650 | 411052 | 593295 0 | 82504 | 0 1022.18/1022.49 c 974s | 18 | 1522614 | 411952 | 593295 0 | 82504 | 0 1024.38/1024.64 c 976s | 18 | 1523562 | 412852 | 593295 0 | 82504 | 0 1026.38/1026.65 c 978s | 18 | 1524312 | 413552 | 593295 0 | 82504 | 0 1028.39/1028.69 c 980s | 18 | 1525134 | 414352 | 593295 0 | 82504 | 0 1030.59/1030.81 c 982s | 18 | 1525975 | 415152 | 593295 0 | 82504 | 0 1032.58/1032.82 c 984s | 18 | 1526697 | 415852 | 593295 0 | 82504 | 0 1034.58/1034.89 c 986s | 18 | 1527457 | 416552 | 593295 0 | 82504 | 0 1036.78/1037.01 c 988s | 18 | 1528176 | 417252 | 593295 0 | 82504 | 0 1038.78/1039.06 c 990s | 18 | 1528898 | 417952 | 593295 0 | 82504 | 0 1040.88/1041.15 c 993s | 18 | 1529637 | 418652 | 593295 0 | 82504 | 0 1042.98/1043.27 c 995s | 18 | 1530237 | 419252 | 593295 0 | 82504 | 0 1045.18/1045.49 c 997s | 18 | 1530967 | 419952 | 593295 0 | 82504 | 0 1047.48/1047.72 c 999s | 18 | 1531674 | 420652 | 593295 0 | 82504 | 0 1049.58/1049.85 c 1001s | 18 | 1532292 | 421252 | 593295 0 | 82504 | 0 1051.68/1051.99 c 1003s | 18 | 1532915 | 421852 | 593295 0 | 82504 | 0 1053.88/1054.17 c 1006s | 18 | 1533537 | 422452 | 593295 0 | 82504 | 0 1056.58/1056.80 c 1008s | 18 | 1534052 | 422952 | 593295 0 | 82504 | 0 1058.98/1059.24 c 1011s | 18 | 1534459 | 423352 | 593295 0 | 82504 | 0 1061.28/1061.53 c 1013s | 18 | 1534994 | 423852 | 593295 0 | 82504 | 0 1063.48/1063.79 c 1015s | 18 | 1535612 | 424452 | 593295 0 | 82504 | 0 1065.88/1066.11 c 1018s | 18 | 1536123 | 424952 | 593295 0 | 82504 | 0 1068.08/1068.33 c 1020s | 18 | 1536640 | 425452 | 593295 0 | 82504 | 0 1070.27/1070.56 c 1022s | 18 | 1537145 | 425952 | 593295 0 | 82504 | 0 1072.47/1072.71 c 1024s | 18 | 1537650 | 426452 | 593295 0 | 82504 | 0 1074.58/1074.84 c 1026s | 18 | 1538156 | 426952 | 593295 0 | 82504 | 0 1076.87/1077.13 c 1029s | 18 | 1538671 | 427452 | 593295 0 | 82504 | 0 1078.98/1079.28 c 1031s | 18 | 1539183 | 427952 | 593295 0 | 82504 | 0 1081.47/1081.76 c 1033s | 18 | 1539710 | 428452 | 593295 0 | 82504 | 0 1083.57/1083.86 c 1035s | 18 | 1540108 | 428852 | 593295 0 | 82504 | 0 1085.87/1086.15 c 1038s | 18 | 1540632 | 429352 | 593295 0 | 82504 | 0 1088.07/1088.32 c 1040s | 18 | 1541378 | 430052 | 593295 0 | 82504 | 0 1090.17/1090.44 c 1042s | 18 | 1542124 | 430752 | 593295 0 | 82504 | 0 1092.37/1092.68 c 1044s | 18 | 1542727 | 431352 | 593295 0 | 82504 | 0 1094.57/1094.82 c 1046s | 18 | 1543259 | 431852 | 593295 0 | 82504 | 0 1096.67/1096.97 c 1048s | 18 | 1543891 | 432452 | 593295 0 | 82504 | 0 1099.07/1099.30 c 1051s | 18 | 1544525 | 433052 | 593295 0 | 82504 | 0 1101.37/1101.65 c 1053s | 18 | 1545175 | 433652 | 593295 0 | 82504 | 0 1103.57/1103.89 c 1055s | 18 | 1545787 | 434252 | 593295 0 | 82504 | 0 1106.06/1106.35 c 1058s | 18 | 1546401 | 434852 | 593295 0 | 82504 | 0 1108.16/1108.44 c 1060s | 18 | 1546940 | 435352 | 593295 0 | 82504 | 0 1110.36/1110.60 c 1062s | 18 | 1547570 | 435952 | 593295 0 | 82504 | 0 1112.36/1112.69 c 1064s | 18 | 1548078 | 436452 | 593295 0 | 82504 | 0 1114.56/1114.86 c 1066s | 18 | 1548599 | 436952 | 593295 0 | 82504 | 0 1116.86/1117.10 c 1068s | 18 | 1549122 | 437452 | 593295 0 | 82504 | 0 1119.16/1119.48 c 1071s | 18 | 1549755 | 438052 | 593295 0 | 82504 | 0 1121.26/1121.50 c 1073s | 18 | 1550273 | 438552 | 593295 0 | 82504 | 0 1123.56/1123.82 c 1075s | 18 | 1550784 | 439052 | 593295 0 | 82504 | 0 1125.96/1126.23 c 1078s | 18 | 1551329 | 439552 | 593295 0 | 82504 | 0 1128.26/1128.51 c 1080s | 18 | 1551849 | 440052 | 593295 0 | 82504 | 0 1130.67/1130.93 c 1082s | 18 | 1552402 | 440552 | 593295 0 | 82504 | 0 1133.06/1133.36 c 1085s | 18 | 1552925 | 441052 | 593295 0 | 82504 | 0 1135.16/1135.42 c 1087s | 18 | 1553338 | 441452 | 652625 0 | 82504 | 0 1137.46/1137.75 c 1089s | 18 | 1553870 | 441952 | 652625 0 | 82504 | 0 1140.06/1140.34 c 1092s | 18 | 1554398 | 442452 | 652625 0 | 82504 | 0 1142.06/1142.37 c 1094s | 18 | 1555196 | 443152 | 652625 0 | 82504 | 0 1144.15/1144.43 c 1096s | 18 | 1556153 | 444052 | 652625 0 | 82504 | 0 1144.75/1145.04 c 1096s | 19 | 1556595 | 444482 | 652625 0 | 82504 | 0 1146.75/1147.04 c 1098s | 19 | 1556746 | 444582 | 652625 0 | 82504 | 0 1148.86/1149.15 c 1101s | 19 | 1560467 | 447982 | 652625 0 | 82504 | 0 1151.96/1152.28 c 1104s | 19 | 1560692 | 448182 | 652625 0 | 82504 | 0 1154.05/1154.40 c 1106s | 19 | 1561019 | 448482 | 652625 0 | 82504 | 0 1156.15/1156.41 c 1108s | 19 | 1561564 | 448982 | 652625 0 | 82504 | 0 1159.35/1159.67 c 1111s | 19 | 1562482 | 449782 | 652625 0 | 82504 | 0 1161.55/1161.84 c 1113s | 19 | 1563907 | 451082 | 652625 0 | 82504 | 0 1163.65/1163.91 c 1115s | 19 | 1564914 | 451982 | 652625 0 | 82504 | 0 1165.65/1165.98 c 1117s | 19 | 1566371 | 453282 | 652625 0 | 82504 | 0 1167.85/1168.15 c 1120s | 19 | 1567378 | 454082 | 652625 0 | 82504 | 0 1170.05/1170.32 c 1122s | 19 | 1568403 | 454982 | 652625 0 | 82504 | 0 1172.15/1172.41 c 1124s | 19 | 1571051 | 457282 | 652625 0 | 82504 | 0 1174.25/1174.58 c 1126s | 19 | 1573333 | 459182 | 652625 0 | 82504 | 0 1176.34/1176.60 c 1128s | 19 | 1575536 | 461082 | 652625 0 | 82504 | 0 1178.34/1178.65 c 1130s | 19 | 1577352 | 462682 | 652625 0 | 82504 | 0 1180.44/1180.76 c 1132s | 19 | 1578307 | 463482 | 652625 0 | 82504 | 0 1182.74/1183.05 c 1134s | 19 | 1579086 | 464182 | 652625 0 | 82504 | 0 1184.94/1185.23 c 1137s | 19 | 1579612 | 464682 | 652625 0 | 82504 | 0 1187.14/1187.49 c 1139s | 19 | 1580254 | 465282 | 652625 0 | 82504 | 0 1189.24/1189.56 c 1141s | 19 | 1581098 | 466082 | 652625 0 | 82504 | 0 1191.44/1191.71 c 1143s | 19 | 1582213 | 467082 | 652625 0 | 82504 | 0 1193.44/1193.76 c 1145s | 19 | 1582891 | 467682 | 652625 0 | 82504 | 0 1195.74/1196.04 c 1147s | 19 | 1584212 | 468882 | 652625 0 | 82504 | 0 1197.94/1198.27 c 1150s | 19 | 1585037 | 469682 | 652625 0 | 82504 | 0 1200.04/1200.38 c 1152s | 19 | 1585905 | 470482 | 652625 0 | 82504 | 0 1202.34/1202.60 c 1154s | 19 | 1586857 | 471382 | 652625 0 | 82504 | 0 1204.35/1204.68 c 1156s | 19 | 1587502 | 471982 | 652625 0 | 82504 | 0 1206.64/1206.91 c 1158s | 19 | 1588043 | 472482 | 652625 0 | 82504 | 0 1208.94/1209.26 c 1161s | 19 | 1588784 | 473182 | 652625 0 | 82504 | 0 1210.94/1211.29 c 1163s | 19 | 1589315 | 473682 | 652625 0 | 82504 | 0 1213.24/1213.52 c 1165s | 19 | 1589939 | 474282 | 652625 0 | 82504 | 0 1215.34/1215.64 c 1167s | 19 | 1590709 | 474982 | 652625 0 | 82504 | 0 1217.54/1217.87 c 1169s | 19 | 1591585 | 475782 | 652625 0 | 82504 | 0 1219.75/1220.01 c 1171s | 19 | 1592437 | 476582 | 652625 0 | 82504 | 0 1221.74/1222.03 c 1173s | 19 | 1593282 | 477382 | 652625 0 | 82504 | 0 1224.15/1224.41 c 1176s | 19 | 1593930 | 477982 | 652625 0 | 82504 | 0 1226.14/1226.43 c 1178s | 19 | 1594572 | 478582 | 652625 0 | 82504 | 0 1228.34/1228.61 c 1180s | 19 | 1595213 | 479182 | 652625 0 | 82504 | 0 1230.65/1230.92 c 1182s | 19 | 1595846 | 479782 | 652625 0 | 82504 | 0 1232.95/1233.25 c 1185s | 19 | 1596750 | 480582 | 652625 0 | 82504 | 0 1235.24/1235.57 c 1187s | 19 | 1597404 | 481182 | 652625 0 | 82504 | 0 1237.64/1237.95 c 1189s | 19 | 1597943 | 481682 | 652625 0 | 82504 | 0 1239.84/1240.11 c 1192s | 19 | 1598507 | 482182 | 652625 0 | 82504 | 0 1241.94/1242.29 c 1194s | 19 | 1599181 | 482782 | 652625 0 | 82504 | 0 1244.14/1244.48 c 1196s | 19 | 1599955 | 483482 | 652625 0 | 82504 | 0 1246.54/1246.82 c 1198s | 19 | 1600616 | 484082 | 652625 0 | 82504 | 0 1248.64/1248.90 c 1200s | 19 | 1601385 | 484782 | 652625 0 | 82504 | 0 1251.03/1251.31 c 1203s | 19 | 1602148 | 485482 | 652625 0 | 82504 | 0 1253.13/1253.44 c 1205s | 19 | 1602811 | 485982 | 652625 0 | 82504 | 0 1255.63/1255.92 c 1207s | 19 | 1603352 | 486482 | 652625 0 | 82504 | 0 1257.63/1257.93 c 1209s | 19 | 1603808 | 486882 | 652625 0 | 82504 | 0 1259.63/1259.98 c 1211s | 19 | 1604458 | 487482 | 652625 0 | 82504 | 0 1261.93/1262.23 c 1214s | 19 | 1605104 | 488082 | 652625 0 | 82504 | 0 1264.13/1264.45 c 1216s | 19 | 1605622 | 488582 | 652625 0 | 82504 | 0 1266.33/1266.66 c 1218s | 19 | 1606276 | 489182 | 652625 0 | 82504 | 0 1268.83/1269.10 c 1220s | 19 | 1606847 | 489682 | 652625 0 | 82504 | 0 1270.93/1271.23 c 1223s | 19 | 1607408 | 490182 | 652625 0 | 82504 | 0 1272.93/1273.26 c 1225s | 19 | 1608038 | 490782 | 652625 0 | 82504 | 0 1275.02/1275.30 c 1227s | 19 | 1608802 | 491482 | 652625 0 | 82504 | 0 1277.02/1277.36 c 1229s | 19 | 1609929 | 492482 | 652625 0 | 82504 | 0 1279.32/1279.66 c 1231s | 19 | 1610667 | 493182 | 652625 0 | 82504 | 0 1281.52/1281.86 c 1233s | 19 | 1611613 | 493982 | 652625 0 | 82504 | 0 1283.82/1284.18 c 1236s | 19 | 1612383 | 494682 | 652625 0 | 82504 | 0 1286.02/1286.30 c 1238s | 19 | 1613250 | 495482 | 652625 0 | 82504 | 0 1288.02/1288.38 c 1240s | 19 | 1614666 | 496682 | 652625 0 | 82504 | 0 1290.32/1290.64 c 1242s | 19 | 1615868 | 497782 | 652625 0 | 82504 | 0 1292.42/1292.70 c 1244s | 19 | 1616507 | 498382 | 652625 0 | 82504 | 0 1294.52/1294.89 c 1246s | 19 | 1617782 | 499482 | 652625 0 | 82504 | 0 1296.82/1297.19 c 1249s | 19 | 1618315 | 499982 | 652625 0 | 82504 | 0 1299.12/1299.48 c 1251s | 19 | 1618846 | 500482 | 652625 0 | 82504 | 0 1301.52/1301.82 c 1253s | 19 | 1619551 | 501082 | 652625 0 | 82504 | 0 1303.92/1304.21 c 1256s | 19 | 1620284 | 501782 | 652625 0 | 82504 | 0 1306.11/1306.40 c 1258s | 19 | 1620918 | 502382 | 652625 0 | 82504 | 0 1308.31/1308.68 c 1260s | 19 | 1621541 | 502982 | 652625 0 | 82504 | 0 1310.61/1311.00 c 1262s | 19 | 1622069 | 503482 | 652625 0 | 82504 | 0 1312.81/1313.15 c 1265s | 19 | 1622596 | 503982 | 652625 0 | 82504 | 0 1315.01/1315.35 c 1267s | 19 | 1623145 | 504482 | 652625 0 | 82504 | 0 1317.41/1317.74 c 1269s | 19 | 1623955 | 505182 | 652625 0 | 82504 | 0 1319.61/1319.95 c 1271s | 19 | 1624527 | 505682 | 652625 0 | 82504 | 0 1321.61/1321.99 c 1273s | 19 | 1625290 | 506382 | 652625 0 | 82504 | 0 1323.71/1324.01 c 1275s | 19 | 1626011 | 507082 | 652625 0 | 82504 | 0 1326.21/1326.50 c 1278s | 19 | 1626668 | 507682 | 652625 0 | 82504 | 0 1328.41/1328.79 c 1280s | 19 | 1627218 | 508182 | 652625 0 | 82504 | 0 1330.50/1330.85 c 1282s | 19 | 1627747 | 508682 | 652625 0 | 82504 | 0 1332.80/1333.15 c 1285s | 19 | 1628272 | 509182 | 652625 0 | 82504 | 0 1335.21/1335.53 c 1287s | 19 | 1628798 | 509682 | 652625 0 | 82504 | 0 1337.50/1337.85 c 1289s | 19 | 1629234 | 510082 | 652625 0 | 82504 | 0 1339.90/1340.21 c 1292s | 19 | 1629767 | 510582 | 652625 0 | 82504 | 0 1341.90/1342.25 c 1294s | 19 | 1630121 | 510882 | 652625 0 | 82504 | 0 1344.60/1344.91 c 1296s | 19 | 1630456 | 511182 | 652625 0 | 82504 | 0 1346.60/1346.92 c 1298s | 19 | 1630793 | 511482 | 652625 0 | 82504 | 0 1349.00/1349.36 c 1301s | 19 | 1631234 | 511882 | 652625 0 | 82504 | 0 1351.61/1351.98 c 1303s | 19 | 1631671 | 512282 | 652625 0 | 82504 | 0 1353.81/1354.16 c 1306s | 19 | 1631987 | 512582 | 652625 0 | 82504 | 0 1356.10/1356.45 c 1308s | 19 | 1632339 | 512882 | 652625 0 | 82504 | 0 1358.50/1358.86 c 1310s | 19 | 1632890 | 513382 | 652625 0 | 82504 | 0 1360.70/1361.04 c 1312s | 19 | 1633696 | 514082 | 652625 0 | 82504 | 0 1362.90/1363.25 c 1315s | 19 | 1634236 | 514582 | 652625 0 | 82504 | 0 1364.99/1365.30 c 1317s | 19 | 1634871 | 515182 | 652625 0 | 82504 | 0 1367.29/1367.62 c 1319s | 19 | 1635414 | 515682 | 652625 0 | 82504 | 0 1369.99/1370.30 c 1322s | 19 | 1635861 | 516082 | 652625 0 | 82504 | 0 1372.50/1372.81 c 1324s | 19 | 1636552 | 516682 | 652625 0 | 82504 | 0 1374.99/1375.31 c 1327s | 19 | 1637090 | 517182 | 652625 0 | 82504 | 0 1377.29/1377.69 c 1329s | 19 | 1637547 | 517582 | 652625 0 | 82504 | 0 1379.89/1380.28 c 1332s | 19 | 1638123 | 518082 | 652625 0 | 82504 | 0 1382.39/1382.80 c 1334s | 19 | 1638540 | 518482 | 652625 0 | 82504 | 0 1384.78/1385.16 c 1337s | 19 | 1639086 | 518982 | 652625 0 | 82504 | 0 1387.08/1387.47 c 1339s | 19 | 1639625 | 519482 | 652625 0 | 82504 | 0 1389.28/1389.68 c 1341s | 19 | 1640034 | 519882 | 652625 0 | 82504 | 0 1391.58/1391.98 c 1343s | 19 | 1640587 | 520382 | 652625 0 | 82504 | 0 1393.98/1394.39 c 1346s | 19 | 1640894 | 520682 | 652625 0 | 82504 | 0 1396.58/1396.95 c 1348s | 19 | 1641217 | 520982 | 652625 0 | 82504 | 0 1398.99/1399.33 c 1351s | 19 | 1641966 | 521682 | 652625 0 | 82504 | 0 1401.28/1401.65 c 1353s | 19 | 1642540 | 522182 | 652625 0 | 82504 | 0 1403.68/1404.02 c 1355s | 19 | 1643280 | 522882 | 652625 0 | 82504 | 0 1405.88/1406.21 c 1358s | 19 | 1643929 | 523482 | 652625 0 | 82504 | 0 1407.88/1408.23 c 1360s | 19 | 1644695 | 524182 | 652625 0 | 82504 | 0 1410.18/1410.55 c 1362s | 19 | 1645423 | 524882 | 652625 0 | 82504 | 0 1412.38/1412.79 c 1364s | 19 | 1646278 | 525682 | 652625 0 | 82504 | 0 1414.58/1414.93 c 1366s | 19 | 1647014 | 526382 | 652625 0 | 82504 | 0 1416.77/1417.13 c 1369s | 19 | 1647771 | 527082 | 652625 0 | 82504 | 0 1418.78/1419.17 c 1371s | 19 | 1648542 | 527782 | 652625 0 | 82504 | 0 1421.17/1421.59 c 1373s | 19 | 1649272 | 528482 | 652625 0 | 82504 | 0 1423.27/1423.63 c 1375s | 19 | 1649833 | 528982 | 652625 0 | 82504 | 0 1425.57/1425.96 c 1377s | 19 | 1650395 | 529482 | 652625 0 | 82504 | 0 1427.67/1428.05 c 1379s | 19 | 1650941 | 529982 | 652625 0 | 82504 | 0 1429.78/1430.12 c 1382s | 19 | 1651824 | 530782 | 652625 0 | 82504 | 0 1431.88/1432.20 c 1384s | 19 | 1652720 | 531582 | 652625 0 | 82504 | 0 1434.08/1434.45 c 1386s | 19 | 1653618 | 532382 | 652625 0 | 82504 | 0 1436.28/1436.69 c 1388s | 19 | 1654487 | 533182 | 652625 0 | 82504 | 0 1438.58/1438.99 c 1390s | 19 | 1655360 | 533982 | 652625 0 | 82504 | 0 1440.87/1441.21 c 1393s | 19 | 1655904 | 534482 | 652625 0 | 82504 | 0 1442.98/1443.39 c 1395s | 19 | 1656453 | 534982 | 652625 0 | 82504 | 0 1445.18/1445.52 c 1397s | 19 | 1656982 | 535482 | 652625 0 | 82504 | 0 1447.47/1447.86 c 1399s | 19 | 1657702 | 536182 | 652625 0 | 82504 | 0 1449.87/1450.22 c 1402s | 19 | 1658236 | 536682 | 652625 0 | 82504 | 0 1452.17/1452.59 c 1404s | 19 | 1658770 | 537182 | 652625 0 | 82504 | 0 1454.27/1454.68 c 1406s | 19 | 1659284 | 537682 | 652625 0 | 82504 | 0 1456.57/1456.93 c 1408s | 19 | 1659937 | 538282 | 652625 0 | 82504 | 0 1458.87/1459.21 c 1411s | 19 | 1660496 | 538782 | 652625 0 | 82504 | 0 1461.26/1461.60 c 1413s | 19 | 1661283 | 539482 | 652625 0 | 82504 | 0 1463.46/1463.85 c 1415s | 19 | 1661847 | 539982 | 652625 0 | 82504 | 0 1465.76/1466.12 c 1418s | 19 | 1662298 | 540382 | 652625 0 | 82504 | 0 1467.96/1468.30 c 1420s | 19 | 1662720 | 540782 | 652625 0 | 82504 | 0 1470.37/1470.71 c 1422s | 19 | 1663274 | 541282 | 652625 0 | 82504 | 0 1472.36/1472.77 c 1424s | 19 | 1663706 | 541682 | 652625 0 | 82504 | 0 1474.56/1474.94 c 1426s | 19 | 1664253 | 542182 | 652625 0 | 82504 | 0 1476.56/1476.95 c 1428s | 19 | 1664809 | 542682 | 652625 0 | 82504 | 0 1478.75/1479.13 c 1431s | 19 | 1665342 | 543182 | 652625 0 | 82504 | 0 1481.25/1481.61 c 1433s | 19 | 1665910 | 543682 | 652625 0 | 82504 | 0 1483.66/1484.02 c 1435s | 19 | 1666438 | 544182 | 652625 0 | 82504 | 0 1485.76/1486.19 c 1438s | 19 | 1666887 | 544582 | 652625 0 | 82504 | 0 1488.15/1488.55 c 1440s | 19 | 1667316 | 544982 | 652625 0 | 82504 | 0 1490.65/1491.02 c 1442s | 19 | 1667861 | 545482 | 652625 0 | 82504 | 0 1492.95/1493.31 c 1445s | 19 | 1668547 | 546082 | 652625 0 | 82504 | 0 1495.15/1495.53 c 1447s | 19 | 1669079 | 546582 | 652625 0 | 82504 | 0 1497.25/1497.68 c 1449s | 19 | 1669724 | 547182 | 652625 0 | 82504 | 0 1499.55/1499.98 c 1451s | 19 | 1670384 | 547782 | 652625 0 | 82504 | 0 1502.14/1502.55 c 1454s | 19 | 1670922 | 548282 | 652625 0 | 82504 | 0 1504.55/1504.96 c 1456s | 19 | 1671464 | 548782 | 652625 0 | 82504 | 0 1506.54/1506.99 c 1458s | 19 | 1672023 | 549282 | 652625 0 | 82504 | 0 1508.95/1509.32 c 1461s | 19 | 1672646 | 549882 | 652625 0 | 82504 | 0 1511.15/1511.55 c 1463s | 19 | 1673191 | 550382 | 652625 0 | 82504 | 0 1513.35/1513.74 c 1465s | 19 | 1673641 | 550782 | 652625 0 | 82504 | 0 1515.84/1516.29 c 1468s | 19 | 1674064 | 551182 | 652625 0 | 82504 | 0 1518.14/1518.51 c 1470s | 19 | 1674634 | 551682 | 652625 0 | 82504 | 0 1520.14/1520.56 c 1472s | 19 | 1675182 | 552182 | 652625 0 | 82504 | 0 1522.34/1522.76 c 1474s | 19 | 1675725 | 552682 | 652625 0 | 82504 | 0 1524.44/1524.84 c 1476s | 19 | 1676240 | 553182 | 652625 0 | 82504 | 0 1526.55/1526.91 c 1478s | 19 | 1676681 | 553582 | 652625 0 | 82504 | 0 1529.64/1530.09 c 1481s | 19 | 1677044 | 553882 | 652625 0 | 82504 | 0 1532.64/1533.06 c 1484s | 19 | 1677401 | 554182 | 652625 0 | 82504 | 0 1535.95/1536.34 c 1488s | 19 | 1677677 | 554382 | 652625 0 | 82504 | 0 1537.94/1538.38 c 1490s | 19 | 1677926 | 554582 | 652625 0 | 82504 | 0 1540.85/1541.25 c 1493s | 19 | 1678270 | 554882 | 652625 0 | 82504 | 0 1542.84/1543.30 c 1495s | 19 | 1678758 | 555282 | 652625 0 | 82504 | 0 1545.54/1545.94 c 1497s | 19 | 1679105 | 555482 | 652625 0 | 82504 | 0 1547.74/1548.11 c 1500s | 19 | 1679238 | 555582 | 652625 0 | 82504 | 0 1549.94/1550.39 c 1502s | 19 | 1679667 | 555882 | 652625 0 | 82504 | 0 1552.04/1552.47 c 1504s | 19 | 1680060 | 556182 | 652625 0 | 82504 | 0 1554.34/1554.71 c 1506s | 19 | 1680643 | 556582 | 652625 0 | 82504 | 0 1557.35/1557.73 c 1509s | 19 | 1681144 | 556982 | 652625 0 | 82504 | 0 1559.84/1560.24 c 1512s | 19 | 1681550 | 557282 | 652625 0 | 82504 | 0 1562.34/1562.73 c 1514s | 19 | 1682381 | 557982 | 652625 0 | 82504 | 0 1564.44/1564.85 c 1516s | 19 | 1682898 | 558382 | 652625 0 | 82504 | 0 1567.64/1568.03 c 1519s | 19 | 1683871 | 559182 | 652625 0 | 82504 | 0 1570.45/1570.88 c 1522s | 19 | 1684279 | 559482 | 652625 0 | 82504 | 0 1572.94/1573.32 c 1525s | 19 | 1685306 | 560282 | 652625 0 | 82504 | 0 1575.34/1575.72 c 1527s | 19 | 1686167 | 560982 | 652625 0 | 82504 | 0 1577.64/1578.08 c 1529s | 19 | 1686600 | 561382 | 652625 0 | 82504 | 0 1580.04/1580.43 c 1532s | 19 | 1687058 | 561782 | 652625 0 | 82504 | 0 1582.24/1582.69 c 1534s | 19 | 1687384 | 562082 | 652625 0 | 82504 | 0 1584.33/1584.72 c 1536s | 19 | 1687819 | 562482 | 652625 0 | 82504 | 0 1586.43/1586.87 c 1538s | 19 | 1688265 | 562882 | 652625 0 | 82504 | 0 1588.83/1589.27 c 1541s | 19 | 1688786 | 563382 | 652625 0 | 82504 | 0 1590.93/1591.32 c 1543s | 19 | 1689217 | 563782 | 652625 0 | 82504 | 0 1593.23/1593.67 c 1545s | 19 | 1689755 | 564282 | 652625 0 | 82504 | 0 1595.63/1596.07 c 1547s | 19 | 1690458 | 564882 | 652625 0 | 82504 | 0 1597.94/1598.34 c 1550s | 19 | 1691004 | 565382 | 652625 0 | 82504 | 0 1600.33/1600.73 c 1552s | 19 | 1691529 | 565882 | 652625 0 | 82504 | 0 1602.63/1603.03 c 1554s | 19 | 1691969 | 566282 | 652625 0 | 82504 | 0 1604.83/1605.21 c 1557s | 19 | 1692416 | 566682 | 652625 0 | 82504 | 0 1607.13/1607.56 c 1559s | 19 | 1692854 | 567082 | 652625 0 | 82504 | 0 1609.13/1609.56 c 1561s | 19 | 1693284 | 567482 | 652625 0 | 82504 | 0 1611.14/1611.57 c 1563s | 19 | 1693597 | 567782 | 652625 0 | 82504 | 0 1613.23/1613.67 c 1565s | 19 | 1693907 | 568082 | 652625 0 | 82504 | 0 1615.73/1616.17 c 1568s | 19 | 1694344 | 568482 | 652625 0 | 82504 | 0 1618.43/1618.85 c 1570s | 19 | 1694762 | 568882 | 652625 0 | 82504 | 0 1620.53/1620.95 c 1572s | 19 | 1695074 | 569182 | 652625 0 | 82504 | 0 1622.93/1623.38 c 1575s | 19 | 1695507 | 569582 | 652625 0 | 82504 | 0 1625.03/1625.47 c 1577s | 19 | 1695830 | 569882 | 652625 0 | 82504 | 0 1627.43/1627.80 c 1579s | 19 | 1696157 | 570182 | 652625 0 | 82504 | 0 1629.83/1630.27 c 1582s | 19 | 1696634 | 570582 | 652625 0 | 82504 | 0 1632.03/1632.42 c 1584s | 19 | 1696960 | 570882 | 652625 0 | 82504 | 0 1634.63/1635.04 c 1586s | 19 | 1697305 | 571182 | 652625 0 | 82504 | 0 1636.93/1637.32 c 1589s | 19 | 1697748 | 571582 | 652625 0 | 82504 | 0 1639.63/1640.00 c 1591s | 19 | 1698197 | 571982 | 652625 0 | 82504 | 0 1641.63/1642.04 c 1593s | 19 | 1698527 | 572282 | 652625 0 | 82504 | 0 1643.83/1644.24 c 1596s | 19 | 1698869 | 572582 | 652625 0 | 82504 | 0 1646.22/1646.69 c 1598s | 19 | 1699410 | 573082 | 652625 0 | 82504 | 0 1648.82/1649.22 c 1601s | 19 | 1699828 | 573482 | 652625 0 | 82504 | 0 1651.02/1651.47 c 1603s | 19 | 1700356 | 573982 | 652625 0 | 82504 | 0 1653.12/1653.59 c 1605s | 19 | 1700882 | 574482 | 652625 0 | 82504 | 0 1655.62/1656.00 c 1607s | 19 | 1701426 | 574982 | 652625 0 | 82504 | 0 1657.92/1658.38 c 1610s | 19 | 1701944 | 575482 | 652625 0 | 82504 | 0 1660.32/1660.74 c 1612s | 19 | 1702361 | 575882 | 652625 0 | 82504 | 0 1662.62/1663.06 c 1614s | 19 | 1702910 | 576382 | 652625 0 | 82504 | 0 1664.92/1665.38 c 1617s | 19 | 1703474 | 576882 | 652625 0 | 82504 | 0 1667.33/1667.79 c 1619s | 19 | 1703910 | 577282 | 652625 0 | 82504 | 0 1669.62/1670.02 c 1621s | 19 | 1704333 | 577682 | 652625 0 | 82504 | 0 1671.82/1672.26 c 1624s | 19 | 1704897 | 578182 | 652625 0 | 82504 | 0 1674.02/1674.43 c 1626s | 19 | 1705330 | 578582 | 652625 0 | 82504 | 0 1676.32/1676.72 c 1628s | 19 | 1705844 | 579082 | 652625 0 | 82504 | 0 1678.62/1679.02 c 1630s | 19 | 1706411 | 579582 | 652625 0 | 82504 | 0 1680.62/1681.09 c 1632s | 19 | 1706832 | 579982 | 652625 0 | 82504 | 0 1682.92/1683.37 c 1635s | 19 | 1707405 | 580482 | 652625 0 | 82504 | 0 1685.42/1685.81 c 1637s | 19 | 1707940 | 580982 | 652625 0 | 82504 | 0 1687.52/1687.96 c 1639s | 19 | 1708380 | 581382 | 652625 0 | 82504 | 0 1690.02/1690.49 c 1642s | 19 | 1708719 | 581682 | 652625 0 | 82504 | 0 1692.32/1692.75 c 1644s | 19 | 1709043 | 581982 | 652625 0 | 82504 | 0 1694.92/1695.35 c 1647s | 19 | 1709504 | 582382 | 652625 0 | 82504 | 0 1697.32/1697.76 c 1649s | 19 | 1709924 | 582782 | 652625 0 | 82504 | 0 1699.72/1700.10 c 1651s | 19 | 1710246 | 583082 | 652625 0 | 82504 | 0 1702.22/1702.67 c 1654s | 19 | 1710848 | 583582 | 652625 0 | 82504 | 0 1705.01/1705.41 c 1657s | 19 | 1711280 | 583982 | 652625 0 | 82504 | 0 1707.11/1707.51 c 1659s | 19 | 1711712 | 584382 | 652625 0 | 82504 | 0 1709.21/1709.67 c 1661s | 19 | 1712307 | 584882 | 652625 0 | 82504 | 0 1711.51/1711.96 c 1663s | 19 | 1712865 | 585382 | 652625 0 | 82504 | 0 1713.91/1714.38 c 1666s | 19 | 1713392 | 585882 | 652625 0 | 82504 | 0 1716.21/1716.69 c 1668s | 19 | 1713715 | 586182 | 652625 0 | 82504 | 0 1718.71/1719.14 c 1671s | 19 | 1714022 | 586482 | 652625 0 | 82504 | 0 1721.01/1721.47 c 1673s | 19 | 1714345 | 586782 | 652625 0 | 82504 | 0 1723.42/1723.83 c 1675s | 19 | 1714673 | 587082 | 652625 0 | 82504 | 0 1726.11/1726.59 c 1678s | 19 | 1714998 | 587382 | 652625 0 | 82504 | 0 1728.32/1728.73 c 1680s | 19 | 1715307 | 587682 | 652625 0 | 82504 | 0 1730.51/1730.98 c 1682s | 19 | 1715637 | 587982 | 652625 0 | 82504 | 0 1732.81/1733.29 c 1685s | 19 | 1715843 | 588182 | 652625 0 | 82504 | 0 1735.41/1735.83 c 1687s | 19 | 1716434 | 588682 | 652625 0 | 82504 | 0 1737.51/1737.92 c 1689s | 19 | 1716865 | 589082 | 652625 0 | 82504 | 0 1739.61/1740.01 c 1691s | 19 | 1717287 | 589482 | 652625 0 | 82504 | 0 1742.11/1742.54 c 1694s | 19 | 1717709 | 589882 | 652625 0 | 82504 | 0 1744.21/1744.67 c 1696s | 19 | 1718186 | 590282 | 652625 0 | 82504 | 0 1746.30/1746.75 c 1698s | 19 | 1718626 | 590682 | 652625 0 | 82504 | 0 1748.40/1748.80 c 1700s | 19 | 1719062 | 591082 | 652625 0 | 82504 | 0 1750.70/1751.12 c 1703s | 19 | 1719497 | 591482 | 652625 0 | 82504 | 0 1752.80/1753.28 c 1705s | 19 | 1719932 | 591882 | 652625 0 | 82504 | 0 1755.10/1755.53 c 1707s | 19 | 1720372 | 592282 | 652625 0 | 82504 | 0 1757.10/1757.55 c 1709s | 19 | 1720830 | 592682 | 652625 0 | 82504 | 0 1759.10/1759.55 c 1711s | 19 | 1721257 | 593082 | 652625 0 | 82504 | 0 1761.60/1762.01 c 1713s | 19 | 1721856 | 593582 | 652625 0 | 82504 | 0 1764.01/1764.43 c 1716s | 19 | 1722285 | 593982 | 652625 0 | 82504 | 0 1766.10/1766.51 c 1718s | 19 | 1722720 | 594382 | 652625 0 | 82504 | 0 1768.60/1769.00 c 1720s | 19 | 1723244 | 594882 | 652625 0 | 82504 | 0 1771.00/1771.45 c 1723s | 19 | 1723599 | 595182 | 652625 0 | 82504 | 0 1773.50/1773.91 c 1725s | 19 | 1723935 | 595482 | 652625 0 | 82504 | 0 1775.90/1776.35 c 1728s | 19 | 1724271 | 595782 | 652625 0 | 82504 | 0 1778.50/1778.93 c 1730s | 19 | 1724698 | 596182 | 652625 0 | 82504 | 0 1781.10/1781.59 c 1733s | 19 | 1725131 | 596582 | 652625 0 | 82504 | 0 1783.60/1784.02 c 1735s | 19 | 1725466 | 596882 | 652625 0 | 82504 | 0 1785.89/1786.34 c 1738s | 19 | 1725787 | 597182 | 652625 0 | 82504 | 0 1788.49/1788.90 c 1740s | 19 | 1726243 | 597582 | 652625 0 | 82504 | 0 1790.69/1791.19 c 1743s | 19 | 1726691 | 597982 | 652625 0 | 82504 | 0 1793.29/1793.70 c 1745s | 19 | 1727135 | 598382 | 652625 0 | 82504 | 0 1795.90/1796.36 c 1748s | 19 | 1727570 | 598782 | 652625 0 | 82504 | 0 1798.10/1798.51 c 1750s | 19 | 1727888 | 599082 | 652625 0 | 82504 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4101841-1466227808/watcher-4101841-1466227808 -o /tmp/evaluation-result-4101841-1466227808/solver-4101841-1466227808 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101841-1466227808.opb pid=17991 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.06 2.08 3/180 17994 /proc/meminfo: memFree=29400464/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=744892 CPUtime=0 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 2783 0 0 0 0 0 0 0 20 0 4 0 24827444 762769408 2633 33554432000 4194304 16246674 140735693340688 140735693340112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 186991 2642 441 2943 0 183885 0 [pid=17994/tid=17995] ppid=17991 vsize=762300 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 780595200 2702 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=766396 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 784789504 2715 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=771516 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24827444 790032384 2735 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100174 s] /proc/loadavg: 2.00 2.06 2.08 3/180 17994 /proc/meminfo: memFree=29400464/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=1301060 CPUtime=0.09 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 29844 0 0 0 6 3 0 0 20 0 4 0 24827444 1332285440 29632 33554432000 4194304 16246674 140735693340688 140735693340000 8056990 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 325265 29649 800 2943 0 322159 0 [pid=17994/tid=17995] ppid=17991 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 1332285440 29661 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 1332285440 29672 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 1332285440 29683 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.200534 s] /proc/loadavg: 2.00 2.06 2.08 3/180 17994 /proc/meminfo: memFree=29400464/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=1314372 CPUtime=0.19 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 46395 0 0 0 14 5 0 0 20 0 4 0 24827444 1345916928 46694 33554432000 4194304 16246674 140735693340688 140735693340000 7440344 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 328593 46694 800 2943 0 325487 0 [pid=17994/tid=17995] ppid=17991 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 1345916928 46694 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 1345916928 46694 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 1345916928 46694 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300507 s] /proc/loadavg: 2.00 2.06 2.08 3/180 17994 /proc/meminfo: memFree=29400464/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=1314372 CPUtime=0.29 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 52561 0 0 0 23 6 0 0 20 0 4 0 24827444 1345916928 52860 33554432000 4194304 16246674 140735693340688 140735693338496 4220507 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 328593 52860 800 2943 0 325487 0 [pid=17994/tid=17995] ppid=17991 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 1345916928 52860 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 1345916928 52860 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 1345916928 52860 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700419 s] /proc/loadavg: 2.00 2.06 2.08 3/180 17994 /proc/meminfo: memFree=29400464/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 70530 0 0 0 61 8 0 0 20 0 4 0 24827444 1345916928 70829 33554432000 4194304 16246674 140735693340688 140735693338496 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 328593 70829 802 2943 0 325487 0 [pid=17994/tid=17995] ppid=17991 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 1345916928 70829 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 1345916928 70829 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 1345916928 70829 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50043 s] /proc/loadavg: 2.00 2.06 2.08 3/184 17998 /proc/meminfo: memFree=29088988/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=1314372 CPUtime=1.49 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 82462 0 0 0 139 10 0 0 20 0 4 0 24827444 1345916928 82761 33554432000 4194304 16246674 140735693340688 140735693323680 7377736 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 328593 82761 803 2943 0 325487 0 [pid=17994/tid=17995] ppid=17991 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 1345916928 82761 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 1345916928 82761 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 1345916928 82761 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10042 s] /proc/loadavg: 2.00 2.06 2.08 3/184 17998 /proc/meminfo: memFree=28647500/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=1454660 CPUtime=3.09 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 262447 0 0 0 276 33 0 0 20 0 4 0 24827444 1489571840 262746 33554432000 4194304 16246674 140735693340688 140735693322560 4225056 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 363665 262746 835 2943 0 360559 0 [pid=17994/tid=17995] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 262746 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 262746 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 262746 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1454660 [startup+6.30043 s] /proc/loadavg: 2.00 2.05 2.08 3/184 17998 /proc/meminfo: memFree=28315112/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=1454660 CPUtime=6.29 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 271270 0 0 0 594 35 0 0 20 0 4 0 24827444 1489571840 271569 33554432000 4194304 16246674 140735693340688 140735693322560 5913224 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 363665 271569 835 2943 0 360559 0 [pid=17994/tid=17995] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 271569 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 271569 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 271569 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1454660 [startup+12.7004 s] /proc/loadavg: 2.00 2.05 2.08 3/184 17998 /proc/meminfo: memFree=28312044/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=1454660 CPUtime=12.69 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 272028 0 0 0 1234 35 0 0 20 0 4 0 24827444 1489571840 272327 33554432000 4194304 16246674 140735693340688 140735693322560 12652957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 363665 272327 837 2943 0 360559 0 [pid=17994/tid=17995] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 272327 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 272327 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 272327 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1454660 [startup+25.5005 s] /proc/loadavg: 2.00 2.05 2.08 3/184 17998 /proc/meminfo: memFree=28299672/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=1454660 CPUtime=25.49 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 272028 0 0 0 2514 35 0 0 20 0 4 0 24827444 1489571840 272327 33554432000 4194304 16246674 140735693340688 140735693322560 12449269 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 363665 272327 837 2943 0 360559 0 [pid=17994/tid=17995] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 272327 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 272327 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 272327 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1454660 [startup+51.1004 s] /proc/loadavg: 2.15 2.08 2.09 3/184 17998 /proc/meminfo: memFree=28292108/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=1454660 CPUtime=51.08 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 273858 0 0 0 5073 35 0 0 20 0 4 0 24827444 1489571840 274157 33554432000 4194304 16246674 140735693340688 140735693322560 5600856 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 363665 274157 895 2943 0 360559 0 [pid=17994/tid=17995] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 274157 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 274157 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 274157 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1454660 [startup+102.301 s] /proc/loadavg: 2.25 2.11 2.10 3/183 17999 /proc/meminfo: memFree=28291748/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=1454660 CPUtime=102.28 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 273860 0 0 0 10192 36 0 0 20 0 4 0 24827444 1489571840 274159 33554432000 4194304 16246674 140735693340688 140735693322560 5711576 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 363665 274159 897 2943 0 360559 0 [pid=17994/tid=17995] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 274159 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 274159 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=1454660 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 1489571840 274159 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1454660 ################ # More data... # ################ /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 2660831232 590865 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 2598468 [startup+1362.3 s] /proc/loadavg: 2.23 2.25 2.18 3/183 18080 /proc/meminfo: memFree=27049168/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=2598468 CPUtime=1362 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 590444 0 0 0 136116 84 0 0 20 0 4 0 24827444 2660831232 590865 33554432000 4194304 16246674 140735693340688 140735693322560 5677648 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 649617 590865 903 2943 0 646511 0 [pid=17994/tid=17995] ppid=17991 vsize=2598468 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 2660831232 590865 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=2598468 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 2660831232 590865 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=2598468 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 2660831232 590865 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 2598468 [startup+1422.3 s] /proc/loadavg: 2.25 2.26 2.19 3/183 18081 /proc/meminfo: memFree=26853348/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=2794052 CPUtime=1421.98 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 639358 0 0 0 142106 92 0 0 20 0 4 0 24827444 2861109248 639761 33554432000 4194304 16246674 140735693340688 140735693322560 5659576 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 698513 639761 903 2943 0 695407 0 [pid=17994/tid=17995] ppid=17991 vsize=2794052 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 2861109248 639761 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=2794052 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 2861109248 639761 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=2794052 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 2861109248 639761 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 2794052 [startup+1482.3 s] /proc/loadavg: 2.34 2.28 2.20 3/183 18082 /proc/meminfo: memFree=26853004/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=2794052 CPUtime=1481.95 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 639374 0 0 0 148103 92 0 0 20 0 4 0 24827444 2861109248 639761 33554432000 4194304 16246674 140735693340688 140735693322560 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 698513 639761 903 2943 0 695407 0 [pid=17994/tid=17995] ppid=17991 vsize=2794052 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 2861109248 639761 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=2794052 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 2861109248 639761 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=2794052 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 2861109248 639761 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 2794052 [startup+1542.31 s] /proc/loadavg: 2.32 2.28 2.19 3/183 18083 /proc/meminfo: memFree=26852616/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=2794052 CPUtime=1541.95 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 639380 0 0 0 154102 93 0 0 20 0 4 0 24827444 2861109248 639761 33554432000 4194304 16246674 140735693340688 140735693339864 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 698513 639761 903 2943 0 695407 0 [pid=17994/tid=17995] ppid=17991 vsize=2794052 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 2861109248 639761 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=2794052 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 2861109248 639761 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=2794052 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 2861109248 639761 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 2794052 [startup+1602.3 s] /proc/loadavg: 2.30 2.27 2.19 3/183 18084 /proc/meminfo: memFree=26730988/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=2915908 CPUtime=1601.93 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 669722 0 0 0 160096 97 0 0 20 0 4 0 24827444 2985889792 670103 33554432000 4194304 16246674 140735693340688 140735693322560 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 728977 670103 903 2943 0 725871 0 [pid=17994/tid=17995] ppid=17991 vsize=2915908 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 2985889792 670103 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=2915908 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 2985889792 670103 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=2915908 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 2985889792 670103 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 2915908 [startup+1662.3 s] /proc/loadavg: 2.35 2.29 2.20 4/183 18086 /proc/meminfo: memFree=26672376/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=2974276 CPUtime=1661.92 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 684284 0 0 0 166092 100 0 0 20 0 4 0 24827444 3045658624 684664 33554432000 4194304 16246674 140735693340688 140735693322560 5661428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 743569 684664 903 2943 0 740463 0 [pid=17994/tid=17995] ppid=17991 vsize=2974276 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 3045658624 684664 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=2974276 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 3045658624 684664 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=2974276 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 3045658624 684664 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 2974276 [startup+1722.3 s] /proc/loadavg: 2.33 2.30 2.21 3/183 18087 /proc/meminfo: memFree=26671716/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=2974276 CPUtime=1721.91 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 684437 0 0 0 172091 100 0 0 20 0 4 0 24827444 3045658624 684817 33554432000 4194304 16246674 140735693340688 140735693339864 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 743569 684817 903 2943 0 740463 0 [pid=17994/tid=17995] ppid=17991 vsize=2974276 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 3045658624 684817 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=2974276 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 3045658624 684817 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=2974276 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 3045658624 684817 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 2974276 [startup+1782.3 s] /proc/loadavg: 2.23 2.27 2.20 4/183 18088 /proc/meminfo: memFree=26640092/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=3006020 CPUtime=1781.9 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 692228 0 0 0 178088 102 0 0 20 0 4 0 24827444 3078164480 692600 33554432000 4194304 16246674 140735693340688 140735693322560 5823611 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 751505 692600 903 2943 0 748399 0 [pid=17994/tid=17995] ppid=17991 vsize=3006020 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 3078164480 692600 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=3006020 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 3078164480 692600 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=3006020 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 3078164480 692600 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 3006020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.26 2.28 2.20 3/184 18091 /proc/meminfo: memFree=26639668/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=3006020 CPUtime=1800.09 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 692228 0 0 0 179907 102 0 0 20 0 4 0 24827444 3078164480 692600 33554432000 4194304 16246674 140735693340688 140735693339864 5827980 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 751505 692600 903 2943 0 748399 0 [pid=17994/tid=17995] ppid=17991 vsize=3006020 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 3078164480 692600 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=3006020 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 3078164480 692600 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=3006020 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 3078164480 692600 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 3006020 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 17994 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.26 2.28 2.20 3/184 18091 /proc/meminfo: memFree=26639668/32872528 swapFree=1191052/1305516 [pid=17994] ppid=17991 vsize=3006020 CPUtime=1800.09 cores=1,3,5,7 /proc/17994/stat : 17994 (toysat) R 17991 17994 14522 0 -1 4202496 692228 0 0 0 179907 102 0 0 20 0 4 0 24827444 3078164480 692600 33554432000 4194304 16246674 140735693340688 140735693339864 5827980 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17994/statm: 751505 692600 903 2943 0 748399 0 [pid=17994/tid=17995] ppid=17991 vsize=3006020 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17995/stat : 17995 (toysat) S 17991 17994 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24827444 3078164480 692600 33554432000 4194304 16246674 140735693340688 139723143097584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17994/tid=17996] ppid=17991 vsize=3006020 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17996/stat : 17996 (toysat) S 17991 17994 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24827444 3078164480 692600 33554432000 4194304 16246674 140735693340688 139723132607728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17994/tid=17997] ppid=17991 vsize=3006020 CPUtime=0 cores=1,3,5,7 /proc/17994/task/17997/stat : 17997 (toysat) S 17991 17994 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24827444 3078164480 692600 33554432000 4194304 16246674 140735693340688 139723122134192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 3006020 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.57 CPU time (s): 1800.17 CPU user time (s): 1799.08 CPU system time (s): 1.08783 CPU usage (%): 99.9778 Max. virtual memory (cumulated for all children) (KiB): 3006020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.08 system time used= 1.08783 maximum resident set size= 2770400 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 692228 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= 228 involuntary context switches= 1830 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.564 second user time and 9.65453 second system time The end
Begin job on node127 at 2016-06-18 07:30:08 IDJOB=4101841 IDBENCH=1801 IDSOLVER=2542 FILE ID=node127/4101841-1466227808 RUNJOBID= node127-1466206072-14539 PBS_JOBID= 19918150 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101841-1466227808/watcher-4101841-1466227808 -o /tmp/evaluation-result-4101841-1466227808/solver-4101841-1466227808 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101841-1466227808.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 11ee19baa608345f86d8483767b8a181 RANDOM SEED=1695515421 node127.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.769 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.53 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.769 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.769 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.56 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.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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: 29401364 kB Buffers: 121616 kB Cached: 147656 kB SwapCached: 528 kB Active: 1266920 kB Inactive: 160104 kB Active(anon): 1159740 kB Inactive(anon): 864 kB Active(file): 107180 kB Inactive(file): 159240 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100260 kB Dirty: 26068 kB Writeback: 0 kB AnonPages: 2463052 kB Mapped: 10940 kB Shmem: 0 kB Slab: 603888 kB SReclaimable: 47984 kB SUnreclaim: 555904 kB KernelStack: 1504 kB PageTables: 8984 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2606156 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1265664 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= 71696 MiB End job on node127 at 2016-06-18 08:00:09