| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.46 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-stp3d.opb |
| MD5SUM | af54d857fe3562002a714e0fbd74a69a |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 204880 |
| Total number of constraints | 159488 |
| Number of constraints which are clauses | 129232 |
| Number of constraints which are cardinality constraints (but not clauses) | 5805 |
| Number of constraints which are nor clauses,nor cardinality constraints | 24451 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 120 |
| Number of terms in the objective function | 75648 |
| Biggest coefficient in the objective function | 100303 |
| Number of bits for the biggest coefficient in the objective function | 17 |
| Sum of the numbers in the objective function | 7576279200 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 100303 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 7576279200 |
| Number of bits of the biggest sum of numbers | 33 |
| 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-18T10:50:15+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-4103977-1466239814.opb"] 0.00/0.01 c use --random-gen="3719417490 133690648 200657904 637021807 3050115623 113778202 1293761043 640091030 595641654 3072565415 2598745398 3108931090 2574219227 3107577874 2188122201 3902617656 3001682113 1421434064 3705040277 2377574453 422359977 3257302976 1478044965 4114333606 449284992 1557695386 1467514717 2333044802 3558585766 3918138407 172800946 1423503887 2936308441 2820143268 4047319071 3521555577 1002487004 2423669527 250626514 4110456350 4131012732 2912278944 788383521 3534089956 2759347974 3636129599 1565521135 485600052 3399736815 922401071 1171536781 931363031 1535424614 684851456 2630060467 75935331 3133038845 1540399176 179162577 735778282 4024753286 3540594957 113408180 2292109763 3846055258 3345223847 762128469 1054376304 3511086242 2865270304 3258604478 4003155311 1730730138 1913012455 3726303756 1157246225 3519551875 3106911078 787907961 3973418395 2793674684 425148867 440271214 1532842906 2873822898 2618024862 94549841 549704316 3651037643 310814354 3020034311 307222175 3175875519 1288140040 3040902240 737313106 857607968 3013345116 301122802 4027403811 1287249107 3632369289 831397265 137116076 3021133072 4095981119 1123886847 2136443913 472703697 4082772486 1745154360 3294701970 3269773222 2308617730 1111735390 936363390 2805686194 1420357031 3923627618 102197135 878362358 3435362131 3140350094 1147964701 1577329392 2133973905 596350673 1208094832 1067426154 386757907 1717287660 3514489710 815397352 3488197996 1304336333 2771597997 3508973252 877833386 3692599284 529670123 2065920019 614898241 3179096656 1297070757 1700072170 1784968202 1851966334 1607319569 2010781863 3167319451 1266409772 2433450667 1478664510 3905749609 4138541726 686727618 1243287951 3394450646 2052762585 2176661857 853320415 1626075888 169367273 3209171484 3719192980 3690812940 2177885255 2296014357 1575215892 2177039373 725148334 568768910 2669611361 1006714428 2038030016 464541901 3004682978 28476141 2143999127 3073660059 3194560490 1225257577 3852782651 2527503159 2618313490 793201681 4227709732 2141601889 1704102058 2106294536 1769300896 1682701027 751061275 3372458001 2293239606 2142110324 4215373649 3414078170 1321861587 4285474390 2003983285 2620069104 204672833 1966762901 3207248916 1012341124 4086417273 1841162321 1295990147 166203945 3917688683 624168911 585908873 2825761477 449024649 1257019311 3957351150 1537967164 1158685335 1393042362 3189118658 2570738279 717898139 4156299447 4052621711 271918731 2602880387 3732816166 1481960839 2533257491 2925771914 68481573 3662209738 3620121022 1071815526 2031221585 3164795789 4135104883 1921320196 2685125090 1211330017 917367431 1124071544 2931835536 1687373939 3942044957 1604080362 961210911 1723827014 683030517 3058951219 215816179 1330513453 2413796736 967908753 39101094 255 362436" option to reproduce the execution 1.39/1.44 c #vars 204880 1.39/1.44 c #constraints 159488 5.39/5.43 c BCD2: Hardening is enabled. 5.39/5.43 c BCD2: BiasedSearch is enabled. 5.39/5.43 c Solving starts ... 5.39/5.43 c ============================[ Search Statistics ]============================ 5.39/5.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.39/5.43 c | | | | Limit GC | Var | Constra 5.39/5.43 c ============================================================================= 5.50/5.58 c 0.0s | 0 | 0 | 0 | 124637 0 | 16811 | 0 7.89/7.91 c 2.3s | 0 | 15335 | 100 | 124637 0 | 18169 | 6270 7.89/7.91 c 2.3s | 1 | 15335 | 100 | 124637 0 | 18169 | 6270 9.19/9.25 c 3.7s | 2 | 27393 | 250 | 137101 0 | 18170 | 6271 11.39/11.48 c 5.9s | 2 | 47936 | 450 | 150812 0 | 19697 | 7602 11.49/11.55 c 6.0s | 3 | 48153 | 475 | 150812 0 | 19697 | 7602 12.99/13.03 c 7.5s | 4 | 58570 | 813 | 165894 0 | 19697 | 7602 14.99/15.09 c 9.5s | 4 | 71929 | 1113 | 182484 0 | 19697 | 7602 16.09/16.16 c 10.6s | 5 | 74597 | 1320 | 182484 0 | 19699 | 7603 18.19/18.25 c 12.7s | 5 | 81968 | 1720 | 200733 0 | 19699 | 7603 20.09/20.13 c 14.6s | 6 | 88216 | 2081 | 220807 0 | 19699 | 7603 22.19/22.26 c 16.7s | 6 | 93145 | 2981 | 220807 0 | 19699 | 7603 22.49/22.55 c 17.0s | 7 | 93697 | 3223 | 242888 0 | 19699 | 7603 24.69/24.74 c 19.2s | 7 | 103169 | 3923 | 242888 0 | 19699 | 7603 26.69/26.76 c 21.2s | 7 | 107602 | 4523 | 242888 0 | 19703 | 7606 27.39/27.44 c 21.9s | 8 | 108313 | 4936 | 267177 0 | 19703 | 7606 29.49/29.59 c 24.0s | 8 | 114917 | 5436 | 267177 0 | 19703 | 7606 31.59/31.67 c 26.1s | 8 | 119292 | 5936 | 267177 0 | 19706 | 7608 33.89/33.99 c 28.4s | 8 | 121143 | 6636 | 267177 0 | 19707 | 7609 35.99/36.00 c 30.4s | 8 | 126205 | 7336 | 267177 0 | 19707 | 7609 36.49/36.55 c 31.0s | 9 | 127189 | 7506 | 293895 0 | 19707 | 7609 38.69/38.71 c 33.1s | 9 | 132520 | 7806 | 293895 0 | 19707 | 7609 40.89/40.90 c 35.3s | 9 | 137976 | 8506 | 293895 0 | 19708 | 7610 43.59/43.62 c 38.0s | 9 | 144020 | 9106 | 293895 0 | 19712 | 7613 45.69/45.71 c 40.1s | 9 | 148929 | 9506 | 293895 0 | 19712 | 7613 47.78/47.87 c 42.3s | 9 | 152865 | 10406 | 293895 0 | 19712 | 7613 49.98/50.01 c 44.4s | 10 | 154343 | 11361 | 323285 0 | 19712 | 7613 52.18/52.28 c 46.7s | 10 | 157235 | 11961 | 323285 0 | 19770 | 7629 54.28/54.33 c 48.7s | 10 | 164025 | 12461 | 323285 0 | 19770 | 7629 56.28/56.35 c 50.8s | 10 | 168947 | 13361 | 323285 0 | 19770 | 7629 58.78/58.80 c 53.2s | 10 | 172908 | 14161 | 323285 0 | 19776 | 7634 60.88/60.92 c 55.3s | 10 | 180470 | 14561 | 323285 0 | 19776 | 7634 63.28/63.36 c 57.8s | 10 | 186769 | 15061 | 323285 0 | 19777 | 7635 65.38/65.43 c 59.9s | 10 | 190272 | 15561 | 323285 0 | 20224 | 8045 67.58/67.64 c 62.1s | 10 | 191355 | 16161 | 323285 0 | 20224 | 8045 69.68/69.74 c 64.2s | 10 | 193331 | 17061 | 355614 0 | 20224 | 8045 69.88/69.92 c 64.3s | 11 | 193445 | 17144 | 355614 0 | 20224 | 8045 71.98/72.05 c 66.5s | 11 | 196515 | 17644 | 355614 0 | 20225 | 8046 74.08/74.13 c 68.6s | 11 | 199022 | 18344 | 355614 0 | 20225 | 8046 76.18/76.28 c 70.7s | 11 | 201194 | 19244 | 355614 0 | 20225 | 8046 78.58/78.64 c 73.1s | 11 | 204973 | 19944 | 355614 0 | 20226 | 8047 80.68/80.73 c 75.1s | 11 | 208425 | 20944 | 355614 0 | 20226 | 8047 82.68/82.77 c 77.2s | 11 | 211231 | 21644 | 355614 0 | 20226 | 8047 84.69/84.78 c 79.2s | 11 | 215146 | 22244 | 355614 0 | 20226 | 8047 87.08/87.12 c 81.5s | 11 | 216653 | 22944 | 355614 0 | 20226 | 8047 89.08/89.17 c 83.6s | 11 | 218435 | 23444 | 355614 0 | 20233 | 8053 91.28/91.31 c 85.7s | 11 | 220118 | 24044 | 355614 0 | 20233 | 8053 93.48/93.56 c 88.0s | 11 | 221862 | 24744 | 355614 0 | 20233 | 8053 95.78/95.86 c 90.3s | 11 | 222710 | 25244 | 355614 0 | 20233 | 8053 97.88/97.93 c 92.4s | 12 | 223819 | 25819 | 391176 0 | 20233 | 8053 100.08/100.13 c 94.5s | 12 | 227838 | 26319 | 391176 0 | 20233 | 8053 102.38/102.43 c 96.9s | 12 | 232386 | 27119 | 391176 0 | 20235 | 8055 104.48/104.59 c 99.0s | 12 | 236325 | 27719 | 391176 0 | 20235 | 8055 106.68/106.77 c 101s | 12 | 240461 | 28219 | 391176 0 | 20235 | 8055 109.07/109.13 c 103s | 12 | 246713 | 28719 | 391176 0 | 20235 | 8055 111.18/111.27 c 105s | 12 | 250612 | 29419 | 391176 0 | 20235 | 8055 113.28/113.40 c 107s | 12 | 254769 | 30019 | 391176 0 | 20501 | 8308 115.37/115.43 c 109s | 12 | 259320 | 30819 | 391176 0 | 20501 | 8308 117.37/117.44 c 111s | 12 | 262993 | 31419 | 391176 0 | 20501 | 8308 119.57/119.66 c 114s | 12 | 265039 | 32119 | 391176 0 | 20501 | 8308 121.77/121.83 c 116s | 12 | 266132 | 32819 | 391176 0 | 20501 | 8308 123.77/123.89 c 118s | 12 | 267108 | 33319 | 391176 0 | 20501 | 8308 126.17/126.24 c 120s | 12 | 267928 | 33819 | 391176 0 | 20501 | 8308 128.47/128.59 c 123s | 12 | 269033 | 34419 | 391176 0 | 20501 | 8308 130.67/130.75 c 125s | 12 | 270050 | 34919 | 391176 0 | 20501 | 8308 132.77/132.80 c 127s | 12 | 270808 | 35419 | 391176 0 | 20501 | 8308 134.87/134.99 c 129s | 12 | 271628 | 35919 | 391176 0 | 20501 | 8308 137.48/137.51 c 131s | 12 | 272466 | 36419 | 391176 0 | 20501 | 8308 139.57/139.61 c 134s | 12 | 273231 | 36919 | 391176 0 | 20501 | 8308 141.67/141.75 c 136s | 12 | 274333 | 37519 | 391176 0 | 20501 | 8308 143.97/144.09 c 138s | 12 | 275454 | 38219 | 391176 0 | 20501 | 8308 146.07/146.14 c 140s | 12 | 276007 | 38619 | 430294 0 | 20501 | 8308 147.17/147.23 c 141s | 13 | 276337 | 38832 | 430294 0 | 20501 | 8308 149.57/149.62 c 144s | 13 | 281674 | 39232 | 430294 0 | 20501 | 8308 151.87/151.90 c 146s | 13 | 284517 | 39732 | 430294 0 | 21130 | 8887 154.07/154.13 c 148s | 13 | 286034 | 40632 | 430294 0 | 21130 | 8887 156.17/156.28 c 150s | 13 | 287411 | 41432 | 430294 0 | 21130 | 8887 158.47/158.55 c 152s | 13 | 291356 | 42132 | 430294 0 | 21130 | 8887 160.46/160.57 c 154s | 13 | 296016 | 42532 | 430294 0 | 21130 | 8887 162.77/162.83 c 157s | 13 | 298250 | 43032 | 430294 0 | 21130 | 8887 164.86/164.96 c 159s | 13 | 299033 | 43532 | 430294 0 | 21130 | 8887 167.36/167.48 c 161s | 13 | 299698 | 44032 | 430294 0 | 21130 | 8887 169.56/169.69 c 164s | 13 | 304217 | 44932 | 430294 0 | 21130 | 8887 171.86/171.96 c 166s | 13 | 310041 | 45532 | 430294 0 | 21130 | 8887 174.06/174.10 c 168s | 13 | 311537 | 46232 | 430294 0 | 21130 | 8887 176.26/176.34 c 170s | 13 | 312698 | 46832 | 430294 0 | 21130 | 8887 178.46/178.51 c 172s | 13 | 313459 | 47332 | 430294 0 | 21130 | 8887 180.76/180.86 c 175s | 13 | 314148 | 47832 | 430294 0 | 21130 | 8887 182.96/183.00 c 177s | 13 | 314891 | 48332 | 430294 0 | 21130 | 8887 185.26/185.30 c 179s | 13 | 318713 | 48732 | 430294 0 | 21130 | 8887 187.26/187.34 c 181s | 13 | 320543 | 49332 | 430294 0 | 21130 | 8887 189.66/189.77 c 184s | 13 | 323505 | 49832 | 430294 0 | 21130 | 8887 192.06/192.15 c 186s | 13 | 324032 | 50232 | 430294 0 | 21130 | 8887 194.16/194.29 c 188s | 13 | 324619 | 50632 | 430294 0 | 21130 | 8887 196.36/196.43 c 190s | 13 | 325827 | 51032 | 430294 0 | 21130 | 8887 198.76/198.89 c 193s | 13 | 330098 | 52132 | 430294 0 | 21130 | 8887 200.96/201.02 c 195s | 13 | 334131 | 52632 | 430294 0 | 21134 | 8890 203.36/203.44 c 197s | 13 | 337256 | 53332 | 430294 0 | 21134 | 8890 205.46/205.58 c 200s | 13 | 338062 | 53832 | 430294 0 | 21134 | 8890 207.76/207.81 c 202s | 13 | 338739 | 54332 | 430294 0 | 21134 | 8890 210.06/210.19 c 204s | 13 | 339547 | 54832 | 430294 0 | 21134 | 8890 212.56/212.70 c 207s | 13 | 341797 | 55332 | 430294 0 | 21134 | 8890 214.66/214.70 c 209s | 13 | 345188 | 56032 | 430294 0 | 21134 | 8890 216.86/216.98 c 211s | 13 | 350351 | 56832 | 430294 0 | 21134 | 8890 218.96/219.06 c 213s | 13 | 351241 | 57332 | 430294 0 | 21134 | 8890 221.16/221.25 c 215s | 13 | 352045 | 57832 | 430294 0 | 21134 | 8890 223.26/223.30 c 217s | 13 | 352783 | 58332 | 473324 0 | 21134 | 8890 223.26/223.40 c 217s | 14 | 352815 | 58352 | 473324 0 | 21134 | 8890 225.75/225.86 c 220s | 14 | 358909 | 58752 | 473324 0 | 21134 | 8890 227.85/227.93 c 222s | 14 | 362033 | 59552 | 473324 0 | 21134 | 8890 230.05/230.10 c 224s | 14 | 364558 | 60452 | 473324 0 | 21134 | 8890 232.25/232.36 c 226s | 14 | 366998 | 61152 | 473324 0 | 21136 | 8892 234.75/234.88 c 229s | 14 | 371954 | 61852 | 473324 0 | 21136 | 8892 236.95/237.07 c 231s | 14 | 372723 | 62352 | 473324 0 | 21136 | 8892 239.05/239.11 c 233s | 14 | 373513 | 62852 | 473324 0 | 21136 | 8892 241.35/241.44 c 235s | 14 | 374467 | 63452 | 473324 0 | 21136 | 8892 243.55/243.60 c 238s | 14 | 375182 | 63952 | 473324 0 | 21136 | 8892 245.65/245.76 c 240s | 14 | 376132 | 64552 | 473324 0 | 21136 | 8892 247.95/248.04 c 242s | 14 | 376965 | 65052 | 473324 0 | 21136 | 8892 250.35/250.44 c 244s | 14 | 377507 | 65452 | 473324 0 | 21136 | 8892 252.45/252.56 c 246s | 14 | 384005 | 65952 | 473324 0 | 21136 | 8892 254.65/254.70 c 249s | 14 | 385647 | 66552 | 473324 0 | 21136 | 8892 256.65/256.71 c 251s | 14 | 386928 | 67152 | 473324 0 | 21136 | 8892 258.95/259.06 c 253s | 14 | 388363 | 67852 | 473324 0 | 21136 | 8892 261.35/261.43 c 255s | 14 | 389237 | 68352 | 473324 0 | 21136 | 8892 263.55/263.65 c 258s | 14 | 390024 | 68752 | 473324 0 | 21136 | 8892 265.65/265.78 c 260s | 14 | 390665 | 69152 | 473324 0 | 21136 | 8892 267.95/268.08 c 262s | 14 | 391491 | 69652 | 473324 0 | 21136 | 8892 270.24/270.38 c 264s | 14 | 392527 | 70052 | 473324 0 | 21136 | 8892 272.54/272.67 c 267s | 14 | 393295 | 70452 | 473324 0 | 21136 | 8892 274.74/274.86 c 269s | 14 | 393728 | 70752 | 473324 0 | 21136 | 8892 277.25/277.31 c 271s | 14 | 394584 | 71152 | 473324 0 | 21136 | 8892 279.45/279.54 c 273s | 14 | 395331 | 71552 | 473324 0 | 21136 | 8892 281.65/281.75 c 276s | 14 | 396217 | 71952 | 473324 0 | 21136 | 8892 283.94/284.04 c 278s | 14 | 397072 | 72352 | 473324 0 | 21136 | 8892 285.95/286.04 c 280s | 14 | 398015 | 72752 | 473324 0 | 21136 | 8892 288.44/288.51 c 282s | 14 | 399169 | 73252 | 473324 0 | 21136 | 8892 290.74/290.87 c 285s | 14 | 400103 | 73652 | 473324 0 | 21136 | 8892 293.04/293.12 c 287s | 14 | 400875 | 74052 | 473324 0 | 21136 | 8892 295.44/295.59 c 290s | 14 | 401670 | 74452 | 473324 0 | 21136 | 8892 297.94/298.04 c 292s | 14 | 402461 | 74852 | 473324 0 | 21136 | 8892 300.35/300.45 c 294s | 14 | 403174 | 75252 | 473324 0 | 21136 | 8892 303.04/303.15 c 297s | 14 | 403836 | 75652 | 473324 0 | 21136 | 8892 305.34/305.49 c 299s | 14 | 404709 | 76152 | 473324 0 | 21136 | 8892 307.95/308.06 c 302s | 14 | 405430 | 76552 | 473324 0 | 21136 | 8892 310.44/310.56 c 304s | 14 | 406356 | 76952 | 473324 0 | 21136 | 8892 313.14/313.24 c 307s | 14 | 407047 | 77252 | 473324 0 | 21136 | 8892 315.65/315.74 c 310s | 14 | 407521 | 77552 | 473324 0 | 21136 | 8892 317.74/317.87 c 312s | 14 | 408092 | 77852 | 473324 0 | 21136 | 8892 320.04/320.12 c 314s | 14 | 408393 | 78052 | 473324 0 | 21136 | 8892 322.34/322.40 c 316s | 14 | 409014 | 78352 | 473324 0 | 21136 | 8892 324.93/325.03 c 319s | 14 | 409956 | 78752 | 473324 0 | 21136 | 8892 327.03/327.12 c 321s | 14 | 410565 | 79052 | 473324 0 | 21136 | 8892 329.13/329.25 c 323s | 14 | 411204 | 79352 | 473324 0 | 21136 | 8892 331.63/331.74 c 326s | 14 | 411821 | 79652 | 473324 0 | 21136 | 8892 333.73/333.88 c 328s | 14 | 412144 | 79852 | 473324 0 | 21136 | 8892 336.13/336.26 c 330s | 14 | 412769 | 80152 | 473324 0 | 21136 | 8892 338.53/338.70 c 333s | 14 | 413229 | 80452 | 473324 0 | 21136 | 8892 341.13/341.29 c 335s | 14 | 413727 | 80752 | 473324 0 | 21136 | 8892 344.13/344.23 c 338s | 14 | 414225 | 81052 | 473324 0 | 21136 | 8892 346.44/346.52 c 340s | 14 | 414765 | 81352 | 473324 0 | 21136 | 8892 349.03/349.18 c 343s | 14 | 415594 | 81752 | 473324 0 | 21136 | 8892 351.83/351.90 c 346s | 14 | 416253 | 82152 | 473324 0 | 21136 | 8892 354.03/354.17 c 348s | 14 | 416733 | 82452 | 473324 0 | 21136 | 8892 356.53/356.68 c 351s | 14 | 417245 | 82752 | 473324 0 | 21136 | 8892 358.74/358.80 c 353s | 14 | 417731 | 83052 | 473324 0 | 21136 | 8892 361.14/361.21 c 355s | 14 | 418301 | 83352 | 473324 0 | 21136 | 8892 363.44/363.59 c 358s | 14 | 418846 | 83652 | 473324 0 | 21136 | 8892 365.64/365.79 c 360s | 14 | 419220 | 83852 | 473324 0 | 21136 | 8892 368.14/368.20 c 362s | 14 | 419733 | 84152 | 473324 0 | 21136 | 8892 370.24/370.30 c 364s | 14 | 420323 | 84452 | 473324 0 | 21136 | 8892 373.24/373.30 c 367s | 14 | 420996 | 84852 | 473324 0 | 21136 | 8892 375.64/375.72 c 370s | 14 | 421489 | 85152 | 473324 0 | 21136 | 8892 377.83/377.91 c 372s | 14 | 421947 | 85452 | 473324 0 | 21136 | 8892 380.23/380.30 c 374s | 14 | 422478 | 85752 | 473324 0 | 21136 | 8892 382.33/382.42 c 376s | 14 | 422987 | 86052 | 473324 0 | 21136 | 8892 384.73/384.81 c 379s | 14 | 423701 | 86452 | 473324 0 | 21136 | 8892 387.43/387.51 c 381s | 14 | 424194 | 86752 | 473324 0 | 21136 | 8892 389.93/390.08 c 384s | 14 | 424680 | 87052 | 520657 0 | 21136 | 8892 392.53/392.68 c 387s | 14 | 425186 | 87352 | 520657 0 | 21136 | 8892 394.73/394.82 c 389s | 14 | 425524 | 87552 | 520657 0 | 21136 | 8892 395.53/395.68 c 390s | 15 | 425616 | 87632 | 520657 0 | 21136 | 8892 397.73/397.86 c 392s | 15 | 428574 | 87932 | 520657 0 | 21136 | 8892 399.83/399.99 c 394s | 15 | 433430 | 88332 | 520657 0 | 21136 | 8892 402.03/402.18 c 396s | 15 | 434760 | 88632 | 520657 0 | 21138 | 8894 404.53/404.65 c 399s | 15 | 441594 | 89132 | 520657 0 | 21138 | 8894 406.94/407.09 c 401s | 15 | 442817 | 89532 | 520657 0 | 21138 | 8894 409.63/409.77 c 404s | 15 | 443545 | 89932 | 520657 0 | 21138 | 8894 412.13/412.29 c 406s | 15 | 444261 | 90332 | 520657 0 | 21138 | 8894 414.64/414.74 c 409s | 15 | 445270 | 90732 | 520657 0 | 21138 | 8894 417.03/417.17 c 411s | 15 | 446530 | 91232 | 520657 0 | 21138 | 8894 419.23/419.31 c 413s | 15 | 447203 | 91632 | 520657 0 | 21138 | 8894 421.63/421.77 c 416s | 15 | 448244 | 92032 | 520657 0 | 21138 | 8894 424.33/424.41 c 418s | 15 | 449173 | 92432 | 520657 0 | 21138 | 8894 426.73/426.87 c 421s | 15 | 450172 | 92932 | 520657 0 | 21138 | 8894 429.23/429.35 c 423s | 15 | 450948 | 93332 | 520657 0 | 21138 | 8894 431.33/431.40 c 425s | 15 | 451546 | 93632 | 520657 0 | 21138 | 8894 433.43/433.53 c 427s | 15 | 452059 | 93932 | 520657 0 | 21138 | 8894 435.63/435.77 c 430s | 15 | 452907 | 94332 | 520657 0 | 21138 | 8894 437.73/437.81 c 432s | 15 | 453788 | 94732 | 520657 0 | 21138 | 8894 440.22/440.39 c 434s | 15 | 454494 | 95132 | 520657 0 | 21138 | 8894 442.82/442.97 c 437s | 15 | 455356 | 95632 | 520657 0 | 21138 | 8894 445.82/445.98 c 440s | 15 | 456003 | 96032 | 520657 0 | 21138 | 8894 448.02/448.12 c 442s | 15 | 456458 | 96332 | 520657 0 | 21138 | 8894 450.52/450.66 c 445s | 15 | 457021 | 96732 | 520657 0 | 21138 | 8894 453.23/453.32 c 447s | 15 | 457578 | 97132 | 520657 0 | 21138 | 8894 455.62/455.74 c 450s | 15 | 458008 | 97432 | 520657 0 | 21138 | 8894 457.72/457.80 c 452s | 15 | 458454 | 97732 | 520657 0 | 21138 | 8894 459.92/460.06 c 454s | 15 | 458922 | 98032 | 520657 0 | 21138 | 8894 462.22/462.33 c 456s | 15 | 459337 | 98332 | 520657 0 | 21138 | 8894 464.42/464.55 c 458s | 15 | 459747 | 98632 | 520657 0 | 21138 | 8894 466.82/466.97 c 461s | 15 | 460187 | 98932 | 520657 0 | 21138 | 8894 469.52/469.69 c 464s | 15 | 460598 | 99232 | 520657 0 | 21138 | 8894 472.02/472.11 c 466s | 15 | 461054 | 99532 | 520657 0 | 21138 | 8894 474.82/474.99 c 469s | 15 | 461499 | 99832 | 520657 0 | 21138 | 8894 477.82/477.95 c 472s | 15 | 462022 | 100132 | 520657 0 | 21138 | 8894 480.62/480.76 c 475s | 15 | 462532 | 100432 | 520657 0 | 21138 | 8894 483.02/483.17 c 477s | 15 | 462841 | 100632 | 520657 0 | 21138 | 8894 485.42/485.52 c 479s | 15 | 463314 | 100932 | 520657 0 | 21138 | 8894 487.92/488.07 c 482s | 15 | 463718 | 101232 | 520657 0 | 21138 | 8894 490.32/490.47 c 484s | 15 | 464183 | 101532 | 520657 0 | 21138 | 8894 493.22/493.37 c 487s | 15 | 464594 | 101832 | 520657 0 | 21138 | 8894 495.61/495.75 c 490s | 15 | 465019 | 102132 | 520657 0 | 21138 | 8894 498.61/498.75 c 493s | 15 | 465386 | 102432 | 520657 0 | 21138 | 8894 501.31/501.46 c 495s | 15 | 465799 | 102732 | 520657 0 | 21138 | 8894 503.51/503.69 c 498s | 15 | 466287 | 103032 | 520657 0 | 21138 | 8894 506.51/506.66 c 501s | 15 | 466745 | 103332 | 520657 0 | 21138 | 8894 509.11/509.25 c 503s | 15 | 467270 | 103632 | 520657 0 | 21138 | 8894 511.31/511.40 c 505s | 15 | 467659 | 103832 | 520657 0 | 21138 | 8894 513.91/514.09 c 508s | 15 | 468085 | 104132 | 520657 0 | 21138 | 8894 516.61/516.72 c 511s | 15 | 468493 | 104432 | 520657 0 | 21138 | 8894 519.22/519.35 c 513s | 15 | 468921 | 104732 | 520657 0 | 21138 | 8894 521.21/521.39 c 515s | 15 | 469174 | 104932 | 520657 0 | 21138 | 8894 523.71/523.81 c 518s | 15 | 469450 | 105132 | 520657 0 | 21138 | 8894 525.91/526.00 c 520s | 15 | 469738 | 105332 | 520657 0 | 21138 | 8894 528.21/528.36 c 522s | 15 | 470187 | 105632 | 520657 0 | 21138 | 8894 531.11/531.25 c 525s | 15 | 470648 | 105932 | 520657 0 | 21138 | 8894 533.21/533.35 c 527s | 15 | 470919 | 106132 | 520657 0 | 21138 | 8894 535.31/535.48 c 529s | 15 | 471494 | 106432 | 520657 0 | 21138 | 8894 537.91/538.04 c 532s | 15 | 472033 | 106732 | 520657 0 | 21138 | 8894 540.21/540.39 c 534s | 15 | 472535 | 107032 | 520657 0 | 21138 | 8894 542.81/542.95 c 537s | 15 | 473071 | 107332 | 520657 0 | 21138 | 8894 545.01/545.18 c 539s | 15 | 473495 | 107632 | 520657 0 | 21138 | 8894 547.30/547.44 c 541s | 15 | 474051 | 107932 | 520657 0 | 21138 | 8894 549.80/549.91 c 544s | 15 | 474439 | 108232 | 520657 0 | 21138 | 8894 552.40/552.55 c 546s | 15 | 474839 | 108532 | 520657 0 | 21138 | 8894 554.60/554.73 c 549s | 15 | 475086 | 108732 | 520657 0 | 21138 | 8894 557.30/557.46 c 551s | 15 | 475354 | 108932 | 520657 0 | 21138 | 8894 559.40/559.54 c 553s | 15 | 475674 | 109132 | 520657 0 | 21138 | 8894 561.90/562.01 c 556s | 15 | 476189 | 109432 | 520657 0 | 21138 | 8894 564.00/564.12 c 558s | 15 | 476674 | 109732 | 520657 0 | 21138 | 8894 566.20/566.37 c 560s | 15 | 477153 | 110032 | 520657 0 | 21138 | 8894 568.61/568.74 c 563s | 15 | 477592 | 110332 | 520657 0 | 21138 | 8894 571.20/571.32 c 565s | 15 | 478039 | 110632 | 520657 0 | 21138 | 8894 573.70/573.88 c 568s | 15 | 478514 | 110932 | 520657 0 | 21138 | 8894 575.80/575.95 c 570s | 15 | 478859 | 111132 | 520657 0 | 21138 | 8894 577.90/578.04 c 572s | 15 | 479116 | 111332 | 520657 0 | 21138 | 8894 580.30/580.48 c 574s | 15 | 479438 | 111532 | 520657 0 | 21138 | 8894 582.50/582.60 c 577s | 15 | 479852 | 111832 | 520657 0 | 21138 | 8894 584.60/584.70 c 579s | 15 | 480169 | 112032 | 520657 0 | 21138 | 8894 586.60/586.79 c 581s | 15 | 480424 | 112232 | 520657 0 | 21138 | 8894 589.60/589.76 c 584s | 15 | 480850 | 112532 | 520657 0 | 21138 | 8894 592.50/592.63 c 587s | 15 | 481295 | 112832 | 520657 0 | 21138 | 8894 594.50/594.69 c 589s | 15 | 481578 | 113032 | 520657 0 | 21138 | 8894 596.60/596.74 c 591s | 15 | 481902 | 113232 | 520657 0 | 21138 | 8894 598.60/598.79 c 593s | 15 | 482182 | 113432 | 520657 0 | 21138 | 8894 600.70/600.80 c 595s | 15 | 482508 | 113632 | 520657 0 | 21138 | 8894 603.70/603.88 c 598s | 15 | 482925 | 113932 | 520657 0 | 21138 | 8894 605.89/606.06 c 600s | 15 | 483200 | 114132 | 520657 0 | 21138 | 8894 608.89/609.05 c 603s | 15 | 483593 | 114432 | 520657 0 | 21138 | 8894 611.39/611.56 c 605s | 15 | 483855 | 114632 | 520657 0 | 21138 | 8894 614.19/614.35 c 608s | 15 | 484287 | 114932 | 520657 0 | 21138 | 8894 616.29/616.40 c 610s | 15 | 484554 | 115132 | 520657 0 | 21138 | 8894 619.09/619.29 c 613s | 15 | 484916 | 115432 | 520657 0 | 21138 | 8894 621.59/621.76 c 616s | 15 | 485209 | 115632 | 520657 0 | 21138 | 8894 623.79/623.93 c 618s | 15 | 485467 | 115832 | 520657 0 | 21138 | 8894 626.69/626.80 c 621s | 15 | 485857 | 116132 | 520657 0 | 21138 | 8894 629.29/629.48 c 623s | 15 | 486295 | 116432 | 520657 0 | 21138 | 8894 632.19/632.33 c 626s | 15 | 486803 | 116732 | 520657 0 | 21138 | 8894 634.39/634.55 c 628s | 15 | 487051 | 116932 | 520657 0 | 21138 | 8894 637.39/637.52 c 631s | 15 | 487531 | 117232 | 520657 0 | 21138 | 8894 640.59/640.76 c 635s | 15 | 488005 | 117532 | 520657 0 | 21138 | 8894 642.89/643.07 c 637s | 15 | 488277 | 117732 | 520657 0 | 21138 | 8894 645.09/645.21 c 639s | 15 | 488553 | 117932 | 520657 0 | 21138 | 8894 647.09/647.26 c 641s | 15 | 488840 | 118132 | 520657 0 | 21138 | 8894 649.39/649.51 c 643s | 15 | 489120 | 118332 | 520657 0 | 21138 | 8894 651.88/652.02 c 646s | 15 | 489354 | 118532 | 520657 0 | 21138 | 8894 654.59/654.74 c 649s | 15 | 489597 | 118732 | 520657 0 | 21138 | 8894 657.09/657.29 c 651s | 15 | 489869 | 118932 | 520657 0 | 21138 | 8894 660.29/660.43 c 654s | 15 | 490108 | 119132 | 520657 0 | 21138 | 8894 662.99/663.12 c 657s | 15 | 490361 | 119332 | 520657 0 | 21138 | 8894 666.09/666.21 c 660s | 15 | 490802 | 119632 | 520657 0 | 21138 | 8894 668.29/668.44 c 662s | 15 | 491156 | 119832 | 520657 0 | 21138 | 8894 670.39/670.52 c 664s | 15 | 491414 | 120032 | 520657 0 | 21138 | 8894 672.89/673.06 c 667s | 15 | 491829 | 120332 | 520657 0 | 21138 | 8894 675.40/675.59 c 670s | 15 | 492258 | 120632 | 520657 0 | 21138 | 8894 677.69/677.88 c 672s | 15 | 492536 | 120832 | 520657 0 | 21138 | 8894 680.69/680.89 c 675s | 15 | 492965 | 121132 | 520657 0 | 21138 | 8894 682.89/683.08 c 677s | 15 | 493225 | 121332 | 520657 0 | 21138 | 8894 685.19/685.40 c 679s | 15 | 493515 | 121532 | 520657 0 | 21138 | 8894 688.19/688.39 c 682s | 15 | 493933 | 121832 | 520657 0 | 21138 | 8894 690.49/690.60 c 685s | 15 | 494244 | 122032 | 520657 0 | 21138 | 8894 692.68/692.87 c 687s | 15 | 494519 | 122232 | 520657 0 | 21138 | 8894 694.88/695.06 c 689s | 15 | 494762 | 122432 | 520657 0 | 21138 | 8894 697.48/697.67 c 692s | 15 | 495022 | 122632 | 520657 0 | 21138 | 8894 700.38/700.51 c 694s | 15 | 495268 | 122832 | 520657 0 | 21138 | 8894 702.38/702.59 c 697s | 15 | 495518 | 123032 | 520657 0 | 21138 | 8894 704.99/705.17 c 699s | 15 | 495828 | 123232 | 520657 0 | 21138 | 8894 707.38/707.51 c 701s | 15 | 496074 | 123432 | 520657 0 | 21138 | 8894 709.49/709.66 c 704s | 15 | 496431 | 123632 | 520657 0 | 21138 | 8894 711.48/711.69 c 706s | 15 | 496711 | 123832 | 520657 0 | 21138 | 8894 713.79/713.91 c 708s | 15 | 496962 | 124032 | 520657 0 | 21138 | 8894 716.98/717.11 c 711s | 15 | 497207 | 124232 | 520657 0 | 21138 | 8894 719.18/719.39 c 713s | 15 | 497491 | 124432 | 520657 0 | 21138 | 8894 722.08/722.25 c 716s | 15 | 497726 | 124632 | 520657 0 | 21138 | 8894 724.68/724.84 c 719s | 15 | 497993 | 124832 | 520657 0 | 21138 | 8894 728.19/728.31 c 722s | 15 | 498215 | 125032 | 520657 0 | 21138 | 8894 730.68/730.82 c 725s | 15 | 498458 | 125232 | 520657 0 | 21138 | 8894 733.88/734.09 c 728s | 15 | 498709 | 125432 | 520657 0 | 21138 | 8894 736.98/737.18 c 731s | 15 | 498961 | 125632 | 520657 0 | 21138 | 8894 740.08/740.22 c 734s | 15 | 499233 | 125832 | 520657 0 | 21138 | 8894 742.98/743.17 c 737s | 15 | 499462 | 126032 | 520657 0 | 21138 | 8894 745.97/746.14 c 740s | 15 | 499678 | 126232 | 520657 0 | 21138 | 8894 748.77/748.93 c 743s | 15 | 499927 | 126432 | 520657 0 | 21138 | 8894 751.77/751.90 c 746s | 15 | 500159 | 126632 | 520657 0 | 21138 | 8894 754.37/754.59 c 749s | 15 | 500390 | 126832 | 520657 0 | 21138 | 8894 757.27/757.45 c 751s | 15 | 500639 | 127032 | 520657 0 | 21138 | 8894 760.77/760.96 c 755s | 15 | 500882 | 127232 | 520657 0 | 21138 | 8894 764.07/764.28 c 758s | 15 | 501144 | 127432 | 520657 0 | 21138 | 8894 766.27/766.40 c 760s | 15 | 501755 | 127732 | 520657 0 | 21138 | 8894 768.27/768.42 c 762s | 15 | 502536 | 128132 | 520657 0 | 21138 | 8894 770.57/770.72 c 765s | 15 | 503097 | 128432 | 520657 0 | 21138 | 8894 773.28/773.41 c 767s | 15 | 503841 | 128832 | 520657 0 | 21138 | 8894 775.38/775.55 c 769s | 15 | 504320 | 129132 | 520657 0 | 21138 | 8894 777.58/777.77 c 772s | 15 | 504851 | 129432 | 520657 0 | 21138 | 8894 779.78/779.98 c 774s | 15 | 505448 | 129832 | 520657 0 | 21138 | 8894 781.97/782.13 c 776s | 15 | 505891 | 130132 | 520657 0 | 21138 | 8894 784.27/784.46 c 778s | 15 | 506326 | 130432 | 520657 0 | 21138 | 8894 786.97/787.16 c 781s | 15 | 506730 | 130732 | 572723 0 | 21138 | 8894 789.77/789.91 c 784s | 15 | 507105 | 131032 | 572723 0 | 21138 | 8894 791.87/792.02 c 786s | 15 | 507529 | 131332 | 572723 0 | 21138 | 8894 793.36/793.58 c 788s | 16 | 507883 | 131552 | 572723 0 | 21138 | 8894 795.46/795.63 c 790s | 16 | 508503 | 131652 | 572723 0 | 21138 | 8894 798.06/798.22 c 792s | 16 | 509586 | 132152 | 572723 0 | 21138 | 8894 800.16/800.30 c 794s | 16 | 510361 | 132552 | 572723 0 | 21138 | 8894 802.87/803.09 c 797s | 16 | 511292 | 132952 | 572723 0 | 21138 | 8894 805.07/805.28 c 799s | 16 | 512147 | 133352 | 572723 0 | 21138 | 8894 807.27/807.50 c 801s | 16 | 512766 | 133752 | 572723 0 | 21138 | 8894 809.57/809.75 c 804s | 16 | 513289 | 134052 | 572723 0 | 21138 | 8894 811.67/811.83 c 806s | 16 | 513862 | 134352 | 572723 0 | 21138 | 8894 814.16/814.30 c 808s | 16 | 514601 | 134752 | 572723 0 | 21138 | 8894 816.17/816.32 c 810s | 16 | 515349 | 135152 | 572723 0 | 21138 | 8894 818.66/818.81 c 813s | 16 | 515935 | 135552 | 572723 0 | 21138 | 8894 820.96/821.15 c 815s | 16 | 516314 | 135852 | 572723 0 | 21138 | 8894 823.36/823.54 c 817s | 16 | 516856 | 136252 | 572723 0 | 21138 | 8894 825.86/826.08 c 820s | 16 | 517589 | 136652 | 572723 0 | 21138 | 8894 828.06/828.27 c 822s | 16 | 518219 | 137052 | 572723 0 | 21138 | 8894 830.26/830.48 c 824s | 16 | 518889 | 137452 | 572723 0 | 21138 | 8894 832.76/832.91 c 827s | 16 | 519648 | 137952 | 572723 0 | 21138 | 8894 835.27/835.40 c 829s | 16 | 520285 | 138352 | 572723 0 | 21138 | 8894 837.37/837.58 c 832s | 16 | 521132 | 138852 | 572723 0 | 21138 | 8894 839.67/839.88 c 834s | 16 | 521917 | 139352 | 572723 0 | 21138 | 8894 841.97/842.13 c 836s | 16 | 522728 | 139852 | 572723 0 | 21138 | 8894 844.06/844.29 c 838s | 16 | 523263 | 140252 | 572723 0 | 21138 | 8894 846.46/846.63 c 841s | 16 | 523751 | 140652 | 572723 0 | 21138 | 8894 848.96/849.14 c 843s | 16 | 524637 | 141152 | 572723 0 | 21138 | 8894 851.37/851.57 c 845s | 16 | 525912 | 141652 | 572723 0 | 21138 | 8894 854.06/854.26 c 848s | 16 | 526630 | 142052 | 572723 0 | 21138 | 8894 856.36/856.57 c 850s | 16 | 527312 | 142452 | 572723 0 | 21138 | 8894 858.46/858.69 c 853s | 16 | 527728 | 142752 | 572723 0 | 21138 | 8894 860.76/860.98 c 855s | 16 | 528184 | 143052 | 572723 0 | 21138 | 8894 863.16/863.32 c 857s | 16 | 528687 | 143352 | 572723 0 | 21138 | 8894 865.36/865.56 c 859s | 16 | 529118 | 143652 | 572723 0 | 21138 | 8894 867.46/867.60 c 862s | 16 | 529570 | 143952 | 572723 0 | 21138 | 8894 869.76/869.94 c 864s | 16 | 530485 | 144352 | 572723 0 | 21138 | 8894 871.86/872.00 c 866s | 16 | 531150 | 144652 | 572723 0 | 21138 | 8894 874.06/874.25 c 868s | 16 | 531792 | 145052 | 572723 0 | 21138 | 8894 876.36/876.54 c 870s | 16 | 532574 | 145552 | 572723 0 | 21138 | 8894 878.56/878.76 c 873s | 16 | 533321 | 146052 | 572723 0 | 21138 | 8894 881.16/881.32 c 875s | 16 | 533931 | 146452 | 572723 0 | 21138 | 8894 883.26/883.49 c 877s | 16 | 534641 | 146852 | 572723 0 | 21138 | 8894 885.36/885.55 c 879s | 16 | 535054 | 147152 | 572723 0 | 21138 | 8894 887.46/887.70 c 882s | 16 | 535621 | 147552 | 572723 0 | 21138 | 8894 889.76/889.94 c 884s | 16 | 535979 | 147852 | 572723 0 | 21138 | 8894 892.36/892.50 c 886s | 16 | 536399 | 148152 | 572723 0 | 21138 | 8894 894.96/895.19 c 889s | 16 | 536903 | 148552 | 572723 0 | 21138 | 8894 897.26/897.42 c 891s | 16 | 537565 | 148952 | 572723 0 | 21138 | 8894 899.66/899.87 c 894s | 16 | 538224 | 149352 | 572723 0 | 21138 | 8894 901.96/902.18 c 896s | 16 | 539182 | 149852 | 572723 0 | 21138 | 8894 904.25/904.44 c 898s | 16 | 540090 | 150352 | 572723 0 | 21138 | 8894 906.45/906.61 c 901s | 16 | 540588 | 150652 | 572723 0 | 21138 | 8894 908.85/909.05 c 903s | 16 | 541430 | 151152 | 572723 0 | 21138 | 8894 911.05/911.28 c 905s | 16 | 542190 | 151552 | 572723 0 | 21138 | 8894 913.15/913.39 c 907s | 16 | 542804 | 151952 | 572723 0 | 21138 | 8894 915.55/915.74 c 910s | 16 | 543685 | 152452 | 572723 0 | 21138 | 8894 917.75/917.98 c 912s | 16 | 544265 | 152852 | 572723 0 | 21138 | 8894 920.25/920.48 c 914s | 16 | 545010 | 153352 | 572723 0 | 21138 | 8894 922.65/922.90 c 917s | 16 | 545636 | 153752 | 572723 0 | 21138 | 8894 924.85/925.08 c 919s | 16 | 546418 | 154252 | 572723 0 | 21138 | 8894 927.26/927.42 c 921s | 16 | 547057 | 154652 | 572723 0 | 21138 | 8894 929.25/929.42 c 923s | 16 | 547488 | 154952 | 572723 0 | 21138 | 8894 931.66/931.85 c 926s | 16 | 548093 | 155352 | 572723 0 | 21138 | 8894 934.05/934.24 c 928s | 16 | 548686 | 155752 | 572723 0 | 21138 | 8894 936.15/936.35 c 930s | 16 | 549250 | 156152 | 572723 0 | 21138 | 8894 938.26/938.47 c 932s | 16 | 549874 | 156552 | 572723 0 | 21138 | 8894 940.75/940.95 c 935s | 16 | 550821 | 156952 | 572723 0 | 21138 | 8894 943.25/943.49 c 937s | 16 | 551517 | 157352 | 572723 0 | 21138 | 8894 945.35/945.56 c 939s | 16 | 551973 | 157652 | 572723 0 | 21138 | 8894 947.65/947.88 c 942s | 16 | 552550 | 158052 | 572723 0 | 21138 | 8894 950.15/950.32 c 944s | 16 | 553094 | 158452 | 572723 0 | 21138 | 8894 952.15/952.38 c 946s | 16 | 553523 | 158752 | 572723 0 | 21138 | 8894 954.84/955.08 c 949s | 16 | 554173 | 159152 | 572723 0 | 21138 | 8894 957.44/957.66 c 952s | 16 | 554519 | 159452 | 572723 0 | 21138 | 8894 960.04/960.24 c 954s | 16 | 554943 | 159752 | 572723 0 | 21138 | 8894 962.35/962.52 c 956s | 16 | 555471 | 160052 | 572723 0 | 21138 | 8894 964.55/964.78 c 959s | 16 | 555919 | 160352 | 572723 0 | 21138 | 8894 967.24/967.42 c 961s | 16 | 556515 | 160752 | 572723 0 | 21138 | 8894 969.64/969.83 c 964s | 16 | 556907 | 161052 | 572723 0 | 21138 | 8894 972.04/972.26 c 966s | 16 | 557654 | 161452 | 572723 0 | 21138 | 8894 974.55/974.71 c 969s | 16 | 558335 | 161852 | 572723 0 | 21138 | 8894 976.75/976.98 c 971s | 16 | 558848 | 162152 | 572723 0 | 21138 | 8894 978.85/979.05 c 973s | 16 | 559615 | 162452 | 572723 0 | 21138 | 8894 981.15/981.34 c 975s | 16 | 560300 | 162852 | 572723 0 | 21138 | 8894 983.64/983.87 c 978s | 16 | 560887 | 163252 | 572723 0 | 21138 | 8894 985.74/985.94 c 980s | 16 | 561410 | 163552 | 572723 0 | 21138 | 8894 988.24/988.49 c 982s | 16 | 562063 | 163952 | 572723 0 | 21138 | 8894 990.34/990.50 c 984s | 16 | 562637 | 164252 | 572723 0 | 21138 | 8894 992.74/992.92 c 987s | 16 | 563230 | 164652 | 572723 0 | 21138 | 8894 995.24/995.45 c 989s | 16 | 563849 | 165052 | 572723 0 | 21138 | 8894 997.74/997.90 c 992s | 16 | 564431 | 165452 | 572723 0 | 21138 | 8894 999.74/999.98 c 994s | 16 | 565030 | 165752 | 572723 0 | 21138 | 8894 1002.04/1002.21 c 996s | 16 | 565471 | 166052 | 572723 0 | 21138 | 8894 1004.34/1004.57 c 998s | 16 | 566192 | 166452 | 572723 0 | 21138 | 8894 1006.54/1006.72 c 1001s | 16 | 566907 | 166852 | 572723 0 | 21138 | 8894 1008.93/1009.16 c 1003s | 16 | 567788 | 167352 | 572723 0 | 21138 | 8894 1011.53/1011.73 c 1006s | 16 | 568453 | 167752 | 572723 0 | 21138 | 8894 1013.73/1013.98 c 1008s | 16 | 569111 | 168152 | 572723 0 | 21138 | 8894 1016.13/1016.34 c 1010s | 16 | 569763 | 168552 | 572723 0 | 21138 | 8894 1018.44/1018.67 c 1013s | 16 | 571012 | 169152 | 572723 0 | 21138 | 8894 1020.53/1020.74 c 1015s | 16 | 571700 | 169552 | 572723 0 | 21138 | 8894 1022.73/1022.95 c 1017s | 16 | 572486 | 169952 | 572723 0 | 21138 | 8894 1025.14/1025.37 c 1019s | 16 | 573305 | 170452 | 572723 0 | 21138 | 8894 1027.24/1027.46 c 1021s | 16 | 573993 | 170852 | 572723 0 | 21138 | 8894 1029.54/1029.75 c 1024s | 16 | 574694 | 171252 | 572723 0 | 21138 | 8894 1031.53/1031.77 c 1026s | 16 | 575358 | 171652 | 572723 0 | 21138 | 8894 1033.73/1033.92 c 1028s | 16 | 575959 | 172052 | 572723 0 | 21138 | 8894 1035.93/1036.14 c 1030s | 16 | 576776 | 172452 | 572723 0 | 21138 | 8894 1038.73/1038.94 c 1033s | 16 | 577303 | 172852 | 572723 0 | 21138 | 8894 1041.23/1041.47 c 1035s | 16 | 577938 | 173252 | 572723 0 | 21138 | 8894 1043.33/1043.57 c 1037s | 16 | 578520 | 173652 | 572723 0 | 21138 | 8894 1045.33/1045.58 c 1040s | 16 | 578947 | 173952 | 572723 0 | 21138 | 8894 1047.53/1047.76 c 1042s | 16 | 579621 | 174352 | 572723 0 | 21138 | 8894 1049.93/1050.14 c 1044s | 16 | 580371 | 174852 | 572723 0 | 21138 | 8894 1052.23/1052.47 c 1046s | 16 | 581132 | 175352 | 572723 0 | 21138 | 8894 1054.33/1054.53 c 1048s | 16 | 581698 | 175752 | 572723 0 | 21138 | 8894 1056.63/1056.84 c 1051s | 16 | 582265 | 176152 | 572723 0 | 21138 | 8894 1059.03/1059.26 c 1053s | 16 | 582776 | 176552 | 572723 0 | 21138 | 8894 1061.43/1061.69 c 1056s | 16 | 583519 | 176952 | 572723 0 | 21138 | 8894 1063.73/1063.97 c 1058s | 16 | 584246 | 177352 | 572723 0 | 21138 | 8894 1065.83/1066.04 c 1060s | 16 | 584650 | 177652 | 572723 0 | 21138 | 8894 1067.93/1068.17 c 1062s | 16 | 585154 | 177952 | 572723 0 | 21138 | 8894 1070.02/1070.23 c 1064s | 16 | 585604 | 178252 | 572723 0 | 21138 | 8894 1072.22/1072.46 c 1066s | 16 | 586336 | 178652 | 572723 0 | 21138 | 8894 1074.53/1074.74 c 1069s | 16 | 587001 | 179052 | 572723 0 | 21138 | 8894 1077.12/1077.37 c 1071s | 16 | 587614 | 179452 | 572723 0 | 21138 | 8894 1079.42/1079.60 c 1074s | 16 | 588062 | 179752 | 572723 0 | 21138 | 8894 1081.72/1081.91 c 1076s | 16 | 588459 | 180052 | 572723 0 | 21138 | 8894 1084.22/1084.40 c 1078s | 16 | 588871 | 180352 | 572723 0 | 21138 | 8894 1086.22/1086.49 c 1080s | 16 | 589290 | 180652 | 572723 0 | 21138 | 8894 1088.32/1088.54 c 1082s | 16 | 589764 | 180952 | 572723 0 | 21138 | 8894 1090.32/1090.59 c 1085s | 16 | 590196 | 181252 | 572723 0 | 21138 | 8894 1092.82/1093.05 c 1087s | 16 | 590864 | 181652 | 572723 0 | 21138 | 8894 1095.12/1095.36 c 1089s | 16 | 591308 | 181952 | 572723 0 | 21138 | 8894 1097.73/1097.93 c 1092s | 16 | 591735 | 182252 | 572723 0 | 21138 | 8894 1099.93/1100.11 c 1094s | 16 | 592172 | 182552 | 572723 0 | 21138 | 8894 1102.42/1102.61 c 1097s | 16 | 592818 | 182952 | 572723 0 | 21138 | 8894 1104.82/1105.08 c 1099s | 16 | 593211 | 183252 | 572723 0 | 21138 | 8894 1106.92/1107.17 c 1101s | 16 | 593630 | 183552 | 572723 0 | 21138 | 8894 1109.32/1109.50 c 1103s | 16 | 594017 | 183852 | 572723 0 | 21138 | 8894 1111.72/1111.92 c 1106s | 16 | 594428 | 184152 | 572723 0 | 21138 | 8894 1114.32/1114.58 c 1109s | 16 | 594883 | 184452 | 572723 0 | 21138 | 8894 1116.62/1116.82 c 1111s | 16 | 595398 | 184752 | 572723 0 | 21138 | 8894 1118.72/1118.97 c 1113s | 16 | 595877 | 185052 | 572723 0 | 21138 | 8894 1121.22/1121.46 c 1115s | 16 | 596336 | 185352 | 572723 0 | 21138 | 8894 1123.92/1124.16 c 1118s | 16 | 596939 | 185752 | 572723 0 | 21138 | 8894 1126.01/1126.24 c 1120s | 16 | 597430 | 186052 | 572723 0 | 21138 | 8894 1128.42/1128.60 c 1123s | 16 | 597894 | 186352 | 572723 0 | 21138 | 8894 1130.41/1130.69 c 1125s | 16 | 598451 | 186652 | 572723 0 | 21138 | 8894 1132.51/1132.78 c 1127s | 16 | 598925 | 186952 | 572723 0 | 21138 | 8894 1134.91/1135.12 c 1129s | 16 | 599324 | 187252 | 572723 0 | 21138 | 8894 1137.51/1137.76 c 1132s | 16 | 599953 | 187652 | 572723 0 | 21138 | 8894 1139.81/1140.03 c 1134s | 16 | 600424 | 187952 | 572723 0 | 21138 | 8894 1141.91/1142.15 c 1136s | 16 | 600856 | 188252 | 572723 0 | 21138 | 8894 1144.21/1144.43 c 1138s | 16 | 601369 | 188552 | 572723 0 | 21138 | 8894 1146.61/1146.83 c 1141s | 16 | 601783 | 188852 | 572723 0 | 21138 | 8894 1149.01/1149.24 c 1143s | 16 | 602185 | 189152 | 572723 0 | 21138 | 8894 1151.52/1151.79 c 1146s | 16 | 602829 | 189552 | 572723 0 | 21138 | 8894 1153.91/1154.19 c 1148s | 16 | 603242 | 189852 | 572723 0 | 21138 | 8894 1156.02/1156.23 c 1150s | 16 | 603719 | 190152 | 572723 0 | 21138 | 8894 1158.31/1158.56 c 1152s | 16 | 604182 | 190452 | 572723 0 | 21138 | 8894 1161.11/1161.36 c 1155s | 16 | 604551 | 190752 | 572723 0 | 21138 | 8894 1163.21/1163.44 c 1157s | 16 | 605009 | 191052 | 572723 0 | 21138 | 8894 1165.21/1165.48 c 1159s | 16 | 605410 | 191352 | 572723 0 | 21138 | 8894 1168.02/1168.22 c 1162s | 16 | 605829 | 191652 | 572723 0 | 21138 | 8894 1170.41/1170.63 c 1165s | 16 | 606219 | 191952 | 572723 0 | 21138 | 8894 1172.91/1173.17 c 1167s | 16 | 606664 | 192252 | 572723 0 | 21138 | 8894 1175.51/1175.79 c 1170s | 16 | 607261 | 192652 | 572723 0 | 21138 | 8894 1177.91/1178.17 c 1172s | 16 | 607993 | 193052 | 572723 0 | 21138 | 8894 1180.81/1181.02 c 1175s | 16 | 608625 | 193452 | 572723 0 | 21138 | 8894 1183.01/1183.23 c 1177s | 16 | 609061 | 193752 | 572723 0 | 21138 | 8894 1185.41/1185.60 c 1180s | 16 | 609528 | 194052 | 572723 0 | 21138 | 8894 1187.91/1188.18 c 1182s | 16 | 609913 | 194352 | 572723 0 | 21138 | 8894 1190.91/1191.11 c 1185s | 16 | 610330 | 194652 | 572723 0 | 21138 | 8894 1193.41/1193.62 c 1188s | 16 | 610757 | 194952 | 572723 0 | 21138 | 8894 1196.10/1196.39 c 1190s | 16 | 611181 | 195252 | 572723 0 | 21138 | 8894 1198.20/1198.45 c 1192s | 16 | 611678 | 195552 | 572723 0 | 21138 | 8894 1200.70/1200.91 c 1195s | 16 | 612223 | 195952 | 572723 0 | 21138 | 8894 1202.90/1203.15 c 1197s | 16 | 612689 | 196252 | 629996 0 | 21138 | 8894 1205.51/1205.72 c 1200s | 16 | 613109 | 196552 | 629996 0 | 21138 | 8894 1207.61/1207.82 c 1202s | 16 | 613535 | 196852 | 629996 0 | 21138 | 8894 1210.60/1210.86 c 1205s | 16 | 617811 | 196952 | 629996 0 | 21139 | 8895 1213.11/1213.31 c 1207s | 17 | 622374 | 197432 | 629996 0 | 21139 | 8895 1216.00/1216.29 c 1210s | 17 | 623566 | 197532 | 629996 0 | 21139 | 8895 1218.20/1218.46 c 1212s | 17 | 623854 | 197732 | 629996 0 | 21139 | 8895 1220.50/1220.74 c 1215s | 17 | 624189 | 197932 | 629996 0 | 21139 | 8895 1223.01/1223.30 c 1217s | 17 | 624466 | 198132 | 629996 0 | 21139 | 8895 1225.50/1225.80 c 1220s | 17 | 624828 | 198332 | 629996 0 | 21139 | 8895 1227.60/1227.86 c 1222s | 17 | 625112 | 198532 | 629996 0 | 21139 | 8895 1229.71/1229.93 c 1224s | 17 | 625422 | 198732 | 629996 0 | 21139 | 8895 1232.20/1232.47 c 1226s | 17 | 626107 | 199032 | 629996 0 | 21139 | 8895 1234.30/1234.54 c 1228s | 17 | 626698 | 199332 | 629996 0 | 21139 | 8895 1237.20/1237.50 c 1231s | 17 | 627262 | 199632 | 629996 0 | 21139 | 8895 1239.40/1239.63 c 1234s | 17 | 627556 | 199832 | 629996 0 | 21139 | 8895 1241.80/1242.06 c 1236s | 17 | 627876 | 200032 | 629996 0 | 21139 | 8895 1244.80/1245.05 c 1239s | 17 | 628282 | 200332 | 629996 0 | 21139 | 8895 1247.60/1247.81 c 1242s | 17 | 628571 | 200532 | 629996 0 | 21139 | 8895 1250.60/1250.82 c 1245s | 17 | 629021 | 200832 | 629996 0 | 21139 | 8895 1253.09/1253.31 c 1247s | 17 | 629295 | 201032 | 629996 0 | 21139 | 8895 1256.19/1256.40 c 1250s | 17 | 629789 | 201332 | 629996 0 | 21139 | 8895 1258.39/1258.65 c 1253s | 17 | 630064 | 201532 | 629996 0 | 21139 | 8895 1260.59/1260.88 c 1255s | 17 | 630319 | 201732 | 629996 0 | 21139 | 8895 1263.39/1263.64 c 1258s | 17 | 630745 | 202032 | 629996 0 | 21139 | 8895 1266.09/1266.39 c 1260s | 17 | 631169 | 202332 | 629996 0 | 21139 | 8895 1268.20/1268.42 c 1262s | 17 | 631468 | 202532 | 629996 0 | 21139 | 8895 1270.40/1270.61 c 1265s | 17 | 631789 | 202732 | 629996 0 | 21139 | 8895 1272.39/1272.61 c 1267s | 17 | 632108 | 202932 | 629996 0 | 21139 | 8895 1274.89/1275.11 c 1269s | 17 | 632570 | 203232 | 629996 0 | 21139 | 8895 1277.19/1277.41 c 1271s | 17 | 632873 | 203432 | 629996 0 | 21139 | 8895 1279.20/1279.46 c 1273s | 17 | 633168 | 203632 | 629996 0 | 21139 | 8895 1281.40/1281.61 c 1276s | 17 | 633447 | 203832 | 629996 0 | 21139 | 8895 1283.69/1283.95 c 1278s | 17 | 633720 | 204032 | 629996 0 | 21139 | 8895 1286.49/1286.75 c 1281s | 17 | 634297 | 204332 | 629996 0 | 21139 | 8895 1289.10/1289.31 c 1283s | 17 | 634750 | 204632 | 629996 0 | 21139 | 8895 1291.19/1291.41 c 1285s | 17 | 635097 | 204832 | 629996 0 | 21139 | 8895 1293.39/1293.63 c 1288s | 17 | 661772 | 205132 | 629996 0 | 21139 | 8895 1295.69/1295.92 c 1290s | 17 | 665911 | 205932 | 629996 0 | 21139 | 8895 1297.79/1298.01 c 1292s | 17 | 667560 | 206232 | 629996 0 | 21139 | 8895 1299.89/1300.16 c 1294s | 17 | 670446 | 207032 | 629996 0 | 21139 | 8895 1301.89/1302.17 c 1296s | 17 | 673449 | 207832 | 629996 0 | 21139 | 8895 1304.89/1305.12 c 1299s | 17 | 677012 | 208332 | 629996 0 | 21139 | 8895 1306.99/1307.24 c 1301s | 17 | 677334 | 208532 | 629996 0 | 21139 | 8895 1309.78/1310.02 c 1304s | 17 | 677817 | 208832 | 629996 0 | 21139 | 8895 1311.99/1312.28 c 1306s | 17 | 678101 | 209032 | 629996 0 | 21139 | 8895 1314.79/1315.00 c 1309s | 17 | 678626 | 209332 | 629996 0 | 21139 | 8895 1317.19/1317.45 c 1311s | 17 | 679112 | 209632 | 629996 0 | 21139 | 8895 1319.80/1320.03 c 1314s | 17 | 679556 | 209932 | 629996 0 | 21139 | 8895 1322.39/1322.66 c 1317s | 17 | 679972 | 210232 | 629996 0 | 21139 | 8895 1324.89/1325.10 c 1319s | 17 | 680372 | 210532 | 629996 0 | 21139 | 8895 1326.89/1327.16 c 1321s | 17 | 680681 | 210732 | 629996 0 | 21139 | 8895 1329.70/1330.00 c 1324s | 17 | 681085 | 211032 | 629996 0 | 21139 | 8895 1331.90/1332.14 c 1326s | 17 | 681351 | 211232 | 629996 0 | 21139 | 8895 1334.10/1334.36 c 1328s | 17 | 681634 | 211432 | 629996 0 | 21139 | 8895 1337.09/1337.32 c 1331s | 17 | 682051 | 211732 | 629996 0 | 21139 | 8895 1339.99/1340.28 c 1334s | 17 | 682448 | 212032 | 629996 0 | 21139 | 8895 1342.39/1342.66 c 1337s | 17 | 682742 | 212232 | 629996 0 | 21139 | 8895 1345.20/1345.43 c 1339s | 17 | 683199 | 212532 | 629996 0 | 21139 | 8895 1347.79/1348.09 c 1342s | 17 | 683644 | 212832 | 629996 0 | 21139 | 8895 1350.09/1350.34 c 1344s | 17 | 684076 | 213132 | 629996 0 | 21139 | 8895 1352.49/1352.72 c 1347s | 17 | 684546 | 213432 | 629996 0 | 21139 | 8895 1355.19/1355.41 c 1349s | 17 | 684959 | 213732 | 629996 0 | 21139 | 8895 1357.79/1358.05 c 1352s | 17 | 685462 | 214032 | 629996 0 | 21139 | 8895 1359.99/1360.21 c 1354s | 17 | 685957 | 214332 | 629996 0 | 21139 | 8895 1362.28/1362.56 c 1356s | 17 | 686461 | 214632 | 629996 0 | 21139 | 8895 1364.79/1365.04 c 1359s | 17 | 686718 | 214832 | 629996 0 | 21139 | 8895 1367.59/1367.87 c 1362s | 17 | 687125 | 215132 | 629996 0 | 21139 | 8895 1370.39/1370.62 c 1365s | 17 | 687534 | 215432 | 629996 0 | 21139 | 8895 1373.18/1373.49 c 1367s | 17 | 687982 | 215732 | 629996 0 | 21139 | 8895 1375.68/1375.94 c 1370s | 17 | 688461 | 216032 | 629996 0 | 21139 | 8895 1378.19/1378.44 c 1372s | 17 | 688943 | 216332 | 629996 0 | 21139 | 8895 1380.88/1381.10 c 1375s | 17 | 689370 | 216632 | 629996 0 | 21139 | 8895 1383.38/1383.65 c 1378s | 17 | 689778 | 216932 | 629996 0 | 21139 | 8895 1385.98/1386.29 c 1380s | 17 | 690259 | 217232 | 629996 0 | 21139 | 8895 1388.78/1389.08 c 1383s | 17 | 690688 | 217532 | 629996 0 | 21139 | 8895 1390.88/1391.14 c 1385s | 17 | 690995 | 217732 | 629996 0 | 21139 | 8895 1393.37/1393.64 c 1388s | 17 | 691450 | 218032 | 629996 0 | 21139 | 8895 1395.87/1396.14 c 1390s | 17 | 691900 | 218332 | 629996 0 | 21139 | 8895 1398.67/1398.96 c 1393s | 17 | 692353 | 218632 | 629996 0 | 21139 | 8895 1401.07/1401.32 c 1395s | 17 | 692600 | 218832 | 629996 0 | 21139 | 8895 1403.07/1403.39 c 1397s | 17 | 692890 | 219032 | 629996 0 | 21139 | 8895 1405.97/1406.20 c 1400s | 17 | 693427 | 219332 | 629996 0 | 21139 | 8895 1408.07/1408.36 c 1402s | 17 | 693699 | 219532 | 629996 0 | 21139 | 8895 1410.97/1411.26 c 1405s | 17 | 694088 | 219832 | 629996 0 | 21139 | 8895 1413.96/1414.24 c 1408s | 17 | 694532 | 220132 | 629996 0 | 21139 | 8895 1417.16/1417.49 c 1411s | 17 | 694959 | 220432 | 629996 0 | 21139 | 8895 1419.76/1420.09 c 1414s | 17 | 695220 | 220632 | 629996 0 | 21139 | 8895 1421.96/1422.23 c 1416s | 17 | 695481 | 220832 | 629996 0 | 21139 | 8895 1424.46/1424.73 c 1419s | 17 | 695718 | 221032 | 629996 0 | 21139 | 8895 1426.66/1426.98 c 1421s | 17 | 696134 | 221232 | 629996 0 | 21139 | 8895 1428.77/1429.09 c 1423s | 17 | 696464 | 221432 | 629996 0 | 21139 | 8895 1430.87/1431.14 c 1425s | 17 | 696713 | 221632 | 629996 0 | 21139 | 8895 1432.96/1433.20 c 1427s | 17 | 696989 | 221832 | 629996 0 | 21139 | 8895 1434.96/1435.23 c 1429s | 17 | 697301 | 222032 | 629996 0 | 21139 | 8895 1437.36/1437.67 c 1432s | 17 | 697558 | 222232 | 629996 0 | 21139 | 8895 1439.76/1440.01 c 1434s | 17 | 697819 | 222432 | 629996 0 | 21139 | 8895 1441.86/1442.18 c 1436s | 17 | 698168 | 222632 | 629996 0 | 21139 | 8895 1444.05/1444.31 c 1438s | 17 | 698504 | 222832 | 629996 0 | 21139 | 8895 1446.05/1446.33 c 1440s | 17 | 698780 | 223032 | 629996 0 | 21139 | 8895 1449.05/1449.33 c 1443s | 17 | 699288 | 223332 | 629996 0 | 21139 | 8895 1451.54/1451.85 c 1446s | 17 | 699563 | 223532 | 629996 0 | 21139 | 8895 1454.44/1454.73 c 1449s | 17 | 699831 | 223732 | 629996 0 | 21139 | 8895 1457.25/1457.51 c 1451s | 17 | 700122 | 223932 | 629996 0 | 21139 | 8895 1460.04/1460.33 c 1454s | 17 | 700397 | 224132 | 629996 0 | 21139 | 8895 1462.34/1462.68 c 1457s | 17 | 700659 | 224332 | 629996 0 | 21139 | 8895 1464.74/1465.09 c 1459s | 17 | 700948 | 224532 | 629996 0 | 21139 | 8895 1467.34/1467.65 c 1462s | 17 | 701300 | 224732 | 629996 0 | 21139 | 8895 1470.14/1470.48 c 1464s | 17 | 701557 | 224932 | 629996 0 | 21139 | 8895 1472.83/1473.13 c 1467s | 17 | 701825 | 225132 | 629996 0 | 21139 | 8895 1475.43/1475.74 c 1470s | 17 | 702092 | 225332 | 629996 0 | 21139 | 8895 1478.33/1478.63 c 1473s | 17 | 702566 | 225632 | 629996 0 | 21139 | 8895 1480.63/1480.97 c 1475s | 17 | 702822 | 225832 | 629996 0 | 21139 | 8895 1483.13/1483.44 c 1477s | 17 | 703070 | 226032 | 629996 0 | 21139 | 8895 1485.23/1485.58 c 1480s | 17 | 703438 | 226232 | 629996 0 | 21139 | 8895 1488.03/1488.38 c 1482s | 17 | 703796 | 226432 | 629996 0 | 21139 | 8895 1490.62/1490.90 c 1485s | 17 | 704082 | 226632 | 629996 0 | 21139 | 8895 1493.32/1493.60 c 1488s | 17 | 704353 | 226832 | 629996 0 | 21139 | 8895 1495.92/1496.29 c 1490s | 17 | 704650 | 227032 | 629996 0 | 21139 | 8895 1498.42/1498.75 c 1493s | 17 | 705143 | 227332 | 629996 0 | 21139 | 8895 1501.33/1501.67 c 1496s | 17 | 705447 | 227532 | 629996 0 | 21139 | 8895 1504.12/1504.46 c 1498s | 17 | 705721 | 227732 | 629996 0 | 21139 | 8895 1507.32/1507.63 c 1502s | 17 | 706209 | 228032 | 629996 0 | 21139 | 8895 1509.62/1509.95 c 1504s | 17 | 706768 | 228332 | 629996 0 | 21139 | 8895 1512.82/1513.17 c 1507s | 17 | 707308 | 228632 | 629996 0 | 21139 | 8895 1515.12/1515.42 c 1509s | 17 | 707592 | 228832 | 629996 0 | 21139 | 8895 1517.22/1517.55 c 1511s | 17 | 707877 | 229032 | 629996 0 | 21139 | 8895 1519.62/1519.91 c 1514s | 17 | 708132 | 229232 | 629996 0 | 21139 | 8895 1521.81/1522.16 c 1516s | 17 | 708400 | 229432 | 629996 0 | 21139 | 8895 1524.32/1524.65 c 1519s | 17 | 708666 | 229632 | 629996 0 | 21139 | 8895 1526.52/1526.83 c 1521s | 17 | 708981 | 229832 | 629996 0 | 21139 | 8895 1528.61/1528.96 c 1523s | 17 | 709310 | 230032 | 629996 0 | 21139 | 8895 1530.61/1530.99 c 1525s | 17 | 709577 | 230232 | 629996 0 | 21139 | 8895 1532.80/1533.17 c 1527s | 17 | 710083 | 230532 | 629996 0 | 21139 | 8895 1535.00/1535.30 c 1529s | 17 | 710468 | 230732 | 629996 0 | 21139 | 8895 1537.80/1538.19 c 1532s | 17 | 710917 | 231032 | 629996 0 | 21139 | 8895 1541.10/1541.48 c 1535s | 17 | 711362 | 231332 | 629996 0 | 21139 | 8895 1543.80/1544.11 c 1538s | 17 | 711786 | 231632 | 629996 0 | 21139 | 8895 1545.90/1546.29 c 1540s | 17 | 712095 | 231832 | 629996 0 | 21139 | 8895 1548.30/1548.64 c 1543s | 17 | 712414 | 232032 | 629996 0 | 21139 | 8895 1550.81/1551.15 c 1545s | 17 | 712849 | 232332 | 629996 0 | 21139 | 8895 1553.79/1554.13 c 1548s | 17 | 713337 | 232632 | 629996 0 | 21139 | 8895 1555.99/1556.33 c 1550s | 17 | 713683 | 232832 | 629996 0 | 21139 | 8895 1558.29/1558.67 c 1553s | 17 | 714137 | 233132 | 629996 0 | 21139 | 8895 1560.89/1561.27 c 1555s | 17 | 714652 | 233432 | 629996 0 | 21139 | 8895 1563.39/1563.78 c 1558s | 17 | 715200 | 233732 | 629996 0 | 21139 | 8895 1565.59/1565.90 c 1560s | 17 | 715517 | 233932 | 629996 0 | 21139 | 8895 1568.29/1568.67 c 1563s | 17 | 715920 | 234232 | 629996 0 | 21139 | 8895 1570.39/1570.74 c 1565s | 17 | 716193 | 234432 | 629996 0 | 21139 | 8895 1572.69/1573.09 c 1567s | 17 | 716510 | 234632 | 629996 0 | 21139 | 8895 1575.18/1575.57 c 1569s | 17 | 716782 | 234832 | 629996 0 | 21139 | 8895 1577.28/1577.61 c 1572s | 17 | 717136 | 235032 | 629996 0 | 21139 | 8895 1579.48/1579.84 c 1574s | 17 | 717403 | 235232 | 629996 0 | 21139 | 8895 1581.78/1582.17 c 1576s | 17 | 717717 | 235432 | 629996 0 | 21139 | 8895 1583.98/1584.34 c 1578s | 17 | 717974 | 235632 | 629996 0 | 21139 | 8895 1586.88/1587.22 c 1581s | 17 | 718366 | 235932 | 629996 0 | 21139 | 8895 1588.88/1589.26 c 1583s | 17 | 718679 | 236132 | 629996 0 | 21139 | 8895 1591.18/1591.51 c 1585s | 17 | 718935 | 236332 | 629996 0 | 21139 | 8895 1593.28/1593.66 c 1588s | 17 | 719195 | 236532 | 629996 0 | 21139 | 8895 1595.28/1595.69 c 1590s | 17 | 719501 | 236732 | 629996 0 | 21139 | 8895 1597.68/1598.03 c 1592s | 17 | 719784 | 236932 | 629996 0 | 21139 | 8895 1600.18/1600.60 c 1595s | 17 | 720045 | 237132 | 629996 0 | 21139 | 8895 1603.37/1603.75 c 1598s | 17 | 720461 | 237432 | 629996 0 | 21139 | 8895 1606.27/1606.60 c 1601s | 17 | 720717 | 237632 | 629996 0 | 21139 | 8895 1608.87/1609.20 c 1603s | 17 | 720984 | 237832 | 629996 0 | 21139 | 8895 1611.18/1611.55 c 1605s | 17 | 721248 | 238032 | 629996 0 | 21139 | 8895 1613.57/1613.94 c 1608s | 17 | 721562 | 238232 | 629996 0 | 21139 | 8895 1616.27/1616.68 c 1611s | 17 | 721824 | 238432 | 629996 0 | 21139 | 8895 1619.27/1619.69 c 1614s | 17 | 722231 | 238732 | 629996 0 | 21139 | 8895 1622.36/1622.71 c 1617s | 17 | 722522 | 238932 | 629996 0 | 21139 | 8895 1624.86/1625.27 c 1619s | 17 | 722779 | 239132 | 629996 0 | 21139 | 8895 1627.26/1627.65 c 1622s | 17 | 723018 | 239332 | 629996 0 | 21139 | 8895 1629.97/1630.35 c 1624s | 17 | 723296 | 239532 | 629996 0 | 21139 | 8895 1632.76/1633.16 c 1627s | 17 | 723553 | 239732 | 629996 0 | 21139 | 8895 1635.46/1635.89 c 1630s | 17 | 723814 | 239932 | 629996 0 | 21139 | 8895 1638.36/1638.73 c 1633s | 17 | 724083 | 240132 | 629996 0 | 21139 | 8895 1640.46/1640.88 c 1635s | 17 | 724349 | 240332 | 629996 0 | 21139 | 8895 1642.55/1642.91 c 1637s | 17 | 724616 | 240532 | 629996 0 | 21139 | 8895 1644.55/1644.93 c 1639s | 17 | 724875 | 240732 | 629996 0 | 21139 | 8895 1646.65/1647.10 c 1641s | 17 | 725225 | 240932 | 629996 0 | 21139 | 8895 1649.25/1649.66 c 1644s | 17 | 725479 | 241132 | 629996 0 | 21139 | 8895 1652.15/1652.53 c 1646s | 17 | 725908 | 241432 | 629996 0 | 21139 | 8895 1654.35/1654.72 c 1649s | 17 | 726157 | 241632 | 629996 0 | 21139 | 8895 1656.95/1657.32 c 1651s | 17 | 726439 | 241832 | 629996 0 | 21139 | 8895 1659.14/1659.59 c 1654s | 17 | 726804 | 242032 | 629996 0 | 21139 | 8895 1661.94/1662.35 c 1656s | 17 | 727313 | 242332 | 629996 0 | 21139 | 8895 1664.14/1664.52 c 1658s | 17 | 727750 | 242532 | 629996 0 | 21139 | 8895 1666.64/1667.09 c 1661s | 17 | 728078 | 242732 | 629996 0 | 21139 | 8895 1669.24/1669.60 c 1664s | 17 | 728366 | 242932 | 629996 0 | 21139 | 8895 1672.13/1672.58 c 1667s | 17 | 728628 | 243132 | 629996 0 | 21139 | 8895 1674.83/1675.20 c 1669s | 17 | 728908 | 243332 | 629996 0 | 21139 | 8895 1677.14/1677.53 c 1671s | 17 | 729186 | 243532 | 629996 0 | 21139 | 8895 1680.14/1680.59 c 1675s | 17 | 729479 | 243732 | 629996 0 | 21139 | 8895 1683.14/1683.56 c 1677s | 17 | 729737 | 243932 | 629996 0 | 21139 | 8895 1685.84/1686.23 c 1680s | 17 | 730002 | 244132 | 629996 0 | 21139 | 8895 1689.04/1689.49 c 1683s | 17 | 730253 | 244332 | 629996 0 | 21139 | 8895 1691.63/1692.06 c 1686s | 17 | 730531 | 244532 | 629996 0 | 21139 | 8895 1693.74/1694.15 c 1688s | 17 | 730860 | 244732 | 629996 0 | 21139 | 8895 1696.73/1697.13 c 1691s | 17 | 731128 | 244932 | 629996 0 | 21139 | 8895 1699.53/1699.92 c 1694s | 17 | 731571 | 245232 | 629996 0 | 21139 | 8895 1702.33/1702.76 c 1697s | 17 | 731994 | 245532 | 629996 0 | 21139 | 8895 1705.23/1705.68 c 1700s | 17 | 732386 | 245832 | 629996 0 | 21139 | 8895 1707.73/1708.18 c 1702s | 17 | 732885 | 246132 | 629996 0 | 21139 | 8895 1710.43/1710.81 c 1705s | 17 | 733339 | 246432 | 629996 0 | 21139 | 8895 1712.63/1713.02 c 1707s | 17 | 733598 | 246632 | 629996 0 | 21139 | 8895 1714.83/1715.27 c 1709s | 17 | 733912 | 246832 | 629996 0 | 21139 | 8895 1717.83/1718.24 c 1712s | 17 | 734153 | 247032 | 629996 0 | 21139 | 8895 1721.42/1721.80 c 1716s | 17 | 734386 | 247232 | 629996 0 | 21139 | 8895 1724.22/1724.68 c 1719s | 17 | 734784 | 247532 | 629996 0 | 21139 | 8895 1726.82/1727.29 c 1721s | 17 | 735009 | 247732 | 629996 0 | 21139 | 8895 1729.22/1729.62 c 1724s | 17 | 735294 | 247932 | 629996 0 | 21139 | 8895 1732.02/1732.49 c 1726s | 17 | 735575 | 248132 | 629996 0 | 21139 | 8895 1735.02/1735.44 c 1729s | 17 | 735848 | 248332 | 629996 0 | 21139 | 8895 1737.32/1737.71 c 1732s | 17 | 736138 | 248532 | 629996 0 | 21139 | 8895 1739.93/1740.39 c 1734s | 17 | 736587 | 248832 | 629996 0 | 21139 | 8895 1742.03/1742.46 c 1736s | 17 | 736948 | 249032 | 629996 0 | 21139 | 8895 1744.52/1744.97 c 1739s | 17 | 737227 | 249232 | 629996 0 | 21139 | 8895 1747.22/1747.62 c 1742s | 17 | 737504 | 249432 | 629996 0 | 21139 | 8895 1750.32/1750.77 c 1745s | 17 | 737877 | 249732 | 629996 0 | 21139 | 8895 1752.82/1753.26 c 1747s | 17 | 738139 | 249932 | 629996 0 | 21139 | 8895 1755.82/1756.22 c 1750s | 17 | 738543 | 250232 | 629996 0 | 21139 | 8895 1758.72/1759.19 c 1753s | 17 | 738836 | 250432 | 629996 0 | 21139 | 8895 1761.72/1762.20 c 1756s | 17 | 739087 | 250632 | 629996 0 | 21139 | 8895 1765.12/1765.54 c 1759s | 17 | 739336 | 250832 | 629996 0 | 21139 | 8895 1767.92/1768.35 c 1762s | 17 | 739578 | 251032 | 629996 0 | 21139 | 8895 1770.32/1770.79 c 1765s | 17 | 739811 | 251232 | 629996 0 | 21139 | 8895 1772.61/1773.07 c 1767s | 17 | 740073 | 251432 | 629996 0 | 21139 | 8895 1774.91/1775.35 c 1769s | 17 | 740325 | 251632 | 629996 0 | 21139 | 8895 1777.41/1777.87 c 1772s | 17 | 740582 | 251832 | 629996 0 | 21139 | 8895 1780.41/1780.84 c 1775s | 17 | 740855 | 252032 | 629996 0 | 21139 | 8895 1783.21/1783.68 c 1778s | 17 | 741091 | 252232 | 629996 0 | 21139 | 8895 1786.61/1787.02 c 1781s | 17 | 741341 | 252432 | 629996 0 | 21139 | 8895 1789.51/1789.97 c 1784s | 17 | 741595 | 252632 | 629996 0 | 21139 | 8895 1792.61/1793.01 c 1787s | 17 | 741878 | 252832 | 629996 0 | 21139 | 8895 1795.60/1796.08 c 1790s | 17 | 742136 | 253032 | 629996 0 | 21139 | 8895 1798.40/1798.89 c 1793s | 17 | 742469 | 253232 | 629996 0 | 21139 | 8895
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-4103977-1466239814/watcher-4103977-1466239814 -o /tmp/evaluation-result-4103977-1466239814/solver-4103977-1466239814 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103977-1466239814.opb pid=22059 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.15 2.10 2.09 3/180 22062 /proc/meminfo: memFree=30582280/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=642628 CPUtime=0 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 2385 0 0 0 0 0 0 0 20 0 4 0 26031377 658051072 2236 33554432000 4194304 16246674 140735791338704 140735791338128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 161169 2246 442 2943 0 158063 0 [pid=22062/tid=22063] ppid=22059 vsize=660036 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 675876864 2306 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=664132 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26031377 680071168 2322 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=669252 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26031377 685314048 2339 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100168 s] /proc/loadavg: 2.15 2.10 2.09 3/180 22062 /proc/meminfo: memFree=30582280/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1303108 CPUtime=0.09 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 32023 0 0 0 5 4 0 0 20 0 4 0 26031377 1334382592 31812 33554432000 4194304 16246674 140735791338704 140735791338016 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 325777 31827 800 2943 0 322671 0 [pid=22062/tid=22063] ppid=22059 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1334382592 31839 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26031377 1334382592 31850 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1334382592 31862 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1303108 [startup+0.200546 s] /proc/loadavg: 2.15 2.10 2.09 3/180 22062 /proc/meminfo: memFree=30582280/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1312324 CPUtime=0.18 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 44559 0 0 0 13 5 0 0 20 0 4 0 26031377 1343819776 44858 33554432000 4194304 16246674 140735791338704 140735791338016 8056944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 328081 44858 800 2943 0 324975 0 [pid=22062/tid=22063] ppid=22059 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1343819776 44858 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26031377 1343819776 44858 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1343819776 44858 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1312324 [startup+0.300506 s] /proc/loadavg: 2.15 2.10 2.09 3/180 22062 /proc/meminfo: memFree=30582280/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1312324 CPUtime=0.28 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 52088 0 0 0 22 6 0 0 20 0 4 0 26031377 1343819776 52387 33554432000 4194304 16246674 140735791338704 140735791338016 7853005 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 328081 52406 801 2943 0 324975 0 [pid=22062/tid=22063] ppid=22059 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1343819776 52418 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26031377 1343819776 52428 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1343819776 52439 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1312324 [startup+0.700428 s] /proc/loadavg: 2.15 2.10 2.09 3/180 22062 /proc/meminfo: memFree=30582280/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1312324 CPUtime=0.69 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 66421 0 0 0 61 8 0 0 20 0 4 0 26031377 1343819776 66720 33554432000 4194304 16246674 140735791338704 140735791338016 7376992 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 328081 66720 803 2943 0 324975 0 [pid=22062/tid=22063] ppid=22059 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1343819776 66720 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26031377 1343819776 66720 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1343819776 66720 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1312324 [startup+1.50043 s] /proc/loadavg: 2.15 2.10 2.09 3/184 22066 /proc/meminfo: memFree=30267956/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1324612 CPUtime=1.49 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 93403 0 0 0 137 12 0 0 20 0 4 0 26031377 1356402688 96257 33554432000 4194304 16246674 140735791338704 140735791321696 4207667 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 331153 96257 808 2943 0 328047 0 [pid=22062/tid=22063] ppid=22059 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1356402688 96257 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26031377 1356402688 96257 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1356402688 96257 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1324612 [startup+3.10043 s] /proc/loadavg: 2.15 2.10 2.09 3/184 22066 /proc/meminfo: memFree=29850444/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1404484 CPUtime=3.09 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 284856 0 0 0 268 41 0 0 20 0 4 0 26031377 1438191616 288221 33554432000 4194304 16246674 140735791338704 140735791320576 12478249 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 351121 288221 837 2943 0 348015 0 [pid=22062/tid=22063] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 288221 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 288221 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 288221 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1404484 [startup+6.30043 s] /proc/loadavg: 2.13 2.10 2.09 3/184 22066 /proc/meminfo: memFree=29414596/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1404484 CPUtime=6.29 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 288732 0 0 0 587 42 0 0 20 0 4 0 26031377 1438191616 292097 33554432000 4194304 16246674 140735791338704 140735791320576 5669371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 351121 292097 891 2943 0 348015 0 [pid=22062/tid=22063] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292097 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292097 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292097 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1404484 [startup+12.7004 s] /proc/loadavg: 2.12 2.10 2.09 3/184 22066 /proc/meminfo: memFree=29414980/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1404484 CPUtime=12.69 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 288736 0 0 0 1227 42 0 0 20 0 4 0 26031377 1438191616 292101 33554432000 4194304 16246674 140735791338704 140735791320576 5667556 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 351121 292101 894 2943 0 348015 0 [pid=22062/tid=22063] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292101 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292101 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292101 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1404484 [startup+25.5005 s] /proc/loadavg: 2.10 2.09 2.09 3/184 22066 /proc/meminfo: memFree=29415484/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1404484 CPUtime=25.49 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 288736 0 0 0 2507 42 0 0 20 0 4 0 26031377 1438191616 292101 33554432000 4194304 16246674 140735791338704 140735791320576 5585536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 351121 292101 894 2943 0 348015 0 [pid=22062/tid=22063] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292101 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292101 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292101 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1404484 [startup+51.1005 s] /proc/loadavg: 2.06 2.08 2.09 3/183 22066 /proc/meminfo: memFree=29415588/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1404484 CPUtime=51.08 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 288739 0 0 0 5066 42 0 0 20 0 4 0 26031377 1438191616 292104 33554432000 4194304 16246674 140735791338704 140735791336512 13820864 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 351121 292104 894 2943 0 348015 0 [pid=22062/tid=22063] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292104 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292104 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292104 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1404484 [startup+102.3 s] /proc/loadavg: 2.09 2.08 2.09 3/183 22068 /proc/meminfo: memFree=29415232/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1404484 CPUtime=102.28 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 288743 0 0 0 10186 42 0 0 20 0 4 0 26031377 1438191616 292108 33554432000 4194304 16246674 140735791338704 140735791320576 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 351121 292108 898 2943 0 348015 0 [pid=22062/tid=22063] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292108 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292108 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292108 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1404484 ################ # More data... # ################ /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292109 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 1404484 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.02 3/183 22120 /proc/meminfo: memFree=26404812/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1404484 CPUtime=1302.09 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 288744 0 0 0 130164 45 0 0 20 0 4 0 26031377 1438191616 292109 33554432000 4194304 16246674 140735791338704 140735791320576 5662863 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 351121 292109 898 2943 0 348015 0 [pid=22062/tid=22063] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292109 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292109 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292109 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1404484 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.02 3/183 22171 /proc/meminfo: memFree=29375256/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1404484 CPUtime=1362.08 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 288744 0 0 0 136162 46 0 0 20 0 4 0 26031377 1438191616 292109 33554432000 4194304 16246674 140735791338704 140735791320576 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 351121 292109 898 2943 0 348015 0 [pid=22062/tid=22063] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292109 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292109 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1438191616 292109 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1404484 [startup+1422.3 s] /proc/loadavg: 2.03 2.02 2.02 3/183 22172 /proc/meminfo: memFree=29149824/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1556036 CPUtime=1422.07 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 326615 0 0 0 142157 50 0 0 20 0 4 0 26031377 1593380864 330209 33554432000 4194304 16246674 140735791338704 140735791320576 4220850 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 389009 330209 898 2943 0 385903 0 [pid=22062/tid=22063] ppid=22059 vsize=1556036 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1593380864 330209 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1556036 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26031377 1593380864 330209 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1556036 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1593380864 330209 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 1556036 [startup+1482.3 s] /proc/loadavg: 2.06 2.03 2.02 3/183 22173 /proc/meminfo: memFree=29111364/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1556036 CPUtime=1482.03 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 326648 0 0 0 148153 50 0 0 20 0 4 0 26031377 1593380864 330209 33554432000 4194304 16246674 140735791338704 140735791320576 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 389009 330209 898 2943 0 385903 0 [pid=22062/tid=22063] ppid=22059 vsize=1556036 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1593380864 330209 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1556036 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26031377 1593380864 330209 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1556036 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1593380864 330209 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 1556036 [startup+1542.31 s] /proc/loadavg: 2.10 2.04 2.02 3/183 22174 /proc/meminfo: memFree=28567760/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1735236 CPUtime=1542.01 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 371406 0 0 0 154144 57 0 0 20 0 4 0 26031377 1776881664 374931 33554432000 4194304 16246674 140735791338704 140735791320576 5822275 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 433809 374931 898 2943 0 430703 0 [pid=22062/tid=22063] ppid=22059 vsize=1735236 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1776881664 374931 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1735236 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26031377 1776881664 374931 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1735236 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1776881664 374931 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 1735236 [startup+1602.3 s] /proc/loadavg: 2.04 2.03 2.01 3/183 22175 /proc/meminfo: memFree=28568000/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1735236 CPUtime=1601.97 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 371438 0 0 0 160140 57 0 0 20 0 4 0 26031377 1776881664 374931 33554432000 4194304 16246674 140735791338704 140735791320576 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 433809 374931 898 2943 0 430703 0 [pid=22062/tid=22063] ppid=22059 vsize=1735236 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1776881664 374931 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1735236 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26031377 1776881664 374931 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1735236 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1776881664 374931 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.97 Current children cumulated vsize (KiB) 1735236 [startup+1662.3 s] /proc/loadavg: 2.06 2.04 2.01 3/183 22177 /proc/meminfo: memFree=28239028/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1735236 CPUtime=1661.94 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 371473 0 0 0 166137 57 0 0 20 0 4 0 26031377 1776881664 374931 33554432000 4194304 16246674 140735791338704 140735791320576 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 433809 374931 898 2943 0 430703 0 [pid=22062/tid=22063] ppid=22059 vsize=1735236 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1776881664 374931 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1735236 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26031377 1776881664 374931 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1735236 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1776881664 374931 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.94 Current children cumulated vsize (KiB) 1735236 [startup+1722.3 s] /proc/loadavg: 2.02 2.03 2.00 3/183 22178 /proc/meminfo: memFree=28070500/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1808964 CPUtime=1721.92 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 389863 0 0 0 172132 60 0 0 20 0 4 0 26031377 1852379136 393297 33554432000 4194304 16246674 140735791338704 140735791320576 6836953 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 452241 393297 898 2943 0 449135 0 [pid=22062/tid=22063] ppid=22059 vsize=1808964 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1852379136 393297 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1808964 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26031377 1852379136 393297 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1808964 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1852379136 393297 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 1808964 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 22179 /proc/meminfo: memFree=28596660/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1808964 CPUtime=1781.91 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 389876 0 0 0 178131 60 0 0 20 0 4 0 26031377 1852379136 393297 33554432000 4194304 16246674 140735791338704 140735791320576 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 452241 393297 898 2943 0 449135 0 [pid=22062/tid=22063] ppid=22059 vsize=1808964 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1852379136 393297 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1808964 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26031377 1852379136 393297 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1808964 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1852379136 393297 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1808964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.02 2.00 3/184 22182 /proc/meminfo: memFree=28596968/32872528 swapFree=163656/177964 [pid=22062] ppid=22059 vsize=1808964 CPUtime=1800 cores=1,3,5,7 /proc/22062/stat : 22062 (toysat) R 22059 22062 20760 0 -1 4202496 389881 0 0 0 179940 60 0 0 20 0 4 0 26031377 1852379136 393297 33554432000 4194304 16246674 140735791338704 140735791320576 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22062/statm: 452241 393297 898 2943 0 449135 0 [pid=22062/tid=22063] ppid=22059 vsize=1808964 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22063/stat : 22063 (toysat) S 22059 22062 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26031377 1852379136 393297 33554432000 4194304 16246674 140735791338704 140050231700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22062/tid=22064] ppid=22059 vsize=1808964 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22064/stat : 22064 (toysat) S 22059 22062 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26031377 1852379136 393297 33554432000 4194304 16246674 140735791338704 140050221210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22062/tid=22065] ppid=22059 vsize=1808964 CPUtime=0 cores=1,3,5,7 /proc/22062/task/22065/stat : 22065 (toysat) S 22059 22062 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26031377 1852379136 393297 33554432000 4194304 16246674 140735791338704 140050210737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1808964 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 22062 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.46 CPU time (s): 1800.06 CPU user time (s): 1799.41 CPU system time (s): 0.6539 CPU usage (%): 99.9783 Max. virtual memory (cumulated for all children) (KiB): 1808964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.41 system time used= 0.6539 maximum resident set size= 1573188 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 389881 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= 247 involuntary context switches= 1867 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.54431 second user time and 6.96694 second system time The end
Begin job on node105 at 2016-06-18 10:50:14 IDJOB=4103977 IDBENCH=2522 IDSOLVER=2542 FILE ID=node105/4103977-1466239814 RUNJOBID= node105-1466229502-20777 PBS_JOBID= 19918174 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103977-1466239814/watcher-4103977-1466239814 -o /tmp/evaluation-result-4103977-1466239814/solver-4103977-1466239814 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103977-1466239814.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= af54d857fe3562002a714e0fbd74a69a RANDOM SEED=735837949 node105.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.561 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.12 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.561 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.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30582848 kB Buffers: 92700 kB Cached: 198448 kB SwapCached: 1664 kB Active: 1180512 kB Inactive: 193912 kB Active(anon): 1081136 kB Inactive(anon): 4408 kB Active(file): 99376 kB Inactive(file): 189504 kB Unevictable: 177964 kB Mlocked: 163656 kB SwapTotal: 67108856 kB SwapFree: 67097160 kB Dirty: 25428 kB Writeback: 24 kB AnonPages: 1260836 kB Mapped: 10608 kB Shmem: 0 kB Slab: 604156 kB SReclaimable: 47396 kB SUnreclaim: 556760 kB KernelStack: 1480 kB PageTables: 6584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1403932 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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= 71700 MiB End job on node105 at 2016-06-18 11:20:15