| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.51 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_20.opb |
| MD5SUM | 24327f960e0621fad359171eb566677f |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7140 |
| Total number of constraints | 34949 |
| Number of constraints which are clauses | 34944 |
| Number of constraints which are cardinality constraints (but not clauses) | 5 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 84 |
| 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 | 20 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 104 |
| 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-17T01:08:47+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-4097835-1466118527.opb"] 0.00/0.01 c use --random-gen="3757758009 4113108890 1235440839 1915571209 924810947 1985939917 2102773582 1031539734 474593548 4010592899 890729344 1924664942 3144630936 7870990 2955756725 2651606427 4116285492 1329769149 553400422 1714001540 1437771988 1187753337 3583012719 2608597718 611037634 1387001092 2726694907 4140892877 2252845390 1325279773 3120996679 2694539603 115473705 483761665 3560855149 3770108307 2821170918 1485641729 1028575878 4048900906 4097367103 2081890402 1506115269 3726449654 2909358911 196557613 1145834396 1075198517 4223090556 3966730171 321258418 2031072863 2788054028 702900343 3034284495 1305157979 3730761064 1778059258 419353496 2597354686 1624514595 1318007575 1737016161 4046418398 3657384290 3112296389 1690463469 59890272 38234769 3454062502 4054705863 3977816922 3312299517 3962187163 2391654611 225566818 2115440946 1737409622 2961102022 1611221070 3300580010 3836734766 2090780478 3078422952 1800547845 1491362870 2784980125 1005004830 3638349062 1768330522 3300477130 3438206509 3266369093 72988060 685588036 2888450570 2216748186 221090432 176570728 4172139512 4292015404 2052443778 3562048676 1302130429 4277213688 1284975742 4263054825 1129428948 919739489 3470997614 2982970285 277425837 2441685664 4133666589 2828415419 4023061879 2473545168 1640823642 1545410643 3455172666 3639003719 3964381594 3930535854 1891788620 2021316571 2400171984 1702779555 1227209788 1362368614 3518709628 3615182026 2323580282 3315731408 1923877741 2236111456 2668943956 2875096252 1568708065 2901211713 1001668638 453519957 4151195423 2648354162 809913057 1307796426 815137791 3077189001 1528474476 3921183010 1386238539 2730128078 1094480799 475304335 2283861623 1932037101 3550850143 778959160 2157958862 3024367170 3916054838 2427011757 1887102666 268277243 1142521605 1835538688 3651022867 250504142 1827496545 1713969644 3455783733 3786625380 3206214889 845208796 3838629231 1296280548 13362953 2569797329 2147130721 27923155 2051129817 3535296514 3772312135 3068173811 1125310286 1384821532 2134477725 420666165 1672080723 2853498463 44140665 1718370641 4051982764 1402023255 1727858259 703123002 1196195595 713914622 1542313180 1634751575 2556362793 4081404368 3554715692 3895085139 1356519865 213802268 1588629650 2691907208 949559670 1148365423 1917849798 2969569695 3946586973 2487680498 3505522121 655086574 2137620071 785803040 2102815967 3817859068 400475212 2619239168 1660061972 1730964118 1293974016 678835955 2345343340 1873093133 3890180378 2154498488 713461521 1011550101 1234665684 1410368416 2914041607 2552901926 2949472602 1657933233 3911779927 2653102909 1159650299 1160124192 1940753566 2026391483 246218643 141422250 4263199637 1716160907 2939956795 3397094741 264005722 3961786201 1581511997 1214270398 853247738 628639711 3513244291 255 362436" option to reproduce the execution 0.79/0.89 c #vars 7140 0.79/0.89 c #constraints 34949 2.29/2.38 c Solving starts ... 2.29/2.38 c ============================[ Search Statistics ]============================ 2.29/2.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.29/2.38 c | | | | Limit GC | Var | Constra 2.29/2.38 c ============================================================================= 2.29/2.38 c 0.0s | 0 | 0 | 0 | 14028 0 | 5 | 0 2.88/2.90 c 0.5s | 1 | 1218 | 100 | 14028 0 | 5 | 728 3.48/3.56 c 1.2s | 2 | 2850 | 250 | 15431 0 | 5 | 728 4.88/4.90 c 2.5s | 3 | 4422 | 475 | 16975 0 | 5 | 728 6.78/6.81 c 4.4s | 4 | 9236 | 813 | 18673 0 | 5 | 728 8.89/8.95 c 6.6s | 4 | 11895 | 1213 | 20541 0 | 5 | 728 9.38/9.47 c 7.1s | 5 | 13352 | 1320 | 20541 0 | 5 | 728 11.48/11.50 c 9.1s | 5 | 16700 | 1720 | 22596 0 | 5 | 728 12.88/12.94 c 10.6s | 6 | 18882 | 2081 | 24856 0 | 5 | 728 14.98/15.05 c 12.7s | 6 | 22208 | 2481 | 24856 0 | 5 | 728 17.18/17.20 c 14.8s | 6 | 24865 | 2981 | 24856 0 | 5 | 728 17.88/17.90 c 15.5s | 7 | 25326 | 3223 | 27342 0 | 5 | 728 19.89/19.99 c 17.6s | 7 | 29572 | 3723 | 27342 0 | 5 | 728 22.09/22.17 c 19.8s | 7 | 31132 | 4223 | 27342 0 | 5 | 728 24.58/24.63 c 22.2s | 7 | 40280 | 4723 | 27342 0 | 5 | 728 25.58/25.66 c 23.3s | 8 | 42839 | 4936 | 30077 0 | 5 | 728 27.98/28.04 c 25.7s | 8 | 47456 | 5336 | 30077 0 | 5 | 728 30.18/30.20 c 27.8s | 8 | 52699 | 5836 | 30077 0 | 5 | 728 32.18/32.29 c 29.9s | 8 | 55592 | 6436 | 30077 0 | 5 | 728 34.68/34.74 c 32.4s | 8 | 61319 | 7036 | 30077 0 | 5 | 728 36.78/36.87 c 34.5s | 9 | 65279 | 7506 | 33085 0 | 5 | 728 38.98/39.02 c 36.6s | 9 | 70079 | 7906 | 33085 0 | 5 | 728 41.28/41.37 c 39.0s | 9 | 73336 | 8506 | 33085 0 | 5 | 728 43.68/43.76 c 41.4s | 9 | 76260 | 9106 | 33085 0 | 5 | 728 45.88/45.97 c 43.6s | 9 | 79371 | 9506 | 33085 0 | 5 | 728 48.28/48.40 c 46.0s | 9 | 85209 | 10006 | 33085 0 | 5 | 728 50.38/50.40 c 48.0s | 9 | 90190 | 10506 | 33085 0 | 5 | 728 52.48/52.52 c 50.1s | 9 | 92551 | 11106 | 33085 0 | 5 | 728 53.58/53.66 c 51.3s | 10 | 95192 | 11361 | 36394 0 | 5 | 728 55.88/55.90 c 53.5s | 10 | 100809 | 11761 | 36394 0 | 5 | 728 57.88/57.97 c 55.6s | 10 | 107043 | 12161 | 36394 0 | 5 | 728 59.97/60.07 c 57.7s | 10 | 110945 | 12661 | 36394 0 | 5 | 728 62.37/62.47 c 60.1s | 10 | 114829 | 13361 | 36394 0 | 5 | 728 64.77/64.88 c 62.5s | 10 | 120003 | 13861 | 36394 0 | 5 | 728 67.37/67.49 c 65.1s | 10 | 125772 | 14361 | 36394 0 | 5 | 728 69.67/69.75 c 67.4s | 10 | 132517 | 14961 | 36394 0 | 5 | 728 71.67/71.76 c 69.4s | 10 | 136654 | 15561 | 36394 0 | 5 | 728 73.68/73.79 c 71.4s | 10 | 144930 | 16061 | 36394 0 | 5 | 728 75.77/75.84 c 73.5s | 10 | 149647 | 16461 | 36394 0 | 5 | 728 78.37/78.48 c 76.1s | 10 | 158083 | 16961 | 36394 0 | 5 | 728 79.18/79.27 c 76.9s | 11 | 160373 | 17144 | 40034 0 | 5 | 728 81.38/81.49 c 79.1s | 11 | 165530 | 17644 | 40034 0 | 5 | 728 83.77/83.80 c 81.4s | 11 | 169662 | 18344 | 40034 0 | 5 | 728 85.78/85.81 c 83.4s | 11 | 174200 | 18744 | 40034 0 | 5 | 728 87.87/87.93 c 85.5s | 11 | 178063 | 19244 | 40034 0 | 5 | 728 90.07/90.13 c 87.8s | 11 | 185574 | 19844 | 40034 0 | 5 | 728 92.38/92.47 c 90.1s | 11 | 192786 | 20344 | 40034 0 | 5 | 728 94.68/94.79 c 92.4s | 11 | 201631 | 20944 | 40034 0 | 5 | 728 96.88/96.99 c 94.6s | 11 | 207068 | 21744 | 40034 0 | 5 | 728 98.98/99.03 c 96.7s | 11 | 212503 | 22244 | 40034 0 | 5 | 728 101.07/101.13 c 98.7s | 11 | 215457 | 22944 | 40034 0 | 5 | 728 103.27/103.37 c 100s | 11 | 219877 | 23444 | 40034 0 | 5 | 728 105.67/105.77 c 103s | 11 | 225556 | 23944 | 40034 0 | 5 | 728 107.87/107.93 c 105s | 11 | 231056 | 24644 | 40034 0 | 5 | 728 110.17/110.28 c 107s | 11 | 237658 | 25244 | 40034 0 | 5 | 728 112.37/112.44 c 110s | 11 | 243418 | 25744 | 44038 0 | 5 | 728 112.67/112.76 c 110s | 12 | 243967 | 25819 | 44038 0 | 5 | 728 114.87/114.98 c 112s | 12 | 248610 | 26519 | 44038 0 | 5 | 728 117.07/117.18 c 114s | 12 | 254799 | 27119 | 44038 0 | 5 | 728 119.26/119.37 c 116s | 12 | 258414 | 27819 | 44038 0 | 5 | 728 121.36/121.43 c 119s | 12 | 262550 | 28319 | 44038 0 | 5 | 728 123.47/123.53 c 121s | 12 | 266086 | 28919 | 44038 0 | 5 | 728 125.57/125.66 c 123s | 12 | 271341 | 29419 | 44038 0 | 5 | 728 127.77/127.89 c 125s | 12 | 275897 | 30119 | 44038 0 | 5 | 728 129.97/130.08 c 127s | 12 | 280322 | 30719 | 44038 0 | 5 | 728 132.27/132.30 c 129s | 12 | 284797 | 31419 | 44038 0 | 5 | 728 134.47/134.55 c 132s | 12 | 291030 | 32219 | 44038 0 | 5 | 728 136.67/136.71 c 134s | 12 | 297495 | 32919 | 44038 0 | 5 | 728 138.68/138.75 c 136s | 12 | 301428 | 33719 | 44038 0 | 5 | 728 140.78/140.89 c 138s | 12 | 305043 | 34419 | 44038 0 | 5 | 728 143.08/143.12 c 140s | 12 | 308917 | 35119 | 44038 0 | 5 | 728 145.37/145.44 c 143s | 12 | 313487 | 35919 | 44038 0 | 5 | 728 147.67/147.73 c 145s | 12 | 317929 | 36719 | 44038 0 | 5 | 728 149.97/150.00 c 147s | 12 | 323097 | 37619 | 44038 0 | 5 | 728 152.17/152.22 c 149s | 12 | 326441 | 38519 | 44038 0 | 5 | 728 152.88/152.97 c 150s | 13 | 327745 | 38832 | 48442 0 | 5 | 728 154.87/154.99 c 152s | 13 | 330276 | 39632 | 48442 0 | 5 | 728 157.28/157.39 c 155s | 13 | 334888 | 40632 | 48442 0 | 5 | 728 159.47/159.55 c 157s | 13 | 341978 | 41132 | 48442 0 | 5 | 728 161.67/161.74 c 159s | 13 | 345259 | 41732 | 48442 0 | 5 | 728 164.07/164.15 c 161s | 13 | 352675 | 42332 | 48442 0 | 5 | 728 166.37/166.49 c 164s | 13 | 357377 | 42732 | 48442 0 | 5 | 728 168.47/168.58 c 166s | 13 | 363885 | 43132 | 48442 0 | 5 | 728 170.47/170.59 c 168s | 13 | 368077 | 43732 | 48442 0 | 5 | 728 172.87/172.97 c 170s | 13 | 373539 | 44332 | 48442 0 | 5 | 728 175.17/175.29 c 172s | 13 | 379494 | 44832 | 48442 0 | 5 | 728 177.27/177.36 c 174s | 13 | 383356 | 45232 | 48442 0 | 5 | 728 179.66/179.78 c 177s | 13 | 387396 | 45932 | 48442 0 | 5 | 728 182.06/182.12 c 179s | 13 | 393137 | 46432 | 48442 0 | 5 | 728 184.16/184.25 c 181s | 13 | 397824 | 46832 | 48442 0 | 5 | 728 186.16/186.29 c 183s | 13 | 404381 | 47332 | 48442 0 | 5 | 728 188.46/188.54 c 186s | 13 | 410662 | 48132 | 48442 0 | 5 | 728 190.86/190.93 c 188s | 13 | 419350 | 48632 | 48442 0 | 5 | 728 193.06/193.18 c 190s | 13 | 425847 | 49132 | 48442 0 | 5 | 728 195.26/195.35 c 192s | 13 | 429996 | 49632 | 48442 0 | 5 | 728 197.66/197.76 c 195s | 13 | 433108 | 50132 | 48442 1 | 5 | 728 200.17/200.30 c 197s | 13 | 437886 | 50532 | 48442 1 | 5 | 728 202.37/202.42 c 200s | 13 | 441924 | 51032 | 48442 1 | 5 | 728 204.56/204.65 c 202s | 13 | 445767 | 51632 | 48442 1 | 5 | 728 206.66/206.74 c 204s | 13 | 453201 | 52232 | 48442 1 | 5 | 728 208.96/209.10 c 206s | 13 | 459090 | 52932 | 48442 1 | 5 | 728 211.06/211.12 c 208s | 13 | 464878 | 53432 | 48442 1 | 5 | 728 213.26/213.39 c 211s | 13 | 467929 | 54132 | 48442 1 | 5 | 728 215.36/215.44 c 213s | 13 | 475047 | 54832 | 48442 1 | 5 | 728 217.76/217.80 c 215s | 13 | 481480 | 55532 | 48442 1 | 5 | 728 219.85/219.91 c 217s | 13 | 489192 | 56432 | 48442 1 | 5 | 728 221.95/222.06 c 219s | 13 | 499660 | 57432 | 48442 1 | 5 | 728 224.15/224.23 c 221s | 13 | 505910 | 58132 | 53287 1 | 5 | 728 224.95/225.09 c 222s | 14 | 508151 | 58352 | 53287 1 | 5 | 728 227.15/227.21 c 224s | 14 | 511761 | 58952 | 53287 1 | 5 | 728 229.35/229.40 c 227s | 14 | 517771 | 59752 | 53287 1 | 5 | 728 231.55/231.63 c 229s | 14 | 524135 | 60452 | 53287 1 | 5 | 728 233.65/233.75 c 231s | 14 | 529030 | 61152 | 53287 1 | 5 | 728 235.75/235.82 c 233s | 14 | 534344 | 61952 | 53287 1 | 5 | 728 237.95/238.00 c 235s | 14 | 541445 | 62952 | 53287 1 | 5 | 728 239.95/240.07 c 237s | 14 | 545785 | 63752 | 53287 1 | 5 | 728 242.06/242.13 c 239s | 14 | 550037 | 64552 | 53287 1 | 5 | 728 244.16/244.23 c 241s | 14 | 554513 | 65552 | 53287 1 | 5 | 728 246.25/246.30 c 243s | 14 | 557717 | 66552 | 53287 1 | 5 | 728 248.45/248.53 c 246s | 14 | 563508 | 67352 | 53287 1 | 5 | 728 250.45/250.57 c 248s | 14 | 568364 | 67752 | 53287 1 | 5 | 728 252.85/252.93 c 250s | 14 | 575095 | 68352 | 53287 1 | 5 | 728 254.85/254.94 c 252s | 14 | 579597 | 68952 | 53287 1 | 5 | 728 257.15/257.24 c 254s | 14 | 585507 | 69352 | 53287 1 | 5 | 728 259.45/259.51 c 257s | 14 | 592131 | 69852 | 53287 1 | 5 | 728 261.75/261.84 c 259s | 14 | 597467 | 70552 | 53287 1 | 5 | 728 263.85/263.94 c 261s | 14 | 602767 | 70952 | 53287 1 | 5 | 728 265.85/265.98 c 263s | 14 | 611634 | 71452 | 53287 1 | 5 | 728 267.95/268.00 c 265s | 14 | 616945 | 72152 | 53287 1 | 5 | 728 270.25/270.39 c 268s | 14 | 623331 | 72652 | 53287 1 | 5 | 728 272.45/272.54 c 270s | 14 | 630585 | 73152 | 53287 1 | 5 | 728 274.55/274.61 c 272s | 14 | 634471 | 73752 | 53287 1 | 5 | 728 276.65/276.74 c 274s | 14 | 638737 | 74252 | 53287 1 | 5 | 728 278.84/278.91 c 276s | 14 | 641088 | 74752 | 53287 1 | 5 | 728 280.94/281.03 c 278s | 14 | 645673 | 75152 | 53287 1 | 5 | 728 282.94/283.07 c 280s | 14 | 650246 | 75552 | 53287 1 | 5 | 728 285.44/285.51 c 283s | 14 | 654268 | 76152 | 53287 1 | 5 | 728 287.54/287.65 c 285s | 14 | 657969 | 76552 | 53287 1 | 5 | 728 289.64/289.79 c 287s | 14 | 662123 | 77152 | 53287 1 | 5 | 728 291.84/291.97 c 289s | 14 | 668927 | 77652 | 53287 1 | 5 | 728 294.04/294.16 c 291s | 14 | 673056 | 78352 | 53287 1 | 5 | 728 296.34/296.47 c 294s | 14 | 678614 | 78852 | 53287 1 | 5 | 728 298.54/298.66 c 296s | 14 | 684544 | 79552 | 53287 1 | 5 | 728 300.64/300.75 c 298s | 14 | 690166 | 80252 | 53287 1 | 5 | 728 302.74/302.85 c 300s | 14 | 694821 | 80652 | 53287 2 | 5 | 728 304.94/305.07 c 302s | 14 | 698883 | 81352 | 53287 2 | 5 | 728 307.24/307.32 c 304s | 14 | 705164 | 82052 | 53287 2 | 5 | 728 309.34/309.49 c 307s | 14 | 710755 | 82752 | 53287 2 | 5 | 728 311.64/311.70 c 309s | 14 | 715957 | 83452 | 53287 2 | 5 | 728 313.64/313.78 c 311s | 14 | 721713 | 84252 | 53287 2 | 5 | 728 315.84/315.98 c 313s | 14 | 726479 | 85052 | 53287 2 | 5 | 728 317.94/318.04 c 315s | 14 | 730643 | 85752 | 53287 2 | 5 | 728 319.94/320.04 c 317s | 14 | 734898 | 86552 | 53287 2 | 5 | 728 321.94/322.08 c 319s | 14 | 738780 | 87252 | 58616 2 | 5 | 728 323.14/323.29 c 320s | 15 | 740092 | 87632 | 58616 2 | 5 | 728 325.34/325.47 c 323s | 15 | 743035 | 88132 | 58616 2 | 5 | 728 327.43/327.56 c 325s | 15 | 744765 | 88932 | 58616 2 | 5 | 728 329.94/330.02 c 327s | 15 | 747496 | 89732 | 58616 2 | 5 | 728 332.03/332.12 c 329s | 15 | 749803 | 90232 | 58616 2 | 5 | 728 334.34/334.43 c 332s | 15 | 757907 | 90732 | 58616 2 | 5 | 728 336.43/336.51 c 334s | 15 | 761329 | 91332 | 58616 2 | 5 | 728 338.63/338.76 c 336s | 15 | 767138 | 91832 | 58616 2 | 5 | 728 340.94/341.04 c 338s | 15 | 774061 | 92432 | 58616 2 | 5 | 728 343.24/343.34 c 340s | 15 | 779284 | 93032 | 58616 2 | 5 | 728 345.23/345.34 c 342s | 15 | 784049 | 93432 | 58616 2 | 5 | 728 347.43/347.57 c 345s | 15 | 789368 | 94132 | 58616 2 | 5 | 728 349.84/349.94 c 347s | 15 | 797907 | 94732 | 58616 2 | 5 | 728 352.04/352.13 c 349s | 15 | 802453 | 95332 | 58616 2 | 5 | 728 354.14/354.29 c 351s | 15 | 807469 | 95932 | 58616 2 | 5 | 728 356.53/356.64 c 354s | 15 | 812449 | 96632 | 58616 2 | 5 | 728 358.93/359.08 c 356s | 15 | 817940 | 97132 | 58616 2 | 5 | 728 361.03/361.20 c 358s | 15 | 823560 | 97832 | 58616 2 | 5 | 728 363.13/363.27 c 360s | 15 | 828624 | 98332 | 58616 2 | 5 | 728 365.23/365.31 c 362s | 15 | 831698 | 98932 | 58616 2 | 5 | 728 367.43/367.54 c 365s | 15 | 838897 | 99532 | 58616 2 | 5 | 728 369.83/369.95 c 367s | 15 | 843229 | 100232 | 58616 2 | 5 | 728 372.03/372.13 c 369s | 15 | 847009 | 100832 | 58616 2 | 5 | 728 374.03/374.16 c 371s | 15 | 851216 | 101432 | 58616 2 | 5 | 728 376.23/376.34 c 373s | 15 | 854842 | 102032 | 58616 2 | 5 | 728 378.23/378.36 c 375s | 15 | 861731 | 102832 | 58616 2 | 5 | 728 380.43/380.53 c 378s | 15 | 866325 | 103332 | 58616 2 | 5 | 728 382.52/382.68 c 380s | 15 | 872586 | 104132 | 58616 2 | 5 | 728 384.63/384.70 c 382s | 15 | 876128 | 104832 | 58616 2 | 5 | 728 386.93/387.02 c 384s | 15 | 881784 | 105632 | 58616 2 | 5 | 728 389.23/389.32 c 386s | 15 | 887352 | 106532 | 58616 2 | 5 | 728 391.33/391.46 c 389s | 15 | 891315 | 107232 | 58616 2 | 5 | 728 393.33/393.48 c 391s | 15 | 894368 | 107932 | 58616 2 | 5 | 728 395.43/395.57 c 393s | 15 | 896932 | 108632 | 58616 2 | 5 | 728 397.53/397.61 c 395s | 15 | 899555 | 109432 | 58616 2 | 5 | 728 399.53/399.68 c 397s | 15 | 901747 | 110232 | 58616 2 | 5 | 728 401.83/401.90 c 399s | 15 | 904865 | 110832 | 58616 2 | 5 | 728 403.93/404.03 c 401s | 15 | 908278 | 111332 | 58616 2 | 5 | 728 406.43/406.52 c 404s | 15 | 915412 | 111932 | 58616 2 | 5 | 728 408.43/408.60 c 406s | 15 | 920905 | 112332 | 58616 2 | 5 | 728 410.53/410.69 c 408s | 15 | 927531 | 112732 | 58616 2 | 5 | 728 412.63/412.75 c 410s | 15 | 932902 | 113232 | 58616 2 | 5 | 728 414.83/414.94 c 412s | 15 | 935763 | 113732 | 58616 3 | 5 | 728 417.03/417.15 c 414s | 15 | 941684 | 114432 | 58616 3 | 5 | 728 419.53/419.63 c 417s | 15 | 947929 | 115032 | 58616 3 | 5 | 728 421.73/421.82 c 419s | 15 | 953567 | 115732 | 58616 3 | 5 | 728 423.83/423.96 c 421s | 15 | 960268 | 116332 | 58616 3 | 5 | 728 426.13/426.28 c 423s | 15 | 967657 | 117232 | 58616 3 | 5 | 728 428.33/428.42 c 426s | 15 | 974783 | 118032 | 58616 3 | 5 | 728 430.43/430.56 c 428s | 15 | 980285 | 118532 | 58616 3 | 5 | 728 432.63/432.78 c 430s | 15 | 983399 | 119132 | 58616 3 | 5 | 728 434.92/435.06 c 432s | 15 | 988367 | 119732 | 58616 3 | 5 | 728 437.02/437.12 c 434s | 15 | 995687 | 120532 | 58616 3 | 5 | 728 439.42/439.50 c 437s | 15 | 999399 | 121232 | 58616 3 | 5 | 728 441.62/441.78 c 439s | 15 | 1006343 | 121932 | 58616 3 | 5 | 728 443.82/443.99 c 441s | 15 | 1011288 | 122632 | 58616 3 | 5 | 728 446.02/446.18 c 443s | 15 | 1015398 | 123332 | 58616 3 | 5 | 728 448.22/448.38 c 446s | 15 | 1019930 | 124032 | 58616 3 | 5 | 728 450.52/450.62 c 448s | 15 | 1023501 | 124732 | 58616 3 | 5 | 728 452.52/452.66 c 450s | 15 | 1027300 | 125332 | 58616 3 | 5 | 728 454.72/454.86 c 452s | 15 | 1031374 | 126132 | 58616 3 | 5 | 728 456.92/457.01 c 454s | 15 | 1036216 | 127032 | 58616 3 | 5 | 728 458.92/459.03 c 456s | 15 | 1039173 | 127732 | 58616 3 | 5 | 728 461.12/461.23 c 458s | 15 | 1042057 | 128532 | 58616 3 | 5 | 728 463.13/463.23 c 460s | 15 | 1043365 | 129132 | 58616 3 | 5 | 728 465.33/465.46 c 463s | 15 | 1045429 | 129632 | 58616 3 | 5 | 728 467.43/467.56 c 465s | 15 | 1048740 | 130232 | 58616 3 | 5 | 728 469.73/469.89 c 467s | 15 | 1053609 | 130732 | 64478 3 | 5 | 728 471.93/472.03 c 469s | 15 | 1058884 | 131132 | 64478 3 | 5 | 728 474.22/474.36 c 471s | 15 | 1063656 | 131532 | 64478 3 | 5 | 728 474.42/474.50 c 472s | 16 | 1063770 | 131552 | 64478 3 | 5 | 728 476.52/476.62 c 474s | 16 | 1068308 | 131952 | 64478 3 | 5 | 728 478.72/478.85 c 476s | 16 | 1073927 | 132652 | 64478 3 | 5 | 728 481.02/481.14 c 478s | 16 | 1080303 | 133152 | 64478 3 | 5 | 728 483.02/483.19 c 480s | 16 | 1083129 | 133652 | 64478 3 | 5 | 728 485.42/485.51 c 483s | 16 | 1087520 | 134252 | 64478 3 | 5 | 728 487.42/487.55 c 485s | 16 | 1091956 | 134652 | 64478 3 | 5 | 728 489.82/489.98 c 487s | 16 | 1097403 | 135352 | 64478 3 | 5 | 728 492.02/492.14 c 489s | 16 | 1102178 | 135752 | 64478 3 | 5 | 728 494.21/494.31 c 491s | 16 | 1107938 | 136252 | 64478 3 | 5 | 728 496.31/496.49 c 494s | 16 | 1113539 | 136952 | 64478 3 | 5 | 728 498.61/498.74 c 496s | 16 | 1116750 | 137552 | 64478 3 | 5 | 728 500.91/501.00 c 498s | 16 | 1121333 | 138052 | 64478 3 | 5 | 728 503.01/503.16 c 500s | 16 | 1126763 | 138752 | 64478 3 | 5 | 728 505.41/505.56 c 503s | 16 | 1132923 | 139252 | 64478 3 | 5 | 728 507.81/507.91 c 505s | 16 | 1137113 | 139952 | 64478 3 | 5 | 728 509.91/510.03 c 507s | 16 | 1141328 | 140452 | 64478 3 | 5 | 728 512.31/512.48 c 510s | 16 | 1145624 | 141152 | 64478 3 | 5 | 728 514.51/514.60 c 512s | 16 | 1151566 | 141852 | 64478 3 | 5 | 728 516.71/516.86 c 514s | 16 | 1158234 | 142652 | 64478 3 | 5 | 728 518.81/518.98 c 516s | 16 | 1164316 | 143452 | 64478 3 | 5 | 728 520.91/521.06 c 518s | 16 | 1169309 | 144152 | 64478 3 | 5 | 728 522.91/523.07 c 520s | 16 | 1173950 | 144952 | 64478 3 | 5 | 728 525.01/525.15 c 522s | 16 | 1177938 | 145552 | 64478 3 | 5 | 728 527.21/527.31 c 524s | 16 | 1181897 | 146252 | 64478 3 | 5 | 728 529.31/529.46 c 527s | 16 | 1185374 | 146952 | 64478 3 | 5 | 728 531.61/531.72 c 529s | 16 | 1188436 | 147752 | 64478 3 | 5 | 728 533.61/533.72 c 531s | 16 | 1190996 | 148452 | 64478 3 | 5 | 728 535.72/535.81 c 533s | 16 | 1193184 | 149252 | 64478 3 | 5 | 728 537.71/537.84 c 535s | 16 | 1195401 | 149652 | 64478 4 | 5 | 728 540.01/540.16 c 537s | 16 | 1202205 | 150452 | 64478 4 | 5 | 728 542.31/542.46 c 540s | 16 | 1207468 | 150952 | 64478 4 | 5 | 728 544.61/544.79 c 542s | 16 | 1210824 | 151552 | 64478 4 | 5 | 728 546.71/546.88 c 544s | 16 | 1217430 | 152052 | 64478 4 | 5 | 728 548.91/549.09 c 546s | 16 | 1223429 | 152652 | 64478 4 | 5 | 728 551.21/551.36 c 548s | 16 | 1228435 | 153352 | 64478 4 | 5 | 728 553.31/553.43 c 551s | 16 | 1233175 | 154052 | 64478 4 | 5 | 728 555.31/555.46 c 553s | 16 | 1237413 | 154552 | 64478 4 | 5 | 728 557.41/557.51 c 555s | 16 | 1242682 | 155252 | 64478 4 | 5 | 728 559.51/559.64 c 557s | 16 | 1246795 | 155952 | 64478 4 | 5 | 728 561.60/561.72 c 559s | 16 | 1251935 | 156552 | 64478 4 | 5 | 728 563.80/563.94 c 561s | 16 | 1257997 | 157252 | 64478 4 | 5 | 728 565.80/565.97 c 563s | 16 | 1262299 | 157952 | 64478 4 | 5 | 728 568.10/568.28 c 565s | 16 | 1265656 | 158552 | 64478 4 | 5 | 728 570.20/570.39 c 568s | 16 | 1272682 | 159252 | 64478 4 | 5 | 728 572.40/572.57 c 570s | 16 | 1278126 | 160152 | 64478 4 | 5 | 728 574.40/574.58 c 572s | 16 | 1283444 | 160852 | 64478 4 | 5 | 728 576.70/576.80 c 574s | 16 | 1287483 | 161552 | 64478 4 | 5 | 728 578.70/578.84 c 576s | 16 | 1291608 | 162352 | 64478 4 | 5 | 728 580.90/581.03 c 578s | 16 | 1295087 | 163152 | 64478 4 | 5 | 728 582.91/583.09 c 580s | 16 | 1298920 | 164052 | 64478 4 | 5 | 728 585.00/585.20 c 582s | 16 | 1301631 | 164952 | 64478 4 | 5 | 728 587.10/587.25 c 584s | 16 | 1305103 | 165652 | 64478 4 | 5 | 728 589.10/589.28 c 586s | 16 | 1308883 | 166252 | 64478 4 | 5 | 728 591.60/591.80 c 589s | 16 | 1314219 | 166752 | 64478 4 | 5 | 728 593.80/593.95 c 591s | 16 | 1318093 | 167152 | 64478 4 | 5 | 728 596.11/596.25 c 593s | 16 | 1322756 | 167652 | 64478 4 | 5 | 728 598.31/598.45 c 596s | 16 | 1326313 | 168252 | 64478 4 | 5 | 728 600.30/600.48 c 598s | 16 | 1331217 | 168652 | 64478 4 | 5 | 728 602.30/602.49 c 600s | 16 | 1336459 | 169352 | 64478 4 | 5 | 728 604.60/604.71 c 602s | 16 | 1342696 | 169852 | 64478 4 | 5 | 728 606.70/606.84 c 604s | 16 | 1347882 | 170552 | 64478 4 | 5 | 728 608.90/609.01 c 606s | 16 | 1352911 | 171052 | 64478 4 | 5 | 728 611.00/611.14 c 608s | 16 | 1357904 | 171752 | 64478 4 | 5 | 728 613.40/613.53 c 611s | 16 | 1362325 | 172252 | 64478 4 | 5 | 728 615.40/615.59 c 613s | 16 | 1365064 | 172852 | 64478 4 | 5 | 728 617.40/617.59 c 615s | 16 | 1369614 | 173352 | 64478 4 | 5 | 728 619.60/619.71 c 617s | 16 | 1378216 | 174252 | 64478 4 | 5 | 728 621.60/621.72 c 619s | 16 | 1382328 | 174852 | 64478 4 | 5 | 728 623.80/623.94 c 621s | 16 | 1388218 | 175552 | 64478 4 | 5 | 728 626.09/626.21 c 623s | 16 | 1394067 | 176452 | 64478 4 | 5 | 728 628.19/628.35 c 625s | 16 | 1399011 | 177052 | 64478 4 | 5 | 728 630.20/630.37 c 627s | 16 | 1402162 | 177752 | 64478 4 | 5 | 728 632.59/632.73 c 630s | 16 | 1407816 | 178552 | 64478 4 | 5 | 728 634.79/634.94 c 632s | 16 | 1413485 | 179452 | 64478 4 | 5 | 728 636.99/637.11 c 634s | 16 | 1416234 | 180152 | 64478 4 | 5 | 728 639.29/639.40 c 637s | 16 | 1419216 | 180952 | 64478 4 | 5 | 728 641.30/641.44 c 639s | 16 | 1421510 | 181852 | 64478 4 | 5 | 728 643.40/643.57 c 641s | 16 | 1424062 | 182352 | 64478 5 | 5 | 728 645.69/645.86 c 643s | 16 | 1426739 | 182852 | 64478 5 | 5 | 728 647.79/647.95 c 645s | 16 | 1430238 | 183352 | 64478 5 | 5 | 728 649.79/649.97 c 647s | 16 | 1438521 | 184052 | 64478 5 | 5 | 728 652.09/652.27 c 649s | 16 | 1445229 | 184752 | 64478 5 | 5 | 728 654.29/654.44 c 652s | 16 | 1450328 | 185252 | 64478 5 | 5 | 728 656.59/656.76 c 654s | 16 | 1456907 | 186052 | 64478 5 | 5 | 728 658.68/658.83 c 656s | 16 | 1461920 | 186752 | 64478 5 | 5 | 728 660.88/661.03 c 658s | 16 | 1468817 | 187352 | 64478 5 | 5 | 728 662.98/663.10 c 660s | 16 | 1474659 | 188152 | 64478 5 | 5 | 728 665.08/665.20 c 662s | 16 | 1481227 | 188952 | 64478 5 | 5 | 728 667.08/667.21 c 664s | 16 | 1485499 | 189552 | 64478 5 | 5 | 728 669.18/669.31 c 666s | 16 | 1490078 | 190252 | 64478 5 | 5 | 728 671.38/671.59 c 669s | 16 | 1493753 | 190952 | 64478 5 | 5 | 728 673.68/673.82 c 671s | 16 | 1497634 | 191652 | 64478 5 | 5 | 728 675.78/675.97 c 673s | 16 | 1501822 | 192352 | 64478 5 | 5 | 728 678.08/678.25 c 675s | 16 | 1505672 | 193152 | 64478 5 | 5 | 728 680.18/680.37 c 677s | 16 | 1509003 | 193952 | 64478 5 | 5 | 728 682.38/682.51 c 680s | 16 | 1511876 | 194852 | 64478 5 | 5 | 728 684.78/684.90 c 682s | 16 | 1514858 | 195652 | 64478 5 | 5 | 728 686.88/687.04 c 684s | 16 | 1517405 | 196152 | 70926 5 | 5 | 728 688.88/689.05 c 686s | 16 | 1522239 | 196752 | 70926 5 | 5 | 728 691.28/691.43 c 689s | 16 | 1526874 | 197252 | 70926 5 | 5 | 728 691.88/692.09 c 689s | 17 | 1528065 | 197432 | 70926 5 | 5 | 728 693.98/694.19 c 691s | 17 | 1531568 | 197932 | 70926 5 | 5 | 728 696.38/696.55 c 694s | 17 | 1535500 | 198532 | 70926 5 | 5 | 728 698.58/698.72 c 696s | 17 | 1539519 | 199232 | 70926 5 | 5 | 728 700.78/700.90 c 698s | 17 | 1544262 | 199732 | 70926 5 | 5 | 728 702.78/702.95 c 700s | 17 | 1547644 | 200332 | 70926 5 | 5 | 728 704.98/705.15 c 702s | 17 | 1552337 | 200832 | 70926 5 | 5 | 728 707.08/707.30 c 704s | 17 | 1555567 | 201432 | 70926 5 | 5 | 728 709.28/709.49 c 707s | 17 | 1558370 | 202032 | 70926 5 | 5 | 728 711.47/711.61 c 709s | 17 | 1562018 | 202632 | 70926 5 | 5 | 728 713.67/713.89 c 711s | 17 | 1565009 | 203232 | 70926 5 | 5 | 728 715.77/715.98 c 713s | 17 | 1568331 | 203732 | 70926 5 | 5 | 728 718.07/718.26 c 715s | 17 | 1571149 | 204432 | 70926 5 | 5 | 728 720.17/720.32 c 717s | 17 | 1574299 | 205032 | 70926 5 | 5 | 728 722.27/722.48 c 720s | 17 | 1578454 | 205732 | 70926 5 | 5 | 728 724.47/724.64 c 722s | 17 | 1582221 | 206532 | 70926 5 | 5 | 728 726.67/726.82 c 724s | 17 | 1585795 | 207332 | 70926 5 | 5 | 728 728.77/728.99 c 726s | 17 | 1588727 | 208132 | 70926 5 | 5 | 728 730.98/731.11 c 728s | 17 | 1590784 | 209032 | 70926 5 | 5 | 728 733.18/733.36 c 730s | 17 | 1597954 | 209632 | 70926 5 | 5 | 728 735.28/735.43 c 733s | 17 | 1602017 | 210232 | 70926 5 | 5 | 728 737.48/737.69 c 735s | 17 | 1605717 | 210832 | 70926 5 | 5 | 728 739.88/740.04 c 737s | 17 | 1610889 | 211432 | 70926 5 | 5 | 728 742.18/742.35 c 739s | 17 | 1614398 | 211932 | 70926 5 | 5 | 728 744.28/744.41 c 742s | 17 | 1618312 | 212432 | 70926 5 | 5 | 728 746.58/746.70 c 744s | 17 | 1622868 | 213132 | 70926 5 | 5 | 728 748.57/748.75 c 746s | 17 | 1626317 | 213732 | 70926 5 | 5 | 728 750.67/750.85 c 748s | 17 | 1630809 | 214332 | 70926 5 | 5 | 728 753.07/753.21 c 750s | 17 | 1635908 | 215032 | 70926 5 | 5 | 728 755.47/755.68 c 753s | 17 | 1640828 | 215932 | 70926 5 | 5 | 728 757.88/758.01 c 755s | 17 | 1645458 | 216632 | 70926 5 | 5 | 728 759.97/760.18 c 757s | 17 | 1650573 | 217432 | 70926 5 | 5 | 728 762.27/762.49 c 760s | 17 | 1655238 | 218332 | 70926 5 | 5 | 728 764.57/764.71 c 762s | 17 | 1657945 | 219032 | 70926 5 | 5 | 728 766.57/766.79 c 764s | 17 | 1660247 | 219832 | 70926 5 | 5 | 728 768.87/769.02 c 766s | 17 | 1662214 | 220532 | 70926 5 | 5 | 728 771.07/771.25 c 768s | 17 | 1666991 | 221232 | 70926 5 | 5 | 728 773.17/773.35 c 770s | 17 | 1671676 | 221832 | 70926 5 | 5 | 728 775.47/775.64 c 773s | 17 | 1675175 | 222532 | 70926 5 | 5 | 728 777.46/777.67 c 775s | 17 | 1678996 | 223032 | 70926 5 | 5 | 728 779.55/779.75 c 777s | 17 | 1682748 | 223632 | 70926 6 | 5 | 728 781.65/781.90 c 779s | 17 | 1685773 | 224332 | 70926 6 | 5 | 728 783.75/783.90 c 781s | 17 | 1688430 | 225032 | 70926 6 | 5 | 728 785.85/786.09 c 783s | 17 | 1691945 | 225832 | 70926 6 | 5 | 728 788.15/788.31 c 785s | 17 | 1695236 | 226732 | 70926 6 | 5 | 728 790.55/790.73 c 788s | 17 | 1697771 | 227532 | 70926 6 | 5 | 728 792.55/792.76 c 790s | 17 | 1701292 | 228132 | 70926 6 | 5 | 728 794.85/795.09 c 792s | 17 | 1703758 | 228732 | 70926 6 | 5 | 728 797.05/797.22 c 794s | 17 | 1708466 | 229232 | 70926 6 | 5 | 728 799.14/799.30 c 796s | 17 | 1712870 | 229832 | 70926 6 | 5 | 728 801.44/801.63 c 799s | 17 | 1716995 | 230532 | 70926 6 | 5 | 728 803.54/803.74 c 801s | 17 | 1721962 | 231032 | 70926 6 | 5 | 728 805.74/805.90 c 803s | 17 | 1726765 | 231732 | 70926 6 | 5 | 728 807.74/807.93 c 805s | 17 | 1732871 | 232332 | 70926 6 | 5 | 728 809.84/810.04 c 807s | 17 | 1737275 | 232932 | 70926 6 | 5 | 728 812.04/812.21 c 809s | 17 | 1741564 | 233532 | 70926 6 | 5 | 728 814.34/814.55 c 812s | 17 | 1745955 | 234232 | 70926 6 | 5 | 728 816.33/816.56 c 814s | 17 | 1749626 | 234832 | 70926 6 | 5 | 728 818.53/818.74 c 816s | 17 | 1754353 | 235632 | 70926 6 | 5 | 728 820.63/820.87 c 818s | 17 | 1757877 | 236232 | 70926 6 | 5 | 728 822.93/823.16 c 820s | 17 | 1762078 | 237032 | 70926 6 | 5 | 728 825.23/825.42 c 823s | 17 | 1764474 | 237732 | 70926 6 | 5 | 728 827.43/827.60 c 825s | 17 | 1767816 | 238532 | 70926 6 | 5 | 728 829.42/829.65 c 827s | 17 | 1770309 | 239332 | 70926 6 | 5 | 728 831.43/831.69 c 829s | 17 | 1772847 | 240232 | 70926 6 | 5 | 728 833.52/833.77 c 831s | 17 | 1777449 | 240832 | 70926 6 | 5 | 728 835.62/835.82 c 833s | 17 | 1780758 | 241432 | 70926 6 | 5 | 728 837.72/837.98 c 835s | 17 | 1785843 | 242132 | 70926 6 | 5 | 728 840.02/840.22 c 837s | 17 | 1791067 | 243032 | 70926 6 | 5 | 728 842.02/842.29 c 839s | 17 | 1794571 | 243732 | 70926 6 | 5 | 728 844.22/844.44 c 842s | 17 | 1796914 | 244532 | 70926 6 | 5 | 728 846.22/846.46 c 844s | 17 | 1799010 | 245332 | 70926 6 | 5 | 728 848.41/848.62 c 846s | 17 | 1802270 | 246132 | 70926 6 | 5 | 728 850.51/850.72 c 848s | 17 | 1805555 | 246832 | 70926 6 | 5 | 728 852.81/853.03 c 850s | 17 | 1810082 | 247532 | 70926 6 | 5 | 728 855.11/855.39 c 853s | 17 | 1816546 | 248332 | 70926 6 | 5 | 728 857.41/857.65 c 855s | 17 | 1821897 | 249032 | 70926 6 | 5 | 728 859.60/859.85 c 857s | 17 | 1825513 | 249632 | 70926 6 | 5 | 728 861.80/862.02 c 859s | 17 | 1829968 | 250232 | 70926 6 | 5 | 728 864.00/864.27 c 861s | 17 | 1835080 | 250932 | 70926 6 | 5 | 728 866.50/866.70 c 864s | 17 | 1838818 | 251632 | 70926 6 | 5 | 728 868.50/868.77 c 866s | 17 | 1842620 | 252232 | 70926 6 | 5 | 728 870.80/871.02 c 868s | 17 | 1846864 | 253032 | 70926 6 | 5 | 728 872.90/873.13 c 870s | 17 | 1850625 | 253832 | 70926 6 | 5 | 728 875.00/875.29 c 872s | 17 | 1853295 | 254532 | 70926 6 | 5 | 728 876.99/877.29 c 874s | 17 | 1855358 | 255132 | 70926 6 | 5 | 728 879.09/879.33 c 876s | 17 | 1856924 | 255832 | 70926 6 | 5 | 728 881.09/881.37 c 878s | 17 | 1859836 | 256532 | 70926 6 | 5 | 728 883.20/883.46 c 881s | 17 | 1864772 | 257232 | 70926 6 | 5 | 728 885.30/885.55 c 883s | 17 | 1869117 | 257932 | 70926 6 | 5 | 728 887.50/887.74 c 885s | 17 | 1874031 | 258732 | 70926 6 | 5 | 728 889.80/890.09 c 887s | 17 | 1878506 | 259432 | 70926 6 | 5 | 728 892.09/892.30 c 889s | 17 | 1882333 | 260132 | 70926 6 | 5 | 728 894.29/894.51 c 892s | 17 | 1885110 | 260732 | 70926 7 | 5 | 728 896.49/896.75 c 894s | 17 | 1889028 | 261532 | 70926 7 | 5 | 728 898.49/898.78 c 896s | 17 | 1892896 | 262432 | 70926 7 | 5 | 728 900.69/900.99 c 898s | 17 | 1895086 | 263332 | 70926 7 | 5 | 728 902.99/903.23 c 900s | 17 | 1898325 | 264032 | 70926 7 | 5 | 728 905.29/905.59 c 903s | 17 | 1902041 | 264732 | 70926 7 | 5 | 728 907.39/907.68 c 905s | 17 | 1906415 | 265432 | 70926 7 | 5 | 728 909.59/909.85 c 907s | 17 | 1910378 | 266132 | 70926 7 | 5 | 728 911.79/912.05 c 909s | 17 | 1913830 | 266832 | 70926 7 | 5 | 728 913.78/914.07 c 911s | 17 | 1916233 | 267532 | 70926 7 | 5 | 728 915.98/916.24 c 913s | 17 | 1920373 | 268432 | 70926 7 | 5 | 728 918.08/918.38 c 915s | 17 | 1923216 | 269232 | 70926 7 | 5 | 728 920.18/920.42 c 918s | 17 | 1925558 | 270232 | 70926 7 | 5 | 728 922.38/922.61 c 920s | 17 | 1929445 | 270932 | 70926 7 | 5 | 728 924.68/924.90 c 922s | 17 | 1932705 | 271632 | 70926 7 | 5 | 728 926.78/927.02 c 924s | 17 | 1935655 | 272332 | 70926 7 | 5 | 728 928.98/929.26 c 926s | 17 | 1938233 | 273032 | 70926 7 | 5 | 728 931.28/931.55 c 929s | 17 | 1940736 | 273832 | 70926 7 | 5 | 728 933.38/933.67 c 931s | 17 | 1943360 | 274732 | 70926 7 | 5 | 728 935.58/935.85 c 933s | 17 | 1946086 | 275532 | 70926 7 | 5 | 728 937.78/938.07 c 935s | 17 | 1948050 | 276232 | 70926 7 | 5 | 728 939.97/940.26 c 937s | 17 | 1951844 | 277032 | 70926 7 | 5 | 728 942.17/942.46 c 940s | 17 | 1953771 | 277832 | 70926 7 | 5 | 728 944.57/944.87 c 942s | 17 | 1957179 | 278632 | 70926 7 | 5 | 728 946.88/947.12 c 944s | 17 | 1960271 | 279332 | 70926 7 | 5 | 728 948.87/949.19 c 946s | 17 | 1963399 | 279932 | 70926 7 | 5 | 728 951.07/951.38 c 948s | 17 | 1967523 | 280632 | 70926 7 | 5 | 728 953.17/953.48 c 951s | 17 | 1971564 | 281332 | 70926 7 | 5 | 728 955.37/955.61 c 953s | 17 | 1975109 | 282132 | 70926 7 | 5 | 728 957.57/957.83 c 955s | 17 | 1978235 | 282932 | 70926 7 | 5 | 728 959.57/959.86 c 957s | 17 | 1980647 | 283732 | 70926 7 | 5 | 728 961.77/962.01 c 959s | 17 | 1984015 | 284432 | 70926 7 | 5 | 728 963.77/964.03 c 961s | 17 | 1988516 | 285132 | 70926 7 | 5 | 728 965.87/966.11 c 963s | 17 | 1992798 | 285932 | 70926 7 | 5 | 728 967.97/968.22 c 965s | 17 | 1995933 | 286732 | 70926 7 | 5 | 728 969.97/970.27 c 967s | 17 | 1998336 | 287432 | 70926 7 | 5 | 728 972.07/972.31 c 969s | 17 | 2000664 | 288232 | 70926 7 | 5 | 728 974.16/974.45 c 972s | 17 | 2003422 | 288932 | 70926 7 | 5 | 728 976.36/976.64 c 974s | 17 | 2006446 | 289732 | 70926 7 | 5 | 728 978.46/978.76 c 976s | 17 | 2009019 | 290532 | 70926 7 | 5 | 728 980.76/981.05 c 978s | 17 | 2011473 | 291432 | 70926 7 | 5 | 728 983.06/983.35 c 980s | 17 | 2015361 | 292232 | 70926 7 | 5 | 728 985.06/985.39 c 983s | 17 | 2017618 | 292932 | 70926 7 | 5 | 728 987.36/987.64 c 985s | 17 | 2019616 | 293732 | 70926 7 | 5 | 728 989.66/989.90 c 987s | 17 | 2022154 | 294432 | 78019 7 | 5 | 728 991.66/991.97 c 989s | 17 | 2024815 | 295132 | 78019 7 | 5 | 728 993.86/994.10 c 991s | 17 | 2026712 | 295832 | 78019 7 | 5 | 728 994.96/995.21 c 992s | 18 | 2028262 | 296252 | 78019 7 | 5 | 728 997.06/997.34 c 994s | 18 | 2030337 | 296852 | 78019 7 | 5 | 728 999.15/999.40 c 997s | 18 | 2033067 | 297352 | 78019 7 | 5 | 728 1001.25/1001.54 c 999s | 18 | 2036478 | 297852 | 78019 7 | 5 | 728 1003.45/1003.76 c 1001s | 18 | 2040321 | 298452 | 78019 7 | 5 | 728 1005.55/1005.85 c 1003s | 18 | 2043458 | 299052 | 78019 7 | 5 | 728 1007.75/1008.07 c 1005s | 18 | 2045807 | 299552 | 78019 7 | 5 | 728 1009.95/1010.28 c 1007s | 18 | 2048464 | 300152 | 78019 7 | 5 | 728 1012.05/1012.37 c 1009s | 18 | 2051772 | 300752 | 78019 7 | 5 | 728 1014.15/1014.41 c 1012s | 18 | 2054576 | 301352 | 78019 7 | 5 | 728 1016.25/1016.52 c 1014s | 18 | 2056759 | 301952 | 78019 7 | 5 | 728 1018.25/1018.58 c 1016s | 18 | 2058995 | 302652 | 78019 7 | 5 | 728 1020.55/1020.87 c 1018s | 18 | 2060148 | 303352 | 78019 7 | 5 | 728 1022.85/1023.18 c 1020s | 18 | 2061985 | 304052 | 78019 7 | 5 | 728 1025.25/1025.52 c 1023s | 18 | 2064512 | 304752 | 78019 7 | 5 | 728 1027.45/1027.70 c 1025s | 18 | 2066636 | 305452 | 78019 7 | 5 | 728 1029.54/1029.80 c 1027s | 18 | 2068246 | 306052 | 78019 8 | 5 | 728 1031.55/1031.86 c 1029s | 18 | 2070155 | 306852 | 78019 8 | 5 | 728 1033.75/1034.05 c 1031s | 18 | 2072386 | 307752 | 78019 8 | 5 | 728 1035.84/1036.17 c 1033s | 18 | 2074353 | 308652 | 78019 8 | 5 | 728 1038.15/1038.41 c 1036s | 18 | 2076788 | 309652 | 78019 8 | 5 | 728 1040.23/1040.58 c 1038s | 18 | 2078685 | 310552 | 78019 8 | 5 | 728 1042.33/1042.69 c 1040s | 18 | 2080134 | 311452 | 78019 8 | 5 | 728 1044.53/1044.83 c 1042s | 18 | 2081837 | 312352 | 78019 8 | 5 | 728 1083.83/1084.16 c 1081s | 18 | 2084197 | 313252 | 78019 8 | 5 | 728 1132.21/1132.55 c 1130s | 18 | 2085829 | 313352 | 78019 8 | 5 | 728 1134.71/1135.06 c 1132s | 18 | 2090446 | 313752 | 78019 8 | 5 | 728 1136.71/1137.08 c 1134s | 18 | 2094625 | 314352 | 78019 8 | 5 | 728 1138.91/1139.20 c 1136s | 18 | 2098794 | 314852 | 78019 8 | 5 | 728 1141.11/1141.45 c 1139s | 18 | 2103068 | 315252 | 78019 8 | 5 | 728 1143.51/1143.88 c 1141s | 18 | 2108308 | 315652 | 78019 8 | 5 | 728 1145.71/1146.08 c 1143s | 18 | 2113459 | 316152 | 78019 8 | 5 | 728 1148.01/1148.30 c 1145s | 18 | 2116990 | 316652 | 78019 8 | 5 | 728 1150.20/1150.58 c 1148s | 18 | 2121681 | 317052 | 78019 8 | 5 | 728 1152.51/1152.86 c 1150s | 18 | 2126868 | 317452 | 78019 8 | 5 | 728 1154.50/1154.86 c 1152s | 18 | 2131315 | 318052 | 78019 8 | 5 | 728 1156.70/1157.03 c 1154s | 18 | 2136222 | 318552 | 78019 8 | 5 | 728 1158.90/1159.22 c 1156s | 18 | 2141659 | 318952 | 78019 8 | 5 | 728 1161.10/1161.42 c 1159s | 18 | 2146976 | 319352 | 78019 8 | 5 | 728 1163.20/1163.59 c 1161s | 18 | 2150505 | 319952 | 78019 8 | 5 | 728 1165.90/1166.22 c 1163s | 18 | 2156572 | 320452 | 78019 8 | 5 | 728 1167.91/1168.27 c 1165s | 18 | 2160047 | 320852 | 78019 8 | 5 | 728 1170.20/1170.52 c 1168s | 18 | 2163938 | 321552 | 78019 8 | 5 | 728 1172.19/1172.54 c 1170s | 18 | 2167917 | 321952 | 78019 8 | 5 | 728 1174.19/1174.59 c 1172s | 18 | 2173949 | 322352 | 78019 8 | 5 | 728 1176.39/1176.70 c 1174s | 18 | 2178848 | 322752 | 78019 8 | 5 | 728 1178.49/1178.86 c 1176s | 18 | 2182439 | 323352 | 78019 8 | 5 | 728 1181.10/1181.44 c 1179s | 18 | 2187169 | 323852 | 78019 8 | 5 | 728 1183.30/1183.61 c 1181s | 18 | 2191711 | 324252 | 78019 8 | 5 | 728 1185.29/1185.68 c 1183s | 18 | 2196777 | 324952 | 78019 8 | 5 | 728 1187.49/1187.81 c 1185s | 18 | 2201014 | 325352 | 78019 8 | 5 | 728 1189.89/1190.24 c 1187s | 18 | 2204203 | 325752 | 78019 8 | 5 | 728 1192.09/1192.42 c 1190s | 18 | 2208675 | 326252 | 78019 8 | 5 | 728 1194.08/1194.44 c 1192s | 18 | 2212000 | 326852 | 78019 8 | 5 | 728 1196.28/1196.61 c 1194s | 18 | 2215916 | 327252 | 78019 8 | 5 | 728 1198.58/1198.98 c 1196s | 18 | 2219072 | 327852 | 78019 8 | 5 | 728 1200.99/1201.36 c 1198s | 18 | 2224428 | 328352 | 78019 8 | 5 | 728 1203.19/1203.58 c 1201s | 18 | 2228215 | 328952 | 78019 8 | 5 | 728 1205.68/1206.06 c 1203s | 18 | 2233479 | 329452 | 78019 8 | 5 | 728 1208.18/1208.50 c 1206s | 18 | 2237497 | 330152 | 78019 8 | 5 | 728 1210.68/1211.07 c 1208s | 18 | 2241869 | 330652 | 78019 8 | 5 | 728 1212.78/1213.13 c 1210s | 18 | 2245472 | 331052 | 78019 8 | 5 | 728 1215.18/1215.51 c 1213s | 18 | 2247955 | 331652 | 78019 8 | 5 | 728 1217.39/1217.74 c 1215s | 18 | 2251158 | 332252 | 78019 8 | 5 | 728 1219.59/1219.93 c 1217s | 18 | 2255584 | 332752 | 78019 8 | 5 | 728 1221.68/1222.01 c 1219s | 18 | 2258961 | 333352 | 78019 8 | 5 | 728 1223.99/1224.30 c 1221s | 18 | 2263063 | 333852 | 78019 8 | 5 | 728 1226.48/1226.83 c 1224s | 18 | 2266520 | 334452 | 78019 8 | 5 | 728 1228.88/1229.27 c 1226s | 18 | 2269745 | 334952 | 78019 8 | 5 | 728 1231.28/1231.68 c 1229s | 18 | 2273872 | 335552 | 78019 8 | 5 | 728 1233.78/1234.11 c 1231s | 18 | 2276679 | 336152 | 78019 8 | 5 | 728 1236.08/1236.48 c 1234s | 18 | 2280389 | 336852 | 78019 8 | 5 | 728 1238.38/1238.77 c 1236s | 18 | 2284599 | 337452 | 78019 8 | 5 | 728 1240.58/1240.98 c 1238s | 18 | 2287032 | 338052 | 78019 8 | 5 | 728 1242.78/1243.17 c 1240s | 18 | 2289531 | 338652 | 78019 8 | 5 | 728 1244.98/1245.36 c 1242s | 18 | 2292409 | 339252 | 78019 8 | 5 | 728 1247.27/1247.69 c 1245s | 18 | 2295615 | 339952 | 78019 8 | 5 | 728 1249.47/1249.89 c 1247s | 18 | 2298393 | 340652 | 78019 8 | 5 | 728 1251.57/1251.99 c 1249s | 18 | 2300162 | 341352 | 78019 8 | 5 | 728 1253.87/1254.22 c 1251s | 18 | 2302580 | 342152 | 78019 8 | 5 | 728 1256.37/1256.76 c 1254s | 18 | 2306965 | 342752 | 78019 8 | 5 | 728 1259.06/1259.40 c 1257s | 18 | 2312073 | 343152 | 78019 8 | 5 | 728 1261.16/1261.57 c 1259s | 18 | 2315270 | 343552 | 78019 8 | 5 | 728 1263.57/1263.91 c 1261s | 18 | 2319184 | 344052 | 78019 8 | 5 | 728 1266.76/1267.10 c 1264s | 18 | 2320532 | 344152 | 78019 9 | 5 | 728 1269.56/1269.96 c 1267s | 18 | 2324925 | 344452 | 78019 9 | 5 | 728 1271.76/1272.16 c 1269s | 18 | 2330854 | 344952 | 78019 9 | 5 | 728 1273.96/1274.34 c 1271s | 18 | 2335152 | 345652 | 78019 9 | 5 | 728 1276.05/1276.44 c 1274s | 18 | 2339016 | 346052 | 78019 9 | 5 | 728 1278.35/1278.74 c 1276s | 18 | 2343139 | 346452 | 78019 9 | 5 | 728 1280.35/1280.74 c 1278s | 18 | 2346646 | 347052 | 78019 9 | 5 | 728 1282.55/1282.98 c 1280s | 18 | 2351847 | 347552 | 78019 9 | 5 | 728 1284.95/1285.36 c 1282s | 18 | 2355879 | 347952 | 78019 9 | 5 | 728 1286.95/1287.39 c 1285s | 18 | 2358960 | 348552 | 78019 9 | 5 | 728 1289.24/1289.64 c 1287s | 18 | 2363320 | 349052 | 78019 9 | 5 | 728 1291.34/1291.74 c 1289s | 18 | 2368192 | 349452 | 78019 9 | 5 | 728 1293.74/1294.19 c 1291s | 18 | 2374066 | 349952 | 78019 9 | 5 | 728 1295.94/1296.39 c 1294s | 18 | 2377900 | 350552 | 78019 9 | 5 | 728 1298.34/1298.76 c 1296s | 18 | 2381280 | 350952 | 78019 9 | 5 | 728 1300.64/1301.04 c 1298s | 18 | 2384514 | 351552 | 78019 9 | 5 | 728 1302.74/1303.18 c 1300s | 18 | 2389003 | 352052 | 78019 9 | 5 | 728 1305.04/1305.42 c 1303s | 18 | 2393075 | 352552 | 78019 9 | 5 | 728 1307.34/1307.78 c 1305s | 18 | 2396489 | 353152 | 78019 9 | 5 | 728 1309.43/1309.81 c 1307s | 18 | 2400206 | 353652 | 78019 9 | 5 | 728 1311.43/1311.82 c 1309s | 18 | 2404919 | 354152 | 78019 9 | 5 | 728 1313.53/1313.99 c 1311s | 18 | 2408560 | 354652 | 78019 9 | 5 | 728 1315.93/1316.32 c 1313s | 18 | 2412628 | 355252 | 78019 9 | 5 | 728 1318.03/1318.41 c 1316s | 18 | 2415971 | 355752 | 78019 9 | 5 | 728 1320.33/1320.70 c 1318s | 18 | 2419303 | 356352 | 78019 9 | 5 | 728 1322.43/1322.85 c 1320s | 18 | 2422193 | 356752 | 78019 9 | 5 | 728 1324.53/1324.94 c 1322s | 18 | 2424502 | 357252 | 78019 9 | 5 | 728 1326.73/1327.18 c 1324s | 18 | 2428468 | 357752 | 78019 9 | 5 | 728 1328.82/1329.22 c 1326s | 18 | 2431900 | 358352 | 78019 9 | 5 | 728 1330.92/1331.39 c 1329s | 18 | 2434935 | 358852 | 78019 9 | 5 | 728 1333.32/1333.79 c 1331s | 18 | 2438365 | 359452 | 78019 9 | 5 | 728 1335.52/1335.95 c 1333s | 18 | 2441042 | 359952 | 78019 9 | 5 | 728 1337.72/1338.17 c 1335s | 18 | 2443941 | 360552 | 78019 9 | 5 | 728 1339.81/1340.27 c 1337s | 18 | 2447076 | 361052 | 78019 9 | 5 | 728 1342.11/1342.50 c 1340s | 18 | 2450449 | 361652 | 78019 9 | 5 | 728 1344.31/1344.76 c 1342s | 18 | 2452399 | 362252 | 78019 9 | 5 | 728 1346.61/1347.02 c 1344s | 18 | 2454389 | 362852 | 78019 9 | 5 | 728 1348.61/1349.04 c 1346s | 18 | 2457270 | 363552 | 78019 9 | 5 | 728 1350.81/1351.20 c 1348s | 18 | 2459509 | 364252 | 78019 9 | 5 | 728 1353.21/1353.66 c 1351s | 18 | 2461775 | 365052 | 78019 9 | 5 | 728 1355.41/1355.87 c 1353s | 18 | 2465486 | 365352 | 78019 9 | 5 | 728 1357.51/1357.98 c 1355s | 18 | 2468613 | 365652 | 78019 9 | 5 | 728 1359.51/1359.98 c 1357s | 18 | 2471939 | 366052 | 78019 9 | 5 | 728 1361.91/1362.38 c 1359s | 18 | 2475254 | 366652 | 78019 9 | 5 | 728 1364.31/1364.79 c 1362s | 18 | 2478759 | 367052 | 78019 9 | 5 | 728 1366.61/1367.02 c 1364s | 18 | 2481557 | 367352 | 78019 9 | 5 | 728 1369.01/1369.42 c 1367s | 18 | 2487721 | 367752 | 78019 9 | 5 | 728 1371.11/1371.50 c 1369s | 18 | 2492704 | 368152 | 78019 9 | 5 | 728 1373.61/1374.04 c 1371s | 18 | 2495885 | 368752 | 78019 9 | 5 | 728 1376.01/1376.45 c 1374s | 18 | 2499491 | 369152 | 78019 9 | 5 | 728 1378.21/1378.67 c 1376s | 18 | 2504259 | 369452 | 78019 9 | 5 | 728 1380.50/1380.94 c 1378s | 18 | 2507756 | 369752 | 78019 9 | 5 | 728 1382.70/1383.13 c 1380s | 18 | 2512664 | 370152 | 78019 9 | 5 | 728 1384.70/1385.16 c 1382s | 18 | 2516394 | 370552 | 78019 9 | 5 | 728 1386.81/1387.22 c 1384s | 18 | 2520423 | 371152 | 78019 9 | 5 | 728 1389.40/1389.83 c 1387s | 18 | 2526216 | 371552 | 78019 9 | 5 | 728 1391.40/1391.86 c 1389s | 18 | 2529388 | 371852 | 78019 9 | 5 | 728 1393.70/1394.19 c 1391s | 18 | 2533618 | 372252 | 78019 9 | 5 | 728 1396.10/1396.57 c 1394s | 18 | 2536546 | 372852 | 78019 9 | 5 | 728 1398.39/1398.85 c 1396s | 18 | 2541242 | 373352 | 78019 9 | 5 | 728 1400.59/1401.09 c 1398s | 18 | 2545650 | 373752 | 78019 9 | 5 | 728 1402.89/1403.36 c 1400s | 18 | 2548950 | 374352 | 78019 9 | 5 | 728 1405.09/1405.57 c 1403s | 18 | 2552741 | 374752 | 78019 9 | 5 | 728 1407.09/1407.59 c 1405s | 18 | 2556593 | 375052 | 78019 9 | 5 | 728 1409.69/1410.20 c 1407s | 18 | 2561469 | 375452 | 78019 9 | 5 | 728 1412.00/1412.42 c 1410s | 18 | 2566968 | 375952 | 78019 9 | 5 | 728 1414.30/1414.78 c 1412s | 18 | 2571308 | 376552 | 78019 9 | 5 | 728 1416.50/1416.93 c 1414s | 18 | 2575183 | 376852 | 78019 9 | 5 | 728 1418.99/1419.41 c 1417s | 18 | 2579407 | 377352 | 78019 9 | 5 | 728 1421.39/1421.82 c 1419s | 18 | 2582342 | 377852 | 78019 9 | 5 | 728 1423.49/1423.90 c 1421s | 18 | 2585513 | 378152 | 78019 9 | 5 | 728 1425.49/1425.91 c 1423s | 18 | 2590411 | 378652 | 78019 9 | 5 | 728 1427.69/1428.17 c 1425s | 18 | 2593528 | 379152 | 78019 9 | 5 | 728 1430.29/1430.73 c 1428s | 18 | 2598525 | 379552 | 78019 9 | 5 | 728 1432.29/1432.78 c 1430s | 18 | 2603138 | 379952 | 78019 9 | 5 | 728 1434.78/1435.22 c 1432s | 18 | 2609652 | 380652 | 78019 9 | 5 | 728 1436.98/1437.46 c 1435s | 18 | 2614512 | 381152 | 78019 9 | 5 | 728 1439.28/1439.79 c 1437s | 18 | 2618534 | 381752 | 78019 9 | 5 | 728 1441.79/1442.21 c 1439s | 18 | 2622740 | 382152 | 78019 9 | 5 | 728 1443.78/1444.25 c 1441s | 18 | 2625874 | 382652 | 78019 9 | 5 | 728 1446.28/1446.75 c 1444s | 18 | 2631125 | 383152 | 78019 9 | 5 | 728 1448.48/1448.97 c 1446s | 18 | 2634629 | 383652 | 78019 9 | 5 | 728 1450.49/1450.99 c 1448s | 18 | 2637506 | 384052 | 78019 9 | 5 | 728 1452.79/1453.27 c 1450s | 18 | 2640329 | 384552 | 78019 9 | 5 | 728 1454.89/1455.33 c 1452s | 18 | 2642297 | 384752 | 78019 10 | 5 | 728 1456.98/1457.42 c 1455s | 18 | 2645655 | 385152 | 78019 10 | 5 | 728 1459.29/1459.73 c 1457s | 18 | 2648773 | 385752 | 78019 10 | 5 | 728 1461.28/1461.77 c 1459s | 18 | 2652740 | 386352 | 78019 10 | 5 | 728 1463.38/1463.81 c 1461s | 18 | 2656561 | 386852 | 78019 10 | 5 | 728 1465.68/1466.14 c 1463s | 18 | 2660076 | 387452 | 78019 10 | 5 | 728 1467.78/1468.27 c 1465s | 18 | 2664027 | 388052 | 78019 10 | 5 | 728 1470.18/1470.66 c 1468s | 18 | 2668076 | 388752 | 78019 10 | 5 | 728 1472.18/1472.68 c 1470s | 18 | 2671542 | 389352 | 78019 10 | 5 | 728 1474.48/1474.96 c 1472s | 18 | 2674746 | 389952 | 78019 10 | 5 | 728 1476.68/1477.10 c 1474s | 18 | 2677675 | 390652 | 78019 10 | 5 | 728 1478.68/1479.14 c 1476s | 18 | 2679805 | 391252 | 78019 10 | 5 | 728 1480.98/1481.48 c 1479s | 18 | 2682185 | 391952 | 78019 10 | 5 | 728 1484.38/1484.87 c 1482s | 18 | 2684488 | 392552 | 78019 10 | 5 | 728 1487.08/1487.51 c 1485s | 18 | 2690410 | 392952 | 78019 10 | 5 | 728 1489.28/1489.72 c 1487s | 18 | 2695117 | 393352 | 78019 10 | 5 | 728 1491.48/1491.90 c 1489s | 18 | 2700655 | 394052 | 78019 10 | 5 | 728 1493.48/1493.96 c 1491s | 18 | 2704950 | 394452 | 78019 10 | 5 | 728 1495.87/1496.30 c 1493s | 18 | 2710877 | 395052 | 78019 10 | 5 | 728 1497.88/1498.39 c 1496s | 18 | 2714078 | 395552 | 78019 10 | 5 | 728 1500.27/1500.73 c 1498s | 18 | 2718525 | 395952 | 78019 10 | 5 | 728 1502.37/1502.80 c 1500s | 18 | 2721764 | 396252 | 78019 10 | 5 | 728 1504.48/1504.96 c 1502s | 18 | 2726534 | 396852 | 78019 10 | 5 | 728 1506.68/1507.13 c 1504s | 18 | 2730845 | 397352 | 78019 10 | 5 | 728 1509.17/1509.60 c 1507s | 18 | 2733384 | 397752 | 78019 10 | 5 | 728 1511.57/1512.04 c 1509s | 18 | 2736379 | 398352 | 78019 10 | 5 | 728 1513.67/1514.12 c 1511s | 18 | 2740227 | 398752 | 78019 10 | 5 | 728 1515.67/1516.15 c 1513s | 18 | 2743472 | 399052 | 78019 10 | 5 | 728 1518.17/1518.61 c 1516s | 18 | 2747084 | 399452 | 78019 10 | 5 | 728 1520.37/1520.80 c 1518s | 18 | 2750459 | 399852 | 78019 10 | 5 | 728 1522.87/1523.39 c 1521s | 18 | 2754115 | 400452 | 78019 10 | 5 | 728 1525.07/1525.59 c 1523s | 18 | 2759146 | 400852 | 78019 10 | 5 | 728 1527.37/1527.81 c 1525s | 18 | 2763159 | 401352 | 78019 10 | 5 | 728 1529.87/1530.30 c 1527s | 18 | 2767464 | 401952 | 78019 10 | 5 | 728 1531.88/1532.32 c 1529s | 18 | 2770487 | 402352 | 78019 10 | 5 | 728 1534.07/1534.56 c 1532s | 18 | 2773233 | 402852 | 78019 10 | 5 | 728 1536.47/1536.97 c 1534s | 18 | 2776663 | 403252 | 78019 10 | 5 | 728 1538.67/1539.18 c 1536s | 18 | 2781141 | 403752 | 78019 10 | 5 | 728 1540.87/1541.35 c 1538s | 18 | 2783627 | 404252 | 78019 10 | 5 | 728 1543.27/1543.77 c 1541s | 18 | 2787863 | 404652 | 78019 10 | 5 | 728 1545.67/1546.15 c 1543s | 18 | 2789910 | 405152 | 78019 10 | 5 | 728 1548.07/1548.53 c 1546s | 18 | 2792306 | 405752 | 78019 10 | 5 | 728 1550.37/1550.81 c 1548s | 18 | 2795749 | 406152 | 78019 10 | 5 | 728 1552.57/1553.08 c 1550s | 18 | 2798869 | 406752 | 78019 10 | 5 | 728 1554.86/1555.32 c 1552s | 18 | 2802634 | 407252 | 78019 10 | 5 | 728 1556.86/1557.38 c 1555s | 18 | 2805748 | 407752 | 78019 10 | 5 | 728 1559.37/1559.87 c 1557s | 18 | 2809358 | 408352 | 78019 10 | 5 | 728 1561.46/1561.95 c 1559s | 18 | 2813331 | 408952 | 78019 10 | 5 | 728 1563.56/1564.05 c 1561s | 18 | 2815323 | 409452 | 78019 10 | 5 | 728 1566.07/1566.50 c 1564s | 18 | 2818663 | 410052 | 78019 10 | 5 | 728 1568.17/1568.63 c 1566s | 18 | 2820974 | 410552 | 78019 10 | 5 | 728 1570.26/1570.71 c 1568s | 18 | 2824078 | 411152 | 78019 10 | 5 | 728 1572.26/1572.75 c 1570s | 18 | 2826499 | 411752 | 78019 10 | 5 | 728 1574.46/1574.98 c 1572s | 18 | 2829166 | 412352 | 78019 10 | 5 | 728 1576.66/1577.11 c 1574s | 18 | 2831027 | 412952 | 78019 10 | 5 | 728 1578.76/1579.20 c 1576s | 18 | 2833186 | 413652 | 78019 10 | 5 | 728 1581.37/1581.81 c 1579s | 18 | 2835924 | 414452 | 78019 10 | 5 | 728 1583.46/1583.92 c 1581s | 18 | 2838863 | 414852 | 78019 10 | 5 | 728 1585.56/1586.09 c 1583s | 18 | 2841996 | 415352 | 78019 10 | 5 | 728 1587.96/1588.41 c 1586s | 18 | 2846832 | 415752 | 78019 10 | 5 | 728 1590.36/1590.89 c 1588s | 18 | 2851292 | 416152 | 78019 10 | 5 | 728 1592.46/1592.94 c 1590s | 18 | 2855159 | 416452 | 78019 10 | 5 | 728 1594.66/1595.11 c 1592s | 18 | 2858345 | 416752 | 78019 10 | 5 | 728 1596.66/1597.15 c 1594s | 18 | 2862561 | 417152 | 78019 10 | 5 | 728 1599.26/1599.75 c 1597s | 18 | 2869684 | 417852 | 78019 10 | 5 | 728 1601.46/1601.90 c 1599s | 18 | 2873511 | 418252 | 78019 10 | 5 | 728 1603.66/1604.12 c 1601s | 18 | 2876122 | 418752 | 78019 10 | 5 | 728 1605.75/1606.24 c 1603s | 18 | 2879598 | 419052 | 78019 10 | 5 | 728 1608.15/1608.66 c 1606s | 18 | 2883878 | 419552 | 78019 10 | 5 | 728 1610.75/1611.22 c 1608s | 18 | 2888013 | 420152 | 78019 10 | 5 | 728 1613.26/1613.75 c 1611s | 18 | 2893163 | 420552 | 78019 10 | 5 | 728 1615.46/1615.94 c 1613s | 18 | 2897683 | 420952 | 78019 10 | 5 | 728 1617.55/1618.04 c 1615s | 18 | 2900509 | 421452 | 78019 10 | 5 | 728 1619.86/1620.31 c 1617s | 18 | 2905626 | 421952 | 78019 10 | 5 | 728 1621.95/1622.42 c 1620s | 18 | 2909003 | 422452 | 78019 10 | 5 | 728 1624.45/1624.95 c 1622s | 18 | 2913191 | 422952 | 78019 10 | 5 | 728 1626.46/1626.95 c 1624s | 18 | 2916035 | 423252 | 78019 10 | 5 | 728 1628.55/1629.05 c 1626s | 18 | 2918943 | 423752 | 78019 10 | 5 | 728 1630.96/1631.49 c 1629s | 18 | 2923274 | 424252 | 78019 10 | 5 | 728 1633.35/1633.85 c 1631s | 18 | 2927279 | 424652 | 78019 10 | 5 | 728 1635.36/1635.85 c 1633s | 18 | 2929995 | 425152 | 78019 10 | 5 | 728 1638.05/1638.56 c 1636s | 18 | 2932501 | 425452 | 78019 11 | 5 | 728 1640.35/1640.81 c 1638s | 18 | 2937816 | 426152 | 78019 11 | 5 | 728 1642.35/1642.86 c 1640s | 18 | 2944152 | 426652 | 78019 11 | 5 | 728 1644.45/1644.97 c 1642s | 18 | 2949034 | 427352 | 78019 11 | 5 | 728 1646.65/1647.16 c 1644s | 18 | 2951481 | 427952 | 78019 11 | 5 | 728 1648.85/1649.32 c 1646s | 18 | 2954376 | 428552 | 78019 11 | 5 | 728 1651.05/1651.53 c 1649s | 18 | 2957541 | 429152 | 78019 11 | 5 | 728 1653.25/1653.72 c 1651s | 18 | 2961484 | 429752 | 78019 11 | 5 | 728 1655.25/1655.75 c 1653s | 18 | 2964767 | 430452 | 78019 11 | 5 | 728 1657.35/1657.82 c 1655s | 18 | 2967886 | 431052 | 78019 11 | 5 | 728 1659.65/1660.18 c 1657s | 18 | 2971453 | 431752 | 78019 11 | 5 | 728 1661.75/1662.26 c 1659s | 18 | 2973940 | 432452 | 78019 11 | 5 | 728 1663.85/1664.32 c 1661s | 18 | 2977677 | 433252 | 78019 11 | 5 | 728 1665.94/1666.48 c 1664s | 18 | 2980566 | 434152 | 78019 11 | 5 | 728 1668.04/1668.57 c 1666s | 18 | 2983117 | 435052 | 78019 11 | 5 | 728 1670.45/1670.98 c 1668s | 18 | 2986510 | 435452 | 78019 11 | 5 | 728 1673.04/1673.50 c 1671s | 18 | 2990999 | 436052 | 78019 11 | 5 | 728 1675.34/1675.81 c 1673s | 18 | 2996302 | 436452 | 78019 11 | 5 | 728 1677.44/1677.98 c 1675s | 18 | 3000535 | 436852 | 78019 11 | 5 | 728 1679.54/1680.06 c 1677s | 18 | 3002773 | 437352 | 78019 11 | 5 | 728 1682.04/1682.51 c 1680s | 18 | 3007944 | 437852 | 78019 11 | 5 | 728 1684.44/1684.90 c 1682s | 18 | 3012158 | 438252 | 78019 11 | 5 | 728 1686.84/1687.30 c 1684s | 18 | 3016715 | 438952 | 78019 11 | 5 | 728 1688.94/1689.49 c 1687s | 18 | 3021302 | 439352 | 78019 11 | 5 | 728 1691.24/1691.70 c 1689s | 18 | 3025618 | 439852 | 78019 11 | 5 | 728 1693.65/1694.18 c 1691s | 18 | 3029784 | 440452 | 78019 11 | 5 | 728 1695.94/1696.45 c 1694s | 18 | 3034635 | 441152 | 78019 11 | 5 | 728 1698.14/1698.60 c 1696s | 18 | 3038466 | 441552 | 85821 11 | 5 | 728 1700.54/1701.08 c 1698s | 18 | 3041690 | 442152 | 85821 11 | 5 | 728 1702.84/1703.34 c 1700s | 18 | 3045195 | 442752 | 85821 11 | 5 | 728 1704.84/1705.35 c 1702s | 18 | 3048560 | 443152 | 85821 11 | 5 | 728 1707.34/1707.87 c 1705s | 18 | 3052229 | 443752 | 85821 11 | 5 | 728 1709.74/1710.21 c 1707s | 18 | 3055410 | 444352 | 85821 11 | 5 | 728 1710.34/1710.89 c 1708s | 19 | 3056369 | 444482 | 85821 11 | 5 | 728 1761.84/1762.35 c 1759s | 19 | 3059241 | 444682 | 85821 11 | 5 | 728 1763.94/1764.41 c 1762s | 19 | 3062429 | 444982 | 85821 11 | 5 | 728 1766.53/1767.00 c 1764s | 19 | 3065877 | 445382 | 85821 11 | 5 | 728 1768.53/1769.09 c 1766s | 19 | 3068800 | 445782 | 85821 11 | 5 | 728 1771.03/1771.57 c 1769s | 19 | 3072429 | 446382 | 85821 11 | 5 | 728 1773.84/1774.31 c 1771s | 19 | 3076231 | 446782 | 85821 11 | 5 | 728 1776.14/1776.66 c 1774s | 19 | 3078788 | 447082 | 85821 11 | 5 | 728 1778.53/1779.03 c 1776s | 19 | 3081493 | 447382 | 85821 11 | 5 | 728 1780.63/1781.16 c 1778s | 19 | 3085340 | 447682 | 85821 11 | 5 | 728 1782.83/1783.30 c 1780s | 19 | 3088199 | 448182 | 85821 11 | 5 | 728 1785.23/1785.72 c 1783s | 19 | 3092243 | 448682 | 85821 11 | 5 | 728 1787.33/1787.88 c 1785s | 19 | 3095084 | 448982 | 85821 11 | 5 | 728 1790.13/1790.65 c 1788s | 19 | 3100650 | 449382 | 85821 11 | 5 | 728 1792.43/1792.92 c 1790s | 19 | 3103173 | 449682 | 85821 11 | 5 | 728 1794.53/1795.02 c 1792s | 19 | 3105506 | 449982 | 85821 11 | 5 | 728 1796.73/1797.22 c 1794s | 19 | 3107972 | 450382 | 85821 11 | 5 | 728 1798.93/1799.49 c 1797s | 19 | 3110811 | 450882 | 85821 11 | 5 | 728
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-4097835-1466118527/watcher-4097835-1466118527 -o /tmp/evaluation-result-4097835-1466118527/solver-4097835-1466118527 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466118527-21569 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097835-1466118527.opb pid=21595 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.28 1.59 1.89 4/178 21601 /proc/meminfo: memFree=30930884/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=687548 CPUtime=0 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 2562 0 0 0 0 0 0 0 20 0 4 0 13901625 704049152 2412 33554432000 4194304 16246674 140733809497600 140733809497024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 172655 2420 441 2943 0 169549 0 [pid=21601/tid=21602] ppid=21595 vsize=705980 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 722923520 2482 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=710076 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 727117824 2500 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=715196 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13901625 732360704 2517 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 1.28 1.59 1.89 4/178 21601 /proc/meminfo: memFree=30930884/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1222212 CPUtime=0.09 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 28345 0 0 0 5 4 0 0 20 0 4 0 13901625 1251545088 28132 33554432000 4194304 16246674 140733809497600 140733809496912 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 305553 28135 801 2943 0 302447 0 [pid=21601/tid=21602] ppid=21595 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1251545088 28137 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1251545088 28140 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1251545088 28142 33554432000 4194304 16246674 140733809497600 140080376171696 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) 1222212 [startup+0.200495 s] /proc/loadavg: 1.28 1.59 1.89 4/178 21601 /proc/meminfo: memFree=30930884/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 50621 0 0 0 12 7 0 0 20 0 4 0 13901625 1344868352 50919 33554432000 4194304 16246674 140733809497600 140733809496912 7369488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 328337 50919 801 2943 0 325231 0 [pid=21601/tid=21602] ppid=21595 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 50919 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 50919 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 50919 33554432000 4194304 16246674 140733809497600 140080376171696 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) 1313348 [startup+0.300497 s] /proc/loadavg: 1.28 1.59 1.89 4/178 21601 /proc/meminfo: memFree=30930884/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1313348 CPUtime=0.28 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 59539 0 0 0 20 8 0 0 20 0 4 0 13901625 1344868352 59837 33554432000 4194304 16246674 140733809497600 140733809496912 13750800 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 328337 59837 801 2943 0 325231 0 [pid=21601/tid=21602] ppid=21595 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 59837 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 59837 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 59837 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1313348 [startup+0.700398 s] /proc/loadavg: 1.28 1.59 1.89 4/178 21601 /proc/meminfo: memFree=30930884/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 69911 0 0 0 59 10 0 0 20 0 4 0 13901625 1344868352 70209 33554432000 4194304 16246674 140733809497600 140733809479488 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 328337 70209 802 2943 0 325231 0 [pid=21601/tid=21602] ppid=21595 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 70209 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 70209 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 70209 33554432000 4194304 16246674 140733809497600 140080376171696 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) 1313348 [startup+1.50038 s] /proc/loadavg: 1.28 1.59 1.89 4/183 21606 /proc/meminfo: memFree=30067808/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 214525 0 0 0 118 31 0 0 20 0 4 0 13901625 1344868352 214823 33554432000 4194304 16246674 140733809497600 140733809479488 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 328337 214836 836 2943 0 325231 0 [pid=21601/tid=21602] ppid=21595 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 214845 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 214850 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 214857 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10035 s] /proc/loadavg: 1.34 1.60 1.89 4/183 21606 /proc/meminfo: memFree=28760064/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1325636 CPUtime=3.08 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 271884 0 0 0 270 38 0 0 20 0 4 0 13901625 1357451264 272182 33554432000 4194304 16246674 140733809497600 140733809479488 5675196 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 331409 272182 881 2943 0 328303 0 [pid=21601/tid=21602] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272182 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272182 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272182 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1325636 [startup+6.30036 s] /proc/loadavg: 1.34 1.60 1.89 4/183 21606 /proc/meminfo: memFree=28757892/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1325636 CPUtime=6.28 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 272083 0 0 0 590 38 0 0 20 0 4 0 13901625 1357451264 272381 33554432000 4194304 16246674 140733809497600 140733809479488 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 331409 272381 884 2943 0 328303 0 [pid=21601/tid=21602] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272381 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272381 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272381 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1325636 [startup+12.7004 s] /proc/loadavg: 1.44 1.61 1.89 4/183 21606 /proc/meminfo: memFree=28757580/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1325636 CPUtime=12.68 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 272083 0 0 0 1230 38 0 0 20 0 4 0 13901625 1357451264 272381 33554432000 4194304 16246674 140733809497600 140733809479488 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 331409 272381 884 2943 0 328303 0 [pid=21601/tid=21602] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272381 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272381 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272381 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1325636 [startup+25.5005 s] /proc/loadavg: 1.60 1.64 1.90 4/183 21606 /proc/meminfo: memFree=28758604/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1325636 CPUtime=25.48 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 272083 0 0 0 2510 38 0 0 20 0 4 0 13901625 1357451264 272381 33554432000 4194304 16246674 140733809497600 140733809479488 5673443 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 331409 272381 884 2943 0 328303 0 [pid=21601/tid=21602] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272381 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272381 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272381 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1325636 [startup+51.1005 s] /proc/loadavg: 1.73 1.67 1.90 4/183 21606 /proc/meminfo: memFree=28758572/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1325636 CPUtime=51.08 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 272083 0 0 0 5070 38 0 0 20 0 4 0 13901625 1357451264 272381 33554432000 4194304 16246674 140733809497600 140733809479488 12477712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 331409 272381 884 2943 0 328303 0 [pid=21601/tid=21602] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272381 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272381 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272381 33554432000 4194304 16246674 140733809497600 140080376171696 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) 1325636 [startup+102.3 s] /proc/loadavg: 2.02 1.76 1.92 4/184 21610 /proc/meminfo: memFree=28759004/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1325636 CPUtime=102.27 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 272085 0 0 0 10189 38 0 0 20 0 4 0 13901625 1357451264 272383 33554432000 4194304 16246674 140733809497600 140733809479488 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 331409 272383 886 2943 0 328303 0 [pid=21601/tid=21602] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272383 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272383 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1357451264 272383 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1325636 ################ # More data... # ################ /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1445444 [startup+1362.3 s] /proc/loadavg: 2.17 2.14 2.07 4/183 21641 /proc/meminfo: memFree=28563000/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1445444 CPUtime=1361.91 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 302344 0 0 0 136138 53 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140733809479488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 361361 302593 887 2943 0 358255 0 [pid=21601/tid=21602] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1445444 [startup+1422.3 s] /proc/loadavg: 2.22 2.16 2.08 4/183 21643 /proc/meminfo: memFree=28562820/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1445444 CPUtime=1421.89 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 302371 0 0 0 142136 53 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140733809479488 12483674 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 361361 302593 887 2943 0 358255 0 [pid=21601/tid=21602] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1445444 [startup+1482.3 s] /proc/loadavg: 2.19 2.16 2.09 4/183 21644 /proc/meminfo: memFree=28414236/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1445444 CPUtime=1481.88 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 302371 0 0 0 148135 53 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140733809479488 6021024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 361361 302593 887 2943 0 358255 0 [pid=21601/tid=21602] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1445444 [startup+1542.31 s] /proc/loadavg: 2.10 2.14 2.09 4/183 21645 /proc/meminfo: memFree=28414840/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1445444 CPUtime=1541.87 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 302371 0 0 0 154134 53 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140733809479488 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 361361 302593 887 2943 0 358255 0 [pid=21601/tid=21602] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1445444 [startup+1602.3 s] /proc/loadavg: 2.20 2.16 2.10 4/183 21646 /proc/meminfo: memFree=28413952/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1445444 CPUtime=1601.86 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 302371 0 0 0 160133 53 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140733809479488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 361361 302593 887 2943 0 358255 0 [pid=21601/tid=21602] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1445444 [startup+1662.3 s] /proc/loadavg: 2.21 2.17 2.10 4/183 21647 /proc/meminfo: memFree=28413820/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1445444 CPUtime=1661.85 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 302371 0 0 0 166132 53 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140733809479488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 361361 302593 887 2943 0 358255 0 [pid=21601/tid=21602] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1445444 [startup+1722.3 s] /proc/loadavg: 2.13 2.15 2.09 4/183 21649 /proc/meminfo: memFree=28413644/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1445444 CPUtime=1721.84 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 302371 0 0 0 172130 54 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140733809495424 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 361361 302593 887 2943 0 358255 0 [pid=21601/tid=21602] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1445444 [startup+1782.3 s] /proc/loadavg: 2.21 2.18 2.10 4/183 21650 /proc/meminfo: memFree=28413844/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1445444 CPUtime=1781.83 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 302371 0 0 0 178126 57 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140733809479488 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 361361 302593 887 2943 0 358255 0 [pid=21601/tid=21602] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1445444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.23 2.19 2.10 4/183 21650 /proc/meminfo: memFree=28413972/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1445444 CPUtime=1800.03 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 302371 0 0 0 179946 57 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140733809479488 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 361361 302593 887 2943 0 358255 0 [pid=21601/tid=21602] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1445444 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 21601 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.23 2.19 2.10 4/183 21650 /proc/meminfo: memFree=28413972/32872528 swapFree=876280/941688 [pid=21601] ppid=21595 vsize=1445444 CPUtime=1800.03 cores=0,2,4,6 /proc/21601/stat : 21601 (toysat) R 21595 21601 17444 0 -1 4202496 302371 0 0 0 179946 57 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140733809479488 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21601/statm: 361361 302593 887 2943 0 358255 0 [pid=21601/tid=21602] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21602/stat : 21602 (toysat) S 21595 21601 17444 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080397135088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21601/tid=21603] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21603/stat : 21603 (toysat) S 21595 21601 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080386645232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21601/tid=21604] ppid=21595 vsize=1445444 CPUtime=0 cores=0,2,4,6 /proc/21601/task/21604/stat : 21604 (toysat) S 21595 21601 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1480134656 302593 33554432000 4194304 16246674 140733809497600 140080376171696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1445444 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.47 CPU system time (s): 0.574912 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 1445444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.47 system time used= 0.574912 maximum resident set size= 1210372 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 302371 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= 352 involuntary context switches= 1942 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6223 second user time and 6.86796 second system time The end
Begin job on node113 at 2016-06-17 01:08:47 IDJOB=4097835 IDBENCH=107814 IDSOLVER=2542 FILE ID=node113/4097835-1466118527 RUNJOBID= node113-1466118527-21569 PBS_JOBID= 19904068 Free space on /tmp= 71700 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_20.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097835-1466118527/watcher-4097835-1466118527 -o /tmp/evaluation-result-4097835-1466118527/solver-4097835-1466118527 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466118527-21569 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097835-1466118527.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 24327f960e0621fad359171eb566677f RANDOM SEED=643843427 node113.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.799 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 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.799 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.799 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.799 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.799 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.799 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.54 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.799 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.54 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.799 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30938328 kB Buffers: 71716 kB Cached: 213320 kB SwapCached: 2160 kB Active: 171176 kB Inactive: 116268 kB Active(anon): 3804 kB Inactive(anon): 1612 kB Active(file): 167372 kB Inactive(file): 114656 kB Unevictable: 941688 kB Mlocked: 876280 kB SwapTotal: 67108856 kB SwapFree: 67098740 kB Dirty: 41556 kB Writeback: 0 kB AnonPages: 944064 kB Mapped: 6928 kB Shmem: 0 kB Slab: 572284 kB SReclaimable: 16576 kB SUnreclaim: 555708 kB KernelStack: 1392 kB PageTables: 5448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1039864 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 65536 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= 71664 MiB End job on node113 at 2016-06-17 01:38:48