| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.51 |
| Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K88.opb |
| MD5SUM | 1622186c78d9255ec55518143c1e5a9e |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5984 |
| Total number of constraints | 6162 |
| Number of constraints which are clauses | 6074 |
| Number of constraints which are cardinality constraints (but not clauses) | 88 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 88 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 89 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-07T08:45:23+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-4078939-1465281923.opb"] 0.00/0.01 c use --random-gen="490507558 1329371810 1698983496 470873549 3881379823 2333286613 4217183247 2303694059 3445335919 2844873658 4033701851 3130843165 3117377976 302063187 1156881631 1565421737 2805220874 838460818 678307287 1371057082 2299317860 1740983384 4116761534 128857586 142161045 664597374 4144935102 2616737571 1187395013 3874959264 2575269064 2242240923 1954261947 1554302053 364527632 2779503716 748093347 1083934413 2822127046 2704337063 1916354631 2212264404 163963891 2928174664 515899338 1282899940 3836374784 1115862555 2210976182 189994510 909835889 3211292165 3720548287 2742438040 882261423 1507369395 1863855304 2616939694 2260016335 3580317045 1800305249 1693991947 2875317943 2654876710 2173873250 1942385255 1368449461 3702844045 2179778185 1548116030 2629107564 15014442 1217282755 3339244126 2896614904 658628043 3966906931 744590680 3118174545 850581196 2193440675 4147129159 518856982 430073665 1523748099 3910273966 3923859460 2754638882 3756958794 693868466 811944999 2359700835 555180070 1232757102 1460485818 1803783720 3146175842 3119638526 1548296577 4286712756 3060324454 1826460450 297917745 1607390209 1373460322 3359508519 3754950348 2794869664 131793869 4178545529 296787996 1570629868 3213135602 511076020 22394439 38749046 1893682942 960210787 122755605 3263150616 3555989421 4136070423 2123707710 941520871 3947890762 1378606102 3556401083 3194260844 119559951 3927611402 1875968889 160094601 1738992376 2289442764 579581654 3302108768 3112687370 2661462877 1518181069 2034131254 1623984496 3412439593 2424827809 2843774239 2028049358 2077356332 162735769 716221753 1200036706 135470311 2056336558 3747432532 2735748875 2335240693 717773385 639978613 2699461341 3889689198 3885893331 2314418268 2344041539 101328152 2044783676 4279264691 3885427403 768335964 3234345023 325370957 1058605805 1853524439 2842248785 2848922795 366926179 2307300442 1402222966 2389218818 1900903501 1927126331 1300571060 3034552802 4104244211 2401110188 3871765298 1171968394 4037044548 2872703160 1834928241 2694015457 3227965435 4237993109 791064747 3249814704 3288278882 3085754666 845327003 2995526623 2945061510 1228954158 3362494017 812892748 93569693 4190025670 3665745235 2914225905 385933232 1768650861 181651360 2963172716 2120087156 2060131338 392705922 3895568103 2902268114 545590990 517897596 1573560178 4129255013 1552289993 979265486 451216376 1146996679 3132598626 1678245713 2103493975 2346629595 2476888452 489531239 1079994071 4246122048 3705798337 2491435106 1243752442 3040241665 3975668043 1342256239 2730309710 3928610965 1538793162 3708679552 690263039 3282478488 1299622972 1665177805 2019669266 2817854540 3115362647 1888456902 3562513444 188216799 2861815912 2248708331 2821642837 1810988236 1294596701 684016742 2943810126 255 362436" option to reproduce the execution 0.09/0.10 c #vars 5984 0.09/0.10 c #constraints 6162 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 4048 0 | 362 | 0 0.29/0.34 c 0.1s | 1 | 2991 | 100 | 4048 0 | 363 | 304 0.49/0.59 c 0.4s | 2 | 7219 | 250 | 4453 0 | 365 | 306 0.78/0.85 c 0.6s | 3 | 9220 | 475 | 4899 0 | 366 | 307 1.29/1.34 c 1.1s | 4 | 12360 | 813 | 5389 0 | 366 | 307 1.99/2.02 c 1.8s | 5 | 20336 | 1320 | 5928 0 | 366 | 307 2.79/2.85 c 2.6s | 6 | 33252 | 2081 | 7174 0 | 366 | 307 4.19/4.24 c 4.0s | 7 | 43617 | 3223 | 7892 0 | 366 | 307 6.19/6.29 c 6.1s | 7 | 59140 | 4723 | 7892 0 | 367 | 308 6.59/6.61 c 6.4s | 8 | 61590 | 4936 | 8682 0 | 367 | 308 8.58/8.64 c 8.4s | 8 | 81978 | 6436 | 8682 0 | 373 | 314 10.09/10.12 c 9.9s | 9 | 96520 | 7506 | 9551 0 | 374 | 315 12.19/12.29 c 12.1s | 9 | 115032 | 8806 | 9551 0 | 374 | 315 14.40/14.45 c 14.2s | 9 | 116912 | 9606 | 9551 0 | 374 | 315 16.39/16.46 c 16.2s | 9 | 117705 | 10006 | 9551 0 | 374 | 315 18.69/18.79 c 18.6s | 9 | 119590 | 10706 | 9551 0 | 374 | 315 21.29/21.30 c 21.1s | 9 | 120470 | 11106 | 9551 0 | 374 | 315 22.89/22.98 c 22.8s | 10 | 121146 | 11361 | 10507 0 | 374 | 315 25.09/25.10 c 24.9s | 10 | 136303 | 12661 | 10507 1 | 377 | 318 27.09/27.19 c 27.0s | 10 | 153082 | 14161 | 10507 1 | 378 | 319 29.19/29.22 c 29.0s | 10 | 164155 | 15061 | 10507 1 | 378 | 319 31.29/31.36 c 31.1s | 10 | 171227 | 15861 | 10507 1 | 378 | 319 33.29/33.33 c 33.1s | 11 | 190347 | 17144 | 11558 1 | 379 | 320 35.29/35.40 c 35.2s | 11 | 205288 | 18144 | 11558 2 | 380 | 321 37.39/37.50 c 37.3s | 11 | 224777 | 19544 | 11558 2 | 382 | 323 39.49/39.53 c 39.3s | 11 | 228897 | 20744 | 11558 2 | 382 | 323 41.59/41.60 c 41.4s | 11 | 234680 | 21644 | 11558 2 | 382 | 323 43.69/43.73 c 43.5s | 11 | 262232 | 23344 | 11558 2 | 382 | 323 45.79/45.83 c 45.6s | 11 | 273273 | 24344 | 11558 3 | 384 | 325 48.49/48.50 c 48.3s | 11 | 277096 | 25044 | 11558 3 | 384 | 325 51.18/51.24 c 51.0s | 11 | 277719 | 25344 | 11558 3 | 384 | 325 53.38/53.40 c 53.2s | 11 | 279013 | 25744 | 12714 3 | 384 | 325 53.48/53.53 c 53.3s | 12 | 279198 | 25819 | 12714 3 | 384 | 325 55.48/55.56 c 55.3s | 12 | 293982 | 27319 | 12714 3 | 385 | 326 57.58/57.64 c 57.4s | 12 | 309335 | 28519 | 12714 3 | 385 | 326 59.59/59.69 c 59.5s | 12 | 320858 | 29619 | 12714 3 | 386 | 327 61.69/61.71 c 61.5s | 12 | 336328 | 30919 | 12714 3 | 386 | 327 64.08/64.10 c 63.9s | 12 | 349345 | 32119 | 12714 4 | 386 | 327 66.09/66.16 c 65.9s | 12 | 363083 | 33119 | 12714 4 | 387 | 328 68.48/68.51 c 68.3s | 12 | 366145 | 33819 | 12714 4 | 387 | 328 70.68/70.76 c 70.5s | 12 | 368277 | 34219 | 12714 4 | 387 | 328 74.08/74.16 c 73.9s | 12 | 369975 | 34719 | 12714 4 | 387 | 328 76.57/76.64 c 76.4s | 12 | 370462 | 34919 | 12714 4 | 387 | 328 79.47/79.55 c 79.3s | 12 | 371909 | 35319 | 12714 4 | 387 | 328 81.87/81.91 c 81.7s | 12 | 372353 | 35519 | 12714 4 | 387 | 328 84.67/84.80 c 84.6s | 12 | 373208 | 35819 | 12714 4 | 387 | 328 86.77/86.87 c 86.7s | 12 | 374207 | 36119 | 12714 4 | 387 | 328 89.57/89.62 c 89.4s | 12 | 374996 | 36419 | 12714 4 | 387 | 328 92.27/92.34 c 92.1s | 12 | 375431 | 36619 | 12714 4 | 387 | 328 94.68/94.79 c 94.6s | 12 | 377011 | 37019 | 12714 4 | 387 | 328 97.88/97.93 c 97.7s | 12 | 377548 | 37219 | 12714 4 | 387 | 328 100.38/100.44 c 100s | 12 | 378119 | 37519 | 12714 4 | 387 | 328 102.58/102.61 c 102s | 12 | 378499 | 37719 | 12714 4 | 387 | 328 104.78/104.89 c 104s | 12 | 379962 | 38119 | 12714 4 | 387 | 328 106.97/107.05 c 106s | 12 | 386930 | 38719 | 13986 5 | 388 | 329 107.27/107.32 c 107s | 13 | 388055 | 38832 | 13986 5 | 388 | 329 109.27/109.36 c 109s | 13 | 409452 | 40432 | 13986 5 | 388 | 329 111.37/111.49 c 111s | 13 | 413308 | 41332 | 13986 5 | 388 | 329 113.67/113.77 c 113s | 13 | 428703 | 42332 | 13986 5 | 389 | 330 115.68/115.77 c 115s | 13 | 443949 | 43732 | 13986 5 | 389 | 330 117.78/117.84 c 117s | 13 | 459231 | 45032 | 13986 5 | 389 | 330 119.87/120.00 c 119s | 13 | 472400 | 46132 | 13986 5 | 389 | 330 121.97/122.09 c 121s | 13 | 488635 | 47332 | 13986 6 | 389 | 330 124.07/124.10 c 123s | 13 | 510222 | 48732 | 13986 6 | 389 | 330 126.07/126.15 c 125s | 13 | 527330 | 49932 | 13986 6 | 390 | 331 128.17/128.21 c 127s | 13 | 546547 | 51432 | 13986 6 | 390 | 331 130.27/130.32 c 130s | 13 | 562493 | 52732 | 13986 6 | 390 | 331 132.37/132.42 c 132s | 13 | 571852 | 53932 | 13986 6 | 390 | 331 134.37/134.49 c 134s | 13 | 574985 | 54632 | 13986 6 | 390 | 331 136.47/136.57 c 136s | 13 | 577286 | 55432 | 13986 7 | 390 | 331 138.57/138.64 c 138s | 13 | 585321 | 56132 | 13986 7 | 390 | 331 140.67/140.70 c 140s | 13 | 597195 | 57532 | 13986 7 | 391 | 332 142.17/142.28 c 142s | 14 | 604910 | 58352 | 15385 7 | 392 | 333 144.37/144.40 c 144s | 14 | 617070 | 59852 | 15385 7 | 392 | 333 146.56/146.61 c 146s | 14 | 621075 | 61052 | 15385 7 | 392 | 333 148.86/148.93 c 148s | 14 | 624088 | 61952 | 15385 7 | 392 | 333 151.06/151.10 c 150s | 14 | 626750 | 62752 | 15385 7 | 392 | 333 153.36/153.47 c 153s | 14 | 628738 | 63552 | 15385 7 | 392 | 333 155.57/155.66 c 155s | 14 | 630567 | 64052 | 15385 7 | 392 | 333 157.67/157.72 c 157s | 14 | 632494 | 64752 | 15385 7 | 392 | 333 159.68/159.75 c 159s | 14 | 634427 | 65452 | 15385 7 | 392 | 333 161.77/161.81 c 161s | 14 | 635972 | 65952 | 15385 8 | 392 | 333 163.98/164.07 c 163s | 14 | 638368 | 66652 | 15385 8 | 392 | 333 166.07/166.17 c 165s | 14 | 641367 | 67452 | 15385 8 | 392 | 333 168.17/168.25 c 168s | 14 | 643105 | 68052 | 15385 8 | 392 | 333 170.77/170.84 c 170s | 14 | 644401 | 68652 | 15385 8 | 392 | 333 172.87/172.99 c 172s | 14 | 650622 | 69552 | 15385 8 | 392 | 333 175.16/175.23 c 175s | 14 | 661273 | 70652 | 15385 8 | 393 | 334 177.17/177.27 c 177s | 14 | 672284 | 71852 | 15385 8 | 393 | 334 179.26/179.34 c 179s | 14 | 680085 | 72952 | 15385 8 | 393 | 334 181.46/181.55 c 181s | 14 | 690331 | 73952 | 15385 9 | 393 | 334 183.56/183.67 c 183s | 14 | 705535 | 75252 | 15385 9 | 393 | 334 185.66/185.74 c 185s | 14 | 707822 | 76052 | 15385 9 | 393 | 334 187.66/187.74 c 187s | 14 | 709308 | 76652 | 15385 9 | 393 | 334 189.86/189.98 c 189s | 14 | 712502 | 77352 | 15385 9 | 393 | 334 191.96/192.08 c 191s | 14 | 721964 | 78352 | 15385 9 | 393 | 334 194.86/194.92 c 194s | 14 | 725393 | 79152 | 15385 9 | 393 | 334 196.86/196.97 c 196s | 14 | 726852 | 79452 | 15385 9 | 393 | 334 199.17/199.27 c 199s | 14 | 729652 | 80252 | 15385 9 | 393 | 334 201.47/201.52 c 201s | 14 | 731500 | 80752 | 15385 9 | 393 | 334 203.67/203.73 c 203s | 14 | 732932 | 81152 | 15385 9 | 393 | 334 205.76/205.82 c 205s | 14 | 734420 | 81552 | 15385 9 | 393 | 334 208.15/208.27 c 208s | 14 | 735612 | 81852 | 15385 9 | 393 | 334 210.56/210.68 c 210s | 14 | 736733 | 82152 | 15385 9 | 393 | 334 213.76/213.85 c 213s | 14 | 737513 | 82452 | 15385 9 | 393 | 334 215.96/216.07 c 215s | 14 | 738383 | 82652 | 15385 9 | 393 | 334 218.16/218.26 c 218s | 14 | 739040 | 82852 | 15385 9 | 393 | 334 221.26/221.35 c 221s | 14 | 739593 | 83052 | 15385 9 | 393 | 334 224.05/224.17 c 223s | 14 | 740240 | 83252 | 15385 9 | 393 | 334 227.45/227.57 c 227s | 14 | 741088 | 83452 | 15385 9 | 393 | 334 231.26/231.38 c 231s | 14 | 741478 | 83652 | 15385 9 | 393 | 334 233.36/233.46 c 233s | 14 | 741798 | 83752 | 15385 9 | 393 | 334 235.65/235.71 c 235s | 14 | 742460 | 83952 | 15385 9 | 393 | 334 238.45/238.50 c 238s | 14 | 743781 | 84252 | 15385 9 | 393 | 334 240.65/240.75 c 240s | 14 | 744600 | 84452 | 15385 9 | 393 | 334 243.26/243.34 c 243s | 14 | 746293 | 84752 | 15385 9 | 393 | 334 246.85/246.90 c 246s | 14 | 746707 | 84952 | 15385 9 | 393 | 334 249.16/249.20 c 248s | 14 | 746943 | 85052 | 15385 10 | 393 | 334 251.15/251.26 c 251s | 14 | 747139 | 85152 | 15385 10 | 393 | 334 253.16/253.26 c 253s | 14 | 748676 | 85452 | 15385 10 | 393 | 334 255.45/255.58 c 255s | 14 | 750417 | 85952 | 15385 10 | 393 | 334 258.45/258.51 c 258s | 14 | 751990 | 86352 | 15385 10 | 393 | 334 260.45/260.51 c 260s | 14 | 752193 | 86452 | 15385 10 | 393 | 334 262.65/262.72 c 262s | 14 | 752309 | 86552 | 15385 10 | 393 | 334 265.95/266.08 c 265s | 14 | 753059 | 86852 | 15385 10 | 393 | 334 268.75/268.89 c 268s | 14 | 753862 | 87152 | 16924 10 | 393 | 334 271.05/271.19 c 270s | 14 | 754744 | 87452 | 16924 10 | 393 | 334 273.34/273.48 c 273s | 15 | 755082 | 87632 | 16924 10 | 393 | 334 275.44/275.58 c 275s | 15 | 773490 | 89032 | 16924 10 | 393 | 334 277.54/277.68 c 277s | 15 | 794236 | 90832 | 16924 10 | 393 | 334 279.94/280.02 c 279s | 15 | 808987 | 92332 | 16924 10 | 393 | 334 281.94/282.08 c 281s | 15 | 820575 | 93732 | 16924 10 | 393 | 334 284.04/284.18 c 283s | 15 | 827374 | 94632 | 16924 11 | 393 | 334 286.24/286.37 c 286s | 15 | 830928 | 95532 | 16924 11 | 393 | 334 288.35/288.46 c 288s | 15 | 844763 | 97032 | 16924 11 | 393 | 334 290.45/290.54 c 290s | 15 | 857022 | 98432 | 16924 11 | 393 | 334 292.65/292.71 c 292s | 15 | 862115 | 99432 | 16924 11 | 393 | 334 294.64/294.76 c 294s | 15 | 875492 | 100632 | 16924 11 | 393 | 334 297.05/297.14 c 296s | 15 | 879530 | 101832 | 16924 11 | 393 | 334 299.25/299.32 c 299s | 15 | 884519 | 102732 | 16924 11 | 393 | 334 301.24/301.37 c 301s | 15 | 896243 | 103732 | 16924 12 | 394 | 335 303.34/303.47 c 303s | 15 | 909231 | 105032 | 16924 12 | 394 | 335 305.44/305.53 c 305s | 15 | 929027 | 106532 | 16924 12 | 394 | 335 307.44/307.53 c 307s | 15 | 942422 | 108032 | 16924 12 | 394 | 335 309.64/309.71 c 309s | 15 | 952755 | 109432 | 16924 12 | 394 | 335 311.64/311.76 c 311s | 15 | 970407 | 110732 | 16924 12 | 394 | 335 313.74/313.83 c 313s | 15 | 985167 | 111932 | 16924 13 | 394 | 335 315.74/315.88 c 315s | 15 | 1000109 | 113332 | 16924 13 | 394 | 335 317.84/317.92 c 317s | 15 | 1016479 | 114732 | 16924 13 | 394 | 335 320.14/320.25 c 320s | 15 | 1026328 | 116132 | 16924 13 | 394 | 335 322.24/322.30 c 322s | 15 | 1038442 | 117332 | 16924 13 | 394 | 335 324.44/324.51 c 324s | 15 | 1040531 | 118032 | 16924 13 | 394 | 335 326.54/326.69 c 326s | 15 | 1041286 | 118432 | 16924 13 | 394 | 335 328.64/328.77 c 328s | 15 | 1051404 | 119432 | 16924 13 | 394 | 335 330.74/330.83 c 330s | 15 | 1060064 | 120632 | 16924 13 | 394 | 335 332.94/333.03 c 332s | 15 | 1064638 | 121332 | 16924 13 | 394 | 335 335.04/335.14 c 334s | 15 | 1067974 | 122232 | 16924 13 | 394 | 335 338.34/338.44 c 338s | 15 | 1069177 | 122732 | 16924 14 | 394 | 335 340.44/340.52 c 340s | 15 | 1078140 | 123832 | 16924 14 | 394 | 335 342.64/342.78 c 342s | 15 | 1084873 | 124832 | 16924 14 | 394 | 335 344.94/345.01 c 344s | 15 | 1087736 | 125732 | 16924 14 | 394 | 335 346.94/347.05 c 346s | 15 | 1092940 | 126732 | 16924 14 | 394 | 335 349.14/349.20 c 348s | 15 | 1096800 | 127532 | 16924 14 | 394 | 335 351.14/351.28 c 351s | 15 | 1102726 | 128432 | 16924 14 | 394 | 335 353.25/353.37 c 353s | 15 | 1108617 | 129232 | 16924 14 | 394 | 335 355.45/355.53 c 355s | 15 | 1110465 | 129732 | 16924 14 | 394 | 335 357.55/357.60 c 357s | 15 | 1111443 | 130132 | 16924 14 | 394 | 335 360.84/360.95 c 360s | 15 | 1111995 | 130432 | 16924 14 | 394 | 335 364.74/364.89 c 364s | 15 | 1112424 | 130632 | 16924 14 | 394 | 335 366.84/366.90 c 366s | 15 | 1112541 | 130732 | 18617 14 | 394 | 335 369.14/369.22 c 368s | 15 | 1113323 | 130932 | 18617 14 | 394 | 335 371.54/371.60 c 371s | 15 | 1114015 | 131232 | 18617 14 | 394 | 335 374.34/374.44 c 374s | 15 | 1115368 | 131532 | 18617 14 | 394 | 335 374.44/374.55 c 374s | 16 | 1115379 | 131552 | 18617 14 | 394 | 335 376.53/376.63 c 376s | 16 | 1128937 | 132852 | 18617 15 | 394 | 335 378.63/378.70 c 378s | 16 | 1143139 | 134352 | 18617 15 | 394 | 335 380.64/380.76 c 380s | 16 | 1159951 | 135952 | 18617 15 | 394 | 335 382.94/383.02 c 382s | 16 | 1166507 | 137452 | 18617 15 | 394 | 335 385.04/385.12 c 384s | 16 | 1174306 | 138252 | 18617 15 | 394 | 335 387.13/387.26 c 387s | 16 | 1181334 | 139352 | 18617 15 | 394 | 335 389.33/389.49 c 389s | 16 | 1184171 | 139952 | 18617 15 | 394 | 335 391.53/391.68 c 391s | 16 | 1194293 | 141252 | 18617 15 | 394 | 335 393.63/393.77 c 393s | 16 | 1196687 | 141752 | 18617 15 | 394 | 335 395.73/395.87 c 395s | 16 | 1202488 | 142752 | 18617 15 | 394 | 335 397.93/398.06 c 397s | 16 | 1208114 | 143852 | 18617 15 | 394 | 335 400.23/400.30 c 400s | 16 | 1211766 | 144352 | 18617 15 | 394 | 335 402.43/402.56 c 402s | 16 | 1213277 | 144752 | 18617 15 | 394 | 335 404.63/404.75 c 404s | 16 | 1214032 | 145052 | 18617 15 | 394 | 335 407.53/407.60 c 407s | 16 | 1214955 | 145352 | 18617 16 | 394 | 335 410.13/410.26 c 410s | 16 | 1217945 | 145952 | 18617 16 | 394 | 335 412.13/412.27 c 412s | 16 | 1220121 | 146352 | 18617 16 | 394 | 335 414.23/414.31 c 414s | 16 | 1221832 | 146752 | 18617 16 | 394 | 335 416.93/417.06 c 416s | 16 | 1222865 | 147052 | 18617 16 | 394 | 335 419.23/419.35 c 419s | 16 | 1223585 | 147252 | 18617 16 | 394 | 335 421.43/421.56 c 421s | 16 | 1224647 | 147452 | 18617 16 | 394 | 335 424.42/424.55 c 424s | 16 | 1225245 | 147652 | 18617 16 | 394 | 335 427.62/427.75 c 427s | 16 | 1225629 | 147852 | 18617 16 | 394 | 335 430.32/430.43 c 430s | 16 | 1225997 | 148052 | 18617 16 | 394 | 335 432.62/432.73 c 432s | 16 | 1226471 | 148252 | 18617 16 | 394 | 335 435.32/435.47 c 435s | 16 | 1227092 | 148552 | 18617 16 | 394 | 335 437.32/437.47 c 437s | 16 | 1227522 | 148752 | 18617 16 | 394 | 335 439.52/439.69 c 439s | 16 | 1227983 | 148952 | 18617 16 | 394 | 335 441.92/442.09 c 441s | 16 | 1229196 | 149252 | 18617 16 | 394 | 335 444.02/444.19 c 443s | 16 | 1229767 | 149452 | 18617 16 | 394 | 335 446.42/446.58 c 446s | 16 | 1230724 | 149752 | 18617 16 | 394 | 335 449.12/449.29 c 449s | 16 | 1231311 | 149952 | 18617 16 | 394 | 335 451.92/452.06 c 451s | 16 | 1232258 | 150252 | 18617 16 | 394 | 335 454.62/454.75 c 454s | 16 | 1232777 | 150452 | 18617 16 | 394 | 335 456.82/456.93 c 456s | 16 | 1233271 | 150652 | 18617 16 | 394 | 335 459.61/459.79 c 459s | 16 | 1233703 | 150852 | 18617 16 | 394 | 335 461.71/461.84 c 461s | 16 | 1234147 | 151052 | 18617 16 | 394 | 335 464.11/464.21 c 463s | 16 | 1235175 | 151352 | 18617 16 | 394 | 335 466.81/466.98 c 466s | 16 | 1235779 | 151552 | 18617 16 | 394 | 335 469.12/469.24 c 469s | 16 | 1236512 | 151752 | 18617 16 | 394 | 335 472.52/472.69 c 472s | 16 | 1237039 | 151952 | 18617 16 | 394 | 335 475.02/475.14 c 474s | 16 | 1237639 | 152152 | 18617 16 | 394 | 335 477.02/477.15 c 476s | 16 | 1238183 | 152352 | 18617 16 | 394 | 335 479.42/479.52 c 479s | 16 | 1239427 | 152652 | 18617 16 | 394 | 335 481.72/481.88 c 481s | 16 | 1239973 | 152852 | 18617 16 | 394 | 335 484.52/484.66 c 484s | 16 | 1240660 | 153052 | 18617 16 | 394 | 335 487.02/487.17 c 486s | 16 | 1241390 | 153252 | 18617 16 | 394 | 335 490.12/490.24 c 490s | 16 | 1242217 | 153552 | 18617 16 | 394 | 335 492.62/492.78 c 492s | 16 | 1242668 | 153752 | 18617 16 | 394 | 335 495.02/495.12 c 494s | 16 | 1243216 | 153952 | 18617 16 | 394 | 335 497.12/497.30 c 497s | 16 | 1243651 | 154152 | 18617 16 | 394 | 335 499.42/499.53 c 499s | 16 | 1244123 | 154352 | 18617 16 | 394 | 335 501.92/502.00 c 501s | 16 | 1245003 | 154552 | 18617 16 | 394 | 335 504.02/504.12 c 503s | 16 | 1245627 | 154752 | 18617 16 | 394 | 335 506.22/506.37 c 506s | 16 | 1247315 | 155052 | 18617 16 | 394 | 335 509.01/509.18 c 508s | 16 | 1247846 | 155252 | 18617 16 | 394 | 335 511.52/511.67 c 511s | 16 | 1248488 | 155452 | 18617 16 | 394 | 335 513.72/513.90 c 513s | 16 | 1249296 | 155652 | 18617 16 | 394 | 335 516.41/516.57 c 516s | 16 | 1250312 | 155952 | 18617 16 | 394 | 335 518.51/518.68 c 518s | 16 | 1251219 | 156152 | 18617 17 | 394 | 335 521.52/521.62 c 521s | 16 | 1252150 | 156452 | 18617 17 | 394 | 335 523.91/524.05 c 523s | 16 | 1252738 | 156652 | 18617 17 | 394 | 335 526.91/527.07 c 526s | 16 | 1253653 | 156952 | 18617 17 | 394 | 335 528.91/529.08 c 528s | 16 | 1254745 | 157252 | 18617 17 | 394 | 335 531.51/531.66 c 531s | 16 | 1256034 | 157652 | 18617 17 | 394 | 335 533.71/533.87 c 533s | 16 | 1256840 | 157952 | 18617 17 | 394 | 335 536.11/536.25 c 536s | 16 | 1257795 | 158252 | 18617 17 | 394 | 335 538.80/538.93 c 538s | 16 | 1258390 | 158552 | 18617 17 | 394 | 335 541.21/541.37 c 541s | 16 | 1258877 | 158752 | 18617 17 | 394 | 335 543.60/543.70 c 543s | 16 | 1260019 | 159052 | 18617 17 | 394 | 335 545.80/545.91 c 545s | 16 | 1261005 | 159352 | 18617 17 | 394 | 335 548.41/548.53 c 548s | 16 | 1261930 | 159652 | 18617 17 | 394 | 335 550.61/550.73 c 550s | 16 | 1262484 | 159852 | 18617 17 | 394 | 335 553.01/553.12 c 552s | 16 | 1263062 | 160052 | 18617 17 | 394 | 335 555.81/555.99 c 555s | 16 | 1263468 | 160252 | 18617 17 | 394 | 335 558.11/558.27 c 558s | 16 | 1263853 | 160452 | 18617 17 | 394 | 335 560.31/560.48 c 560s | 16 | 1264473 | 160652 | 18617 17 | 394 | 335 562.60/562.79 c 562s | 16 | 1265011 | 160852 | 18617 17 | 394 | 335 565.81/565.99 c 565s | 16 | 1265549 | 161152 | 18617 17 | 394 | 335 568.10/568.21 c 567s | 16 | 1266462 | 161452 | 18617 17 | 394 | 335 570.30/570.42 c 570s | 16 | 1268057 | 161852 | 18617 17 | 394 | 335 572.70/572.84 c 572s | 16 | 1268445 | 162052 | 18617 17 | 394 | 335 576.30/576.41 c 576s | 16 | 1269051 | 162352 | 18617 17 | 394 | 335 579.00/579.13 c 578s | 16 | 1270648 | 162652 | 18617 17 | 394 | 335 581.50/581.64 c 581s | 16 | 1274273 | 163152 | 18617 17 | 394 | 335 583.70/583.81 c 583s | 16 | 1275003 | 163352 | 18617 17 | 394 | 335 585.90/586.08 c 585s | 16 | 1276826 | 163752 | 18617 17 | 394 | 335 588.20/588.31 c 588s | 16 | 1279517 | 164352 | 18617 17 | 394 | 335 590.50/590.68 c 590s | 16 | 1281910 | 164952 | 18617 17 | 394 | 335 593.10/593.25 c 593s | 16 | 1284857 | 165352 | 18617 17 | 394 | 335 595.80/595.98 c 595s | 16 | 1286939 | 165752 | 18617 17 | 394 | 335 598.70/598.87 c 598s | 16 | 1288744 | 166152 | 18617 17 | 394 | 335 600.90/601.08 c 600s | 16 | 1290462 | 166452 | 18617 17 | 394 | 335 603.29/603.48 c 603s | 16 | 1292062 | 166752 | 18617 18 | 394 | 335 605.99/606.18 c 605s | 16 | 1293338 | 167052 | 18617 18 | 394 | 335 608.79/608.95 c 608s | 16 | 1293797 | 167252 | 18617 18 | 394 | 335 610.79/610.98 c 610s | 16 | 1295034 | 167452 | 18617 18 | 394 | 335 613.59/613.72 c 613s | 16 | 1296784 | 167752 | 18617 18 | 394 | 335 615.80/615.99 c 615s | 16 | 1297326 | 167952 | 18617 18 | 394 | 335 618.21/618.31 c 618s | 16 | 1298906 | 168352 | 18617 18 | 394 | 335 620.20/620.37 c 620s | 16 | 1299476 | 168552 | 18617 18 | 394 | 335 622.20/622.38 c 622s | 16 | 1300520 | 168852 | 18617 18 | 394 | 335 624.30/624.45 c 624s | 16 | 1301388 | 169152 | 18617 18 | 394 | 335 626.60/626.75 c 626s | 16 | 1301827 | 169352 | 18617 18 | 394 | 335 629.09/629.29 c 629s | 16 | 1302957 | 169652 | 18617 18 | 394 | 335 631.29/631.49 c 631s | 16 | 1304802 | 170152 | 18617 18 | 394 | 335 633.39/633.56 c 633s | 16 | 1306282 | 170452 | 18617 18 | 394 | 335 635.69/635.86 c 635s | 16 | 1306955 | 170752 | 18617 18 | 394 | 335 638.19/638.33 c 638s | 16 | 1309377 | 171152 | 18617 18 | 394 | 335 640.39/640.55 c 640s | 16 | 1311263 | 171552 | 18617 18 | 394 | 335 642.99/643.19 c 642s | 16 | 1312418 | 171852 | 18617 18 | 394 | 335 645.39/645.52 c 645s | 16 | 1314114 | 172152 | 18617 18 | 394 | 335 647.89/648.06 c 647s | 16 | 1315812 | 172552 | 18617 18 | 394 | 335 650.09/650.25 c 650s | 16 | 1317009 | 173052 | 18617 18 | 394 | 335 652.59/652.74 c 652s | 16 | 1317806 | 173452 | 18617 18 | 394 | 335 654.99/655.10 c 654s | 16 | 1318440 | 173752 | 18617 18 | 394 | 335 657.49/657.65 c 657s | 16 | 1319728 | 174152 | 18617 18 | 394 | 335 659.59/659.70 c 659s | 16 | 1320594 | 174452 | 18617 18 | 394 | 335 661.79/661.95 c 661s | 16 | 1321404 | 174752 | 18617 18 | 394 | 335 664.29/664.48 c 664s | 16 | 1323114 | 175152 | 18617 18 | 394 | 335 666.89/667.08 c 666s | 16 | 1324110 | 175552 | 18617 18 | 394 | 335 669.79/669.97 c 669s | 16 | 1325156 | 175852 | 18617 18 | 394 | 335 672.69/672.88 c 672s | 16 | 1327011 | 176252 | 18617 18 | 394 | 335 675.29/675.43 c 675s | 16 | 1327337 | 176452 | 18617 18 | 394 | 335 677.60/677.76 c 677s | 16 | 1328207 | 176752 | 18617 18 | 394 | 335 679.59/679.77 c 679s | 16 | 1328598 | 176952 | 18617 18 | 394 | 335 681.69/681.83 c 681s | 16 | 1329159 | 177152 | 18617 18 | 394 | 335 683.89/684.09 c 683s | 16 | 1329516 | 177352 | 18617 18 | 394 | 335 687.28/687.42 c 687s | 16 | 1330511 | 177552 | 18617 18 | 394 | 335 690.49/690.69 c 690s | 16 | 1331304 | 177752 | 18617 19 | 394 | 335 692.99/693.16 c 692s | 16 | 1332205 | 178052 | 18617 19 | 394 | 335 695.38/695.52 c 695s | 16 | 1332784 | 178252 | 18617 19 | 394 | 335 697.88/698.03 c 697s | 16 | 1333955 | 178652 | 18617 19 | 394 | 335 700.08/700.26 c 700s | 16 | 1335819 | 179052 | 18617 19 | 394 | 335 702.68/702.80 c 702s | 16 | 1338056 | 179552 | 18617 19 | 394 | 335 704.78/704.98 c 704s | 16 | 1339278 | 179852 | 18617 19 | 394 | 335 707.18/707.31 c 707s | 16 | 1341221 | 180352 | 18617 19 | 394 | 335 709.48/709.60 c 709s | 16 | 1342352 | 180552 | 18617 19 | 394 | 335 711.98/712.14 c 711s | 16 | 1343405 | 180852 | 18617 19 | 394 | 335 714.28/714.43 c 714s | 16 | 1346870 | 181452 | 18617 19 | 394 | 335 716.48/716.69 c 716s | 16 | 1348797 | 181852 | 18617 19 | 394 | 335 718.98/719.19 c 718s | 16 | 1349738 | 182152 | 18617 19 | 394 | 335 721.18/721.37 c 721s | 16 | 1351478 | 182552 | 18617 19 | 394 | 335 723.18/723.39 c 723s | 16 | 1352318 | 182752 | 18617 19 | 394 | 335 725.58/725.70 c 725s | 16 | 1353418 | 183052 | 18617 19 | 394 | 335 727.58/727.74 c 727s | 16 | 1354818 | 183352 | 18617 19 | 394 | 335 729.58/729.78 c 729s | 16 | 1356589 | 183852 | 18617 19 | 394 | 335 731.67/731.84 c 731s | 16 | 1357886 | 184352 | 18617 19 | 394 | 335 733.68/733.87 c 733s | 16 | 1359818 | 184852 | 18617 19 | 394 | 335 736.07/736.21 c 735s | 16 | 1360774 | 185252 | 18617 19 | 394 | 335 738.47/738.62 c 738s | 16 | 1362161 | 185652 | 18617 19 | 394 | 335 740.78/740.93 c 740s | 16 | 1363370 | 185952 | 18617 19 | 394 | 335 743.08/743.29 c 743s | 16 | 1365121 | 186252 | 18617 19 | 394 | 335 745.18/745.32 c 745s | 16 | 1365889 | 186452 | 18617 19 | 394 | 335 748.98/749.10 c 748s | 16 | 1366440 | 186652 | 18617 19 | 394 | 335 751.78/751.96 c 751s | 16 | 1367007 | 186852 | 18617 19 | 394 | 335 755.37/755.52 c 755s | 16 | 1367390 | 187052 | 18617 19 | 394 | 335 758.57/758.74 c 758s | 16 | 1367689 | 187252 | 18617 19 | 394 | 335 761.37/761.56 c 761s | 16 | 1368516 | 187552 | 18617 19 | 394 | 335 764.27/764.48 c 764s | 16 | 1368956 | 187752 | 18617 19 | 394 | 335 767.78/767.98 c 767s | 16 | 1369247 | 187952 | 18617 19 | 394 | 335 770.57/770.75 c 770s | 16 | 1370273 | 188252 | 18617 19 | 394 | 335 772.87/773.00 c 772s | 16 | 1371282 | 188552 | 18617 19 | 394 | 335 775.48/775.64 c 775s | 16 | 1371758 | 188752 | 18617 20 | 394 | 335 778.07/778.23 c 778s | 16 | 1372501 | 189052 | 18617 20 | 394 | 335 780.57/780.70 c 780s | 16 | 1374229 | 189552 | 18617 20 | 394 | 335 782.77/782.90 c 782s | 16 | 1374810 | 189752 | 18617 20 | 394 | 335 785.57/785.75 c 785s | 16 | 1375576 | 190052 | 18617 20 | 394 | 335 787.68/787.80 c 787s | 16 | 1375927 | 190252 | 18617 20 | 394 | 335 790.07/790.28 c 790s | 16 | 1376911 | 190552 | 18617 20 | 394 | 335 792.27/792.42 c 792s | 16 | 1377451 | 190752 | 18617 20 | 394 | 335 794.28/794.46 c 794s | 16 | 1377961 | 190952 | 18617 20 | 394 | 335 796.97/797.12 c 796s | 16 | 1380169 | 191452 | 18617 20 | 394 | 335 799.17/799.36 c 799s | 16 | 1380899 | 191752 | 18617 20 | 394 | 335 802.27/802.48 c 802s | 16 | 1382274 | 192052 | 18617 20 | 394 | 335 804.47/804.61 c 804s | 16 | 1382966 | 192252 | 18617 20 | 394 | 335 806.47/806.65 c 806s | 16 | 1383691 | 192452 | 18617 20 | 394 | 335 808.57/808.74 c 808s | 16 | 1384224 | 192652 | 18617 20 | 394 | 335 810.96/811.16 c 810s | 16 | 1385623 | 192952 | 18617 20 | 394 | 335 813.26/813.42 c 813s | 16 | 1386079 | 193152 | 18617 20 | 394 | 335 815.36/815.52 c 815s | 16 | 1388257 | 193652 | 18617 20 | 394 | 335 817.66/817.83 c 817s | 16 | 1388866 | 193852 | 18617 20 | 394 | 335 820.16/820.36 c 820s | 16 | 1390170 | 194252 | 18617 20 | 394 | 335 823.06/823.20 c 822s | 16 | 1391450 | 194552 | 18617 20 | 394 | 335 825.46/825.65 c 825s | 16 | 1392207 | 194852 | 18617 20 | 394 | 335 827.76/827.97 c 827s | 16 | 1392701 | 195052 | 18617 20 | 394 | 335 829.86/830.06 c 829s | 16 | 1393629 | 195352 | 18617 20 | 394 | 335 832.67/832.88 c 832s | 16 | 1394830 | 195652 | 18617 20 | 394 | 335 834.76/834.96 c 834s | 16 | 1395495 | 195852 | 18617 20 | 394 | 335 836.96/837.13 c 836s | 16 | 1396379 | 196152 | 20479 20 | 394 | 335 839.87/840.02 c 839s | 16 | 1398576 | 196752 | 20479 20 | 394 | 335 842.37/842.53 c 842s | 16 | 1399264 | 196952 | 20479 20 | 394 | 335 844.66/844.86 c 844s | 16 | 1399868 | 197152 | 20479 20 | 394 | 335 847.66/847.87 c 847s | 16 | 1400451 | 197352 | 20479 20 | 394 | 335 848.86/849.06 c 848s | 17 | 1400696 | 197432 | 20479 20 | 394 | 335 850.86/851.06 c 850s | 17 | 1412412 | 198632 | 20479 20 | 394 | 335 852.96/853.10 c 852s | 17 | 1425160 | 199832 | 20479 21 | 394 | 335 855.16/855.34 c 855s | 17 | 1434096 | 201132 | 20479 21 | 394 | 335 857.16/857.35 c 857s | 17 | 1445145 | 202432 | 20479 21 | 394 | 335 859.36/859.52 c 859s | 17 | 1454807 | 203832 | 20479 21 | 394 | 335 861.46/861.67 c 861s | 17 | 1462716 | 204832 | 20479 21 | 394 | 335 863.66/863.80 c 863s | 17 | 1467638 | 205632 | 20479 21 | 394 | 335 865.77/865.92 c 865s | 17 | 1473959 | 206532 | 20479 21 | 394 | 335 867.87/868.01 c 867s | 17 | 1479914 | 207332 | 20479 21 | 394 | 335 869.86/870.08 c 869s | 17 | 1487534 | 208232 | 20479 21 | 394 | 335 871.96/872.17 c 871s | 17 | 1494131 | 209332 | 20479 21 | 394 | 335 874.36/874.50 c 874s | 17 | 1499391 | 210032 | 20479 21 | 394 | 335 876.36/876.54 c 876s | 17 | 1507087 | 210932 | 20479 21 | 394 | 335 878.36/878.59 c 878s | 17 | 1517044 | 211732 | 20479 22 | 394 | 335 880.46/880.60 c 880s | 17 | 1537969 | 213132 | 20479 22 | 394 | 335 882.46/882.68 c 882s | 17 | 1556917 | 214532 | 20479 22 | 394 | 335 885.15/885.35 c 885s | 17 | 1560717 | 215332 | 20479 22 | 394 | 335 887.66/887.87 c 887s | 17 | 1562583 | 215932 | 20479 22 | 394 | 335 889.96/890.11 c 889s | 17 | 1564882 | 216632 | 20479 22 | 394 | 335 891.95/892.19 c 891s | 17 | 1567863 | 217332 | 20479 22 | 394 | 335 894.05/894.25 c 894s | 17 | 1570326 | 218032 | 20479 22 | 394 | 335 896.15/896.36 c 896s | 17 | 1571836 | 218432 | 20479 22 | 394 | 335 898.45/898.60 c 898s | 17 | 1572558 | 218632 | 20479 22 | 394 | 335 900.86/901.05 c 900s | 17 | 1573400 | 218932 | 20479 22 | 394 | 335 903.55/903.73 c 903s | 17 | 1575235 | 219332 | 20479 22 | 394 | 335 906.15/906.38 c 906s | 17 | 1576673 | 219732 | 20479 22 | 394 | 335 908.75/909.00 c 908s | 17 | 1577163 | 219932 | 20479 22 | 394 | 335 911.05/911.24 c 911s | 17 | 1577379 | 220032 | 20479 22 | 394 | 335 914.95/915.11 c 914s | 17 | 1577771 | 220232 | 20479 22 | 394 | 335 917.95/918.12 c 917s | 17 | 1577920 | 220332 | 20479 22 | 394 | 335 919.94/920.16 c 919s | 17 | 1578349 | 220532 | 20479 22 | 394 | 335 922.35/922.58 c 922s | 17 | 1578663 | 220732 | 20479 22 | 394 | 335 925.35/925.53 c 925s | 17 | 1578996 | 220932 | 20479 22 | 394 | 335 928.55/928.78 c 928s | 17 | 1579631 | 221132 | 20479 22 | 394 | 335 931.55/931.76 c 931s | 17 | 1580131 | 221332 | 20479 22 | 394 | 335 933.65/933.81 c 933s | 17 | 1580388 | 221432 | 20479 22 | 394 | 335 936.16/936.34 c 936s | 17 | 1581769 | 221732 | 20479 22 | 394 | 335 938.85/939.05 c 938s | 17 | 1582578 | 222032 | 20479 22 | 394 | 335 941.05/941.27 c 941s | 17 | 1584391 | 222432 | 20479 22 | 394 | 335 944.44/944.68 c 944s | 17 | 1585062 | 222632 | 20479 22 | 394 | 335 947.24/947.41 c 947s | 17 | 1586574 | 222932 | 20479 22 | 394 | 335 950.04/950.27 c 950s | 17 | 1587356 | 223232 | 20479 22 | 394 | 335 952.34/952.52 c 952s | 17 | 1588932 | 223532 | 20479 22 | 394 | 335 955.04/955.23 c 955s | 17 | 1589745 | 223732 | 20479 22 | 394 | 335 957.94/958.10 c 957s | 17 | 1589909 | 223832 | 20479 22 | 394 | 335 960.44/960.61 c 960s | 17 | 1590106 | 223932 | 20479 22 | 394 | 335 963.13/963.33 c 963s | 17 | 1590663 | 224132 | 20479 23 | 394 | 335 966.33/966.57 c 966s | 17 | 1591629 | 224332 | 20479 23 | 394 | 335 968.53/968.78 c 968s | 17 | 1591938 | 224532 | 20479 23 | 394 | 335 971.73/971.97 c 971s | 17 | 1592285 | 224732 | 20479 23 | 394 | 335 974.23/974.45 c 974s | 17 | 1592994 | 224932 | 20479 23 | 394 | 335 977.85/978.06 c 977s | 17 | 1593340 | 225132 | 20479 23 | 394 | 335 980.15/980.31 c 980s | 17 | 1593534 | 225232 | 20479 23 | 394 | 335 982.14/982.36 c 982s | 17 | 1593781 | 225332 | 20479 23 | 394 | 335 984.24/984.41 c 984s | 17 | 1596054 | 225732 | 20479 23 | 394 | 335 986.24/986.48 c 986s | 17 | 1602686 | 227032 | 20479 23 | 394 | 335 988.34/988.58 c 988s | 17 | 1618027 | 228332 | 20479 23 | 394 | 335 990.44/990.64 c 990s | 17 | 1628338 | 229832 | 20479 23 | 394 | 335 992.53/992.79 c 992s | 17 | 1647760 | 231332 | 20479 23 | 395 | 336 994.63/994.81 c 994s | 17 | 1653218 | 232432 | 20479 23 | 395 | 336 996.64/996.83 c 996s | 17 | 1664838 | 233632 | 20479 24 | 395 | 336 998.63/998.87 c 998s | 17 | 1696450 | 235632 | 20479 24 | 395 | 336 1000.73/1000.97 c 1000s | 17 | 1726295 | 237432 | 20479 24 | 395 | 336 1002.83/1003.04 c 1002s | 17 | 1736776 | 239032 | 20479 24 | 395 | 336 1005.34/1005.53 c 1005s | 17 | 1738796 | 239732 | 20479 24 | 395 | 336 1007.43/1007.67 c 1007s | 17 | 1744420 | 240832 | 20479 24 | 395 | 336 1009.53/1009.72 c 1009s | 17 | 1751169 | 241832 | 20479 24 | 395 | 336 1011.53/1011.73 c 1011s | 17 | 1761776 | 242932 | 20479 24 | 396 | 337 1013.53/1013.76 c 1013s | 17 | 1782298 | 244532 | 20479 25 | 396 | 337 1015.63/1015.85 c 1015s | 17 | 1806247 | 246432 | 20479 25 | 396 | 337 1017.83/1018.01 c 1017s | 17 | 1825157 | 248332 | 20479 25 | 396 | 337 1019.83/1020.09 c 1019s | 17 | 1844465 | 249932 | 20479 25 | 396 | 337 1022.02/1022.22 c 1021s | 17 | 1848506 | 251032 | 20479 25 | 396 | 337 1024.13/1024.33 c 1024s | 17 | 1856014 | 252132 | 20479 25 | 396 | 337 1026.23/1026.45 c 1026s | 17 | 1869362 | 253532 | 20479 25 | 396 | 337 1028.22/1028.50 c 1028s | 17 | 1882587 | 254732 | 20479 26 | 396 | 337 1030.32/1030.52 c 1030s | 17 | 1909620 | 256732 | 20479 26 | 397 | 338 1032.52/1032.73 c 1032s | 17 | 1916579 | 258032 | 20479 26 | 397 | 338 1034.62/1034.88 c 1034s | 17 | 1919059 | 258732 | 20479 26 | 397 | 338 1036.82/1037.05 c 1036s | 17 | 1921442 | 259432 | 20479 26 | 397 | 338 1039.22/1039.40 c 1039s | 17 | 1923361 | 260132 | 20479 26 | 397 | 338 1041.31/1041.56 c 1041s | 17 | 1927175 | 261032 | 20479 26 | 397 | 338 1043.61/1043.88 c 1043s | 17 | 1930234 | 261832 | 20479 26 | 397 | 338 1045.81/1046.01 c 1045s | 17 | 1936976 | 262732 | 20479 26 | 397 | 338 1047.81/1048.06 c 1047s | 17 | 1956631 | 264132 | 20479 26 | 397 | 338 1049.81/1050.08 c 1049s | 17 | 1971317 | 265632 | 20479 27 | 397 | 338 1051.91/1052.19 c 1051s | 17 | 1988006 | 267232 | 20479 27 | 397 | 338 1054.01/1054.20 c 1053s | 17 | 1997637 | 268532 | 20479 27 | 397 | 338 1056.21/1056.42 c 1056s | 17 | 2005928 | 269932 | 20479 27 | 397 | 338 1058.22/1058.45 c 1058s | 17 | 2025328 | 271432 | 20479 27 | 398 | 339 1060.41/1060.64 c 1060s | 17 | 2042534 | 272932 | 20479 27 | 398 | 339 1062.41/1062.70 c 1062s | 17 | 2050349 | 273832 | 20479 27 | 398 | 339 1064.51/1064.79 c 1064s | 17 | 2062045 | 275132 | 20479 27 | 398 | 339 1066.61/1066.84 c 1066s | 17 | 2073136 | 276432 | 20479 28 | 398 | 339 1068.71/1068.94 c 1068s | 17 | 2082349 | 277932 | 20479 28 | 398 | 339 1070.80/1071.05 c 1070s | 17 | 2098680 | 279632 | 20479 28 | 398 | 339 1073.00/1073.27 c 1073s | 17 | 2104443 | 281032 | 20479 28 | 398 | 339 1075.20/1075.44 c 1075s | 17 | 2106905 | 281932 | 20479 28 | 398 | 339 1077.30/1077.53 c 1077s | 17 | 2118042 | 283132 | 20479 28 | 398 | 339 1079.30/1079.55 c 1079s | 17 | 2139199 | 284532 | 20479 29 | 398 | 339 1081.50/1081.71 c 1081s | 17 | 2156932 | 286532 | 20479 29 | 398 | 339 1083.70/1083.90 c 1083s | 17 | 2172128 | 288032 | 20479 29 | 398 | 339 1085.71/1085.93 c 1085s | 17 | 2176440 | 289232 | 20479 29 | 398 | 339 1087.70/1088.00 c 1087s | 17 | 2198472 | 290832 | 20479 29 | 398 | 339 1089.80/1090.02 c 1089s | 17 | 2217888 | 292632 | 20479 29 | 398 | 339 1091.80/1092.07 c 1091s | 17 | 2226544 | 293532 | 20479 30 | 398 | 339 1093.89/1094.11 c 1093s | 17 | 2230784 | 294732 | 22527 30 | 398 | 339 1095.89/1096.13 c 1095s | 17 | 2232070 | 295332 | 22527 30 | 398 | 339 1098.09/1098.35 c 1098s | 17 | 2234215 | 296032 | 22527 30 | 398 | 339 1099.29/1099.53 c 1099s | 18 | 2234567 | 296252 | 22527 30 | 398 | 339 1101.29/1101.54 c 1101s | 18 | 2250378 | 297952 | 22527 30 | 398 | 339 1103.60/1103.81 c 1103s | 18 | 2257120 | 298952 | 22527 30 | 398 | 339 1105.80/1106.03 c 1105s | 18 | 2260546 | 299652 | 22527 30 | 398 | 339 1107.80/1108.08 c 1107s | 18 | 2275895 | 301352 | 22527 30 | 398 | 339 1109.80/1110.08 c 1109s | 18 | 2288508 | 302852 | 22527 30 | 398 | 339 1111.90/1112.12 c 1111s | 18 | 2302851 | 304452 | 22527 31 | 398 | 339 1113.89/1114.13 c 1113s | 18 | 2321672 | 306352 | 22527 31 | 398 | 339 1115.89/1116.15 c 1115s | 18 | 2339103 | 308052 | 22527 31 | 398 | 339 1118.09/1118.37 c 1118s | 18 | 2353438 | 309252 | 22527 31 | 398 | 339 1120.19/1120.48 c 1120s | 18 | 2367664 | 310652 | 22527 31 | 398 | 339 1122.29/1122.54 c 1122s | 18 | 2390770 | 312052 | 22527 31 | 399 | 340 1124.39/1124.64 c 1124s | 18 | 2399472 | 313152 | 22527 31 | 399 | 340 1126.40/1126.66 c 1126s | 18 | 2406422 | 314152 | 22527 32 | 399 | 340 1128.50/1128.80 c 1128s | 18 | 2426830 | 315752 | 22527 32 | 399 | 340 1130.59/1130.82 c 1130s | 18 | 2433405 | 316652 | 22527 32 | 399 | 340 1132.69/1132.93 c 1132s | 18 | 2443758 | 318052 | 22527 32 | 399 | 340 1134.69/1134.98 c 1134s | 18 | 2451829 | 319152 | 22527 32 | 399 | 340 1136.99/1137.27 c 1137s | 18 | 2454283 | 319752 | 22527 32 | 399 | 340 1139.29/1139.58 c 1139s | 18 | 2455941 | 320252 | 22527 32 | 399 | 340 1141.39/1141.60 c 1141s | 18 | 2466401 | 321452 | 22527 32 | 399 | 340 1143.49/1143.79 c 1143s | 18 | 2479366 | 322852 | 22527 32 | 399 | 340 1145.79/1146.04 c 1145s | 18 | 2492140 | 324252 | 22527 33 | 399 | 340 1148.08/1148.38 c 1148s | 18 | 2497489 | 325352 | 22527 33 | 399 | 340 1150.18/1150.41 c 1150s | 18 | 2510472 | 326952 | 22527 33 | 399 | 340 1152.28/1152.53 c 1152s | 18 | 2519570 | 328052 | 22527 33 | 399 | 340 1154.38/1154.65 c 1154s | 18 | 2533097 | 329352 | 22527 33 | 399 | 340 1156.38/1156.68 c 1156s | 18 | 2543766 | 330452 | 22527 33 | 399 | 340 1158.48/1158.71 c 1158s | 18 | 2555798 | 331552 | 22527 33 | 399 | 340 1160.48/1160.79 c 1160s | 18 | 2565663 | 332452 | 22527 34 | 399 | 340 1162.58/1162.86 c 1162s | 18 | 2579015 | 333952 | 22527 34 | 399 | 340 1164.57/1164.86 c 1164s | 18 | 2587494 | 335052 | 22527 34 | 399 | 340 1166.87/1167.13 c 1166s | 18 | 2596216 | 336052 | 22527 34 | 399 | 340 1169.07/1169.34 c 1169s | 18 | 2601958 | 336852 | 22527 34 | 399 | 340 1171.17/1171.43 c 1171s | 18 | 2609754 | 337852 | 22527 34 | 399 | 340 1173.17/1173.46 c 1173s | 18 | 2617023 | 338752 | 22527 34 | 399 | 340 1175.27/1175.51 c 1175s | 18 | 2627223 | 339752 | 22527 34 | 399 | 340 1177.27/1177.55 c 1177s | 18 | 2631855 | 340552 | 22527 34 | 399 | 340 1179.56/1179.82 c 1179s | 18 | 2640996 | 341752 | 22527 35 | 399 | 340 1181.77/1182.04 c 1181s | 18 | 2642432 | 342252 | 22527 35 | 399 | 340 1183.87/1184.14 c 1183s | 18 | 2654631 | 343652 | 22527 35 | 399 | 340 1185.97/1186.26 c 1186s | 18 | 2659514 | 344852 | 22527 35 | 399 | 340 1188.17/1188.43 c 1188s | 18 | 2663200 | 345852 | 22527 35 | 399 | 340 1190.27/1190.50 c 1190s | 18 | 2667018 | 346652 | 22527 35 | 399 | 340 1192.47/1192.71 c 1192s | 18 | 2675232 | 347952 | 22527 35 | 399 | 340 1194.47/1194.77 c 1194s | 18 | 2677668 | 348752 | 22527 35 | 399 | 340 1196.57/1196.80 c 1196s | 18 | 2681206 | 349452 | 22527 36 | 399 | 340 1198.57/1198.86 c 1198s | 18 | 2701089 | 351352 | 22527 36 | 399 | 340 1200.87/1201.16 c 1200s | 18 | 2707762 | 352552 | 22527 36 | 399 | 340 1202.97/1203.21 c 1202s | 18 | 2716496 | 353452 | 22527 36 | 399 | 340 1204.97/1205.28 c 1205s | 18 | 2727668 | 354752 | 22527 36 | 399 | 340 1207.07/1207.35 c 1207s | 18 | 2733324 | 355752 | 22527 36 | 399 | 340 1209.17/1209.41 c 1209s | 18 | 2742279 | 356952 | 22527 36 | 399 | 340 1211.26/1211.50 c 1211s | 18 | 2753497 | 358152 | 22527 37 | 399 | 340 1213.46/1213.70 c 1213s | 18 | 2762254 | 359452 | 22527 37 | 399 | 340 1215.86/1216.16 c 1215s | 18 | 2769009 | 360352 | 22527 37 | 399 | 340 1217.96/1218.26 c 1218s | 18 | 2776837 | 361352 | 22527 37 | 399 | 340 1220.06/1220.36 c 1220s | 18 | 2783217 | 362452 | 22527 37 | 399 | 340 1222.66/1222.94 c 1222s | 18 | 2786105 | 363252 | 22527 37 | 399 | 340 1225.36/1225.65 c 1225s | 18 | 2787100 | 363652 | 22527 37 | 399 | 340 1227.46/1227.77 c 1227s | 18 | 2788563 | 364152 | 22527 37 | 399 | 340 1230.16/1230.46 c 1230s | 18 | 2790286 | 364552 | 22527 37 | 399 | 340 1232.36/1232.61 c 1232s | 18 | 2802926 | 365852 | 22527 37 | 399 | 340 1234.36/1234.66 c 1234s | 18 | 2817628 | 367452 | 22527 38 | 399 | 340 1236.46/1236.70 c 1236s | 18 | 2829841 | 368952 | 22527 38 | 399 | 340 1238.46/1238.73 c 1238s | 18 | 2833028 | 369852 | 22527 38 | 399 | 340 1240.45/1240.74 c 1240s | 18 | 2836003 | 370952 | 22527 38 | 399 | 340 1242.65/1242.94 c 1242s | 18 | 2842858 | 372252 | 22527 38 | 399 | 340 1244.85/1245.10 c 1244s | 18 | 2848111 | 373452 | 22527 38 | 399 | 340 1247.15/1247.45 c 1247s | 18 | 2857151 | 374652 | 22527 39 | 399 | 340 1249.35/1249.66 c 1249s | 18 | 2873004 | 376252 | 22527 39 | 399 | 340 1251.45/1251.73 c 1251s | 18 | 2875723 | 376652 | 22527 39 | 399 | 340 1253.54/1253.80 c 1253s | 18 | 2877814 | 377152 | 22527 39 | 399 | 340 1255.55/1255.86 c 1255s | 18 | 2884007 | 377952 | 22527 39 | 399 | 340 1257.64/1257.91 c 1257s | 18 | 2886838 | 378752 | 22527 39 | 399 | 340 1259.64/1259.94 c 1259s | 18 | 2893953 | 379552 | 22527 39 | 399 | 340 1261.74/1262.06 c 1261s | 18 | 2898875 | 380552 | 22527 39 | 399 | 340 1264.04/1264.32 c 1264s | 18 | 2904074 | 381352 | 22527 40 | 399 | 340 1266.05/1266.39 c 1266s | 18 | 2914595 | 382952 | 22527 40 | 399 | 340 1268.34/1268.67 c 1268s | 18 | 2921448 | 384152 | 22527 40 | 399 | 340 1270.44/1270.74 c 1270s | 18 | 2925706 | 385252 | 22527 40 | 399 | 340 1272.54/1272.83 c 1272s | 18 | 2930290 | 386152 | 22527 40 | 399 | 340 1274.63/1274.98 c 1274s | 18 | 2940390 | 387552 | 22527 40 | 399 | 340 1276.73/1277.08 c 1276s | 18 | 2944935 | 388252 | 22527 40 | 399 | 340 1278.73/1279.09 c 1278s | 18 | 2949845 | 388952 | 22527 41 | 399 | 340 1281.03/1281.30 c 1281s | 18 | 2956948 | 390452 | 22527 41 | 399 | 340 1283.13/1283.47 c 1283s | 18 | 2959127 | 391252 | 22527 41 | 399 | 340 1285.23/1285.55 c 1285s | 18 | 2963166 | 392252 | 22527 41 | 399 | 340 1287.23/1287.56 c 1287s | 18 | 2969127 | 393552 | 22527 41 | 399 | 340 1289.23/1289.57 c 1289s | 18 | 2971806 | 394452 | 22527 41 | 399 | 340 1291.53/1291.82 c 1291s | 18 | 2976404 | 395352 | 22527 41 | 399 | 340 1293.63/1293.93 c 1293s | 18 | 2978728 | 395852 | 22527 41 | 399 | 340 1296.52/1296.81 c 1296s | 18 | 2980053 | 396252 | 22527 41 | 399 | 340 1298.93/1299.22 c 1299s | 18 | 2981592 | 396752 | 22527 41 | 399 | 340 1301.03/1301.32 c 1301s | 18 | 2985586 | 397552 | 22527 42 | 399 | 340 1303.03/1303.33 c 1303s | 18 | 2988274 | 398352 | 22527 42 | 399 | 340 1305.13/1305.45 c 1305s | 18 | 3000336 | 399752 | 22527 42 | 399 | 340 1307.23/1307.53 c 1307s | 18 | 3008760 | 400952 | 22527 42 | 399 | 340 1309.42/1309.77 c 1309s | 18 | 3016567 | 402352 | 22527 42 | 399 | 340 1311.52/1311.82 c 1311s | 18 | 3026249 | 403552 | 22527 43 | 399 | 340 1313.52/1313.88 c 1313s | 18 | 3035486 | 404952 | 22527 43 | 399 | 340 1315.72/1316.07 c 1315s | 18 | 3040234 | 405852 | 22527 43 | 399 | 340 1317.92/1318.28 c 1318s | 18 | 3043554 | 406652 | 22527 43 | 399 | 340 1320.52/1320.83 c 1320s | 18 | 3046556 | 407352 | 22527 43 | 399 | 340 1322.72/1323.03 c 1322s | 18 | 3048933 | 407952 | 22527 43 | 399 | 340 1324.92/1325.29 c 1325s | 18 | 3050572 | 408552 | 22527 43 | 399 | 340 1327.01/1327.30 c 1327s | 18 | 3051925 | 409152 | 22527 43 | 399 | 340 1329.11/1329.45 c 1329s | 18 | 3053022 | 409652 | 22527 43 | 399 | 340 1331.61/1331.95 c 1331s | 18 | 3053887 | 410052 | 22527 43 | 399 | 340 1333.81/1334.16 c 1333s | 18 | 3055340 | 410552 | 22527 44 | 399 | 340 1335.81/1336.19 c 1335s | 18 | 3059380 | 411652 | 22527 44 | 399 | 340 1337.91/1338.27 c 1338s | 18 | 3063055 | 412552 | 22527 44 | 399 | 340 1340.10/1340.45 c 1340s | 18 | 3064092 | 413052 | 22527 44 | 399 | 340 1342.20/1342.52 c 1342s | 18 | 3069088 | 413852 | 22527 44 | 399 | 340 1344.30/1344.64 c 1344s | 18 | 3076040 | 414852 | 22527 44 | 399 | 340 1346.31/1346.65 c 1346s | 18 | 3080516 | 415752 | 22527 44 | 399 | 340 1348.30/1348.67 c 1348s | 18 | 3087384 | 416752 | 22527 45 | 399 | 340 1350.41/1350.71 c 1350s | 18 | 3094790 | 417952 | 22527 45 | 399 | 340 1352.40/1352.73 c 1352s | 18 | 3107178 | 419552 | 22527 45 | 399 | 340 1354.51/1354.87 c 1354s | 18 | 3112125 | 420652 | 22527 45 | 399 | 340 1356.70/1357.08 c 1356s | 18 | 3115834 | 421552 | 22527 45 | 399 | 340 1358.80/1359.19 c 1358s | 18 | 3120122 | 422452 | 22527 46 | 399 | 340 1360.90/1361.29 c 1361s | 18 | 3123459 | 423252 | 22527 46 | 399 | 340 1363.40/1363.74 c 1363s | 18 | 3125170 | 423952 | 22527 46 | 399 | 340 1365.50/1365.80 c 1365s | 18 | 3129934 | 425052 | 22527 46 | 399 | 340 1367.60/1367.92 c 1367s | 18 | 3133606 | 425852 | 22527 46 | 399 | 340 1369.90/1370.26 c 1370s | 18 | 3139207 | 426852 | 22527 46 | 399 | 340 1372.00/1372.31 c 1372s | 18 | 3149292 | 427952 | 22527 47 | 399 | 340 1374.10/1374.48 c 1374s | 18 | 3155756 | 429352 | 22527 47 | 399 | 340 1376.20/1376.59 c 1376s | 18 | 3160047 | 430252 | 22527 47 | 399 | 340 1378.39/1378.72 c 1378s | 18 | 3164668 | 431252 | 22527 47 | 399 | 340 1380.49/1380.85 c 1380s | 18 | 3165760 | 431752 | 22527 47 | 399 | 340 1382.89/1383.21 c 1382s | 18 | 3167175 | 432252 | 22527 47 | 399 | 340 1385.09/1385.47 c 1385s | 18 | 3168731 | 432852 | 22527 47 | 399 | 340 1387.69/1388.02 c 1387s | 18 | 3169763 | 433352 | 22527 47 | 399 | 340 1389.78/1390.19 c 1389s | 18 | 3170771 | 433752 | 22527 47 | 399 | 340 1391.78/1392.19 c 1391s | 18 | 3177972 | 434852 | 22527 48 | 399 | 340 1393.98/1394.33 c 1394s | 18 | 3184602 | 436352 | 22527 48 | 399 | 340 1395.98/1396.34 c 1396s | 18 | 3191733 | 437652 | 22527 48 | 399 | 340 1398.08/1398.42 c 1398s | 18 | 3193811 | 438352 | 22527 48 | 399 | 340 1400.19/1400.51 c 1400s | 18 | 3199358 | 439252 | 22527 49 | 399 | 340 1402.18/1402.51 c 1402s | 18 | 3213703 | 440952 | 22527 49 | 399 | 340 1404.28/1404.63 c 1404s | 18 | 3222977 | 442252 | 24780 49 | 399 | 340 1406.28/1406.63 c 1406s | 18 | 3226244 | 442852 | 24780 49 | 399 | 340 1408.58/1408.95 c 1408s | 18 | 3232126 | 443952 | 24780 49 | 399 | 340 1410.27/1410.61 c 1410s | 19 | 3235309 | 444482 | 24780 49 | 399 | 340 1412.28/1412.63 c 1412s | 19 | 3251642 | 446082 | 24780 50 | 399 | 340 1414.38/1414.76 c 1414s | 19 | 3261869 | 446982 | 24780 50 | 399 | 340 1416.47/1416.84 c 1416s | 19 | 3275972 | 448282 | 24780 50 | 399 | 340 1418.57/1418.95 c 1418s | 19 | 3295349 | 449882 | 24780 50 | 399 | 340 1420.87/1421.23 c 1421s | 19 | 3303286 | 450882 | 24780 50 | 399 | 340 1422.87/1423.29 c 1423s | 19 | 3306811 | 451582 | 24780 50 | 399 | 340 1424.97/1425.38 c 1425s | 19 | 3309144 | 452082 | 24780 51 | 399 | 340 1427.17/1427.50 c 1427s | 19 | 3325170 | 453882 | 24780 51 | 399 | 340 1429.27/1429.69 c 1429s | 19 | 3336312 | 455382 | 24780 51 | 399 | 340 1431.76/1432.14 c 1431s | 19 | 3340055 | 456382 | 24780 51 | 399 | 340 1433.96/1434.31 c 1434s | 19 | 3342129 | 456982 | 24780 51 | 399 | 340 1435.96/1436.38 c 1436s | 19 | 3345305 | 457582 | 24780 51 | 399 | 340 1438.06/1438.45 c 1438s | 19 | 3353004 | 458582 | 24780 52 | 399 | 340 1440.16/1440.55 c 1440s | 19 | 3373487 | 460482 | 24780 52 | 399 | 340 1442.16/1442.56 c 1442s | 19 | 3389613 | 462182 | 24780 52 | 399 | 340 1444.26/1444.63 c 1444s | 19 | 3412886 | 464082 | 24780 52 | 399 | 340 1446.36/1446.71 c 1446s | 19 | 3416652 | 465182 | 24780 52 | 399 | 340 1448.46/1448.81 c 1448s | 19 | 3429227 | 466582 | 24780 53 | 399 | 340 1450.45/1450.83 c 1450s | 19 | 3439920 | 468082 | 24780 53 | 399 | 340 1452.55/1452.93 c 1452s | 19 | 3450703 | 469582 | 24780 53 | 399 | 340 1454.75/1455.16 c 1454s | 19 | 3461274 | 470882 | 24780 54 | 399 | 340 1456.85/1457.24 c 1457s | 19 | 3479818 | 472782 | 24780 54 | 399 | 340 1459.05/1459.42 c 1459s | 19 | 3488777 | 474082 | 24780 54 | 399 | 340 1461.34/1461.78 c 1461s | 19 | 3490588 | 474782 | 24780 54 | 399 | 340 1463.74/1464.12 c 1463s | 19 | 3492812 | 475382 | 24780 54 | 399 | 340 1465.85/1466.27 c 1466s | 19 | 3494303 | 475882 | 24780 54 | 399 | 340 1468.05/1468.42 c 1468s | 19 | 3510982 | 477482 | 24780 55 | 399 | 340 1470.15/1470.53 c 1470s | 19 | 3524926 | 479182 | 24780 55 | 400 | 341 1472.35/1472.80 c 1472s | 19 | 3539376 | 480782 | 24780 55 | 400 | 341 1474.54/1474.94 c 1474s | 19 | 3546697 | 481782 | 24780 55 | 400 | 341 1476.54/1476.95 c 1476s | 19 | 3548668 | 482282 | 24780 55 | 400 | 341 1478.54/1478.97 c 1478s | 19 | 3549529 | 482582 | 24780 55 | 400 | 341 1480.64/1481.02 c 1480s | 19 | 3562079 | 484382 | 24780 56 | 400 | 341 1482.64/1483.07 c 1482s | 19 | 3572113 | 485982 | 24780 56 | 400 | 341 1484.74/1485.15 c 1484s | 19 | 3576867 | 487182 | 24780 56 | 400 | 341 1486.74/1487.18 c 1486s | 19 | 3584634 | 488382 | 24780 57 | 400 | 341 1488.84/1489.26 c 1489s | 19 | 3597290 | 489882 | 24780 57 | 400 | 341 1490.93/1491.32 c 1491s | 19 | 3609849 | 491382 | 24780 57 | 400 | 341 1492.93/1493.39 c 1493s | 19 | 3627602 | 493082 | 24780 58 | 400 | 341 1495.03/1495.44 c 1495s | 19 | 3637716 | 494782 | 24780 58 | 400 | 341 1497.13/1497.50 c 1497s | 19 | 3640963 | 495682 | 24780 58 | 400 | 341 1499.14/1499.54 c 1499s | 19 | 3643063 | 496282 | 24780 58 | 400 | 341 1501.42/1501.84 c 1501s | 19 | 3648078 | 497282 | 24780 58 | 400 | 341 1503.43/1503.84 c 1503s | 19 | 3650452 | 497882 | 24780 58 | 400 | 341 1505.52/1505.91 c 1505s | 19 | 3660261 | 499282 | 24780 59 | 400 | 341 1507.52/1507.96 c 1507s | 19 | 3674397 | 500782 | 24780 59 | 400 | 341 1509.71/1510.15 c 1509s | 19 | 3678795 | 501582 | 24780 59 | 400 | 341 1511.81/1512.26 c 1512s | 19 | 3679837 | 501882 | 24780 59 | 400 | 341 1513.91/1514.37 c 1514s | 19 | 3687972 | 502782 | 24780 60 | 400 | 341 1516.21/1516.63 c 1516s | 19 | 3697878 | 504382 | 24780 60 | 400 | 341 1518.21/1518.65 c 1518s | 19 | 3703436 | 505482 | 24780 60 | 400 | 341 1520.31/1520.72 c 1520s | 19 | 3712393 | 506782 | 24780 61 | 400 | 341 1522.40/1522.84 c 1522s | 19 | 3721819 | 508082 | 24780 61 | 400 | 341 1524.41/1524.86 c 1524s | 19 | 3726494 | 508882 | 24780 61 | 400 | 341 1526.51/1526.91 c 1526s | 19 | 3730345 | 509982 | 24780 61 | 400 | 341 1528.60/1529.01 c 1528s | 19 | 3735298 | 511082 | 24780 62 | 400 | 341 1530.70/1531.12 c 1530s | 19 | 3746288 | 512682 | 24780 62 | 400 | 341 1532.80/1533.29 c 1533s | 19 | 3748514 | 513382 | 24780 62 | 400 | 341 1534.90/1535.34 c 1535s | 19 | 3752623 | 514182 | 24780 62 | 400 | 341 1537.20/1537.60 c 1537s | 19 | 3759225 | 515282 | 24780 63 | 400 | 341 1539.20/1539.63 c 1539s | 19 | 3762677 | 515982 | 24780 63 | 400 | 341 1541.29/1541.79 c 1541s | 19 | 3764083 | 516382 | 24780 63 | 400 | 341 1543.99/1544.43 c 1544s | 19 | 3765052 | 516782 | 24780 63 | 400 | 341 1545.99/1546.49 c 1546s | 19 | 3766027 | 517082 | 24780 63 | 400 | 341 1548.19/1548.63 c 1548s | 19 | 3766701 | 517382 | 24780 63 | 400 | 341 1551.08/1551.52 c 1551s | 19 | 3767477 | 517682 | 24780 63 | 400 | 341 1553.48/1553.91 c 1553s | 19 | 3769039 | 518082 | 24780 63 | 400 | 341 1556.19/1556.60 c 1556s | 19 | 3770055 | 518482 | 24780 63 | 400 | 341 1558.18/1558.63 c 1558s | 19 | 3770441 | 518682 | 24780 63 | 400 | 341 1560.48/1560.90 c 1560s | 19 | 3771395 | 518982 | 24780 64 | 400 | 341 1562.59/1563.09 c 1562s | 19 | 3779990 | 520382 | 24780 64 | 400 | 341 1565.19/1565.69 c 1565s | 19 | 3782653 | 521182 | 24780 64 | 400 | 341 1567.29/1567.77 c 1567s | 19 | 3793405 | 522682 | 24780 64 | 400 | 341 1569.39/1569.86 c 1569s | 19 | 3799811 | 523982 | 24780 65 | 400 | 341 1571.48/1571.97 c 1571s | 19 | 3817297 | 525782 | 24780 65 | 400 | 341 1573.58/1574.09 c 1573s | 19 | 3827739 | 527382 | 24780 65 | 400 | 341 1575.78/1576.22 c 1575s | 19 | 3832393 | 528482 | 24780 66 | 400 | 341 1577.78/1578.26 c 1578s | 19 | 3836153 | 529682 | 24780 66 | 400 | 341 1579.78/1580.28 c 1580s | 19 | 3840472 | 530782 | 24780 66 | 400 | 341 1581.98/1582.49 c 1582s | 19 | 3843241 | 531482 | 24780 66 | 400 | 341 1584.38/1584.82 c 1584s | 19 | 3845135 | 532182 | 24780 66 | 400 | 341 1586.48/1586.93 c 1586s | 19 | 3848067 | 532882 | 24780 67 | 400 | 341 1588.58/1589.04 c 1588s | 19 | 3852683 | 534082 | 24780 67 | 400 | 341 1590.68/1591.19 c 1590s | 19 | 3855829 | 534882 | 24780 67 | 400 | 341 1592.78/1593.27 c 1593s | 19 | 3858019 | 535482 | 24780 67 | 400 | 341 1594.88/1595.36 c 1595s | 19 | 3861164 | 536182 | 24780 67 | 400 | 341 1597.18/1597.66 c 1597s | 19 | 3863914 | 536982 | 24780 67 | 400 | 341 1599.38/1599.82 c 1599s | 19 | 3868550 | 537982 | 24780 68 | 400 | 341 1601.48/1601.94 c 1601s | 19 | 3871771 | 538882 | 24780 68 | 400 | 341 1603.68/1604.12 c 1603s | 19 | 3873281 | 539482 | 24780 68 | 400 | 341 1605.68/1606.19 c 1605s | 19 | 3875577 | 540182 | 24780 68 | 400 | 341 1607.78/1608.28 c 1608s | 19 | 3877744 | 540782 | 24780 68 | 400 | 341 1610.08/1610.54 c 1610s | 19 | 3881115 | 541482 | 24780 69 | 400 | 341 1612.08/1612.57 c 1612s | 19 | 3886224 | 542782 | 24780 69 | 400 | 341 1614.17/1614.69 c 1614s | 19 | 3889233 | 543582 | 24780 69 | 400 | 341 1616.37/1616.84 c 1616s | 19 | 3891762 | 544382 | 24780 69 | 400 | 341 1618.67/1619.13 c 1618s | 19 | 3892841 | 544882 | 24780 69 | 400 | 341 1620.97/1621.42 c 1621s | 19 | 3894896 | 545582 | 24780 69 | 400 | 341 1622.97/1623.44 c 1623s | 19 | 3898004 | 546482 | 24780 70 | 400 | 341 1625.07/1625.51 c 1625s | 19 | 3899958 | 547082 | 24780 70 | 400 | 341 1627.27/1627.75 c 1627s | 19 | 3902098 | 547782 | 24780 70 | 400 | 341 1629.67/1630.13 c 1629s | 19 | 3903803 | 548382 | 24780 70 | 400 | 341 1631.87/1632.35 c 1632s | 19 | 3905472 | 548982 | 24780 70 | 400 | 341 1634.17/1634.60 c 1634s | 19 | 3907434 | 549682 | 24780 70 | 400 | 341 1636.27/1636.77 c 1636s | 19 | 3908771 | 550182 | 24780 71 | 400 | 341 1638.47/1638.95 c 1638s | 19 | 3913456 | 551382 | 24780 71 | 400 | 341 1640.57/1641.02 c 1640s | 19 | 3917945 | 552382 | 24780 71 | 400 | 341 1642.77/1643.24 c 1643s | 19 | 3920135 | 553082 | 24780 71 | 400 | 341 1644.97/1645.43 c 1645s | 19 | 3921779 | 553682 | 24780 71 | 400 | 341 1646.96/1647.48 c 1647s | 19 | 3923834 | 554382 | 24780 72 | 400 | 341 1649.06/1649.56 c 1649s | 19 | 3926046 | 555182 | 24780 72 | 400 | 341 1651.26/1651.76 c 1651s | 19 | 3928040 | 555982 | 24780 72 | 400 | 341 1653.36/1653.83 c 1653s | 19 | 3938038 | 557082 | 24780 72 | 400 | 341 1655.46/1655.94 c 1655s | 19 | 3948232 | 558382 | 24780 73 | 400 | 341 1657.47/1657.96 c 1657s | 19 | 3958825 | 559582 | 24780 73 | 400 | 341 1659.46/1660.00 c 1659s | 19 | 3972163 | 561182 | 24780 74 | 400 | 341 1661.66/1662.18 c 1661s | 19 | 3976258 | 561982 | 24780 74 | 400 | 341 1663.76/1664.25 c 1664s | 19 | 3992526 | 563682 | 24780 75 | 400 | 341 1665.87/1666.30 c 1666s | 19 | 4002200 | 565082 | 24780 75 | 400 | 341 1667.87/1668.33 c 1668s | 19 | 4015634 | 566682 | 24780 76 | 400 | 341 1669.97/1670.41 c 1670s | 19 | 4032224 | 568482 | 24780 76 | 401 | 342 1671.97/1672.45 c 1672s | 19 | 4042838 | 569882 | 24780 77 | 401 | 342 1673.97/1674.47 c 1674s | 19 | 4051770 | 571282 | 24780 77 | 401 | 342 1675.97/1676.50 c 1676s | 19 | 4053795 | 571982 | 24780 77 | 401 | 342 1678.17/1678.63 c 1678s | 19 | 4056885 | 572882 | 24780 77 | 401 | 342 1680.17/1680.68 c 1680s | 19 | 4068772 | 574382 | 24780 78 | 401 | 342 1682.27/1682.71 c 1682s | 19 | 4082883 | 576082 | 24780 79 | 401 | 342 1684.47/1684.94 c 1684s | 19 | 4087334 | 577382 | 24780 79 | 401 | 342 1686.56/1687.00 c 1686s | 19 | 4111707 | 579182 | 24780 81 | 401 | 342 1688.56/1689.02 c 1688s | 19 | 4131271 | 580782 | 24780 82 | 401 | 342 1690.66/1691.10 c 1690s | 19 | 4149884 | 582682 | 24780 83 | 401 | 342 1692.76/1693.20 c 1692s | 19 | 4156079 | 584082 | 24780 83 | 401 | 342 1694.77/1695.28 c 1695s | 19 | 4163957 | 585282 | 24780 84 | 401 | 342 1696.86/1697.35 c 1697s | 19 | 4173216 | 586782 | 24780 85 | 401 | 342 1699.06/1699.58 c 1699s | 19 | 4177255 | 587882 | 24780 85 | 401 | 342 1701.37/1701.88 c 1701s | 19 | 4181034 | 588882 | 24780 85 | 401 | 342 1703.46/1703.97 c 1703s | 19 | 4183313 | 589682 | 24780 86 | 401 | 342 1705.66/1706.12 c 1705s | 19 | 4188878 | 591182 | 24780 86 | 401 | 342 1707.76/1708.29 c 1708s | 19 | 4198296 | 592482 | 24780 87 | 401 | 342 1709.96/1710.43 c 1710s | 19 | 4211955 | 593582 | 24780 88 | 401 | 342 1712.06/1712.52 c 1712s | 19 | 4229390 | 595482 | 24780 90 | 401 | 342 1714.16/1714.62 c 1714s | 19 | 4250190 | 597482 | 24780 91 | 401 | 342 1716.26/1716.71 c 1716s | 19 | 4268636 | 599282 | 24780 93 | 401 | 342 1718.26/1718.77 c 1718s | 19 | 4285298 | 600982 | 24780 95 | 401 | 342 1720.36/1720.86 c 1720s | 19 | 4305239 | 603082 | 24780 97 | 401 | 342 1722.46/1722.94 c 1722s | 19 | 4325550 | 604782 | 24780 98 | 401 | 342 1724.46/1724.99 c 1724s | 19 | 4331728 | 605982 | 24780 99 | 401 | 342 1726.56/1727.00 c 1726s | 19 | 4343034 | 607482 | 24780 100 | 401 | 342 1728.56/1729.01 c 1728s | 19 | 4361270 | 609182 | 24780 103 | 401 | 342 1730.56/1731.02 c 1730s | 19 | 4375072 | 610782 | 24780 106 | 401 | 342 1732.55/1733.07 c 1732s | 19 | 4395428 | 612682 | 24780 109 | 401 | 342 1734.75/1735.23 c 1735s | 19 | 4398110 | 612982 | 24780 254 | 401 | 342 1736.85/1737.30 c 1737s | 19 | 4416396 | 614682 | 24780 265 | 401 | 342 1738.86/1739.33 c 1739s | 19 | 4423524 | 615682 | 24780 338 | 401 | 342 1742.35/1742.83 c 1742s | 19 | 4430119 | 616182 | 24780 565 | 401 | 342 1744.46/1744.95 c 1744s | 19 | 4437184 | 617282 | 24780 632 | 401 | 342 1746.66/1747.10 c 1746s | 19 | 4447295 | 618482 | 24780 703 | 401 | 342 1748.66/1749.19 c 1748s | 19 | 4457914 | 620082 | 24780 703 | 401 | 342 1751.65/1752.10 c 1751s | 19 | 4461030 | 620482 | 24780 851 | 401 | 342 1753.65/1754.11 c 1753s | 19 | 4475898 | 622082 | 24780 859 | 401 | 342 1755.65/1756.19 c 1755s | 19 | 4488455 | 623482 | 24780 872 | 401 | 342 1759.66/1760.12 c 1759s | 19 | 4493092 | 624282 | 24780 1058 | 401 | 342 1762.05/1762.55 c 1762s | 19 | 4498884 | 624882 | 24780 1195 | 401 | 342 1765.95/1766.45 c 1766s | 19 | 4504414 | 625382 | 24780 1445 | 401 | 342 1768.15/1768.60 c 1768s | 19 | 4513657 | 626882 | 24780 1454 | 401 | 342 1770.14/1770.65 c 1770s | 19 | 4519289 | 628382 | 24780 1455 | 401 | 342 1772.25/1772.72 c 1772s | 19 | 4524639 | 629482 | 24780 1502 | 401 | 342 1776.85/1777.30 c 1777s | 19 | 4525890 | 629582 | 24780 1827 | 401 | 342 1778.95/1779.45 c 1779s | 19 | 4530409 | 630182 | 24780 1946 | 401 | 342 1781.55/1782.07 c 1781s | 19 | 4537768 | 630782 | 24780 2092 | 401 | 342 1786.75/1787.23 c 1787s | 19 | 4538969 | 630882 | 24780 2459 | 401 | 342 1789.35/1789.84 c 1789s | 19 | 4543224 | 631082 | 24780 2632 | 401 | 342 1791.45/1791.98 c 1791s | 19 | 4548873 | 631882 | 24780 2698 | 401 | 342 1794.74/1795.22 c 1795s | 19 | 4556649 | 632382 | 24780 2886 | 401 | 342
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-4078939-1465281923/watcher-4078939-1465281923 -o /tmp/evaluation-result-4078939-1465281923/solver-4078939-1465281923 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3573 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078939-1465281923.opb pid=6349 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.28 2.29 2.25 3/179 6352 /proc/meminfo: memFree=29005140/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=701884 CPUtime=0 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 2611 0 0 0 0 0 0 0 20 0 4 0 110125496 718729216 2973 33554432000 4194304 16246674 140734064175824 140734064175248 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 175983 2983 441 2943 0 172877 0 [pid=6352/tid=6353] ppid=6349 vsize=719292 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 736555008 3041 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=723388 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 740749312 3059 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=727484 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110125496 744943616 3074 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100178 s] /proc/loadavg: 2.28 2.29 2.25 3/179 6352 /proc/meminfo: memFree=29005140/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 28540 0 0 0 5 4 0 0 20 0 4 0 110125496 1333334016 28840 33554432000 4194304 16246674 140734064175824 140734064175136 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 325521 28855 801 2943 0 322415 0 [pid=6352/tid=6353] ppid=6349 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1333334016 28866 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1333334016 28877 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1333334016 28888 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.20059 s] /proc/loadavg: 2.28 2.29 2.25 3/179 6352 /proc/meminfo: memFree=29005140/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1302084 CPUtime=0.19 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 45275 0 0 0 13 6 0 0 20 0 4 0 110125496 1333334016 45574 33554432000 4194304 16246674 140734064175824 140734064175136 12478985 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 325521 45574 833 2943 0 322415 0 [pid=6352/tid=6353] ppid=6349 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1333334016 45574 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1333334016 45574 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1333334016 45574 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1302084 [startup+0.300506 s] /proc/loadavg: 2.28 2.29 2.25 3/179 6352 /proc/meminfo: memFree=29005140/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1302084 CPUtime=0.29 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 57696 0 0 0 21 8 0 0 20 0 4 0 110125496 1333334016 57995 33554432000 4194304 16246674 140734064175824 140734064175136 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 325521 58003 876 2943 0 322415 0 [pid=6352/tid=6353] ppid=6349 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1333334016 58007 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1333334016 58011 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1333334016 58017 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1302084 [startup+0.700406 s] /proc/loadavg: 2.28 2.29 2.25 3/179 6352 /proc/meminfo: memFree=29005140/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1302084 CPUtime=0.69 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 140463 0 0 0 49 20 0 0 20 0 4 0 110125496 1333334016 140762 33554432000 4194304 16246674 140734064175824 140734064175136 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 325521 140768 876 2943 0 322415 0 [pid=6352/tid=6353] ppid=6349 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1333334016 140771 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1333334016 140776 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1333334016 140784 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1302084 [startup+1.50043 s] /proc/loadavg: 2.26 2.28 2.25 3/183 6356 /proc/meminfo: memFree=28084368/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1310276 CPUtime=1.49 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 268698 0 0 0 113 36 0 0 20 0 4 0 110125496 1341722624 268997 33554432000 4194304 16246674 140734064175824 140734064175136 12483423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 327569 268997 883 2943 0 324463 0 [pid=6352/tid=6353] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 268997 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 268997 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 268997 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1310276 [startup+3.10042 s] /proc/loadavg: 2.26 2.28 2.25 3/183 6356 /proc/meminfo: memFree=27929468/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1310276 CPUtime=3.09 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 268749 0 0 0 273 36 0 0 20 0 4 0 110125496 1341722624 269048 33554432000 4194304 16246674 140734064175824 140734064157696 12483370 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 327569 269048 883 2943 0 324463 0 [pid=6352/tid=6353] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269048 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269048 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269048 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1310276 [startup+6.30041 s] /proc/loadavg: 2.24 2.28 2.25 3/183 6356 /proc/meminfo: memFree=27929616/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1310276 CPUtime=6.28 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 268751 0 0 0 592 36 0 0 20 0 4 0 110125496 1341722624 269050 33554432000 4194304 16246674 140734064175824 140734064157696 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 327569 269050 885 2943 0 324463 0 [pid=6352/tid=6353] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269050 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269050 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269050 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1310276 [startup+12.7004 s] /proc/loadavg: 2.30 2.29 2.25 3/183 6356 /proc/meminfo: memFree=27929512/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1310276 CPUtime=12.68 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 268751 0 0 0 1232 36 0 0 20 0 4 0 110125496 1341722624 269050 33554432000 4194304 16246674 140734064175824 140734064157696 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 327569 269050 885 2943 0 324463 0 [pid=6352/tid=6353] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269050 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269050 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269050 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1310276 [startup+25.5075 s] /proc/loadavg: 2.23 2.27 2.25 3/183 6357 /proc/meminfo: memFree=27930168/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1310276 CPUtime=25.5 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 268751 0 0 0 2513 37 0 0 20 0 4 0 110125496 1341722624 269050 33554432000 4194304 16246674 140734064175824 140734064157696 5717656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 327569 269050 885 2943 0 324463 0 [pid=6352/tid=6353] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269050 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269050 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269050 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 1310276 [startup+51.1004 s] /proc/loadavg: 2.28 2.28 2.25 3/183 6357 /proc/meminfo: memFree=27930252/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1310276 CPUtime=51.08 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 268752 0 0 0 5071 37 0 0 20 0 4 0 110125496 1341722624 269051 33554432000 4194304 16246674 140734064175824 140734064157696 5708486 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 327569 269051 886 2943 0 324463 0 [pid=6352/tid=6353] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269051 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269051 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269051 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1310276 [startup+102.3 s] /proc/loadavg: 2.29 2.28 2.25 3/183 6358 /proc/meminfo: memFree=27929960/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1310276 CPUtime=102.28 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 268752 0 0 0 10190 38 0 0 20 0 4 0 110125496 1341722624 269051 33554432000 4194304 16246674 140734064175824 140734064157696 5726469 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 327569 269051 886 2943 0 324463 0 [pid=6352/tid=6353] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269051 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269051 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1341722624 269051 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1310276 ################ # More data... # ################ /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1242.05 Current children cumulated vsize (KiB) 1312324 [startup+1302.3 s] /proc/loadavg: 2.35 2.34 2.28 4/183 6459 /proc/meminfo: memFree=28025788/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1312324 CPUtime=1302.03 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 269261 0 0 0 130146 57 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140734064157696 12483230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 328081 269415 886 2943 0 324975 0 [pid=6352/tid=6353] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.03 Current children cumulated vsize (KiB) 1312324 [startup+1362.3 s] /proc/loadavg: 2.41 2.35 2.29 3/183 6460 /proc/meminfo: memFree=28025784/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1312324 CPUtime=1362 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 269298 0 0 0 136142 58 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140734064157696 13881795 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 328081 269415 886 2943 0 324975 0 [pid=6352/tid=6353] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 1312324 [startup+1422.3 s] /proc/loadavg: 2.33 2.33 2.28 3/183 6461 /proc/meminfo: memFree=28025836/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1312324 CPUtime=1421.97 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 269331 0 0 0 142138 59 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140734064157696 5722381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 328081 269415 886 2943 0 324975 0 [pid=6352/tid=6353] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1312324 [startup+1482.3 s] /proc/loadavg: 2.41 2.35 2.28 4/184 6465 /proc/meminfo: memFree=28025320/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1312324 CPUtime=1481.94 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 269378 0 0 0 148134 60 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140734064157696 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 328081 269415 886 2943 0 324975 0 [pid=6352/tid=6353] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1312324 [startup+1542.3 s] /proc/loadavg: 2.37 2.34 2.28 3/182 6466 /proc/meminfo: memFree=28025628/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1312324 CPUtime=1541.9 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 269425 0 0 0 154130 60 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140734064157696 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 328081 269415 886 2943 0 324975 0 [pid=6352/tid=6353] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1312324 [startup+1602.3 s] /proc/loadavg: 2.33 2.34 2.28 3/183 6468 /proc/meminfo: memFree=28024840/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1312324 CPUtime=1601.88 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 269441 0 0 0 160127 61 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140734064157696 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 328081 269415 886 2943 0 324975 0 [pid=6352/tid=6353] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269415 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1312324 [startup+1662.31 s] /proc/loadavg: 2.32 2.33 2.28 4/183 6469 /proc/meminfo: memFree=28024944/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1312324 CPUtime=1661.87 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 269476 0 0 0 166126 61 0 0 20 0 4 0 110125496 1343819776 269450 33554432000 4194304 16246674 140734064175824 140734064157696 5546664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 328081 269450 886 2943 0 324975 0 [pid=6352/tid=6353] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269450 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269450 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269450 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1312324 [startup+1722.3 s] /proc/loadavg: 2.29 2.32 2.27 3/183 6470 /proc/meminfo: memFree=28024976/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1312324 CPUtime=1721.86 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 269476 0 0 0 172124 62 0 0 20 0 4 0 110125496 1343819776 269450 33554432000 4194304 16246674 140734064175824 140734064173760 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 328081 269450 886 2943 0 324975 0 [pid=6352/tid=6353] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269450 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269450 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269450 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1312324 [startup+1782.3 s] /proc/loadavg: 2.47 2.35 2.29 3/183 6471 /proc/meminfo: memFree=28024160/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1312324 CPUtime=1781.85 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 269476 0 0 0 178121 64 0 0 20 0 4 0 110125496 1343819776 269450 33554432000 4194304 16246674 140734064175824 140734064157696 4206613 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 328081 269450 886 2943 0 324975 0 [pid=6352/tid=6353] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269450 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269450 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269450 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1312324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.45 2.35 2.28 3/183 6471 /proc/meminfo: memFree=28024888/32872528 swapFree=17892/1720544 [pid=6352] ppid=6349 vsize=1312324 CPUtime=1800.05 cores=1,3,5,7 /proc/6352/stat : 6352 (toysat) R 6349 6352 3556 0 -1 4202496 269476 0 0 0 179939 66 0 0 20 0 4 0 110125496 1343819776 269450 33554432000 4194304 16246674 140734064175824 140734064174920 5974060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6352/statm: 328081 269450 886 2943 0 324975 0 [pid=6352/tid=6353] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6353/stat : 6353 (toysat) S 6349 6352 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269450 33554432000 4194304 16246674 140734064175824 140434460355824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6352/tid=6354] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6354/stat : 6354 (toysat) S 6349 6352 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269450 33554432000 4194304 16246674 140734064175824 140434449865968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6352/tid=6355] ppid=6349 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/6352/task/6355/stat : 6355 (toysat) S 6349 6352 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110125496 1343819776 269450 33554432000 4194304 16246674 140734064175824 140434439392432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1312324 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 6352 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.4 CPU system time (s): 0.660899 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 1312324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.4 system time used= 0.660899 maximum resident set size= 1077800 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269476 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= 343 involuntary context switches= 1862 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.3591 second user time and 16.6745 second system time The end
Begin job on node117 at 2016-06-07 08:45:23 IDJOB=4078939 IDBENCH=90114 IDSOLVER=2542 FILE ID=node117/4078939-1465281923 RUNJOBID= node117-1465262703-3573 PBS_JOBID= 19843298 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K88.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078939-1465281923/watcher-4078939-1465281923 -o /tmp/evaluation-result-4078939-1465281923/solver-4078939-1465281923 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3573 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078939-1465281923.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1622186c78d9255ec55518143c1e5a9e RANDOM SEED=555847702 node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 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 : 2667.088 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.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 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: 29005824 kB Buffers: 81936 kB Cached: 127392 kB SwapCached: 29276 kB Active: 1257128 kB Inactive: 152168 kB Active(anon): 1171928 kB Inactive(anon): 30172 kB Active(file): 85200 kB Inactive(file): 121996 kB Unevictable: 1720544 kB Mlocked: 17892 kB SwapTotal: 67108856 kB SwapFree: 67071196 kB Dirty: 16744 kB Writeback: 0 kB AnonPages: 2894008 kB Mapped: 10660 kB Shmem: 0 kB Slab: 599524 kB SReclaimable: 43528 kB SUnreclaim: 555996 kB KernelStack: 1448 kB PageTables: 9276 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3035556 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2869248 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= 71708 MiB End job on node117 at 2016-06-07 09:15:24