| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K91.opb |
| MD5SUM | 8c2203c9ba90488459f210b4f3d3e3ed |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1411.46 |
| 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 | 6188 |
| Total number of constraints | 6372 |
| Number of constraints which are clauses | 6281 |
| Number of constraints which are cardinality constraints (but not clauses) | 91 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 91 |
| 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 | 92 |
| 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:47:13+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-4078942-1465282033.opb"] 0.00/0.01 c use --random-gen="4286337474 3862116297 3658836747 1083320842 1888770409 2075491310 65300046 2643439873 3944654437 1722797042 3281386633 2015253010 2316317393 2608240466 2273382391 365824070 979821174 3718352183 2778978182 177291519 528371028 1960554918 3921934137 1876394970 1888716085 3566979856 2997925864 554875153 2180722752 3902753853 206661630 3092433543 2102340753 2442791243 1528266677 2480739575 585216542 684306705 3507169461 2172221332 1170132077 2454143202 3027286446 3151842548 4001571177 3462314835 1867875655 3472328044 3920415687 1617552379 263226183 30425352 4131842562 2840301409 3616039257 2012223045 765947632 3052154830 446958057 3711155118 2033620282 1421578373 1921567042 3326315873 1251025833 1254729785 1029911294 3519180852 1209650348 2148797761 2673658150 4206467832 2196414602 1292695734 3804442017 1131741998 833998356 3819638707 4069550075 1309767718 2053795967 740854349 1873404374 2245839136 863070286 2704839856 2779197290 2519936999 313656604 1533777827 59501355 2860031306 4187333135 2662746127 37107134 4219187693 3758586949 3726298246 2900245069 598981550 1250383513 717446634 820498804 3642756742 431123095 1434117959 1563698011 1339087140 3735839429 3037935007 948339974 1897551754 500145299 1611840001 3079343462 1489639777 3996772601 3162423976 3167512156 2728393137 2488667102 3623517932 1579256011 273362085 1551689973 2229243840 375665659 3195519317 1200335538 1699354205 629165960 4130191572 3522393178 3652053353 1494987365 3513376903 2953783349 1869650903 2958336406 2833152586 418183875 3973050170 2578717093 1969404539 2462919766 2105338693 1940130072 3439115189 1611664475 2895962916 3460894922 4275640852 1422404574 703403371 269591018 2392210352 2837037890 1377751824 3521591083 1901044966 3690886469 1934570050 3702613688 3521881801 1822527150 325564233 2906422891 1585072927 1017087904 4277770675 2979523102 532726149 3057229120 1771708368 1047620064 4138153949 1299606555 890480159 4223609798 1193889676 87336922 3360698820 2126690431 1218360748 3606439861 1616997903 2555593764 3224198448 3989372810 886065278 2633626637 2404389686 1814348990 456725046 1572867 112284496 96404136 1330734618 590442584 1674097992 3492718207 3451407562 398584912 3364495769 130411815 3350586025 2715413565 1456540872 4177606846 846920446 1971070092 3418618147 1855725205 1831476913 3268779008 2841974212 2787581741 4097134982 41127073 1002306589 2018172407 1682394925 3378118240 3788349214 1201761961 686805760 4204839534 4188896829 2279788840 837652144 2801974172 2030383644 544516709 368913211 2649521798 2559240159 1000117729 3154763404 1038532199 696306895 1841524708 1718523897 256807855 69116292 2231728930 1313262692 3854575015 885286844 1056494393 2134577520 671721155 1357995755 2027070244 819113824 1499732649 2373963000 255 362436" option to reproduce the execution 0.09/0.10 c #vars 6188 0.09/0.10 c #constraints 6372 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 4186 0 | 362 | 0 0.39/0.40 c 0.2s | 1 | 4413 | 100 | 4186 0 | 363 | 304 0.59/0.66 c 0.4s | 2 | 7451 | 250 | 4605 0 | 364 | 305 0.89/0.97 c 0.7s | 3 | 11040 | 475 | 5066 0 | 364 | 305 1.38/1.46 c 1.2s | 4 | 19034 | 813 | 5573 0 | 365 | 306 1.88/1.97 c 1.7s | 5 | 29406 | 1320 | 6131 0 | 367 | 308 2.79/2.85 c 2.6s | 6 | 37516 | 2081 | 7420 0 | 367 | 308 3.99/4.07 c 3.8s | 7 | 55903 | 3223 | 8163 0 | 369 | 310 5.89/5.97 c 5.7s | 8 | 71972 | 4936 | 8980 0 | 369 | 310 7.99/8.00 c 7.8s | 8 | 90224 | 6436 | 8980 0 | 370 | 311 9.19/9.24 c 9.0s | 9 | 109234 | 7506 | 9878 0 | 371 | 312 11.19/11.27 c 11.0s | 9 | 133399 | 9106 | 9878 0 | 372 | 313 13.29/13.35 c 13.1s | 9 | 155349 | 10706 | 9878 0 | 372 | 313 14.29/14.37 c 14.1s | 10 | 162860 | 11361 | 10866 1 | 372 | 313 16.38/16.49 c 16.3s | 10 | 190909 | 13161 | 10866 1 | 374 | 315 18.48/18.55 c 18.3s | 10 | 213914 | 14561 | 10866 1 | 378 | 319 20.58/20.69 c 20.5s | 10 | 225192 | 16061 | 10866 1 | 378 | 319 22.69/22.78 c 22.5s | 10 | 227704 | 16861 | 10866 1 | 378 | 319 23.09/23.20 c 23.0s | 11 | 233354 | 17144 | 11953 1 | 378 | 319 25.19/25.25 c 25.0s | 11 | 253928 | 18544 | 11953 1 | 378 | 319 27.28/27.35 c 27.1s | 11 | 269998 | 20044 | 11953 2 | 378 | 319 29.38/29.42 c 29.2s | 11 | 279973 | 21244 | 11953 2 | 378 | 319 31.48/31.51 c 31.3s | 11 | 291309 | 22544 | 11953 2 | 378 | 319 33.48/33.52 c 33.3s | 11 | 307414 | 23844 | 11953 2 | 378 | 319 35.49/35.54 c 35.3s | 11 | 317788 | 24944 | 11953 2 | 378 | 319 36.79/36.82 c 36.6s | 12 | 327993 | 25819 | 13149 2 | 378 | 319 38.79/38.83 c 38.6s | 12 | 342453 | 27019 | 13149 3 | 380 | 321 40.98/41.02 c 40.8s | 12 | 361697 | 28419 | 13149 3 | 382 | 323 42.99/43.09 c 42.9s | 12 | 385724 | 29919 | 13149 3 | 382 | 323 45.19/45.25 c 45.0s | 12 | 397813 | 31119 | 13149 3 | 383 | 324 47.28/47.33 c 47.1s | 12 | 402897 | 31919 | 13149 3 | 383 | 324 49.28/49.34 c 49.1s | 12 | 413640 | 33119 | 13149 3 | 383 | 324 51.38/51.47 c 51.2s | 12 | 436407 | 34719 | 13149 4 | 383 | 324 53.38/53.48 c 53.3s | 12 | 453347 | 36119 | 13149 4 | 383 | 324 55.58/55.69 c 55.5s | 12 | 461425 | 37219 | 13149 4 | 383 | 324 57.78/57.87 c 57.6s | 12 | 475846 | 38519 | 13149 4 | 384 | 325 58.39/58.44 c 58.2s | 13 | 480485 | 38832 | 14464 4 | 384 | 325 60.68/60.70 c 60.5s | 13 | 491640 | 40032 | 14464 4 | 384 | 325 62.69/62.78 c 62.6s | 13 | 499162 | 41432 | 14464 4 | 384 | 325 64.78/64.86 c 64.6s | 13 | 505998 | 42432 | 14464 4 | 384 | 325 66.98/67.01 c 66.8s | 13 | 512309 | 43332 | 14464 4 | 384 | 325 69.18/69.22 c 69.0s | 13 | 514567 | 44032 | 14464 4 | 384 | 325 71.18/71.26 c 71.0s | 13 | 515260 | 44332 | 14464 4 | 384 | 325 73.37/73.46 c 73.2s | 13 | 517204 | 44932 | 14464 5 | 384 | 325 76.48/76.51 c 76.3s | 13 | 518444 | 45332 | 14464 5 | 384 | 325 79.08/79.17 c 78.9s | 13 | 519643 | 45732 | 14464 5 | 384 | 325 81.38/81.47 c 81.2s | 13 | 521378 | 46132 | 14464 5 | 384 | 325 83.88/83.95 c 83.7s | 13 | 523366 | 46632 | 14464 5 | 384 | 325 86.18/86.22 c 86.0s | 13 | 525959 | 47132 | 14464 5 | 384 | 325 88.28/88.30 c 88.1s | 13 | 528351 | 47632 | 14464 5 | 384 | 325 90.28/90.35 c 90.1s | 13 | 531826 | 48332 | 14464 5 | 384 | 325 93.37/93.41 c 93.2s | 13 | 533275 | 48732 | 14464 5 | 384 | 325 95.47/95.58 c 95.4s | 13 | 533570 | 48932 | 14464 5 | 384 | 325 98.27/98.38 c 98.2s | 13 | 534590 | 49232 | 14464 5 | 384 | 325 101.28/101.32 c 101s | 13 | 535377 | 49532 | 14464 5 | 384 | 325 103.38/103.49 c 103s | 13 | 542945 | 50232 | 14464 5 | 384 | 325 105.47/105.53 c 105s | 13 | 550814 | 51232 | 14464 5 | 384 | 325 107.67/107.78 c 107s | 13 | 558445 | 52332 | 14464 6 | 384 | 325 110.08/110.17 c 109s | 13 | 560255 | 52932 | 14464 6 | 384 | 325 112.18/112.26 c 112s | 13 | 562471 | 53432 | 14464 6 | 384 | 325 114.38/114.43 c 114s | 13 | 564473 | 53932 | 14464 6 | 384 | 325 116.58/116.69 c 116s | 13 | 565955 | 54332 | 14464 6 | 384 | 325 118.88/118.93 c 118s | 13 | 574144 | 55132 | 14464 6 | 384 | 325 120.98/121.09 c 120s | 13 | 580753 | 56032 | 14464 6 | 384 | 325 123.18/123.21 c 122s | 13 | 583670 | 56832 | 14464 6 | 384 | 325 125.27/125.30 c 125s | 13 | 598829 | 57932 | 14464 6 | 384 | 325 126.07/126.14 c 125s | 14 | 603444 | 58352 | 15911 6 | 384 | 325 128.17/128.26 c 128s | 14 | 609958 | 59052 | 15911 6 | 384 | 325 130.17/130.27 c 130s | 14 | 626909 | 60152 | 15911 6 | 384 | 325 132.26/132.32 c 132s | 14 | 639458 | 61252 | 15911 7 | 384 | 325 134.36/134.49 c 134s | 14 | 652243 | 62752 | 15911 7 | 384 | 325 136.48/136.51 c 136s | 14 | 660711 | 63652 | 15911 7 | 384 | 325 138.58/138.61 c 138s | 14 | 676710 | 64652 | 15911 7 | 384 | 325 140.67/140.70 c 140s | 14 | 692516 | 65952 | 15911 7 | 386 | 327 142.67/142.78 c 142s | 14 | 704638 | 67352 | 15911 7 | 387 | 328 144.87/144.90 c 144s | 14 | 708089 | 68252 | 15911 7 | 387 | 328 146.97/147.04 c 146s | 14 | 733511 | 69652 | 15911 8 | 387 | 328 149.07/149.12 c 148s | 14 | 746728 | 70852 | 15911 8 | 387 | 328 151.06/151.14 c 150s | 14 | 762700 | 72252 | 15911 8 | 387 | 328 153.06/153.14 c 152s | 14 | 777738 | 73452 | 15911 8 | 387 | 328 155.17/155.23 c 154s | 14 | 795590 | 74652 | 15911 8 | 388 | 329 157.28/157.37 c 157s | 14 | 810239 | 76052 | 15911 8 | 389 | 330 159.47/159.59 c 159s | 14 | 828774 | 77452 | 15911 8 | 389 | 330 161.57/161.63 c 161s | 14 | 847378 | 78752 | 15911 9 | 389 | 330 163.67/163.73 c 163s | 14 | 857158 | 80052 | 15911 9 | 389 | 330 165.96/166.07 c 165s | 14 | 872082 | 81452 | 15911 9 | 389 | 330 167.96/168.10 c 167s | 14 | 873673 | 81952 | 15911 9 | 389 | 330 170.36/170.40 c 170s | 14 | 874607 | 82352 | 15911 9 | 389 | 330 172.36/172.44 c 172s | 14 | 875715 | 82752 | 15911 9 | 389 | 330 174.46/174.51 c 174s | 14 | 890647 | 83952 | 15911 9 | 389 | 330 176.46/176.59 c 176s | 14 | 896307 | 85152 | 15911 9 | 389 | 330 178.76/178.82 c 178s | 14 | 910248 | 86252 | 15911 10 | 389 | 330 180.46/180.58 c 180s | 15 | 928318 | 87632 | 17503 10 | 389 | 330 182.56/182.63 c 182s | 15 | 941929 | 88732 | 17503 10 | 389 | 330 184.77/184.87 c 184s | 15 | 948743 | 89832 | 17503 10 | 389 | 330 187.07/187.12 c 186s | 15 | 962673 | 91032 | 17503 10 | 389 | 330 189.17/189.29 c 189s | 15 | 968597 | 92132 | 17503 10 | 389 | 330 191.26/191.39 c 191s | 15 | 972156 | 92932 | 17503 10 | 389 | 330 193.36/193.42 c 193s | 15 | 975019 | 93732 | 17503 10 | 389 | 330 195.36/195.47 c 195s | 15 | 978067 | 94532 | 17503 10 | 389 | 330 197.56/197.65 c 197s | 15 | 993447 | 95832 | 17503 10 | 389 | 330 199.95/200.02 c 199s | 15 | 994664 | 96332 | 17503 10 | 389 | 330 201.95/202.07 c 201s | 15 | 1004569 | 97232 | 17503 11 | 389 | 330 204.25/204.34 c 204s | 15 | 1006654 | 97732 | 17503 11 | 389 | 330 206.26/206.38 c 206s | 15 | 1007343 | 98132 | 17503 11 | 389 | 330 208.36/208.49 c 208s | 15 | 1008889 | 98632 | 17503 11 | 389 | 330 210.76/210.82 c 210s | 15 | 1010033 | 99032 | 17503 11 | 389 | 330 212.76/212.83 c 212s | 15 | 1012542 | 99632 | 17503 11 | 389 | 330 214.76/214.85 c 214s | 15 | 1015091 | 100432 | 17503 11 | 389 | 330 216.86/216.97 c 216s | 15 | 1017245 | 101032 | 17503 11 | 389 | 330 219.46/219.56 c 219s | 15 | 1019158 | 101532 | 17503 11 | 389 | 330 221.56/221.65 c 221s | 15 | 1019769 | 101832 | 17503 11 | 389 | 330 223.66/223.72 c 223s | 15 | 1022351 | 102332 | 17503 11 | 389 | 330 225.75/225.87 c 225s | 15 | 1037223 | 103432 | 17503 11 | 389 | 330 227.95/228.00 c 227s | 15 | 1051361 | 104632 | 17503 11 | 389 | 330 230.25/230.31 c 230s | 15 | 1056647 | 105632 | 17503 11 | 389 | 330 232.75/232.85 c 232s | 15 | 1057626 | 106032 | 17503 11 | 389 | 330 235.46/235.53 c 235s | 15 | 1058201 | 106332 | 17503 11 | 389 | 330 237.45/237.54 c 237s | 15 | 1073717 | 107432 | 17503 12 | 390 | 331 239.55/239.61 c 239s | 15 | 1089159 | 108832 | 17503 12 | 390 | 331 241.55/241.67 c 241s | 15 | 1101445 | 110132 | 17503 12 | 390 | 331 243.55/243.69 c 243s | 15 | 1106461 | 111132 | 17503 12 | 390 | 331 245.65/245.79 c 245s | 15 | 1128681 | 112532 | 17503 12 | 390 | 331 247.75/247.84 c 247s | 15 | 1142341 | 114032 | 17503 12 | 390 | 331 249.85/249.92 c 249s | 15 | 1155772 | 115332 | 17503 12 | 390 | 331 251.86/251.93 c 251s | 15 | 1168018 | 116732 | 17503 13 | 390 | 331 253.85/253.97 c 253s | 15 | 1181625 | 117932 | 17503 13 | 391 | 332 255.95/256.05 c 255s | 15 | 1195198 | 119332 | 17503 13 | 392 | 333 258.05/258.11 c 257s | 15 | 1212371 | 120732 | 17503 13 | 392 | 333 260.05/260.12 c 259s | 15 | 1226605 | 122032 | 17503 13 | 392 | 333 262.05/262.19 c 261s | 15 | 1240507 | 123532 | 17503 13 | 392 | 333 264.15/264.26 c 264s | 15 | 1252422 | 124732 | 17503 13 | 392 | 333 266.15/266.28 c 266s | 15 | 1265425 | 126032 | 17503 14 | 392 | 333 268.25/268.37 c 268s | 15 | 1268594 | 126732 | 17503 14 | 392 | 333 270.34/270.43 c 270s | 15 | 1280829 | 128132 | 17503 14 | 392 | 333 272.75/272.83 c 272s | 15 | 1283551 | 128932 | 17503 14 | 392 | 333 274.85/274.98 c 274s | 15 | 1286541 | 129532 | 17503 14 | 392 | 333 277.05/277.20 c 276s | 15 | 1290323 | 130032 | 17503 14 | 392 | 333 279.45/279.57 c 279s | 15 | 1292443 | 130532 | 17503 14 | 392 | 333 281.55/281.64 c 281s | 15 | 1294460 | 131032 | 19254 14 | 392 | 333 282.95/283.07 c 282s | 16 | 1297237 | 131552 | 19254 14 | 392 | 333 285.05/285.16 c 284s | 16 | 1311673 | 132652 | 19254 14 | 392 | 333 287.05/287.16 c 286s | 16 | 1321436 | 133652 | 19254 14 | 392 | 333 289.14/289.22 c 288s | 16 | 1337152 | 134952 | 19254 14 | 392 | 333 291.24/291.30 c 291s | 16 | 1353742 | 136052 | 19254 15 | 392 | 333 293.44/293.51 c 293s | 16 | 1375923 | 137552 | 19254 15 | 392 | 333 295.44/295.58 c 295s | 16 | 1399261 | 139052 | 19254 15 | 392 | 333 297.64/297.74 c 297s | 16 | 1406373 | 139752 | 19254 15 | 392 | 333 299.64/299.77 c 299s | 16 | 1428212 | 140952 | 19254 15 | 392 | 333 301.74/301.86 c 301s | 16 | 1444397 | 142252 | 19254 15 | 393 | 334 303.84/303.90 c 303s | 16 | 1458581 | 143452 | 19254 15 | 393 | 334 306.04/306.11 c 305s | 16 | 1469885 | 144652 | 19254 15 | 393 | 334 308.04/308.19 c 307s | 16 | 1482709 | 145752 | 19254 15 | 393 | 334 310.14/310.23 c 309s | 16 | 1495709 | 146752 | 19254 16 | 393 | 334 312.24/312.30 c 312s | 16 | 1511288 | 148352 | 19254 16 | 394 | 335 314.54/314.62 c 314s | 16 | 1513310 | 148952 | 19254 16 | 394 | 335 316.64/316.76 c 316s | 16 | 1524697 | 149952 | 19254 16 | 395 | 336 318.74/318.80 c 318s | 16 | 1543392 | 151352 | 19254 16 | 395 | 336 320.74/320.83 c 320s | 16 | 1557842 | 152752 | 19254 16 | 395 | 336 322.74/322.86 c 322s | 16 | 1575567 | 154152 | 19254 16 | 395 | 336 324.93/325.01 c 324s | 16 | 1581030 | 155052 | 19254 16 | 395 | 336 327.03/327.17 c 326s | 16 | 1584450 | 155752 | 19254 16 | 395 | 336 329.43/329.56 c 329s | 16 | 1586801 | 156452 | 19254 16 | 395 | 336 331.73/331.81 c 331s | 16 | 1589022 | 157052 | 19254 16 | 395 | 336 334.04/334.15 c 333s | 16 | 1590555 | 157452 | 19254 16 | 395 | 336 336.44/336.58 c 336s | 16 | 1591699 | 157752 | 19254 16 | 395 | 336 338.85/338.96 c 338s | 16 | 1592156 | 157952 | 19254 16 | 395 | 336 341.64/341.72 c 341s | 16 | 1593202 | 158352 | 19254 17 | 395 | 336 343.74/343.80 c 343s | 16 | 1594351 | 158752 | 19254 17 | 395 | 336 346.04/346.18 c 345s | 16 | 1595407 | 159152 | 19254 17 | 395 | 336 348.14/348.25 c 348s | 16 | 1598591 | 159952 | 19254 17 | 395 | 336 350.74/350.86 c 350s | 16 | 1601495 | 160452 | 19254 17 | 395 | 336 352.84/352.92 c 352s | 16 | 1603659 | 160852 | 19254 17 | 395 | 336 354.94/355.03 c 354s | 16 | 1612821 | 162152 | 19254 17 | 395 | 336 357.04/357.15 c 356s | 16 | 1615963 | 162952 | 19254 17 | 395 | 336 359.04/359.15 c 358s | 16 | 1622128 | 163952 | 19254 17 | 395 | 336 361.04/361.18 c 360s | 16 | 1629082 | 165152 | 19254 17 | 395 | 336 363.14/363.29 c 363s | 16 | 1635264 | 166152 | 19254 17 | 395 | 336 365.34/365.41 c 365s | 16 | 1642769 | 167152 | 19254 17 | 395 | 336 367.64/367.72 c 367s | 16 | 1646245 | 167952 | 19254 17 | 395 | 336 369.64/369.79 c 369s | 16 | 1648438 | 168452 | 19254 17 | 395 | 336 371.74/371.85 c 371s | 16 | 1660294 | 169552 | 19254 18 | 395 | 336 373.83/373.94 c 373s | 16 | 1681373 | 171152 | 19254 18 | 395 | 336 375.93/376.02 c 375s | 16 | 1699005 | 172652 | 19254 18 | 395 | 336 378.03/378.12 c 377s | 16 | 1718344 | 174052 | 19254 18 | 395 | 336 380.13/380.22 c 379s | 16 | 1725285 | 175152 | 19254 18 | 395 | 336 382.23/382.35 c 382s | 16 | 1727941 | 175952 | 19254 18 | 395 | 336 384.23/384.36 c 384s | 16 | 1729691 | 176552 | 19254 18 | 395 | 336 386.63/386.78 c 386s | 16 | 1731106 | 177052 | 19254 18 | 395 | 336 388.63/388.80 c 388s | 16 | 1732549 | 177452 | 19254 18 | 395 | 336 390.83/390.98 c 390s | 16 | 1734093 | 177952 | 19254 18 | 395 | 336 393.23/393.36 c 393s | 16 | 1735711 | 178452 | 19254 18 | 395 | 336 395.63/395.72 c 395s | 16 | 1736595 | 178752 | 19254 18 | 395 | 336 397.83/398.00 c 397s | 16 | 1737322 | 179052 | 19254 18 | 395 | 336 400.03/400.18 c 399s | 16 | 1738497 | 179452 | 19254 18 | 395 | 336 402.53/402.67 c 402s | 16 | 1739471 | 179852 | 19254 18 | 395 | 336 404.93/405.01 c 404s | 16 | 1740553 | 180252 | 19254 18 | 395 | 336 407.03/407.12 c 406s | 16 | 1741180 | 180552 | 19254 18 | 395 | 336 410.12/410.26 c 410s | 16 | 1742501 | 180952 | 19254 19 | 395 | 336 412.62/412.71 c 412s | 16 | 1743391 | 181352 | 19254 19 | 395 | 336 415.02/415.17 c 414s | 16 | 1744165 | 181652 | 19254 19 | 395 | 336 417.13/417.23 c 416s | 16 | 1746112 | 182052 | 19254 19 | 395 | 336 419.23/419.37 c 419s | 16 | 1758990 | 183452 | 19254 19 | 395 | 336 421.34/421.45 c 421s | 16 | 1775997 | 184852 | 19254 19 | 395 | 336 423.44/423.55 c 423s | 16 | 1791733 | 186252 | 19254 19 | 395 | 336 425.53/425.64 c 425s | 16 | 1807306 | 187852 | 19254 19 | 395 | 336 427.63/427.72 c 427s | 16 | 1817913 | 189252 | 19254 19 | 395 | 336 429.83/429.90 c 429s | 16 | 1829610 | 190452 | 19254 19 | 395 | 336 431.83/431.97 c 431s | 16 | 1832960 | 191152 | 19254 19 | 395 | 336 433.93/434.03 c 433s | 16 | 1839527 | 192152 | 19254 20 | 395 | 336 435.93/436.09 c 435s | 16 | 1846551 | 193352 | 19254 20 | 395 | 336 438.03/438.17 c 437s | 16 | 1850183 | 194252 | 19254 20 | 395 | 336 440.03/440.18 c 439s | 16 | 1857211 | 195352 | 19254 20 | 395 | 336 442.13/442.27 c 442s | 16 | 1866662 | 196452 | 21180 20 | 395 | 336 444.22/444.35 c 444s | 16 | 1870398 | 197052 | 21180 20 | 395 | 336 445.43/445.57 c 445s | 17 | 1872119 | 197432 | 21180 20 | 395 | 336 447.52/447.60 c 447s | 17 | 1886653 | 198632 | 21180 20 | 395 | 336 449.52/449.69 c 449s | 17 | 1906342 | 200232 | 21180 20 | 395 | 336 451.62/451.76 c 451s | 17 | 1921423 | 201332 | 21180 20 | 396 | 337 453.82/453.93 c 453s | 17 | 1940413 | 202732 | 21180 21 | 396 | 337 455.92/456.00 c 455s | 17 | 1966182 | 204532 | 21180 21 | 396 | 337 457.92/458.09 c 457s | 17 | 1973737 | 205832 | 21180 21 | 396 | 337 460.02/460.17 c 459s | 17 | 1993031 | 207432 | 21180 21 | 396 | 337 462.22/462.32 c 462s | 17 | 1996662 | 208432 | 21180 21 | 396 | 337 464.32/464.45 c 464s | 17 | 2011366 | 209732 | 21180 21 | 396 | 337 466.42/466.54 c 466s | 17 | 2022790 | 211032 | 21180 21 | 396 | 337 468.52/468.65 c 468s | 17 | 2037956 | 212432 | 21180 21 | 396 | 337 470.61/470.77 c 470s | 17 | 2049648 | 213832 | 21180 21 | 397 | 338 472.71/472.84 c 472s | 17 | 2059657 | 215232 | 21180 22 | 397 | 338 474.71/474.88 c 474s | 17 | 2076418 | 216632 | 21180 22 | 397 | 338 476.71/476.88 c 476s | 17 | 2078080 | 217432 | 21180 22 | 397 | 338 478.81/478.93 c 478s | 17 | 2087085 | 218532 | 21180 22 | 397 | 338 480.81/480.97 c 480s | 17 | 2104022 | 220232 | 21180 22 | 397 | 338 482.82/482.97 c 482s | 17 | 2114032 | 221532 | 21180 22 | 397 | 338 484.91/485.04 c 484s | 17 | 2133483 | 223032 | 21180 22 | 397 | 338 487.11/487.20 c 486s | 17 | 2154634 | 224432 | 21180 22 | 397 | 338 489.11/489.26 c 489s | 17 | 2176246 | 225932 | 21180 23 | 397 | 338 491.21/491.32 c 491s | 17 | 2195307 | 227832 | 21180 23 | 397 | 338 493.31/493.41 c 493s | 17 | 2211469 | 229532 | 21180 23 | 397 | 338 495.51/495.66 c 495s | 17 | 2214944 | 230432 | 21180 23 | 397 | 338 497.81/497.98 c 497s | 17 | 2216581 | 231032 | 21180 23 | 397 | 338 499.92/500.00 c 499s | 17 | 2219235 | 231732 | 21180 23 | 397 | 338 501.92/502.06 c 501s | 17 | 2222718 | 232732 | 21180 23 | 397 | 338 504.02/504.14 c 503s | 17 | 2226877 | 233732 | 21180 23 | 397 | 338 506.22/506.37 c 506s | 17 | 2229762 | 234532 | 21180 23 | 397 | 338 508.51/508.69 c 508s | 17 | 2233202 | 235232 | 21180 23 | 397 | 338 511.11/511.23 c 511s | 17 | 2234113 | 235632 | 21180 23 | 397 | 338 513.41/513.53 c 513s | 17 | 2237200 | 236132 | 21180 23 | 397 | 338 515.61/515.77 c 515s | 17 | 2238048 | 236432 | 21180 23 | 397 | 338 518.31/518.46 c 518s | 17 | 2239973 | 236832 | 21180 23 | 397 | 338 520.41/520.58 c 520s | 17 | 2241005 | 237132 | 21180 23 | 397 | 338 522.51/522.63 c 522s | 17 | 2243322 | 237732 | 21180 23 | 397 | 338 524.91/525.08 c 524s | 17 | 2244338 | 238132 | 21180 23 | 397 | 338 527.30/527.47 c 527s | 17 | 2245518 | 238532 | 21180 23 | 397 | 338 529.80/529.92 c 529s | 17 | 2246285 | 238832 | 21180 23 | 397 | 338 531.81/531.97 c 531s | 17 | 2247112 | 239132 | 21180 24 | 397 | 338 534.01/534.15 c 533s | 17 | 2250073 | 240032 | 21180 24 | 397 | 338 536.11/536.20 c 535s | 17 | 2251233 | 240432 | 21180 24 | 397 | 338 538.11/538.24 c 538s | 17 | 2253318 | 240932 | 21180 24 | 397 | 338 540.20/540.32 c 540s | 17 | 2254797 | 241532 | 21180 24 | 397 | 338 542.60/542.72 c 542s | 17 | 2256154 | 242032 | 21180 24 | 397 | 338 544.81/544.90 c 544s | 17 | 2258168 | 242432 | 21180 24 | 397 | 338 546.91/547.09 c 546s | 17 | 2259320 | 242832 | 21180 24 | 397 | 338 549.10/549.28 c 549s | 17 | 2260088 | 243132 | 21180 24 | 397 | 338 551.91/552.00 c 551s | 17 | 2261173 | 243532 | 21180 24 | 397 | 338 554.20/554.31 c 554s | 17 | 2262503 | 243932 | 21180 24 | 397 | 338 556.51/556.68 c 556s | 17 | 2263717 | 244332 | 21180 24 | 397 | 338 558.61/558.72 c 558s | 17 | 2265115 | 244732 | 21180 24 | 397 | 338 561.10/561.20 c 560s | 17 | 2265720 | 245032 | 21180 24 | 397 | 338 563.31/563.41 c 563s | 17 | 2266523 | 245332 | 21180 24 | 397 | 338 565.50/565.61 c 565s | 17 | 2267532 | 245632 | 21180 24 | 397 | 338 567.51/567.67 c 567s | 17 | 2268474 | 245932 | 21180 24 | 397 | 338 570.10/570.21 c 569s | 17 | 2269682 | 246332 | 21180 24 | 397 | 338 572.41/572.52 c 572s | 17 | 2270265 | 246632 | 21180 24 | 397 | 338 574.81/574.94 c 574s | 17 | 2271267 | 246932 | 21180 24 | 397 | 338 577.10/577.29 c 577s | 17 | 2272222 | 247232 | 21180 24 | 397 | 338 579.80/579.97 c 579s | 17 | 2273381 | 247632 | 21180 24 | 397 | 338 582.60/582.77 c 582s | 17 | 2274140 | 247932 | 21180 24 | 397 | 338 585.70/585.86 c 585s | 17 | 2274518 | 248132 | 21180 24 | 397 | 338 588.60/588.76 c 588s | 17 | 2275400 | 248432 | 21180 24 | 397 | 338 590.80/590.96 c 590s | 17 | 2275920 | 248632 | 21180 24 | 397 | 338 593.00/593.15 c 592s | 17 | 2277477 | 249032 | 21180 24 | 397 | 338 595.20/595.38 c 595s | 17 | 2278701 | 249432 | 21180 24 | 397 | 338 597.31/597.45 c 597s | 17 | 2279633 | 249732 | 21180 24 | 397 | 338 599.50/599.67 c 599s | 17 | 2280167 | 250032 | 21180 24 | 397 | 338 601.80/601.99 c 601s | 17 | 2280979 | 250332 | 21180 24 | 397 | 338 604.60/604.77 c 604s | 17 | 2282072 | 250732 | 21180 24 | 397 | 338 606.79/606.95 c 606s | 17 | 2282829 | 251032 | 21180 24 | 397 | 338 609.10/609.24 c 609s | 17 | 2283640 | 251332 | 21180 24 | 397 | 338 611.19/611.36 c 611s | 17 | 2289139 | 251932 | 21180 25 | 397 | 338 613.20/613.36 c 613s | 17 | 2296328 | 253032 | 21180 25 | 397 | 338 615.60/615.71 c 615s | 17 | 2298351 | 253732 | 21180 25 | 397 | 338 617.69/617.86 c 617s | 17 | 2299522 | 254232 | 21180 25 | 397 | 338 619.89/620.03 c 619s | 17 | 2303615 | 255032 | 21180 25 | 397 | 338 622.00/622.13 c 621s | 17 | 2307751 | 255732 | 21180 25 | 397 | 338 624.10/624.24 c 624s | 17 | 2311092 | 256432 | 21180 25 | 397 | 338 626.20/626.39 c 626s | 17 | 2312846 | 256932 | 21180 25 | 397 | 338 628.39/628.50 c 628s | 17 | 2315713 | 257532 | 21180 25 | 397 | 338 630.49/630.60 c 630s | 17 | 2317840 | 258032 | 21180 25 | 397 | 338 632.89/633.07 c 632s | 17 | 2319523 | 258432 | 21180 25 | 397 | 338 635.49/635.69 c 635s | 17 | 2320279 | 258732 | 21180 25 | 397 | 338 637.90/638.06 c 637s | 17 | 2321510 | 259032 | 21180 25 | 397 | 338 640.39/640.59 c 640s | 17 | 2323024 | 259532 | 21180 25 | 397 | 338 642.90/643.05 c 642s | 17 | 2323891 | 259832 | 21180 25 | 397 | 338 644.99/645.15 c 644s | 17 | 2324758 | 260132 | 21180 25 | 397 | 338 647.09/647.24 c 647s | 17 | 2325503 | 260432 | 21180 25 | 397 | 338 649.69/649.86 c 649s | 17 | 2326071 | 260732 | 21180 25 | 397 | 338 651.99/652.15 c 651s | 17 | 2327011 | 261032 | 21180 25 | 397 | 338 654.08/654.28 c 654s | 17 | 2327894 | 261332 | 21180 25 | 397 | 338 656.99/657.15 c 656s | 17 | 2328527 | 261632 | 21180 25 | 397 | 338 659.69/659.86 c 659s | 17 | 2329542 | 261932 | 21180 25 | 397 | 338 661.89/662.05 c 661s | 17 | 2330255 | 262232 | 21180 25 | 397 | 338 664.39/664.55 c 664s | 17 | 2330980 | 262532 | 21180 25 | 397 | 338 666.78/666.92 c 666s | 17 | 2331566 | 262832 | 21180 25 | 397 | 338 669.79/669.94 c 669s | 17 | 2332496 | 263232 | 21180 25 | 397 | 338 672.88/673.00 c 672s | 17 | 2333230 | 263532 | 21180 25 | 397 | 338 675.68/675.83 c 675s | 17 | 2334393 | 263932 | 21180 25 | 397 | 338 678.18/678.32 c 678s | 17 | 2335188 | 264232 | 21180 25 | 397 | 338 680.29/680.46 c 680s | 17 | 2336309 | 264532 | 21180 26 | 397 | 338 682.59/682.70 c 682s | 17 | 2341588 | 265632 | 21180 26 | 397 | 338 684.69/684.84 c 684s | 17 | 2343607 | 266232 | 21180 26 | 397 | 338 686.98/687.13 c 686s | 17 | 2347398 | 267132 | 21180 26 | 397 | 338 689.49/689.61 c 689s | 17 | 2349448 | 267732 | 21180 26 | 397 | 338 691.58/691.78 c 691s | 17 | 2350628 | 268232 | 21180 26 | 397 | 338 693.78/693.94 c 693s | 17 | 2352381 | 268732 | 21180 26 | 397 | 338 695.89/696.08 c 695s | 17 | 2354487 | 269232 | 21180 26 | 397 | 338 698.49/698.64 c 698s | 17 | 2355719 | 269632 | 21180 26 | 397 | 338 700.59/700.78 c 700s | 17 | 2356673 | 270032 | 21180 26 | 397 | 338 702.68/702.90 c 702s | 17 | 2357899 | 270532 | 21180 26 | 397 | 338 704.78/704.92 c 704s | 17 | 2358989 | 270932 | 21180 26 | 397 | 338 706.98/707.11 c 706s | 17 | 2360010 | 271332 | 21180 26 | 397 | 338 709.58/709.77 c 709s | 17 | 2360799 | 271632 | 21180 26 | 397 | 338 712.38/712.56 c 712s | 17 | 2361275 | 271832 | 21180 26 | 397 | 338 714.48/714.60 c 714s | 17 | 2362096 | 272132 | 21180 26 | 397 | 338 716.68/716.87 c 716s | 17 | 2363108 | 272532 | 21180 26 | 397 | 338 719.38/719.57 c 719s | 17 | 2364007 | 272832 | 21180 26 | 397 | 338 721.78/721.92 c 721s | 17 | 2364686 | 273132 | 21180 26 | 397 | 338 724.78/724.99 c 724s | 17 | 2365193 | 273432 | 21180 26 | 397 | 338 727.27/727.42 c 727s | 17 | 2365494 | 273632 | 21180 26 | 397 | 338 729.28/729.43 c 729s | 17 | 2366450 | 273932 | 21180 26 | 397 | 338 731.38/731.55 c 731s | 17 | 2368726 | 274432 | 21180 26 | 397 | 338 733.77/733.96 c 733s | 17 | 2375518 | 275132 | 21180 27 | 397 | 338 735.87/736.06 c 735s | 17 | 2383237 | 276432 | 21180 27 | 397 | 338 737.97/738.14 c 737s | 17 | 2393063 | 277632 | 21180 27 | 397 | 338 739.96/740.16 c 739s | 17 | 2421336 | 279632 | 21180 27 | 397 | 338 742.06/742.27 c 742s | 17 | 2431625 | 280932 | 21180 27 | 397 | 338 744.16/744.30 c 744s | 17 | 2441541 | 282032 | 21180 27 | 397 | 338 746.15/746.34 c 746s | 17 | 2457844 | 283432 | 21180 27 | 397 | 338 748.15/748.37 c 748s | 17 | 2469382 | 284732 | 21180 27 | 397 | 338 750.16/750.38 c 750s | 17 | 2492773 | 286232 | 21180 28 | 397 | 338 752.26/752.41 c 752s | 17 | 2507008 | 287732 | 21180 28 | 397 | 338 754.26/754.43 c 754s | 17 | 2509388 | 288432 | 21180 28 | 397 | 338 756.36/756.54 c 756s | 17 | 2522492 | 289832 | 21180 28 | 397 | 338 758.46/758.64 c 758s | 17 | 2528665 | 290832 | 21180 28 | 397 | 338 760.56/760.79 c 760s | 17 | 2534235 | 291732 | 21180 28 | 397 | 338 762.66/762.85 c 762s | 17 | 2554636 | 293332 | 21180 28 | 397 | 338 764.75/764.92 c 764s | 17 | 2575998 | 294832 | 23299 28 | 397 | 338 766.75/766.97 c 766s | 17 | 2587464 | 296032 | 23299 28 | 397 | 338 767.35/767.51 c 767s | 18 | 2589354 | 296252 | 23299 28 | 397 | 338 769.45/769.62 c 769s | 18 | 2610595 | 297952 | 23299 29 | 397 | 338 771.44/771.64 c 771s | 18 | 2618775 | 299052 | 23299 29 | 397 | 338 773.44/773.69 c 773s | 18 | 2628950 | 300252 | 23299 29 | 397 | 338 775.64/775.81 c 775s | 18 | 2641422 | 301852 | 23299 29 | 397 | 338 777.64/777.86 c 777s | 18 | 2647313 | 302952 | 23299 29 | 397 | 338 779.74/779.93 c 779s | 18 | 2660018 | 303952 | 23299 29 | 397 | 338 781.73/781.98 c 781s | 18 | 2664876 | 304452 | 23299 29 | 397 | 338 784.04/784.23 c 783s | 18 | 2676142 | 305652 | 23299 29 | 397 | 338 786.45/786.68 c 786s | 18 | 2677862 | 306352 | 23299 29 | 397 | 338 788.64/788.83 c 788s | 18 | 2679431 | 306852 | 23299 29 | 397 | 338 791.14/791.33 c 791s | 18 | 2681718 | 307552 | 23299 29 | 397 | 338 793.14/793.38 c 793s | 18 | 2683811 | 308252 | 23299 29 | 397 | 338 795.24/795.48 c 795s | 18 | 2685687 | 308852 | 23299 29 | 397 | 338 797.53/797.75 c 797s | 18 | 2687731 | 309552 | 23299 29 | 397 | 338 799.64/799.82 c 799s | 18 | 2696168 | 311052 | 23299 30 | 397 | 338 801.63/801.83 c 801s | 18 | 2714538 | 312852 | 23299 30 | 397 | 338 803.63/803.88 c 803s | 18 | 2735055 | 314752 | 23299 30 | 397 | 338 805.93/806.10 c 805s | 18 | 2738923 | 316052 | 23299 30 | 397 | 338 808.03/808.22 c 807s | 18 | 2742846 | 316652 | 23299 30 | 397 | 338 810.03/810.27 c 810s | 18 | 2759562 | 318152 | 23299 30 | 397 | 338 812.23/812.40 c 812s | 18 | 2774252 | 319352 | 23299 31 | 397 | 338 814.23/814.47 c 814s | 18 | 2797813 | 321152 | 23299 31 | 397 | 338 816.32/816.51 c 816s | 18 | 2820614 | 322752 | 23299 31 | 397 | 338 818.42/818.62 c 818s | 18 | 2834869 | 324052 | 23299 31 | 398 | 339 820.43/820.64 c 820s | 18 | 2849761 | 325552 | 23299 31 | 398 | 339 822.72/822.99 c 822s | 18 | 2869209 | 327052 | 23299 31 | 398 | 339 825.02/825.25 c 825s | 18 | 2871815 | 327652 | 23299 31 | 398 | 339 827.02/827.30 c 827s | 18 | 2889511 | 328752 | 23299 32 | 398 | 339 829.32/829.52 c 829s | 18 | 2914402 | 330652 | 23299 32 | 398 | 339 831.42/831.69 c 831s | 18 | 2918726 | 331452 | 23299 32 | 398 | 339 833.52/833.72 c 833s | 18 | 2932564 | 332652 | 23299 32 | 398 | 339 835.61/835.85 c 835s | 18 | 2940183 | 334052 | 23299 32 | 398 | 339 837.71/837.99 c 837s | 18 | 2952749 | 335452 | 23299 32 | 398 | 339 839.91/840.11 c 839s | 18 | 2959372 | 336752 | 23299 32 | 399 | 340 841.91/842.14 c 841s | 18 | 2964974 | 337452 | 23299 33 | 399 | 340 843.91/844.18 c 843s | 18 | 2992225 | 339452 | 23299 33 | 399 | 340 846.11/846.35 c 846s | 18 | 2998937 | 340852 | 23299 33 | 399 | 340 848.21/848.45 c 848s | 18 | 3011577 | 342652 | 23299 33 | 399 | 340 850.31/850.54 c 850s | 18 | 3015919 | 343652 | 23299 33 | 399 | 340 852.42/852.60 c 852s | 18 | 3021625 | 344652 | 23299 33 | 399 | 340 854.52/854.77 c 854s | 18 | 3023872 | 345352 | 23299 33 | 399 | 340 856.50/856.79 c 856s | 18 | 3027578 | 346152 | 23299 33 | 399 | 340 858.81/859.10 c 858s | 18 | 3029992 | 346952 | 23299 33 | 399 | 340 861.01/861.25 c 861s | 18 | 3032536 | 347652 | 23299 33 | 399 | 340 863.11/863.30 c 863s | 18 | 3033748 | 348152 | 23299 34 | 399 | 340 865.11/865.33 c 865s | 18 | 3044239 | 349552 | 23299 34 | 399 | 340 867.11/867.36 c 867s | 18 | 3053956 | 350652 | 23299 34 | 399 | 340 869.30/869.52 c 869s | 18 | 3058280 | 351652 | 23299 34 | 399 | 340 871.70/871.93 c 871s | 18 | 3060681 | 352452 | 23299 34 | 399 | 340 873.91/874.15 c 873s | 18 | 3063049 | 353052 | 23299 34 | 399 | 340 876.11/876.30 c 876s | 18 | 3067587 | 353952 | 23299 34 | 399 | 340 878.10/878.33 c 878s | 18 | 3070995 | 354852 | 23299 34 | 399 | 340 880.30/880.54 c 880s | 18 | 3074884 | 355852 | 23299 34 | 399 | 340 882.30/882.57 c 882s | 18 | 3078978 | 356752 | 23299 34 | 399 | 340 884.40/884.64 c 884s | 18 | 3082002 | 357452 | 23299 34 | 399 | 340 886.50/886.79 c 886s | 18 | 3084534 | 358252 | 23299 34 | 399 | 340 888.61/888.87 c 888s | 18 | 3085535 | 358652 | 23299 35 | 399 | 340 890.70/890.93 c 890s | 18 | 3087654 | 359352 | 23299 35 | 399 | 340 893.30/893.52 c 893s | 18 | 3088648 | 359852 | 23299 35 | 399 | 340 895.40/895.68 c 895s | 18 | 3091151 | 360552 | 23299 35 | 399 | 340 897.89/898.14 c 897s | 18 | 3093118 | 361152 | 23299 35 | 399 | 340 900.20/900.45 c 900s | 18 | 3095136 | 361752 | 23299 35 | 399 | 340 902.40/902.62 c 902s | 18 | 3099269 | 362552 | 23299 35 | 399 | 340 904.59/904.81 c 904s | 18 | 3103316 | 363652 | 23299 35 | 399 | 340 907.00/907.20 c 906s | 18 | 3104668 | 364152 | 23299 35 | 399 | 340 909.19/909.45 c 909s | 18 | 3108186 | 365152 | 23299 35 | 399 | 340 911.20/911.49 c 911s | 18 | 3111229 | 365852 | 23299 35 | 399 | 340 913.39/913.65 c 913s | 18 | 3113350 | 366452 | 23299 35 | 399 | 340 915.49/915.71 c 915s | 18 | 3116213 | 367152 | 23299 35 | 399 | 340 917.69/917.91 c 917s | 18 | 3118750 | 367852 | 23299 35 | 399 | 340 919.89/920.14 c 919s | 18 | 3120821 | 368352 | 23299 36 | 399 | 340 922.09/922.30 c 922s | 18 | 3126205 | 369652 | 23299 36 | 399 | 340 924.09/924.37 c 924s | 18 | 3128518 | 370452 | 23299 36 | 399 | 340 926.39/926.62 c 926s | 18 | 3130429 | 371152 | 23299 36 | 399 | 340 928.59/928.86 c 928s | 18 | 3132149 | 371752 | 23299 36 | 399 | 340 930.88/931.10 c 930s | 18 | 3134398 | 372352 | 23299 36 | 399 | 340 932.99/933.27 c 933s | 18 | 3137319 | 373252 | 23299 36 | 399 | 340 935.38/935.68 c 935s | 18 | 3138910 | 373852 | 23299 36 | 399 | 340 937.69/937.92 c 937s | 18 | 3139990 | 374252 | 23299 36 | 399 | 340 939.89/940.19 c 939s | 18 | 3141019 | 374652 | 23299 36 | 399 | 340 942.18/942.41 c 942s | 18 | 3141993 | 375052 | 23299 36 | 399 | 340 944.19/944.44 c 944s | 18 | 3142736 | 375352 | 23299 36 | 399 | 340 946.58/946.88 c 946s | 18 | 3144900 | 375952 | 23299 36 | 399 | 340 948.87/949.14 c 948s | 18 | 3146149 | 376452 | 23299 36 | 399 | 340 950.98/951.20 c 950s | 18 | 3148460 | 377052 | 23299 36 | 399 | 340 953.08/953.31 c 953s | 18 | 3150637 | 377752 | 23299 37 | 399 | 340 955.08/955.34 c 955s | 18 | 3153732 | 378552 | 23299 37 | 399 | 340 957.38/957.66 c 957s | 18 | 3155978 | 379352 | 23299 37 | 399 | 340 959.47/959.73 c 959s | 18 | 3160238 | 380252 | 23299 37 | 399 | 340 961.57/961.85 c 961s | 18 | 3163694 | 380952 | 23299 37 | 399 | 340 963.67/963.97 c 963s | 18 | 3165941 | 381652 | 23299 37 | 399 | 340 965.88/966.11 c 965s | 18 | 3167965 | 382252 | 23299 37 | 399 | 340 967.88/968.14 c 967s | 18 | 3171178 | 382852 | 23299 37 | 399 | 340 969.97/970.20 c 969s | 18 | 3172640 | 383252 | 23299 37 | 399 | 340 972.07/972.40 c 972s | 18 | 3174007 | 383652 | 23299 37 | 399 | 340 974.67/974.94 c 974s | 18 | 3176761 | 384352 | 23299 37 | 399 | 340 976.67/976.99 c 976s | 18 | 3178076 | 384852 | 23299 37 | 399 | 340 979.06/979.34 c 979s | 18 | 3179748 | 385352 | 23299 37 | 399 | 340 981.16/981.45 c 981s | 18 | 3181754 | 385852 | 23299 37 | 399 | 340 983.37/983.69 c 983s | 18 | 3183321 | 386252 | 23299 38 | 399 | 340 985.67/985.91 c 985s | 18 | 3189704 | 387452 | 23299 38 | 399 | 340 988.06/988.31 c 988s | 18 | 3193591 | 388352 | 23299 38 | 399 | 340 990.26/990.55 c 990s | 18 | 3195559 | 388952 | 23299 38 | 399 | 340 992.46/992.75 c 992s | 18 | 3197222 | 389652 | 23299 38 | 399 | 340 995.16/995.44 c 995s | 18 | 3198165 | 390152 | 23299 38 | 399 | 340 997.26/997.52 c 997s | 18 | 3200460 | 391052 | 23299 38 | 399 | 340 999.56/999.90 c 999s | 18 | 3203308 | 391752 | 23299 38 | 399 | 340 1001.66/1001.99 c 1001s | 18 | 3206057 | 392352 | 23299 38 | 399 | 340 1004.06/1004.32 c 1004s | 18 | 3208444 | 393052 | 23299 38 | 399 | 340 1006.15/1006.42 c 1006s | 18 | 3210450 | 393552 | 23299 38 | 399 | 340 1008.15/1008.43 c 1008s | 18 | 3211797 | 394052 | 23299 38 | 399 | 340 1010.66/1010.92 c 1010s | 18 | 3213187 | 394552 | 23299 39 | 399 | 340 1012.65/1012.98 c 1012s | 18 | 3228662 | 396252 | 23299 39 | 399 | 340 1014.85/1015.16 c 1014s | 18 | 3239818 | 397852 | 23299 39 | 399 | 340 1016.95/1017.25 c 1017s | 18 | 3249052 | 399052 | 23299 39 | 399 | 340 1019.25/1019.57 c 1019s | 18 | 3256541 | 400452 | 23299 39 | 399 | 340 1021.35/1021.61 c 1021s | 18 | 3261963 | 401552 | 23299 39 | 399 | 340 1023.35/1023.69 c 1023s | 18 | 3266172 | 402652 | 23299 39 | 399 | 340 1025.84/1026.17 c 1025s | 18 | 3267709 | 403252 | 23299 40 | 399 | 340 1028.04/1028.32 c 1028s | 18 | 3271533 | 404252 | 23299 40 | 399 | 340 1030.14/1030.40 c 1030s | 18 | 3275517 | 405252 | 23299 40 | 399 | 340 1032.24/1032.54 c 1032s | 18 | 3282180 | 406652 | 23299 40 | 399 | 340 1034.45/1034.72 c 1034s | 18 | 3285498 | 407552 | 23299 40 | 399 | 340 1036.54/1036.82 c 1036s | 18 | 3289293 | 408552 | 23299 40 | 399 | 340 1038.74/1039.02 c 1038s | 18 | 3293328 | 409552 | 23299 40 | 399 | 340 1040.74/1041.08 c 1040s | 18 | 3297837 | 410552 | 23299 40 | 399 | 340 1042.94/1043.23 c 1043s | 18 | 3303450 | 411652 | 23299 41 | 399 | 340 1044.94/1045.28 c 1045s | 18 | 3307865 | 412652 | 23299 41 | 399 | 340 1047.14/1047.43 c 1047s | 18 | 3310553 | 413352 | 23299 41 | 399 | 340 1049.24/1049.56 c 1049s | 18 | 3313118 | 414052 | 23299 41 | 399 | 340 1051.34/1051.66 c 1051s | 18 | 3317910 | 415152 | 23299 41 | 399 | 340 1053.43/1053.72 c 1053s | 18 | 3320510 | 415952 | 23299 41 | 399 | 340 1055.53/1055.88 c 1055s | 18 | 3322632 | 416652 | 23299 41 | 399 | 340 1057.63/1057.92 c 1057s | 18 | 3327869 | 417652 | 23299 41 | 399 | 340 1059.73/1060.05 c 1059s | 18 | 3330701 | 418352 | 23299 42 | 399 | 340 1061.73/1062.07 c 1061s | 18 | 3338446 | 419752 | 23299 42 | 399 | 340 1063.83/1064.15 c 1063s | 18 | 3342354 | 420652 | 23299 42 | 399 | 340 1066.03/1066.35 c 1066s | 18 | 3348797 | 421852 | 23299 42 | 399 | 340 1068.13/1068.44 c 1068s | 18 | 3353398 | 422652 | 23299 42 | 399 | 340 1070.33/1070.66 c 1070s | 18 | 3354494 | 423152 | 23299 42 | 399 | 340 1072.53/1072.87 c 1072s | 18 | 3359841 | 424452 | 23299 42 | 399 | 340 1074.62/1074.91 c 1074s | 18 | 3363592 | 425352 | 23299 42 | 399 | 340 1076.73/1077.07 c 1076s | 18 | 3365210 | 425952 | 23299 42 | 399 | 340 1078.72/1079.09 c 1078s | 18 | 3367122 | 426552 | 23299 43 | 399 | 340 1080.82/1081.17 c 1080s | 18 | 3374527 | 427952 | 23299 43 | 399 | 340 1082.93/1083.26 c 1083s | 18 | 3378381 | 429052 | 23299 43 | 399 | 340 1085.02/1085.39 c 1085s | 18 | 3381740 | 429952 | 23299 43 | 399 | 340 1087.11/1087.49 c 1087s | 18 | 3385476 | 430752 | 23299 43 | 399 | 340 1089.32/1089.67 c 1089s | 18 | 3387430 | 431352 | 23299 43 | 399 | 340 1091.52/1091.80 c 1091s | 18 | 3389676 | 431952 | 23299 43 | 399 | 340 1093.91/1094.22 c 1093s | 18 | 3391024 | 432452 | 23299 43 | 399 | 340 1096.21/1096.52 c 1096s | 18 | 3393689 | 433152 | 23299 43 | 399 | 340 1098.22/1098.58 c 1098s | 18 | 3397304 | 433952 | 23299 44 | 399 | 340 1100.51/1100.86 c 1100s | 18 | 3401630 | 435052 | 23299 44 | 399 | 340 1102.52/1102.88 c 1102s | 18 | 3404231 | 435752 | 23299 44 | 399 | 340 1104.92/1105.22 c 1104s | 18 | 3408259 | 436752 | 23299 44 | 399 | 340 1107.01/1107.30 c 1107s | 18 | 3410988 | 437452 | 23299 44 | 399 | 340 1109.42/1109.75 c 1109s | 18 | 3412466 | 438052 | 23299 44 | 399 | 340 1111.82/1112.13 c 1111s | 18 | 3414245 | 438652 | 23299 44 | 399 | 340 1114.31/1114.69 c 1114s | 18 | 3415903 | 439152 | 23299 44 | 399 | 340 1116.71/1117.09 c 1116s | 18 | 3416771 | 439552 | 23299 44 | 399 | 340 1119.01/1119.36 c 1119s | 18 | 3419991 | 440252 | 23299 44 | 399 | 340 1121.00/1121.39 c 1121s | 18 | 3425428 | 441352 | 25629 45 | 399 | 340 1123.20/1123.56 c 1123s | 18 | 3427767 | 442152 | 25629 45 | 399 | 340 1125.30/1125.62 c 1125s | 18 | 3430406 | 442952 | 25629 45 | 399 | 340 1127.50/1127.80 c 1127s | 18 | 3431532 | 443452 | 25629 45 | 399 | 340 1129.60/1129.99 c 1129s | 18 | 3433808 | 444152 | 25629 45 | 399 | 340 1130.90/1131.29 c 1131s | 19 | 3434677 | 444482 | 25629 45 | 399 | 340 1133.00/1133.36 c 1133s | 19 | 3442207 | 445882 | 25629 45 | 399 | 340 1135.10/1135.48 c 1135s | 19 | 3448520 | 446782 | 25629 45 | 399 | 340 1137.10/1137.49 c 1137s | 19 | 3466233 | 448182 | 25629 46 | 399 | 340 1139.19/1139.60 c 1139s | 19 | 3486250 | 449582 | 25629 46 | 400 | 341 1141.29/1141.60 c 1141s | 19 | 3499094 | 451082 | 25629 46 | 400 | 341 1143.29/1143.65 c 1143s | 19 | 3512745 | 452482 | 25629 46 | 400 | 341 1145.29/1145.68 c 1145s | 19 | 3521537 | 453782 | 25629 46 | 400 | 341 1147.59/1147.90 c 1147s | 19 | 3529167 | 454982 | 25629 47 | 400 | 341 1149.68/1150.06 c 1149s | 19 | 3533583 | 456082 | 25629 47 | 400 | 341 1151.78/1152.14 c 1151s | 19 | 3542586 | 457382 | 25629 47 | 400 | 341 1153.88/1154.29 c 1154s | 19 | 3553309 | 458782 | 25629 47 | 400 | 341 1155.99/1156.30 c 1156s | 19 | 3562740 | 460082 | 25629 47 | 400 | 341 1158.09/1158.47 c 1158s | 19 | 3565845 | 461082 | 25629 47 | 400 | 341 1160.09/1160.49 c 1160s | 19 | 3579179 | 462482 | 25629 48 | 400 | 341 1162.19/1162.57 c 1162s | 19 | 3597752 | 464182 | 25629 48 | 400 | 341 1164.39/1164.77 c 1164s | 19 | 3599296 | 464682 | 25629 48 | 400 | 341 1166.38/1166.77 c 1166s | 19 | 3616118 | 466282 | 25629 48 | 400 | 341 1168.58/1168.95 c 1168s | 19 | 3627777 | 467382 | 25629 49 | 400 | 341 1170.68/1171.03 c 1170s | 19 | 3644551 | 469082 | 25629 49 | 400 | 341 1172.78/1173.13 c 1172s | 19 | 3661947 | 470782 | 25629 49 | 400 | 341 1174.98/1175.33 c 1175s | 19 | 3667876 | 471882 | 25629 49 | 400 | 341 1177.18/1177.50 c 1177s | 19 | 3677366 | 472882 | 25629 49 | 400 | 341 1179.48/1179.86 c 1179s | 19 | 3679086 | 473482 | 25629 49 | 400 | 341 1181.98/1182.31 c 1182s | 19 | 3680810 | 473982 | 25629 49 | 400 | 341 1183.97/1184.38 c 1184s | 19 | 3683039 | 474582 | 25629 49 | 400 | 341 1186.47/1186.85 c 1186s | 19 | 3683635 | 474982 | 25629 49 | 400 | 341 1188.57/1188.98 c 1188s | 19 | 3684422 | 475282 | 25629 50 | 400 | 341 1190.67/1191.03 c 1190s | 19 | 3708519 | 476982 | 25629 50 | 400 | 341 1192.77/1193.16 c 1192s | 19 | 3721082 | 478382 | 25629 50 | 400 | 341 1195.26/1195.60 c 1195s | 19 | 3724226 | 479282 | 25629 50 | 400 | 341 1197.46/1197.85 c 1197s | 19 | 3725574 | 479882 | 25629 50 | 400 | 341 1199.66/1200.03 c 1199s | 19 | 3726188 | 480182 | 25629 50 | 400 | 341 1201.66/1202.05 c 1201s | 19 | 3738559 | 481482 | 25629 51 | 400 | 341 1203.76/1204.17 c 1203s | 19 | 3751741 | 482982 | 25629 51 | 400 | 341 1205.96/1206.31 c 1206s | 19 | 3763870 | 484482 | 25629 51 | 400 | 341 1207.96/1208.37 c 1208s | 19 | 3783461 | 485982 | 25629 52 | 400 | 341 1210.06/1210.45 c 1210s | 19 | 3791299 | 487582 | 25629 52 | 400 | 341 1212.06/1212.47 c 1212s | 19 | 3796578 | 488982 | 25629 52 | 400 | 341 1214.26/1214.64 c 1214s | 19 | 3804374 | 490182 | 25629 53 | 400 | 341 1216.46/1216.82 c 1216s | 19 | 3814739 | 491282 | 25629 53 | 400 | 341 1218.46/1218.89 c 1218s | 19 | 3818308 | 492182 | 25629 53 | 400 | 341 1220.56/1220.93 c 1220s | 19 | 3831055 | 493482 | 25629 53 | 400 | 341 1223.06/1223.40 c 1223s | 19 | 3840521 | 494582 | 25629 53 | 400 | 341 1225.16/1225.52 c 1225s | 19 | 3844316 | 495182 | 25629 53 | 400 | 341 1227.26/1227.61 c 1227s | 19 | 3856239 | 496682 | 25629 54 | 400 | 341 1229.25/1229.68 c 1229s | 19 | 3868916 | 498382 | 25629 54 | 400 | 341 1231.45/1231.86 c 1231s | 19 | 3873653 | 499582 | 25629 54 | 400 | 341 1233.65/1234.06 c 1233s | 19 | 3883270 | 500782 | 25629 55 | 400 | 341 1235.84/1236.21 c 1235s | 19 | 3894172 | 501982 | 25629 55 | 400 | 341 1238.35/1238.76 c 1238s | 19 | 3901590 | 502882 | 25629 55 | 400 | 341 1241.14/1241.52 c 1241s | 19 | 3902723 | 503182 | 25629 55 | 400 | 341 1244.74/1245.14 c 1244s | 19 | 3902979 | 503282 | 25629 55 | 400 | 341 1246.84/1247.23 c 1247s | 19 | 3903141 | 503382 | 25629 55 | 400 | 341 1250.45/1250.85 c 1250s | 19 | 3903488 | 503582 | 25629 55 | 400 | 341 1253.65/1254.09 c 1253s | 19 | 3903732 | 503682 | 25629 55 | 400 | 341 1255.74/1256.16 c 1255s | 19 | 3903877 | 503782 | 25629 55 | 400 | 341 1258.44/1258.81 c 1258s | 19 | 3904451 | 503982 | 25629 55 | 400 | 341 1261.34/1261.78 c 1261s | 19 | 3904624 | 504082 | 25629 55 | 400 | 341 1265.23/1265.66 c 1265s | 19 | 3904756 | 504182 | 25629 55 | 400 | 341 1269.04/1269.41 c 1269s | 19 | 3904948 | 504282 | 25629 55 | 400 | 341 1272.03/1272.48 c 1272s | 19 | 3905114 | 504382 | 25629 55 | 400 | 341 1276.02/1276.45 c 1276s | 19 | 3905716 | 504582 | 25629 55 | 400 | 341 1281.13/1281.55 c 1281s | 19 | 3906093 | 504782 | 25629 55 | 400 | 341 1285.12/1285.59 c 1285s | 19 | 3906251 | 504882 | 25629 55 | 400 | 341 1288.42/1288.87 c 1288s | 19 | 3906437 | 504982 | 25629 55 | 400 | 341 1291.62/1292.09 c 1291s | 19 | 3906611 | 505082 | 25629 55 | 400 | 341 1294.71/1295.15 c 1294s | 19 | 3906798 | 505182 | 25629 55 | 400 | 341 1297.11/1297.50 c 1297s | 19 | 3907223 | 505282 | 25629 55 | 400 | 341 1300.92/1301.32 c 1301s | 19 | 3907360 | 505382 | 25629 55 | 400 | 341 1304.11/1304.50 c 1304s | 19 | 3907540 | 505482 | 25629 55 | 400 | 341 1307.40/1307.86 c 1307s | 19 | 3907683 | 505582 | 25629 55 | 400 | 341 1309.81/1310.28 c 1310s | 19 | 3907835 | 505682 | 25629 55 | 400 | 341 1312.50/1312.96 c 1312s | 19 | 3908188 | 505782 | 25629 55 | 400 | 341 1316.40/1316.88 c 1316s | 19 | 3908408 | 505882 | 25629 55 | 400 | 341 1319.80/1320.25 c 1320s | 19 | 3908721 | 506082 | 25629 55 | 400 | 341 1323.60/1324.09 c 1323s | 19 | 3909640 | 506382 | 25629 55 | 400 | 341 1325.69/1326.11 c 1325s | 19 | 3922844 | 507582 | 25629 56 | 400 | 341 1327.79/1328.28 c 1328s | 19 | 3926821 | 508782 | 25629 56 | 400 | 341 1329.99/1330.49 c 1330s | 19 | 3936008 | 509882 | 25629 56 | 400 | 341 1332.09/1332.57 c 1332s | 19 | 3946112 | 511182 | 25629 57 | 400 | 341 1334.19/1334.64 c 1334s | 19 | 3950696 | 512382 | 25629 57 | 400 | 341 1336.28/1336.79 c 1336s | 19 | 3953989 | 513182 | 25629 57 | 400 | 341 1338.88/1339.35 c 1339s | 19 | 3955054 | 513682 | 25629 57 | 400 | 341 1340.98/1341.46 c 1341s | 19 | 3956630 | 514182 | 25629 57 | 400 | 341 1343.28/1343.72 c 1343s | 19 | 3958712 | 514682 | 25629 57 | 400 | 341 1345.58/1346.07 c 1345s | 19 | 3959348 | 514982 | 25629 57 | 400 | 341 1347.78/1348.26 c 1348s | 19 | 3960096 | 515282 | 25629 57 | 400 | 341 1350.27/1350.70 c 1350s | 19 | 3961443 | 515682 | 25629 57 | 400 | 341 1352.47/1352.92 c 1352s | 19 | 3964348 | 516482 | 25629 58 | 400 | 341 1354.57/1355.06 c 1354s | 19 | 3967896 | 517382 | 25629 58 | 400 | 341 1356.67/1357.13 c 1356s | 19 | 3971754 | 518182 | 25629 58 | 400 | 341 1358.97/1359.48 c 1359s | 19 | 3973249 | 518782 | 25629 58 | 400 | 341 1361.48/1361.93 c 1361s | 19 | 3974591 | 519282 | 25629 58 | 400 | 341 1363.77/1364.24 c 1364s | 19 | 3975567 | 519582 | 25629 58 | 400 | 341 1366.17/1366.62 c 1366s | 19 | 3977188 | 520082 | 25629 58 | 400 | 341 1368.26/1368.76 c 1368s | 19 | 3978480 | 520482 | 25629 58 | 400 | 341 1370.57/1371.09 c 1370s | 19 | 3980038 | 520882 | 25629 58 | 400 | 341 1372.67/1373.19 c 1372s | 19 | 3983584 | 521682 | 25629 59 | 400 | 341 1374.87/1375.37 c 1375s | 19 | 3987090 | 522482 | 25629 59 | 400 | 341 1377.06/1377.58 c 1377s | 19 | 3990567 | 523382 | 25629 59 | 400 | 341 1379.36/1379.82 c 1379s | 19 | 3994693 | 524382 | 25629 59 | 400 | 341 1381.36/1381.86 c 1381s | 19 | 3999481 | 525382 | 25629 59 | 400 | 341 1383.57/1384.07 c 1383s | 19 | 4003619 | 526382 | 25629 59 | 400 | 341 1385.68/1386.13 c 1385s | 19 | 4006601 | 527182 | 25629 60 | 400 | 341 1387.97/1388.40 c 1388s | 19 | 4009207 | 527982 | 25629 60 | 400 | 341 1389.97/1390.46 c 1390s | 19 | 4011910 | 528582 | 25629 60 | 400 | 341 1392.36/1392.82 c 1392s | 19 | 4013396 | 529182 | 25629 60 | 400 | 341 1394.37/1394.90 c 1394s | 19 | 4014126 | 529482 | 25629 60 | 400 | 341 1396.46/1396.93 c 1396s | 19 | 4017753 | 530282 | 25629 60 | 400 | 341 1398.77/1399.23 c 1399s | 19 | 4020086 | 531082 | 25629 60 | 400 | 341 1400.86/1401.40 c 1401s | 19 | 4021287 | 531582 | 25629 61 | 400 | 341 1403.06/1403.59 c 1403s | 19 | 4032113 | 533082 | 25629 61 | 400 | 341 1405.16/1405.66 c 1405s | 19 | 4038121 | 534082 | 25629 61 | 400 | 341 1407.46/1407.91 c 1407s | 19 | 4043067 | 534982 | 25629 61 | 400 | 341 1409.46/1409.94 c 1409s | 19 | 4045122 | 535582 | 25629 61 | 400 | 341 1411.66/1412.11 c 1411s | 19 | 4046341 | 535982 | 25629 61 | 400 | 341 1414.46/1414.93 c 1414s | 19 | 4047623 | 536382 | 25629 61 | 400 | 341 1416.46/1416.98 c 1416s | 19 | 4049756 | 536882 | 25629 61 | 400 | 341 1418.56/1419.04 c 1418s | 19 | 4052241 | 537482 | 25629 62 | 400 | 341 1420.56/1421.04 c 1420s | 19 | 4060333 | 538882 | 25629 62 | 400 | 341 1422.56/1423.05 c 1422s | 19 | 4065057 | 539982 | 25629 62 | 400 | 341 1424.56/1425.06 c 1424s | 19 | 4075396 | 541182 | 25629 62 | 400 | 341 1426.86/1427.35 c 1427s | 19 | 4077584 | 541782 | 25629 62 | 400 | 341 1429.06/1429.50 c 1429s | 19 | 4083507 | 542582 | 25629 63 | 400 | 341 1431.06/1431.56 c 1431s | 19 | 4087158 | 543282 | 25629 63 | 400 | 341 1433.16/1433.64 c 1433s | 19 | 4104024 | 544682 | 25629 63 | 400 | 341 1435.26/1435.76 c 1435s | 19 | 4120073 | 546082 | 25629 64 | 400 | 341 1437.26/1437.79 c 1437s | 19 | 4138976 | 547682 | 25629 64 | 400 | 341 1439.36/1439.87 c 1439s | 19 | 4149275 | 548782 | 25629 65 | 400 | 341 1441.46/1441.99 c 1441s | 19 | 4160467 | 550082 | 25629 65 | 400 | 341 1443.56/1444.10 c 1443s | 19 | 4162323 | 550582 | 25629 65 | 400 | 341 1445.76/1446.29 c 1446s | 19 | 4178745 | 552082 | 25629 66 | 400 | 341 1447.85/1448.36 c 1448s | 19 | 4187734 | 553382 | 25629 66 | 400 | 341 1449.95/1450.46 c 1450s | 19 | 4199091 | 554682 | 25629 67 | 400 | 341 1452.05/1452.58 c 1452s | 19 | 4204182 | 555582 | 25629 67 | 400 | 341 1454.15/1454.65 c 1454s | 19 | 4214747 | 556982 | 25629 67 | 400 | 341 1456.25/1456.75 c 1456s | 19 | 4221459 | 558182 | 25629 68 | 400 | 341 1458.35/1458.86 c 1458s | 19 | 4239341 | 559782 | 25629 68 | 400 | 341 1460.46/1460.97 c 1460s | 19 | 4250165 | 560982 | 25629 69 | 400 | 341 1462.45/1462.99 c 1462s | 19 | 4262683 | 562482 | 25629 69 | 400 | 341 1464.65/1465.14 c 1464s | 19 | 4281683 | 564182 | 25629 70 | 400 | 341 1466.75/1467.22 c 1466s | 19 | 4300617 | 565782 | 25629 71 | 400 | 341 1468.85/1469.33 c 1469s | 19 | 4306782 | 566982 | 25629 71 | 400 | 341 1470.85/1471.35 c 1471s | 19 | 4324618 | 568482 | 25629 72 | 400 | 341 1473.15/1473.64 c 1473s | 19 | 4330324 | 569582 | 25629 72 | 400 | 341 1475.35/1475.80 c 1475s | 19 | 4332323 | 570182 | 25629 72 | 400 | 341 1477.35/1477.85 c 1477s | 19 | 4333249 | 570582 | 25629 72 | 400 | 341 1479.55/1480.06 c 1479s | 19 | 4334821 | 571182 | 25629 72 | 400 | 341 1481.75/1482.28 c 1482s | 19 | 4336682 | 572082 | 25629 72 | 400 | 341 1483.85/1484.35 c 1484s | 19 | 4339235 | 572982 | 25629 73 | 400 | 341 1485.95/1486.47 c 1486s | 19 | 4341621 | 573882 | 25629 73 | 400 | 341 1487.95/1488.47 c 1488s | 19 | 4347820 | 574782 | 25629 74 | 400 | 341 1490.15/1490.63 c 1490s | 19 | 4362547 | 576382 | 25629 75 | 400 | 341 1492.15/1492.65 c 1492s | 19 | 4370191 | 577382 | 25629 75 | 400 | 341 1494.35/1494.82 c 1494s | 19 | 4371775 | 577982 | 25629 75 | 400 | 341 1496.34/1496.89 c 1496s | 19 | 4374062 | 578682 | 25629 75 | 400 | 341 1498.64/1499.14 c 1498s | 19 | 4379078 | 579482 | 25629 76 | 400 | 341 1500.84/1501.33 c 1501s | 19 | 4382521 | 580382 | 25629 76 | 400 | 341 1502.84/1503.39 c 1503s | 19 | 4390717 | 581682 | 25629 77 | 400 | 341 1504.94/1505.43 c 1505s | 19 | 4404391 | 582982 | 25629 77 | 400 | 341 1506.94/1507.44 c 1507s | 19 | 4415541 | 584382 | 25629 78 | 400 | 341 1509.04/1509.54 c 1509s | 19 | 4420512 | 585582 | 25629 78 | 400 | 341 1511.05/1511.59 c 1511s | 19 | 4426263 | 586582 | 25629 79 | 400 | 341 1513.15/1513.67 c 1513s | 19 | 4434077 | 587882 | 25629 79 | 400 | 341 1515.55/1516.03 c 1515s | 19 | 4441545 | 589182 | 25629 80 | 400 | 341 1517.75/1518.27 c 1518s | 19 | 4444563 | 590182 | 25629 80 | 400 | 341 1519.86/1520.38 c 1520s | 19 | 4446404 | 590782 | 25629 80 | 400 | 341 1521.95/1522.45 c 1522s | 19 | 4449054 | 591582 | 25629 80 | 400 | 341 1524.05/1524.56 c 1524s | 19 | 4451876 | 592482 | 25629 81 | 400 | 341 1526.05/1526.56 c 1526s | 19 | 4455051 | 593282 | 25629 81 | 400 | 341 1528.14/1528.60 c 1528s | 19 | 4459286 | 594182 | 25629 81 | 400 | 341 1530.14/1530.68 c 1530s | 19 | 4468020 | 595282 | 25629 82 | 400 | 341 1532.24/1532.76 c 1532s | 19 | 4481784 | 596682 | 25629 83 | 400 | 341 1534.24/1534.76 c 1534s | 19 | 4489506 | 597882 | 25629 83 | 400 | 341 1536.25/1536.77 c 1536s | 19 | 4493264 | 598582 | 25629 84 | 400 | 341 1538.34/1538.82 c 1538s | 19 | 4502645 | 599982 | 25629 84 | 400 | 341 1540.44/1540.90 c 1540s | 19 | 4519110 | 601582 | 25629 85 | 400 | 341 1542.44/1542.98 c 1542s | 19 | 4522715 | 602482 | 25629 85 | 400 | 341 1544.74/1545.20 c 1544s | 19 | 4525612 | 603282 | 25629 85 | 400 | 341 1546.74/1547.29 c 1547s | 19 | 4536184 | 604682 | 25629 86 | 400 | 341 1548.84/1549.35 c 1549s | 19 | 4544689 | 605982 | 25629 87 | 400 | 341 1550.84/1551.38 c 1551s | 19 | 4553146 | 607182 | 25629 88 | 400 | 341 1552.94/1553.40 c 1553s | 19 | 4560837 | 608282 | 25629 89 | 400 | 341 1555.04/1555.57 c 1555s | 19 | 4570026 | 609382 | 25629 90 | 400 | 341 1557.14/1557.64 c 1557s | 19 | 4584659 | 610882 | 25629 91 | 400 | 341 1559.14/1559.65 c 1559s | 19 | 4599976 | 612582 | 25629 93 | 400 | 341 1561.23/1561.71 c 1561s | 19 | 4612728 | 614082 | 25629 94 | 400 | 341 1563.33/1563.84 c 1563s | 19 | 4623659 | 615282 | 25629 98 | 400 | 341 1565.43/1565.94 c 1565s | 19 | 4638740 | 616782 | 25629 100 | 400 | 341 1567.63/1568.11 c 1567s | 19 | 4646985 | 617582 | 25629 101 | 400 | 341 1569.73/1570.26 c 1570s | 19 | 4654417 | 618682 | 25629 102 | 400 | 341 1571.83/1572.37 c 1572s | 19 | 4658653 | 619482 | 25629 102 | 400 | 341 1573.94/1574.49 c 1574s | 19 | 4663464 | 620382 | 25629 103 | 400 | 341 1576.14/1576.69 c 1576s | 19 | 4668530 | 621382 | 25629 103 | 400 | 341 1578.44/1578.96 c 1578s | 19 | 4672216 | 621882 | 25629 104 | 400 | 341 1580.54/1581.01 c 1580s | 19 | 4679875 | 622982 | 25629 105 | 400 | 341 1582.55/1583.03 c 1582s | 19 | 4691272 | 624182 | 25629 137 | 400 | 341 1584.54/1585.03 c 1584s | 19 | 4697417 | 625282 | 25629 138 | 400 | 341 1586.54/1587.09 c 1586s | 19 | 4700703 | 626082 | 25629 139 | 400 | 341 1590.04/1590.50 c 1590s | 19 | 4708008 | 626982 | 25629 265 | 400 | 341 1593.14/1593.64 c 1593s | 19 | 4718224 | 627682 | 25629 402 | 400 | 341 1596.74/1597.25 c 1597s | 19 | 4725478 | 628582 | 25629 522 | 400 | 341 1598.83/1599.31 c 1599s | 19 | 4738165 | 629882 | 25629 550 | 400 | 341 1600.83/1601.34 c 1601s | 19 | 4750737 | 631182 | 25629 572 | 400 | 341 1604.54/1605.09 c 1604s | 19 | 4755911 | 631882 | 25629 733 | 400 | 341 1607.53/1608.08 c 1607s | 19 | 4766035 | 632982 | 25629 806 | 400 | 341 1609.63/1610.13 c 1609s | 19 | 4772744 | 634082 | 25629 808 | 400 | 341 1612.33/1612.85 c 1612s | 19 | 4781174 | 635082 | 25629 868 | 400 | 341 1614.44/1615.00 c 1614s | 19 | 4782867 | 635282 | 25629 961 | 400 | 341 1616.54/1617.03 c 1616s | 19 | 4794732 | 636382 | 25629 998 | 400 | 341 1625.63/1626.19 c 1625s | 19 | 4804062 | 637582 | 25629 1404 | 400 | 341 1627.83/1628.39 c 1628s | 19 | 4813199 | 638782 | 25629 1422 | 400 | 341 1631.63/1632.19 c 1631s | 19 | 4823121 | 639482 | 25629 1588 | 400 | 341 1635.02/1635.53 c 1635s | 19 | 4824971 | 639582 | 25629 1771 | 400 | 341 1638.03/1638.55 c 1638s | 19 | 4826173 | 639682 | 25629 1937 | 400 | 341 1641.23/1641.77 c 1641s | 19 | 4828837 | 639882 | 25629 2107 | 400 | 341 1645.83/1646.36 c 1646s | 19 | 4836546 | 641082 | 25629 2259 | 400 | 341 1647.93/1648.47 c 1648s | 19 | 4838115 | 641182 | 25629 2368 | 400 | 341 1651.92/1652.48 c 1652s | 19 | 4843085 | 641782 | 25629 2553 | 400 | 341 1654.72/1655.24 c 1655s | 19 | 4847120 | 642082 | 25629 2691 | 400 | 341 1658.03/1658.56 c 1658s | 19 | 4848376 | 642182 | 25629 2871 | 400 | 341 1661.43/1661.93 c 1661s | 19 | 4850488 | 642282 | 25629 3056 | 400 | 341 1671.12/1671.60 c 1671s | 19 | 4852406 | 642382 | 25629 3593 | 400 | 341 1673.22/1673.70 c 1673s | 19 | 4856617 | 642982 | 25629 3655 | 400 | 341 1675.42/1675.92 c 1675s | 19 | 4859277 | 643882 | 25629 3655 | 400 | 341 1680.22/1680.74 c 1680s | 19 | 4870589 | 644782 | 25629 3840 | 400 | 341 1682.22/1682.77 c 1682s | 19 | 4877570 | 645882 | 25629 3840 | 400 | 341 1684.32/1684.85 c 1684s | 19 | 4881897 | 646882 | 25629 3841 | 400 | 341 1686.42/1686.92 c 1686s | 19 | 4883865 | 647582 | 25629 3841 | 400 | 341 1688.42/1688.95 c 1688s | 19 | 4888300 | 648282 | 25629 3844 | 400 | 341 1690.62/1691.12 c 1690s | 19 | 4896744 | 649582 | 25629 3845 | 400 | 341 1692.82/1693.30 c 1693s | 19 | 4898541 | 650282 | 25629 3845 | 400 | 341 1696.11/1696.70 c 1696s | 19 | 4902092 | 651082 | 25629 3923 | 400 | 341 1707.12/1707.66 c 1707s | 19 | 4905091 | 651482 | 25629 4478 | 400 | 341 1712.23/1712.78 c 1712s | 19 | 4906174 | 651582 | 25629 4755 | 400 | 341 1723.81/1724.37 c 1724s | 19 | 4908142 | 651682 | 25629 5401 | 400 | 341 1725.81/1726.39 c 1726s | 19 | 4910810 | 651982 | 25629 5480 | 400 | 341 1728.01/1728.54 c 1728s | 19 | 4913160 | 652382 | 25629 5543 | 400 | 341 1730.12/1730.63 c 1730s | 19 | 4916981 | 653082 | 25629 5609 | 400 | 341 1737.52/1738.07 c 1737s | 19 | 4917754 | 653182 | 25629 6003 | 400 | 341 1739.91/1740.40 c 1740s | 19 | 4922848 | 654282 | 25629 6004 | 400 | 341 1748.62/1749.19 c 1748s | 19 | 4927904 | 655282 | 25629 6387 | 400 | 341 1756.22/1756.75 c 1756s | 19 | 4930245 | 655382 | 25629 6807 | 400 | 341 1762.01/1762.59 c 1762s | 19 | 4932281 | 655582 | 25629 7126 | 400 | 341 1767.51/1768.05 c 1767s | 19 | 4934179 | 655782 | 25629 7413 | 400 | 341 1775.20/1775.78 c 1775s | 19 | 4936342 | 655882 | 25629 7842 | 400 | 341 1785.80/1786.38 c 1786s | 19 | 4942525 | 656882 | 25629 8292 | 400 | 341 1791.70/1792.20 c 1791s | 19 | 4945034 | 656982 | 25629 8588 | 400 | 341 1793.80/1794.39 c 1794s | 19 | 4945876 | 657082 | 25629 8695 | 400 | 341
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-4078942-1465282033/watcher-4078942-1465282033 -o /tmp/evaluation-result-4078942-1465282033/solver-4078942-1465282033 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078942-1465282033.opb pid=9218 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.97 2.02 2.02 3/179 9221 /proc/meminfo: memFree=29536700/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=696900 CPUtime=0 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 2594 0 0 0 0 0 0 0 20 0 4 0 110138029 713625600 3466 33554432000 4194304 16246674 140736785357040 140736785356464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 174993 3475 442 2943 0 171887 0 [pid=9221/tid=9222] ppid=9218 vsize=714308 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 731451392 3534 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=719428 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 736694272 3552 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=722500 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110138029 739840000 3567 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100183 s] /proc/loadavg: 1.97 2.02 2.02 3/179 9221 /proc/meminfo: memFree=29536700/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 26453 0 0 0 6 3 0 0 20 0 4 0 110138029 1333334016 27263 33554432000 4194304 16246674 140736785357040 140736785356352 8056990 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 325521 27278 801 2943 0 322415 0 [pid=9221/tid=9222] ppid=9218 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1333334016 27289 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1333334016 27300 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1333334016 27312 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200513 s] /proc/loadavg: 1.97 2.02 2.02 3/179 9221 /proc/meminfo: memFree=29536700/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1302084 CPUtime=0.19 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 42349 0 0 0 13 6 0 0 20 0 4 0 110138029 1333334016 43159 33554432000 4194304 16246674 140736785357040 140736785356352 12478272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 325521 43159 833 2943 0 322415 0 [pid=9221/tid=9222] ppid=9218 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1333334016 43159 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1333334016 43159 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1333334016 43159 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1302084 [startup+0.300465 s] /proc/loadavg: 1.97 2.02 2.02 3/179 9221 /proc/meminfo: memFree=29536700/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1302084 CPUtime=0.29 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 58070 0 0 0 21 8 0 0 20 0 4 0 110138029 1333334016 58881 33554432000 4194304 16246674 140736785357040 140736785356352 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 325521 58886 876 2943 0 322415 0 [pid=9221/tid=9222] ppid=9218 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1333334016 58891 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1333334016 58895 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1333334016 58900 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1302084 [startup+0.700405 s] /proc/loadavg: 1.97 2.02 2.02 3/179 9221 /proc/meminfo: memFree=29536700/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1302084 CPUtime=0.69 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 136090 0 0 0 49 20 0 0 20 0 4 0 110138029 1333334016 136900 33554432000 4194304 16246674 140736785357040 140736785340032 5675010 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 325521 136903 876 2943 0 322415 0 [pid=9221/tid=9222] ppid=9218 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1333334016 136905 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1333334016 136907 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1333334016 136911 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1302084 [startup+1.50041 s] /proc/loadavg: 1.97 2.02 2.02 3/183 9225 /proc/meminfo: memFree=28637020/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1310276 CPUtime=1.48 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 268713 0 0 0 111 37 0 0 20 0 4 0 110138029 1341722624 269523 33554432000 4194304 16246674 140736785357040 140736785338944 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 327569 269523 883 2943 0 324463 0 [pid=9221/tid=9222] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269523 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269523 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269523 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1310276 [startup+3.10042 s] /proc/loadavg: 1.97 2.02 2.02 3/183 9225 /proc/meminfo: memFree=28459072/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1310276 CPUtime=3.09 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 268748 0 0 0 271 38 0 0 20 0 4 0 110138029 1341722624 269558 33554432000 4194304 16246674 140736785357040 140736785356216 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 327569 269558 883 2943 0 324463 0 [pid=9221/tid=9222] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269558 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269558 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269558 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1310276 [startup+6.30042 s] /proc/loadavg: 1.98 2.02 2.02 3/183 9225 /proc/meminfo: memFree=28458256/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1310276 CPUtime=6.29 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 268750 0 0 0 591 38 0 0 20 0 4 0 110138029 1341722624 269560 33554432000 4194304 16246674 140736785357040 140736785340040 5754801 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 327569 269560 885 2943 0 324463 0 [pid=9221/tid=9222] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269560 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269560 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269560 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1310276 [startup+12.7004 s] /proc/loadavg: 1.98 2.02 2.02 3/183 9225 /proc/meminfo: memFree=28458908/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1310276 CPUtime=12.69 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 268750 0 0 0 1231 38 0 0 20 0 4 0 110138029 1341722624 269560 33554432000 4194304 16246674 140736785357040 140736785340040 5717462 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 327569 269560 885 2943 0 324463 0 [pid=9221/tid=9222] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269560 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269560 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269560 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1310276 [startup+25.5005 s] /proc/loadavg: 1.98 2.02 2.02 3/183 9225 /proc/meminfo: memFree=28459760/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1310276 CPUtime=25.49 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 268751 0 0 0 2510 39 0 0 20 0 4 0 110138029 1341722624 269561 33554432000 4194304 16246674 140736785357040 140736785338944 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 327569 269561 886 2943 0 324463 0 [pid=9221/tid=9222] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269561 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269561 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269561 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1310276 [startup+51.1005 s] /proc/loadavg: 1.99 2.02 2.02 3/183 9225 /proc/meminfo: memFree=28459864/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1310276 CPUtime=51.08 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 268751 0 0 0 5068 40 0 0 20 0 4 0 110138029 1341722624 269561 33554432000 4194304 16246674 140736785357040 140736785338944 5667556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 327569 269561 886 2943 0 324463 0 [pid=9221/tid=9222] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269561 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269561 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269561 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1310276 [startup+102.3 s] /proc/loadavg: 1.99 2.01 2.01 3/183 9227 /proc/meminfo: memFree=28459868/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1310276 CPUtime=102.28 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 268751 0 0 0 10185 43 0 0 20 0 4 0 110138029 1341722624 269561 33554432000 4194304 16246674 140736785357040 140736785338944 12483307 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 327569 269561 886 2943 0 324463 0 [pid=9221/tid=9222] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269561 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269561 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1341722624 269561 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1310276 ################ # More data... # ################ /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1312324 [startup+1362.3 s] /proc/loadavg: 2.02 2.02 2.00 3/183 9329 /proc/meminfo: memFree=29520608/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1312324 CPUtime=1361.87 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 269561 0 0 0 136036 151 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140736785356216 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 328081 270036 886 2943 0 324975 0 [pid=9221/tid=9222] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1312324 [startup+1422.3 s] /proc/loadavg: 2.04 2.03 2.00 3/184 9333 /proc/meminfo: memFree=29519464/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1312324 CPUtime=1421.87 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 269561 0 0 0 142032 155 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140736785338944 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 328081 270036 886 2943 0 324975 0 [pid=9221/tid=9222] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1312324 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 9334 /proc/meminfo: memFree=29519740/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1312324 CPUtime=1481.85 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 269561 0 0 0 148030 155 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140736785338944 13954515 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 328081 270036 886 2943 0 324975 0 [pid=9221/tid=9222] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1312324 [startup+1542.31 s] /proc/loadavg: 2.05 2.03 2.00 3/183 9335 /proc/meminfo: memFree=29517792/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1312324 CPUtime=1541.85 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 269561 0 0 0 154029 156 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140736785338944 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 328081 270036 886 2943 0 324975 0 [pid=9221/tid=9222] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1312324 [startup+1602.3 s] /proc/loadavg: 2.08 2.04 2.00 3/182 9336 /proc/meminfo: memFree=29517964/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1312324 CPUtime=1601.83 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 269561 0 0 0 160026 157 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140736785338944 5973976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 328081 270036 886 2943 0 324975 0 [pid=9221/tid=9222] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1312324 [startup+1662.3 s] /proc/loadavg: 2.09 2.04 2.00 4/183 9338 /proc/meminfo: memFree=29518240/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1312324 CPUtime=1661.83 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 269561 0 0 0 166023 160 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140736785338944 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 328081 270036 886 2943 0 324975 0 [pid=9221/tid=9222] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1312324 [startup+1722.3 s] /proc/loadavg: 2.07 2.05 2.00 3/183 9339 /proc/meminfo: memFree=29518024/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1312324 CPUtime=1721.82 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 269561 0 0 0 172012 170 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140736785356216 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 328081 270036 886 2943 0 324975 0 [pid=9221/tid=9222] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1312324 [startup+1782.3 s] /proc/loadavg: 2.09 2.05 2.00 3/183 9340 /proc/meminfo: memFree=29517808/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1312324 CPUtime=1781.81 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 269561 0 0 0 178003 178 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140736785356216 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 328081 270036 886 2943 0 324975 0 [pid=9221/tid=9222] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1312324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.14 2.07 2.01 3/183 9341 /proc/meminfo: memFree=29517772/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1312324 CPUtime=1800 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 269561 0 0 0 179820 180 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140736785356216 5974204 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 328081 270036 886 2943 0 324975 0 [pid=9221/tid=9222] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 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 9221 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.14 2.07 2.01 3/183 9341 /proc/meminfo: memFree=29517772/32872528 swapFree=12744/274376 [pid=9221] ppid=9218 vsize=1312324 CPUtime=1800 cores=0,2,4,6 /proc/9221/stat : 9221 (toysat) R 9218 9221 5566 0 -1 4202496 269561 0 0 0 179820 180 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140736785356216 5974204 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9221/statm: 328081 270036 886 2943 0 324975 0 [pid=9221/tid=9222] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9222/stat : 9222 (toysat) S 9218 9221 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127554743536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9221/tid=9223] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9223/stat : 9223 (toysat) S 9218 9221 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127468760304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9221/tid=9224] ppid=9218 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/9221/task/9224/stat : 9224 (toysat) S 9218 9221 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110138029 1343819776 270036 33554432000 4194304 16246674 140736785357040 140127458286768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1312324 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1798.21 CPU system time (s): 1.80872 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 1312324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.21 system time used= 1.80872 maximum resident set size= 1080144 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269561 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= 353 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.70029 second user time and 6.83396 second system time The end
Begin job on node107 at 2016-06-07 08:47:13 IDJOB=4078942 IDBENCH=90116 IDSOLVER=2542 FILE ID=node107/4078942-1465282033 RUNJOBID= node107-1465255895-5582 PBS_JOBID= 19843278 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K91.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078942-1465282033/watcher-4078942-1465282033 -o /tmp/evaluation-result-4078942-1465282033/solver-4078942-1465282033 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078942-1465282033.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8c2203c9ba90488459f210b4f3d3e3ed RANDOM SEED=1966147163 node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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: 29536328 kB Buffers: 57900 kB Cached: 171032 kB SwapCached: 1492 kB Active: 2226932 kB Inactive: 97196 kB Active(anon): 2091868 kB Inactive(anon): 5224 kB Active(file): 135064 kB Inactive(file): 91972 kB Unevictable: 274376 kB Mlocked: 12744 kB SwapTotal: 67108856 kB SwapFree: 67098524 kB Dirty: 16732 kB Writeback: 0 kB AnonPages: 2368768 kB Mapped: 10776 kB Shmem: 0 kB Slab: 600724 kB SReclaimable: 44144 kB SUnreclaim: 556580 kB KernelStack: 1488 kB PageTables: 8960 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2510452 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1312768 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= 71716 MiB End job on node107 at 2016-06-07 09:17:13