| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.51 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl.opb |
| MD5SUM | 70ea01a607f0d01f6199fb93098b84d8 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 34.5587 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 77106 |
| Total number of constraints | 218779 |
| Number of constraints which are clauses | 205559 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 13220 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 129 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 510 |
| Number of bits of the biggest sum of numbers | 9 |
| 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-18T01:29:17+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-4099690-1466206157.opb"] 0.00/0.01 c use --random-gen="3525612691 248322629 381882997 3920236395 4121892798 3414849669 1116267937 411150986 2554486181 2473161802 1444581139 884723771 2713242058 3769293471 2567908514 807856487 3164265038 2729032465 1116050746 3790889615 2777574969 2954587114 3837711406 1582220916 3771771027 1143846696 260680942 994206256 239024917 1027003008 3452454511 731815176 2880541424 3190511178 4074182853 3238220630 1429164147 748420504 3380521328 3350543789 2334593346 2137384309 3988340840 3955691819 2644250437 1647036762 984573541 3412804453 1640585655 91444395 594867614 2461357514 2664780204 3737028493 3368897859 955292778 2254067568 3547084050 1095977128 1007667734 1202084795 3059790483 1996025820 673822088 1830101933 1841619196 1236265155 2464213057 2971349142 2186734501 1851957110 1462782439 2617210117 2669263967 2191508646 3413608995 2908956430 3778807325 1557018502 1898351553 3137203105 1883236956 1240822262 1500987974 3915202732 1433133649 3216259154 628467526 4173629370 1683967621 1236227950 630577131 1020264407 4162646786 454864816 2192003075 454532823 208812978 3162111695 2386455335 354392536 466948097 718370924 1623918775 1007967116 1772374136 3205304926 645411811 4259997698 2225320630 763244794 822523220 2715499120 3955711476 3563874267 898360005 2753106123 1084859003 3467547085 2520042617 2769610563 2880568085 2432694656 355572841 1140434788 1030521619 2105880192 2208990434 41847563 1297106609 683172600 2388227395 3712141843 1547561912 4109377302 746785821 4049171186 534859805 1956574949 2088069635 3389697322 2569550241 1223520200 505070690 3573778448 1733935226 2317293780 3584037114 291827972 3524484164 2192001583 2443241547 1327831190 3517561958 863718579 2251942434 1323064953 802617300 2639188611 1262816370 3558089663 2945896909 3003431287 705644608 3469791145 3262907831 2228427165 3837449407 1841843529 498328148 3530783184 3552704636 606184745 1142480128 2540284625 2809247758 3867660519 3795940743 3468050352 2212352375 813042567 3790440626 3688755497 2836841247 4230189878 1590674025 775133303 3444652233 2925775593 3698673381 2844283706 1990395130 2121633959 4023930093 784164939 1398303254 4001201799 2925421090 3425498240 2486388148 2272926938 1532102709 1450543159 1830562857 1652561467 378075665 807357333 1829910844 1269210128 3709541499 1217673228 1412487893 4016069966 2880928227 3326149336 343209585 983480442 2763381782 500119765 3691729116 3313034218 1536246276 706561134 106501762 3982394734 2560998687 3073524440 1782240399 3219847323 3617365312 2913257323 906277541 1703327160 3954359432 3240237671 3753247987 3952870158 3494360792 2379125299 1624648573 2204741609 3050050811 2304410604 234302258 3354491486 207764824 1395697747 4007471236 393863636 634586268 3619408424 1939577286 3640498757 1616735672 463695921 4046176572 255 362436" option to reproduce the execution 1.39/1.47 c #vars 77106 1.39/1.47 c #constraints 218779 4.89/4.93 c Solving starts ... 4.89/4.93 c ============================[ Search Statistics ]============================ 4.89/4.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.89/4.93 c | | | | Limit GC | Var | Constra 4.89/4.93 c ============================================================================= 4.99/5.09 c 0.0s | 0 | 0 | 0 | 98628 0 | 2620 | 0 8.28/8.30 c 3.2s | 0 | 4527 | 100 | 98628 0 | 2621 | 7479 8.28/8.36 c 3.3s | 1 | 4527 | 100 | 98628 0 | 2621 | 7479 9.28/9.36 c 4.3s | 2 | 6888 | 250 | 108491 0 | 2622 | 7483 11.28/11.35 c 6.3s | 3 | 8431 | 475 | 119341 0 | 2622 | 7483 12.98/13.03 c 7.9s | 4 | 9601 | 813 | 131276 0 | 2622 | 7483 15.49/15.56 c 10.5s | 4 | 14896 | 1313 | 144404 0 | 2622 | 7483 15.59/15.61 c 10.5s | 5 | 14940 | 1320 | 144404 0 | 2622 | 7483 17.18/17.25 c 12.2s | 6 | 17260 | 2081 | 174730 0 | 2622 | 7483 18.98/19.03 c 13.9s | 7 | 19307 | 3223 | 192204 0 | 2622 | 7483 21.28/21.33 c 16.2s | 7 | 21026 | 3723 | 192204 0 | 2622 | 7483 23.58/23.61 c 18.5s | 7 | 38107 | 4223 | 192204 0 | 2622 | 7483 25.98/26.08 c 21.0s | 7 | 59105 | 4723 | 192204 0 | 2622 | 7483 26.98/27.04 c 22.0s | 8 | 66056 | 4936 | 211425 0 | 2622 | 7483 28.98/29.08 c 24.0s | 8 | 68629 | 5636 | 211425 0 | 2867 | 8317 30.78/30.90 c 25.8s | 9 | 71960 | 7506 | 232568 0 | 2867 | 8317 32.98/33.01 c 27.9s | 9 | 73198 | 7806 | 232568 0 | 2867 | 8317 35.18/35.27 c 30.2s | 9 | 74459 | 8506 | 232568 0 | 2867 | 8317 37.38/37.43 c 32.3s | 9 | 75338 | 9006 | 232568 0 | 2867 | 8317 39.48/39.52 c 34.4s | 9 | 75885 | 9306 | 232568 0 | 2867 | 8317 41.68/41.72 c 36.6s | 9 | 76734 | 9706 | 232568 0 | 2867 | 8317 43.98/44.09 c 39.0s | 9 | 77783 | 10106 | 232568 0 | 2867 | 8317 45.58/45.62 c 40.5s | 10 | 80287 | 11361 | 255825 0 | 2867 | 8317 47.58/47.65 c 42.6s | 10 | 81687 | 11661 | 255825 0 | 2867 | 8317 49.59/49.66 c 44.6s | 10 | 82285 | 11861 | 255825 0 | 2867 | 8317 51.68/51.73 c 46.6s | 10 | 82990 | 12061 | 255825 0 | 2867 | 8317 54.38/54.41 c 49.3s | 10 | 84284 | 12361 | 255825 0 | 2867 | 8317 56.68/56.70 c 51.6s | 10 | 87108 | 13061 | 255825 0 | 2867 | 8317 58.88/58.96 c 53.9s | 10 | 108562 | 13861 | 255825 0 | 2867 | 8317 60.98/61.03 c 55.9s | 10 | 127226 | 14661 | 255825 0 | 2867 | 8317 63.28/63.38 c 58.3s | 10 | 139148 | 15261 | 255825 0 | 2867 | 8317 65.58/65.66 c 60.6s | 10 | 140060 | 15561 | 255825 0 | 2867 | 8317 67.87/67.95 c 62.9s | 10 | 141294 | 15961 | 255825 0 | 2867 | 8317 69.87/69.99 c 64.9s | 10 | 142468 | 16261 | 255825 0 | 2867 | 8317 72.37/72.46 c 67.4s | 10 | 143936 | 16661 | 255825 0 | 2867 | 8317 74.57/74.69 c 69.6s | 10 | 144440 | 16861 | 255825 0 | 2867 | 8317 77.18/77.21 c 72.1s | 11 | 145354 | 17144 | 281408 0 | 2867 | 8317 79.17/79.29 c 74.2s | 11 | 150492 | 18844 | 281408 0 | 2867 | 8317 81.27/81.33 c 76.2s | 11 | 155971 | 20544 | 281408 0 | 2867 | 8317 83.37/83.48 c 78.4s | 11 | 161710 | 21944 | 281408 0 | 2867 | 8317 85.47/85.57 c 80.5s | 11 | 167458 | 23344 | 281408 0 | 2867 | 8317 87.77/87.86 c 82.8s | 11 | 171316 | 24444 | 281408 0 | 2867 | 8317 90.07/90.11 c 85.0s | 11 | 173184 | 24944 | 281408 0 | 2867 | 8317 91.87/91.92 c 86.8s | 12 | 174647 | 25819 | 309549 0 | 2867 | 8317 94.07/94.17 c 89.1s | 12 | 175521 | 26319 | 309549 0 | 2867 | 8317 96.67/96.72 c 91.6s | 12 | 177711 | 26819 | 309549 0 | 2867 | 8317 98.67/98.73 c 93.6s | 12 | 178569 | 27319 | 309549 0 | 2867 | 8317 100.77/100.80 c 95.7s | 12 | 180929 | 28219 | 309549 0 | 2867 | 8317 102.87/102.98 c 97.9s | 12 | 183214 | 29219 | 309549 0 | 2867 | 8317 104.97/105.07 c 100.0s | 12 | 185557 | 30219 | 309549 0 | 2867 | 8317 107.17/107.29 c 102s | 12 | 187299 | 30919 | 309549 0 | 2867 | 8317 109.57/109.64 c 104s | 12 | 188615 | 31519 | 309549 0 | 2867 | 8317 112.07/112.12 c 107s | 12 | 189614 | 32019 | 309549 0 | 2867 | 8317 114.37/114.43 c 109s | 12 | 191282 | 32619 | 309549 0 | 2867 | 8317 116.57/116.60 c 111s | 12 | 192318 | 33119 | 309549 0 | 2867 | 8317 118.77/118.87 c 113s | 12 | 193772 | 33819 | 309549 0 | 2867 | 8317 120.87/120.97 c 115s | 12 | 195193 | 34519 | 309549 0 | 2867 | 8317 122.97/123.05 c 117s | 12 | 196051 | 35019 | 309549 0 | 2867 | 8317 125.17/125.27 c 120s | 12 | 197065 | 35519 | 309549 0 | 2867 | 8317 127.67/127.71 c 122s | 12 | 197952 | 36019 | 309549 0 | 2867 | 8317 129.97/130.02 c 124s | 12 | 199096 | 36619 | 309549 0 | 2867 | 8317 132.07/132.16 c 127s | 12 | 199948 | 37119 | 309549 0 | 2867 | 8317 134.37/134.48 c 129s | 12 | 201092 | 37719 | 309549 0 | 2867 | 8317 136.58/136.66 c 131s | 12 | 202150 | 38319 | 309549 0 | 2867 | 8317 138.97/139.01 c 133s | 12 | 203607 | 38819 | 340504 0 | 2867 | 8317 138.97/139.06 c 133s | 13 | 203635 | 38832 | 340504 0 | 2867 | 8317 141.07/141.12 c 136s | 13 | 205998 | 39432 | 340504 0 | 2867 | 8317 143.18/143.24 c 138s | 13 | 208010 | 40232 | 340504 0 | 2867 | 8317 145.17/145.29 c 140s | 13 | 209276 | 40632 | 340504 0 | 2867 | 8317 147.87/147.93 c 142s | 13 | 210133 | 41032 | 340504 0 | 2867 | 8317 150.37/150.47 c 145s | 13 | 210851 | 41332 | 340504 0 | 2867 | 8317 152.67/152.79 c 147s | 13 | 211708 | 41732 | 340504 0 | 2867 | 8317 154.87/154.96 c 149s | 13 | 212726 | 42132 | 340504 0 | 2867 | 8317 156.97/157.00 c 151s | 13 | 214773 | 43132 | 340504 0 | 2867 | 8317 159.17/159.26 c 154s | 13 | 216676 | 43632 | 340504 0 | 2867 | 8317 161.37/161.40 c 156s | 13 | 219206 | 44332 | 340504 0 | 2867 | 8317 163.37/163.46 c 158s | 13 | 221441 | 44932 | 340504 0 | 2867 | 8317 165.57/165.68 c 160s | 13 | 223364 | 45732 | 340504 0 | 2867 | 8317 167.77/167.83 c 162s | 13 | 225158 | 46432 | 340504 0 | 2867 | 8317 170.07/170.17 c 165s | 13 | 226011 | 46932 | 340504 0 | 2867 | 8317 172.47/172.58 c 167s | 13 | 227160 | 47432 | 340504 0 | 2867 | 8317 174.77/174.82 c 169s | 13 | 228212 | 47832 | 340504 0 | 2867 | 8317 177.07/177.19 c 172s | 13 | 229415 | 48232 | 340504 0 | 2867 | 8317 179.27/179.37 c 174s | 13 | 229967 | 48532 | 340504 0 | 2867 | 8317 182.17/182.26 c 177s | 13 | 230901 | 48932 | 340504 0 | 2867 | 8317 184.57/184.69 c 179s | 13 | 232059 | 49332 | 340504 0 | 2867 | 8317 186.86/186.95 c 181s | 13 | 232734 | 49632 | 340504 0 | 2867 | 8317 188.86/188.97 c 183s | 13 | 233381 | 49932 | 340504 0 | 2867 | 8317 191.06/191.12 c 186s | 13 | 234344 | 50332 | 340504 0 | 2867 | 8317 193.67/193.79 c 188s | 13 | 235407 | 50732 | 340504 0 | 2867 | 8317 195.97/196.03 c 190s | 13 | 236427 | 51132 | 340504 0 | 2867 | 8317 198.46/198.50 c 193s | 13 | 237296 | 51532 | 340504 0 | 2867 | 8317 200.76/200.85 c 195s | 13 | 238327 | 52032 | 340504 0 | 2867 | 8317 203.26/203.38 c 198s | 13 | 238928 | 52332 | 340504 0 | 2867 | 8317 205.46/205.54 c 200s | 13 | 239727 | 52732 | 340504 0 | 2867 | 8317 207.76/207.80 c 202s | 13 | 240780 | 53132 | 340504 0 | 2867 | 8317 210.06/210.10 c 205s | 13 | 241611 | 53432 | 340504 0 | 2867 | 8317 212.06/212.15 c 207s | 13 | 242649 | 53832 | 340504 0 | 2867 | 8317 214.76/214.86 c 209s | 13 | 244515 | 54732 | 340504 0 | 2867 | 8317 216.96/217.08 c 211s | 13 | 245201 | 55032 | 340504 0 | 2867 | 8317 219.36/219.50 c 214s | 13 | 245865 | 55432 | 340504 0 | 2867 | 8317 221.76/221.81 c 216s | 13 | 247417 | 55932 | 340504 0 | 2867 | 8317 223.96/224.02 c 218s | 13 | 248542 | 56432 | 340504 0 | 2867 | 8317 226.76/226.88 c 221s | 13 | 249758 | 56832 | 340504 0 | 2867 | 8317 229.16/229.24 c 224s | 13 | 250532 | 57232 | 340504 0 | 2867 | 8317 231.96/232.00 c 226s | 13 | 251298 | 57632 | 340504 0 | 2867 | 8317 233.96/234.09 c 228s | 13 | 252486 | 58032 | 374555 0 | 2867 | 8317 235.76/235.89 c 230s | 14 | 253450 | 58352 | 374555 0 | 2867 | 8317 238.15/238.25 c 233s | 14 | 256643 | 58852 | 374555 0 | 2869 | 8323 240.75/240.84 c 235s | 14 | 258362 | 59352 | 374555 0 | 2869 | 8323 242.95/243.01 c 237s | 14 | 260471 | 59852 | 374555 0 | 2869 | 8323 245.85/245.92 c 240s | 14 | 262051 | 60252 | 374555 0 | 2869 | 8323 247.85/247.94 c 242s | 14 | 263348 | 60552 | 374555 0 | 2869 | 8323 249.86/249.98 c 244s | 14 | 264840 | 60852 | 374555 0 | 2869 | 8323 252.25/252.37 c 247s | 14 | 266226 | 61152 | 374555 0 | 2869 | 8323 254.85/254.95 c 249s | 14 | 267338 | 61452 | 374555 0 | 2869 | 8323 257.05/257.17 c 252s | 14 | 269006 | 61952 | 374555 0 | 2869 | 8323 259.66/259.80 c 254s | 14 | 271177 | 62452 | 374555 0 | 2869 | 8323 262.45/262.58 c 257s | 14 | 272118 | 62752 | 374555 0 | 2869 | 8323 265.05/265.10 c 260s | 14 | 272767 | 62952 | 374555 0 | 2869 | 8323 267.36/267.48 c 262s | 14 | 273406 | 63152 | 374555 0 | 2869 | 8323 270.95/271.05 c 265s | 14 | 274553 | 63452 | 374555 0 | 2869 | 8323 273.05/273.17 c 268s | 14 | 276352 | 63952 | 374555 0 | 2869 | 8323 275.45/275.50 c 270s | 14 | 277599 | 64352 | 374555 0 | 2869 | 8323 278.05/278.10 c 273s | 14 | 278448 | 64652 | 374555 0 | 2869 | 8323 280.05/280.15 c 275s | 14 | 279694 | 65052 | 374555 0 | 2869 | 8323 282.45/282.53 c 277s | 14 | 281862 | 65552 | 374555 0 | 2869 | 8323 285.05/285.16 c 280s | 14 | 283044 | 65952 | 374555 0 | 2869 | 8323 287.05/287.16 c 282s | 14 | 283573 | 66252 | 374555 0 | 2869 | 8323 289.65/289.77 c 284s | 14 | 284894 | 66652 | 374555 0 | 2869 | 8323 291.75/291.88 c 286s | 14 | 286458 | 67452 | 374555 0 | 2869 | 8323 293.95/294.01 c 288s | 14 | 289266 | 68752 | 374555 0 | 2869 | 8323 296.15/296.25 c 291s | 14 | 291804 | 69952 | 374555 0 | 2869 | 8323 298.25/298.31 c 293s | 14 | 294065 | 70852 | 374555 0 | 2869 | 8323 300.24/300.33 c 295s | 14 | 295937 | 71752 | 374555 0 | 2869 | 8323 302.34/302.41 c 297s | 14 | 298156 | 72752 | 374555 0 | 2869 | 8323 304.54/304.65 c 299s | 14 | 300236 | 73752 | 374555 0 | 2869 | 8323 306.64/306.73 c 301s | 14 | 301791 | 74652 | 374555 0 | 2869 | 8323 309.15/309.27 c 304s | 14 | 302580 | 75152 | 374555 0 | 2869 | 8323 311.35/311.46 c 306s | 14 | 303600 | 75752 | 374555 0 | 2869 | 8323 313.84/313.90 c 308s | 14 | 304316 | 76252 | 374555 0 | 2869 | 8323 316.04/316.11 c 311s | 14 | 305618 | 76852 | 374555 0 | 2869 | 8323 318.05/318.11 c 313s | 14 | 306841 | 77352 | 374555 0 | 2869 | 8323 320.04/320.19 c 315s | 14 | 308248 | 77952 | 374555 0 | 2869 | 8323 322.35/322.48 c 317s | 14 | 309372 | 78552 | 374555 0 | 2869 | 8323 324.74/324.86 c 319s | 14 | 310673 | 79052 | 374555 0 | 2869 | 8323 326.85/326.94 c 321s | 14 | 311686 | 79552 | 374555 0 | 2869 | 8323 329.14/329.24 c 324s | 14 | 313548 | 80152 | 374555 0 | 2869 | 8323 331.44/331.58 c 326s | 14 | 315939 | 80752 | 374555 0 | 2869 | 8323 333.54/333.69 c 328s | 14 | 317246 | 81152 | 374555 0 | 2869 | 8323 335.84/335.91 c 330s | 14 | 319286 | 81652 | 374555 0 | 2869 | 8323 338.04/338.18 c 333s | 14 | 321058 | 82052 | 374555 0 | 2869 | 8323 340.24/340.35 c 335s | 14 | 323527 | 82852 | 374555 0 | 2869 | 8323 342.44/342.51 c 337s | 14 | 325082 | 83452 | 374555 0 | 2869 | 8323 344.44/344.55 c 339s | 14 | 326537 | 83952 | 374555 0 | 2869 | 8323 347.94/348.04 c 342s | 14 | 328863 | 84752 | 374555 0 | 2869 | 8323 350.54/350.67 c 345s | 14 | 329472 | 85052 | 374555 0 | 2869 | 8323 353.04/353.17 c 348s | 14 | 330451 | 85252 | 374555 0 | 2869 | 8323 355.14/355.25 c 350s | 14 | 331106 | 85452 | 374555 0 | 2869 | 8323 357.23/357.30 c 352s | 14 | 331542 | 85752 | 374555 0 | 2869 | 8323 359.84/359.97 c 354s | 14 | 332102 | 86052 | 374555 0 | 2869 | 8323 361.83/361.98 c 356s | 14 | 333242 | 86652 | 374555 0 | 2869 | 8323 364.03/364.11 c 359s | 14 | 334215 | 87052 | 412011 0 | 2869 | 8323 366.44/366.51 c 361s | 14 | 334866 | 87352 | 412011 0 | 2869 | 8323 368.54/368.61 c 363s | 15 | 335960 | 87632 | 412011 0 | 2869 | 8323 370.63/370.76 c 365s | 15 | 337748 | 87932 | 412011 0 | 2869 | 8323 372.83/372.90 c 367s | 15 | 339912 | 88432 | 412011 0 | 2869 | 8323 375.14/375.29 c 370s | 15 | 342469 | 89032 | 412011 0 | 2869 | 8323 377.53/377.61 c 372s | 15 | 344575 | 89632 | 412011 0 | 2869 | 8323 379.73/379.80 c 374s | 15 | 346023 | 90232 | 412011 0 | 2869 | 8323 382.03/382.16 c 377s | 15 | 347209 | 90832 | 412011 0 | 2869 | 8323 384.23/384.39 c 379s | 15 | 347731 | 91232 | 412011 0 | 2869 | 8323 386.43/386.58 c 381s | 15 | 349352 | 91832 | 412011 0 | 2869 | 8323 388.63/388.78 c 383s | 15 | 350803 | 92432 | 412011 0 | 2869 | 8323 390.73/390.89 c 385s | 15 | 351817 | 92932 | 412011 0 | 2869 | 8323 393.13/393.28 c 388s | 15 | 352383 | 93332 | 412011 0 | 2869 | 8323 395.33/395.49 c 390s | 15 | 353098 | 93732 | 412011 0 | 2869 | 8323 397.43/397.60 c 392s | 15 | 354978 | 94232 | 412011 0 | 2869 | 8323 399.53/399.61 c 394s | 15 | 356911 | 94732 | 412011 0 | 2869 | 8323 401.73/401.89 c 396s | 15 | 358759 | 95232 | 412011 0 | 2869 | 8323 403.83/403.91 c 398s | 15 | 360854 | 95632 | 412011 0 | 2869 | 8323 406.03/406.13 c 401s | 15 | 362614 | 96132 | 412011 0 | 2869 | 8323 408.13/408.26 c 403s | 15 | 363959 | 96532 | 412011 0 | 2869 | 8323 410.23/410.33 c 405s | 15 | 365820 | 96932 | 412011 0 | 2869 | 8323 412.23/412.38 c 407s | 15 | 367797 | 97332 | 412011 0 | 2869 | 8323 414.73/414.82 c 409s | 15 | 370485 | 97832 | 412011 0 | 2869 | 8323 416.83/416.99 c 411s | 15 | 372195 | 98232 | 412011 0 | 2869 | 8323 419.23/419.35 c 414s | 15 | 373960 | 98732 | 412011 0 | 2869 | 8323 421.33/421.42 c 416s | 15 | 375533 | 99132 | 412011 0 | 2869 | 8323 423.73/423.81 c 418s | 15 | 377305 | 99632 | 412011 0 | 2869 | 8323 425.83/425.91 c 420s | 15 | 379171 | 100132 | 412011 0 | 2869 | 8323 427.93/428.06 c 422s | 15 | 381212 | 100632 | 412011 0 | 2869 | 8323 430.23/430.32 c 425s | 15 | 383364 | 101132 | 412011 0 | 2869 | 8323 432.33/432.43 c 427s | 15 | 384318 | 101532 | 412011 0 | 2869 | 8323 434.42/434.56 c 429s | 15 | 385629 | 102032 | 412011 0 | 2869 | 8323 436.42/436.59 c 431s | 15 | 387163 | 102532 | 412011 0 | 2869 | 8323 438.82/438.93 c 433s | 15 | 389593 | 103032 | 412011 0 | 2869 | 8323 441.32/441.40 c 436s | 15 | 392358 | 103532 | 412011 0 | 2869 | 8323 443.33/443.45 c 438s | 15 | 394473 | 104032 | 412011 0 | 2869 | 8323 445.53/445.68 c 440s | 15 | 396149 | 104532 | 412011 0 | 2869 | 8323 447.62/447.71 c 442s | 15 | 397714 | 105032 | 412011 0 | 2869 | 8323 449.62/449.71 c 444s | 15 | 399627 | 105432 | 412011 0 | 2869 | 8323 451.82/451.97 c 446s | 15 | 401750 | 105832 | 412011 0 | 2869 | 8323 453.82/453.98 c 448s | 15 | 403182 | 106232 | 412011 0 | 2869 | 8323 456.32/456.40 c 451s | 15 | 405782 | 106732 | 412011 0 | 2869 | 8323 458.62/458.71 c 453s | 15 | 407676 | 107232 | 412011 0 | 2869 | 8323 460.72/460.82 c 455s | 15 | 409635 | 107732 | 412011 0 | 2869 | 8323 462.81/462.93 c 457s | 15 | 411769 | 108232 | 412011 0 | 2869 | 8323 464.91/465.07 c 459s | 15 | 413722 | 108832 | 412011 0 | 2869 | 8323 467.21/467.36 c 462s | 15 | 415821 | 109432 | 412011 0 | 2869 | 8323 469.31/469.47 c 464s | 15 | 417894 | 110032 | 412011 0 | 2869 | 8323 471.52/471.61 c 466s | 15 | 419817 | 110632 | 412011 0 | 2869 | 8323 473.62/473.78 c 468s | 15 | 421561 | 111132 | 412011 0 | 2869 | 8323 475.72/475.82 c 470s | 15 | 423732 | 111632 | 412011 0 | 2869 | 8323 477.92/478.08 c 472s | 15 | 425994 | 112232 | 412011 0 | 2869 | 8323 480.02/480.20 c 475s | 15 | 428335 | 112832 | 412011 0 | 2869 | 8323 482.22/482.38 c 477s | 15 | 430715 | 113332 | 412011 0 | 2869 | 8323 484.62/484.72 c 479s | 15 | 432409 | 113832 | 412011 0 | 2869 | 8323 486.82/486.93 c 481s | 15 | 434585 | 114332 | 412011 0 | 2869 | 8323 488.82/488.99 c 483s | 15 | 436570 | 114832 | 412011 0 | 2869 | 8323 491.02/491.19 c 486s | 15 | 438560 | 115332 | 412011 0 | 2869 | 8323 493.22/493.34 c 488s | 15 | 440632 | 115832 | 412011 0 | 2869 | 8323 495.52/495.61 c 490s | 15 | 442233 | 116332 | 412011 0 | 2869 | 8323 497.82/497.98 c 492s | 15 | 444113 | 116832 | 412011 0 | 2869 | 8323 500.02/500.18 c 495s | 15 | 445572 | 117232 | 412011 0 | 2869 | 8323 502.42/502.50 c 497s | 15 | 447465 | 117732 | 412011 0 | 2869 | 8323 504.52/504.61 c 499s | 15 | 449400 | 118232 | 412011 0 | 2869 | 8323 507.12/507.22 c 502s | 15 | 450741 | 118732 | 412011 0 | 2869 | 8323 509.32/509.45 c 504s | 15 | 451591 | 119132 | 412011 0 | 2869 | 8323 511.42/511.59 c 506s | 15 | 453593 | 119732 | 412011 0 | 2869 | 8323 513.92/514.02 c 508s | 15 | 455807 | 120332 | 412011 0 | 2869 | 8323 516.12/516.22 c 511s | 15 | 457512 | 120832 | 412011 0 | 2869 | 8323 518.32/518.42 c 513s | 15 | 459192 | 121332 | 412011 0 | 2869 | 8323 520.51/520.68 c 515s | 15 | 460810 | 121932 | 412011 0 | 2869 | 8323 522.52/522.70 c 517s | 15 | 462777 | 122432 | 412011 0 | 2869 | 8323 524.82/524.97 c 519s | 15 | 465393 | 123032 | 412011 0 | 2869 | 8323 527.21/527.39 c 522s | 15 | 467577 | 123532 | 412011 0 | 2869 | 8323 529.31/529.46 c 524s | 15 | 468643 | 123932 | 412011 0 | 2869 | 8323 531.51/531.66 c 526s | 15 | 470697 | 124432 | 412011 0 | 2869 | 8323 533.71/533.85 c 528s | 15 | 473198 | 124932 | 412011 0 | 2869 | 8323 535.82/535.99 c 530s | 15 | 474776 | 125332 | 412011 0 | 2869 | 8323 538.41/538.53 c 533s | 15 | 476986 | 125932 | 412011 0 | 2869 | 8323 540.81/540.99 c 535s | 15 | 479087 | 126432 | 412011 0 | 2869 | 8323 543.01/543.13 c 538s | 15 | 481399 | 126932 | 412011 0 | 2869 | 8323 545.31/545.49 c 540s | 15 | 483762 | 127532 | 412011 0 | 2869 | 8323 547.61/547.70 c 542s | 15 | 486003 | 128032 | 412011 0 | 2869 | 8323 550.02/550.11 c 545s | 15 | 487485 | 128532 | 412011 0 | 2869 | 8323 552.32/552.49 c 547s | 15 | 488742 | 128932 | 412011 0 | 2869 | 8323 554.71/554.83 c 549s | 15 | 490202 | 129432 | 412011 0 | 2869 | 8323 556.91/557.08 c 551s | 15 | 493011 | 130032 | 412011 0 | 2869 | 8323 559.31/559.40 c 554s | 15 | 495666 | 130632 | 412011 0 | 2869 | 8323 561.41/561.57 c 556s | 15 | 497468 | 131132 | 453213 0 | 2869 | 8323 563.21/563.36 c 558s | 16 | 499097 | 131552 | 453213 0 | 2869 | 8323 565.41/565.54 c 560s | 16 | 500082 | 131752 | 453213 0 | 2869 | 8323 567.41/567.55 c 562s | 16 | 501538 | 132052 | 453213 0 | 2869 | 8323 570.01/570.10 c 565s | 16 | 502665 | 132452 | 453213 0 | 2869 | 8323 572.31/572.45 c 567s | 16 | 504539 | 132852 | 453213 0 | 2869 | 8323 574.61/574.79 c 569s | 16 | 505124 | 133052 | 453213 0 | 2869 | 8323 576.81/576.99 c 571s | 16 | 505808 | 133252 | 453213 0 | 2869 | 8323 579.71/579.80 c 574s | 16 | 506234 | 133452 | 453213 0 | 2869 | 8323 582.40/582.58 c 577s | 16 | 506930 | 133752 | 453213 0 | 2869 | 8323 585.00/585.12 c 580s | 16 | 507398 | 133952 | 453213 0 | 2869 | 8323 587.10/587.29 c 582s | 16 | 507934 | 134152 | 453213 0 | 2869 | 8323 589.80/589.99 c 584s | 16 | 508675 | 134452 | 453213 0 | 2869 | 8323 592.10/592.26 c 587s | 16 | 509335 | 134752 | 453213 0 | 2869 | 8323 594.70/594.86 c 589s | 16 | 509811 | 134952 | 453213 0 | 2869 | 8323 596.90/597.05 c 591s | 16 | 510481 | 135252 | 453213 0 | 2869 | 8323 599.10/599.23 c 594s | 16 | 510839 | 135452 | 453213 0 | 2869 | 8323 601.40/601.53 c 596s | 16 | 511228 | 135652 | 453213 0 | 2869 | 8323 603.50/603.69 c 598s | 16 | 511658 | 135852 | 453213 0 | 2869 | 8323 605.60/605.76 c 600s | 16 | 512043 | 136052 | 453213 0 | 2869 | 8323 608.00/608.17 c 603s | 16 | 512638 | 136352 | 453213 0 | 2869 | 8323 611.10/611.20 c 606s | 16 | 513234 | 136652 | 453213 0 | 2869 | 8323 613.30/613.41 c 608s | 16 | 513688 | 136852 | 453213 0 | 2869 | 8323 615.50/615.62 c 610s | 16 | 514151 | 137052 | 453213 0 | 2869 | 8323 618.40/618.52 c 613s | 16 | 514782 | 137352 | 453213 0 | 2869 | 8323 621.51/621.70 c 616s | 16 | 515386 | 137652 | 453213 0 | 2869 | 8323 624.20/624.35 c 619s | 16 | 515909 | 137952 | 453213 0 | 2869 | 8323 626.40/626.50 c 621s | 16 | 516357 | 138152 | 453213 0 | 2869 | 8323 628.70/628.80 c 623s | 16 | 516849 | 138352 | 453213 0 | 2869 | 8323 631.70/631.84 c 626s | 16 | 517267 | 138552 | 453213 0 | 2869 | 8323 634.50/634.60 c 629s | 16 | 517659 | 138752 | 453213 0 | 2869 | 8323 636.90/637.09 c 631s | 16 | 518061 | 138952 | 453213 0 | 2869 | 8323 639.59/639.75 c 634s | 16 | 518417 | 139152 | 453213 0 | 2869 | 8323 641.59/641.79 c 636s | 16 | 518754 | 139352 | 453213 0 | 2869 | 8323 643.79/643.92 c 638s | 16 | 519104 | 139552 | 453213 0 | 2869 | 8323 646.69/646.81 c 641s | 16 | 519948 | 139852 | 453213 0 | 2869 | 8323 649.10/649.22 c 644s | 16 | 520256 | 140052 | 453213 0 | 2869 | 8323 651.20/651.37 c 646s | 16 | 520630 | 140252 | 453213 0 | 2869 | 8323 653.50/653.66 c 648s | 16 | 521052 | 140552 | 453213 0 | 2869 | 8323 655.49/655.68 c 650s | 16 | 522113 | 140852 | 453213 0 | 2869 | 8323 657.59/657.76 c 652s | 16 | 523481 | 141252 | 453213 0 | 2869 | 8323 659.79/659.93 c 654s | 16 | 524370 | 141652 | 453213 0 | 2869 | 8323 661.89/662.07 c 656s | 16 | 525288 | 141952 | 453213 0 | 2869 | 8323 663.99/664.16 c 659s | 16 | 526097 | 142252 | 453213 0 | 2869 | 8323 666.60/666.80 c 661s | 16 | 527197 | 142652 | 453213 0 | 2869 | 8323 668.90/669.08 c 663s | 16 | 528413 | 143052 | 453213 0 | 2869 | 8323 671.59/671.72 c 666s | 16 | 529168 | 143352 | 453213 0 | 2869 | 8323 673.99/674.19 c 669s | 16 | 529848 | 143652 | 453213 0 | 2869 | 8323 676.39/676.51 c 671s | 16 | 530393 | 143952 | 453213 0 | 2869 | 8323 678.59/678.80 c 673s | 16 | 530930 | 144152 | 453213 0 | 2869 | 8323 680.89/681.05 c 675s | 16 | 531391 | 144352 | 453213 0 | 2869 | 8323 683.39/683.51 c 678s | 16 | 531793 | 144552 | 453213 0 | 2869 | 8323 686.19/686.31 c 681s | 16 | 532620 | 144852 | 453213 0 | 2869 | 8323 688.49/688.66 c 683s | 16 | 533649 | 145152 | 453213 0 | 2869 | 8323 691.19/691.36 c 686s | 16 | 535028 | 145552 | 453213 0 | 2869 | 8323 693.79/693.91 c 688s | 16 | 535482 | 145852 | 453213 0 | 2869 | 8323 695.89/696.02 c 690s | 16 | 535908 | 146052 | 453213 0 | 2869 | 8323 698.49/698.69 c 693s | 16 | 537071 | 146352 | 453213 0 | 2869 | 8323 700.98/701.14 c 696s | 16 | 537410 | 146552 | 453213 0 | 2869 | 8323 702.99/703.18 c 698s | 16 | 537780 | 146752 | 453213 0 | 2869 | 8323 705.68/705.82 c 700s | 16 | 538362 | 146952 | 453213 0 | 2869 | 8323 708.18/708.37 c 703s | 16 | 538792 | 147152 | 453213 0 | 2869 | 8323 710.78/710.90 c 705s | 16 | 539235 | 147352 | 453213 0 | 2869 | 8323 713.48/713.67 c 708s | 16 | 539667 | 147552 | 453213 0 | 2869 | 8323 715.98/716.20 c 711s | 16 | 540300 | 147752 | 453213 0 | 2869 | 8323 718.68/718.84 c 713s | 16 | 540748 | 147952 | 453213 0 | 2869 | 8323 721.98/722.12 c 717s | 16 | 541243 | 148152 | 453213 0 | 2869 | 8323 724.58/724.76 c 719s | 16 | 541670 | 148352 | 453213 0 | 2869 | 8323 726.78/726.97 c 721s | 16 | 542311 | 148552 | 453213 0 | 2869 | 8323 728.97/729.17 c 724s | 16 | 542856 | 148752 | 453213 0 | 2869 | 8323 731.58/731.72 c 726s | 16 | 543488 | 148952 | 453213 0 | 2869 | 8323 734.47/734.60 c 729s | 16 | 544372 | 149252 | 453213 0 | 2869 | 8323 737.08/737.20 c 732s | 16 | 545066 | 149552 | 453213 0 | 2869 | 8323 739.17/739.30 c 734s | 16 | 545847 | 149752 | 453213 0 | 2869 | 8323 741.77/741.93 c 736s | 16 | 546807 | 150052 | 453213 0 | 2869 | 8323 744.67/744.89 c 739s | 16 | 547827 | 150352 | 453213 0 | 2869 | 8323 747.56/747.75 c 742s | 16 | 548850 | 150652 | 453213 0 | 2869 | 8323 749.76/749.90 c 744s | 16 | 549375 | 150852 | 453213 0 | 2869 | 8323 752.56/752.71 c 747s | 16 | 550087 | 151152 | 453213 0 | 2869 | 8323 755.36/755.59 c 750s | 16 | 550924 | 151452 | 453213 0 | 2869 | 8323 757.87/758.05 c 752s | 16 | 551898 | 151752 | 453213 0 | 2869 | 8323 760.17/760.33 c 755s | 16 | 552546 | 152052 | 453213 0 | 2869 | 8323 762.86/763.03 c 757s | 16 | 553310 | 152352 | 453213 0 | 2869 | 8323 765.36/765.57 c 760s | 16 | 553810 | 152552 | 453213 0 | 2869 | 8323 768.16/768.34 c 763s | 16 | 554208 | 152752 | 453213 0 | 2869 | 8323 771.25/771.41 c 766s | 16 | 554623 | 152952 | 453213 0 | 2869 | 8323 773.26/773.48 c 768s | 16 | 554806 | 153052 | 453213 0 | 2869 | 8323 775.65/775.81 c 770s | 16 | 555452 | 153252 | 453213 0 | 2869 | 8323 778.86/779.02 c 773s | 16 | 556003 | 153452 | 453213 0 | 2869 | 8323 781.35/781.58 c 776s | 16 | 556407 | 153652 | 453213 0 | 2869 | 8323 784.95/785.18 c 780s | 16 | 556817 | 153852 | 453213 0 | 2869 | 8323 787.66/787.81 c 782s | 16 | 557206 | 154052 | 453213 0 | 2869 | 8323 791.14/791.38 c 786s | 16 | 557587 | 154252 | 453213 0 | 2869 | 8323 794.44/794.64 c 789s | 16 | 558052 | 154452 | 453213 0 | 2869 | 8323 797.34/797.52 c 792s | 16 | 558645 | 154652 | 453213 0 | 2869 | 8323 800.04/800.29 c 795s | 16 | 559030 | 154852 | 453213 0 | 2869 | 8323 802.34/802.55 c 797s | 16 | 559703 | 155052 | 453213 0 | 2869 | 8323 804.64/804.89 c 799s | 16 | 560585 | 155352 | 453213 0 | 2869 | 8323 806.74/806.92 c 801s | 16 | 561047 | 155652 | 453213 0 | 2869 | 8323 809.04/809.26 c 804s | 16 | 562018 | 156052 | 453213 0 | 2869 | 8323 811.54/811.78 c 806s | 16 | 563357 | 156452 | 453213 0 | 2869 | 8323 813.64/813.81 c 808s | 16 | 564420 | 156752 | 453213 0 | 2869 | 8323 816.04/816.28 c 811s | 16 | 565297 | 157152 | 453213 0 | 2869 | 8323 818.93/819.14 c 814s | 16 | 565832 | 157452 | 453213 0 | 2869 | 8323 821.74/821.93 c 816s | 16 | 566320 | 157752 | 453213 0 | 2869 | 8323 823.84/824.02 c 818s | 16 | 566710 | 157952 | 453213 0 | 2869 | 8323 826.43/826.69 c 821s | 16 | 567160 | 158252 | 453213 0 | 2869 | 8323 829.03/829.26 c 824s | 16 | 567618 | 158552 | 453213 0 | 2869 | 8323 831.43/831.66 c 826s | 16 | 568252 | 158852 | 453213 0 | 2869 | 8323 833.53/833.73 c 828s | 16 | 568880 | 159052 | 453213 0 | 2869 | 8323 835.63/835.89 c 830s | 16 | 570277 | 159352 | 453213 0 | 2869 | 8323 838.53/838.74 c 833s | 16 | 571299 | 159652 | 453213 0 | 2869 | 8323 840.93/841.11 c 836s | 16 | 572014 | 159852 | 453213 0 | 2869 | 8323 843.22/843.42 c 838s | 16 | 572614 | 160052 | 453213 0 | 2869 | 8323 845.83/846.06 c 840s | 16 | 573441 | 160352 | 453213 0 | 2869 | 8323 848.13/848.37 c 843s | 16 | 573976 | 160552 | 453213 0 | 2869 | 8323 850.33/850.59 c 845s | 16 | 574657 | 160952 | 453213 0 | 2869 | 8323 853.22/853.47 c 848s | 16 | 575315 | 161352 | 453213 0 | 2869 | 8323 855.42/855.62 c 850s | 16 | 576125 | 161752 | 453213 0 | 2869 | 8323 857.42/857.63 c 852s | 16 | 576784 | 162152 | 453213 0 | 2869 | 8323 859.42/859.69 c 854s | 16 | 577390 | 162552 | 453213 0 | 2869 | 8323 861.62/861.83 c 856s | 16 | 578129 | 162952 | 453213 0 | 2869 | 8323 864.42/864.61 c 859s | 16 | 579186 | 163452 | 453213 0 | 2869 | 8323 866.73/866.98 c 861s | 16 | 579638 | 163752 | 453213 0 | 2869 | 8323 869.11/869.36 c 864s | 16 | 580212 | 164052 | 453213 0 | 2869 | 8323 872.32/872.58 c 867s | 16 | 581099 | 164352 | 453213 0 | 2869 | 8323 874.81/875.02 c 869s | 16 | 581810 | 164552 | 453213 0 | 2869 | 8323 877.72/878.00 c 872s | 16 | 582398 | 164752 | 453213 0 | 2869 | 8323 880.02/880.24 c 875s | 16 | 582983 | 165052 | 453213 0 | 2869 | 8323 882.81/883.08 c 877s | 16 | 583757 | 165452 | 453213 0 | 2869 | 8323 885.52/885.74 c 880s | 16 | 584473 | 165752 | 453213 0 | 2869 | 8323 887.91/888.11 c 883s | 16 | 585387 | 166052 | 453213 0 | 2869 | 8323 890.41/890.69 c 885s | 16 | 586169 | 166352 | 453213 0 | 2869 | 8323 893.01/893.23 c 888s | 16 | 587053 | 166652 | 453213 0 | 2869 | 8323 895.41/895.67 c 890s | 16 | 587782 | 166952 | 453213 0 | 2869 | 8323 898.00/898.30 c 893s | 16 | 588629 | 167252 | 453213 0 | 2869 | 8323 900.50/900.75 c 895s | 16 | 589340 | 167552 | 453213 0 | 2869 | 8323 902.90/903.13 c 898s | 16 | 590013 | 167852 | 453213 0 | 2869 | 8323 905.10/905.30 c 900s | 16 | 590648 | 168152 | 453213 0 | 2869 | 8323 907.99/908.22 c 903s | 16 | 591297 | 168452 | 453213 0 | 2869 | 8323 909.99/910.27 c 905s | 16 | 591777 | 168652 | 453213 0 | 2869 | 8323 912.19/912.42 c 907s | 16 | 592190 | 168852 | 453213 0 | 2869 | 8323 914.29/914.54 c 909s | 16 | 592543 | 169052 | 453213 0 | 2869 | 8323 917.40/917.65 c 912s | 16 | 593175 | 169352 | 453213 0 | 2869 | 8323 919.50/919.71 c 914s | 16 | 593634 | 169552 | 453213 0 | 2869 | 8323 922.19/922.40 c 917s | 16 | 594152 | 169852 | 453213 0 | 2869 | 8323 924.89/925.19 c 920s | 16 | 594812 | 170152 | 453213 0 | 2869 | 8323 927.89/928.14 c 923s | 16 | 595536 | 170452 | 453213 0 | 2869 | 8323 930.59/930.89 c 925s | 16 | 596442 | 170752 | 453213 0 | 2869 | 8323 933.29/933.52 c 928s | 16 | 596903 | 170952 | 453213 0 | 2869 | 8323 935.69/935.99 c 930s | 16 | 597329 | 171152 | 453213 0 | 2869 | 8323 939.48/939.78 c 934s | 16 | 597750 | 171352 | 453213 0 | 2869 | 8323 942.78/943.01 c 937s | 16 | 598131 | 171552 | 453213 0 | 2869 | 8323 946.18/946.49 c 941s | 16 | 598529 | 171752 | 453213 0 | 2869 | 8323 949.08/949.33 c 944s | 16 | 599785 | 172052 | 453213 0 | 2869 | 8323 951.28/951.59 c 946s | 16 | 600539 | 172252 | 453213 0 | 2869 | 8323 954.38/954.66 c 949s | 16 | 601341 | 172552 | 453213 0 | 2869 | 8323 956.48/956.71 c 951s | 16 | 601898 | 172752 | 453213 0 | 2869 | 8323 959.18/959.41 c 954s | 16 | 602496 | 172952 | 453213 0 | 2869 | 8323 962.57/962.84 c 957s | 16 | 603134 | 173252 | 453213 0 | 2869 | 8323 964.77/965.03 c 959s | 16 | 603352 | 173352 | 453213 0 | 2869 | 8323 966.97/967.30 c 962s | 16 | 603948 | 173552 | 453213 0 | 2869 | 8323 969.67/969.93 c 964s | 16 | 604515 | 173752 | 453213 0 | 2869 | 8323 971.87/972.19 c 967s | 16 | 605342 | 173952 | 453213 0 | 2869 | 8323 974.17/974.43 c 969s | 16 | 605756 | 174152 | 453213 0 | 2869 | 8323 976.47/976.75 c 971s | 16 | 606641 | 174452 | 453213 0 | 2869 | 8323 979.06/979.38 c 974s | 16 | 607411 | 174752 | 453213 0 | 2869 | 8323 982.76/983.07 c 977s | 16 | 607817 | 174952 | 453213 0 | 2869 | 8323 985.26/985.57 c 980s | 16 | 608379 | 175152 | 453213 0 | 2869 | 8323 987.46/987.79 c 982s | 16 | 608951 | 175352 | 453213 0 | 2869 | 8323 989.66/989.97 c 984s | 16 | 609279 | 175552 | 453213 0 | 2869 | 8323 992.26/992.53 c 987s | 16 | 609724 | 175752 | 453213 0 | 2869 | 8323 994.37/994.68 c 989s | 16 | 610197 | 175952 | 453213 0 | 2869 | 8323 996.66/996.95 c 991s | 16 | 610470 | 176152 | 453213 0 | 2869 | 8323 999.35/999.62 c 994s | 16 | 610999 | 176452 | 453213 0 | 2869 | 8323 1002.15/1002.44 c 997s | 16 | 611346 | 176652 | 453213 0 | 2869 | 8323 1004.75/1005.05 c 999s | 16 | 611759 | 176852 | 453213 0 | 2869 | 8323 1007.35/1007.65 c 1002s | 16 | 612071 | 177052 | 453213 0 | 2869 | 8323 1010.25/1010.55 c 1005s | 16 | 612388 | 177252 | 453213 0 | 2869 | 8323 1013.25/1013.55 c 1008s | 16 | 612691 | 177452 | 453213 0 | 2869 | 8323 1016.15/1016.48 c 1011s | 16 | 612960 | 177652 | 453213 0 | 2869 | 8323 1018.84/1019.19 c 1014s | 16 | 613232 | 177852 | 453213 0 | 2869 | 8323 1022.64/1022.97 c 1017s | 16 | 613660 | 178052 | 453213 0 | 2869 | 8323 1026.15/1026.48 c 1021s | 16 | 614128 | 178252 | 453213 0 | 2869 | 8323 1029.74/1030.05 c 1024s | 16 | 614505 | 178452 | 453213 0 | 2869 | 8323 1032.54/1032.84 c 1027s | 16 | 614638 | 178552 | 453213 0 | 2869 | 8323 1035.54/1035.86 c 1030s | 16 | 615004 | 178752 | 453213 0 | 2869 | 8323 1038.24/1038.60 c 1033s | 16 | 615378 | 178952 | 453213 0 | 2869 | 8323 1042.13/1042.43 c 1037s | 16 | 615796 | 179152 | 453213 0 | 2869 | 8323 1045.23/1045.55 c 1040s | 16 | 616262 | 179352 | 453213 0 | 2869 | 8323 1048.53/1048.89 c 1043s | 16 | 616581 | 179552 | 453213 0 | 2869 | 8323 1051.13/1051.43 c 1046s | 16 | 617044 | 179752 | 453213 0 | 2869 | 8323 1053.73/1054.02 c 1048s | 16 | 617684 | 179952 | 453213 0 | 2869 | 8323 1056.43/1056.71 c 1051s | 16 | 618326 | 180252 | 453213 0 | 2869 | 8323 1059.02/1059.36 c 1054s | 16 | 618850 | 180452 | 453213 0 | 2869 | 8323 1062.12/1062.48 c 1057s | 16 | 619392 | 180652 | 453213 0 | 2869 | 8323 1064.12/1064.48 c 1059s | 16 | 619600 | 180752 | 453213 0 | 2869 | 8323 1067.32/1067.60 c 1062s | 16 | 620173 | 180952 | 453213 0 | 2869 | 8323 1069.92/1070.24 c 1065s | 16 | 620703 | 181152 | 453213 0 | 2869 | 8323 1072.92/1073.23 c 1068s | 16 | 621408 | 181352 | 453213 0 | 2869 | 8323 1076.12/1076.47 c 1071s | 16 | 621842 | 181552 | 453213 0 | 2869 | 8323 1079.91/1080.29 c 1075s | 16 | 622249 | 181752 | 453213 0 | 2869 | 8323 1083.61/1083.93 c 1078s | 16 | 622751 | 181952 | 453213 0 | 2869 | 8323 1087.01/1087.35 c 1082s | 16 | 623290 | 182152 | 453213 0 | 2869 | 8323 1089.71/1090.09 c 1084s | 16 | 623720 | 182352 | 453213 0 | 2869 | 8323 1091.81/1092.19 c 1087s | 16 | 624006 | 182452 | 453213 0 | 2869 | 8323 1094.81/1095.16 c 1090s | 16 | 624513 | 182652 | 453213 0 | 2869 | 8323 1098.81/1099.19 c 1094s | 16 | 624929 | 182852 | 453213 0 | 2869 | 8323 1101.20/1101.58 c 1096s | 16 | 625192 | 182952 | 453213 0 | 2869 | 8323 1104.10/1104.40 c 1099s | 16 | 625415 | 183052 | 453213 0 | 2869 | 8323 1107.10/1107.42 c 1102s | 16 | 625853 | 183252 | 453213 0 | 2869 | 8323 1109.71/1110.07 c 1104s | 16 | 626461 | 183452 | 453213 0 | 2869 | 8323 1112.50/1112.89 c 1107s | 16 | 626954 | 183652 | 453213 0 | 2869 | 8323 1115.21/1115.56 c 1110s | 16 | 627462 | 183852 | 453213 0 | 2869 | 8323 1118.71/1119.07 c 1113s | 16 | 627996 | 184052 | 453213 0 | 2869 | 8323 1120.71/1121.09 c 1115s | 16 | 628302 | 184152 | 453213 0 | 2869 | 8323 1123.30/1123.67 c 1118s | 16 | 628614 | 184352 | 453213 0 | 2869 | 8323 1126.60/1126.95 c 1121s | 16 | 629067 | 184552 | 453213 0 | 2869 | 8323 1129.90/1130.23 c 1125s | 16 | 629862 | 184852 | 453213 0 | 2869 | 8323 1132.81/1133.19 c 1128s | 16 | 630510 | 185152 | 453213 0 | 2869 | 8323 1135.01/1135.34 c 1130s | 16 | 631098 | 185352 | 453213 0 | 2869 | 8323 1137.99/1138.36 c 1133s | 16 | 631747 | 185552 | 453213 0 | 2869 | 8323 1141.09/1141.41 c 1136s | 16 | 632211 | 185752 | 453213 0 | 2869 | 8323 1143.80/1144.19 c 1139s | 16 | 632650 | 185952 | 453213 0 | 2869 | 8323 1146.79/1147.19 c 1142s | 16 | 633050 | 186152 | 453213 0 | 2869 | 8323 1150.09/1150.47 c 1145s | 16 | 633499 | 186352 | 453213 0 | 2869 | 8323 1153.09/1153.45 c 1148s | 16 | 633864 | 186552 | 453213 0 | 2869 | 8323 1156.09/1156.41 c 1151s | 16 | 634387 | 186752 | 453213 0 | 2869 | 8323 1159.48/1159.85 c 1154s | 16 | 634727 | 186952 | 453213 0 | 2869 | 8323 1161.68/1162.01 c 1156s | 16 | 635245 | 187152 | 453213 0 | 2869 | 8323 1164.28/1164.65 c 1159s | 16 | 635662 | 187352 | 453213 0 | 2869 | 8323 1167.18/1167.55 c 1162s | 16 | 635986 | 187552 | 453213 0 | 2869 | 8323 1169.48/1169.89 c 1164s | 16 | 636396 | 187752 | 453213 0 | 2869 | 8323 1171.78/1172.12 c 1167s | 16 | 636542 | 187852 | 453213 0 | 2869 | 8323 1175.18/1175.54 c 1170s | 16 | 636910 | 188052 | 453213 0 | 2869 | 8323 1178.17/1178.56 c 1173s | 16 | 637289 | 188252 | 453213 0 | 2869 | 8323 1180.57/1180.98 c 1175s | 16 | 637697 | 188452 | 453213 0 | 2869 | 8323 1183.27/1183.60 c 1178s | 16 | 638092 | 188652 | 453213 0 | 2869 | 8323 1185.77/1186.10 c 1181s | 16 | 638509 | 188852 | 453213 0 | 2869 | 8323 1188.88/1189.21 c 1184s | 16 | 638973 | 189052 | 453213 0 | 2869 | 8323 1192.07/1192.49 c 1187s | 16 | 639330 | 189352 | 453213 0 | 2869 | 8323 1194.87/1195.26 c 1190s | 16 | 639811 | 189652 | 453213 0 | 2869 | 8323 1197.27/1197.69 c 1192s | 16 | 640209 | 189952 | 453213 0 | 2869 | 8323 1199.98/1200.33 c 1195s | 16 | 640687 | 190152 | 453213 0 | 2869 | 8323 1203.07/1203.49 c 1198s | 16 | 641249 | 190352 | 453213 0 | 2869 | 8323 1205.97/1206.37 c 1201s | 16 | 641779 | 190552 | 453213 0 | 2869 | 8323 1208.47/1208.87 c 1203s | 16 | 642253 | 190752 | 453213 0 | 2869 | 8323 1211.37/1211.77 c 1206s | 16 | 642776 | 190952 | 453213 0 | 2869 | 8323 1213.97/1214.36 c 1209s | 16 | 643285 | 191152 | 453213 0 | 2869 | 8323 1216.97/1217.33 c 1212s | 16 | 643768 | 191352 | 453213 0 | 2869 | 8323 1219.46/1219.82 c 1214s | 16 | 644232 | 191552 | 453213 0 | 2869 | 8323 1222.66/1223.09 c 1218s | 16 | 644656 | 191752 | 453213 0 | 2869 | 8323 1226.76/1227.18 c 1222s | 16 | 644895 | 191952 | 453213 0 | 2869 | 8323 1230.86/1231.22 c 1226s | 16 | 645177 | 192152 | 453213 0 | 2869 | 8323 1233.26/1233.67 c 1228s | 16 | 645292 | 192252 | 453213 0 | 2869 | 8323 1235.46/1235.85 c 1230s | 16 | 645426 | 192352 | 453213 0 | 2869 | 8323 1240.05/1240.45 c 1235s | 16 | 645770 | 192552 | 453213 0 | 2871 | 8329 1242.05/1242.45 c 1237s | 16 | 646933 | 193052 | 453213 0 | 2871 | 8329 1244.55/1244.97 c 1239s | 16 | 648243 | 193452 | 453213 0 | 2871 | 8329 1247.05/1247.48 c 1242s | 16 | 648920 | 193752 | 453213 0 | 2871 | 8329 1249.14/1249.50 c 1244s | 16 | 649865 | 194152 | 453213 0 | 2871 | 8329 1251.14/1251.51 c 1246s | 16 | 651266 | 194452 | 453213 0 | 2871 | 8329 1253.34/1253.75 c 1248s | 16 | 652036 | 194752 | 453213 0 | 2871 | 8329 1255.84/1256.22 c 1251s | 16 | 652967 | 195152 | 453213 0 | 2871 | 8329 1258.15/1258.53 c 1253s | 16 | 653743 | 195552 | 453213 0 | 2871 | 8329 1260.24/1260.63 c 1255s | 16 | 654604 | 195852 | 453213 0 | 2871 | 8329 1262.65/1263.04 c 1257s | 16 | 655532 | 196252 | 498535 0 | 2871 | 8329 1264.85/1265.21 c 1260s | 16 | 656257 | 196552 | 498535 0 | 2871 | 8329 1266.84/1267.26 c 1262s | 16 | 656619 | 196752 | 498535 0 | 2871 | 8329 1269.34/1269.76 c 1264s | 16 | 657189 | 197052 | 498535 0 | 2871 | 8329 1271.74/1272.16 c 1267s | 16 | 657711 | 197352 | 498535 0 | 2871 | 8329 1272.54/1272.91 c 1267s | 17 | 657912 | 197432 | 498535 0 | 2871 | 8329 1274.74/1275.19 c 1270s | 17 | 658231 | 197532 | 498535 0 | 2871 | 8329 1277.34/1277.77 c 1272s | 17 | 659592 | 197832 | 498535 0 | 2871 | 8329 1279.33/1279.78 c 1274s | 17 | 660449 | 198132 | 498535 0 | 2871 | 8329 1281.93/1282.39 c 1277s | 17 | 661170 | 198432 | 498535 0 | 2871 | 8329 1284.23/1284.63 c 1279s | 17 | 661403 | 198632 | 498535 0 | 2871 | 8329 1287.03/1287.45 c 1282s | 17 | 661958 | 198832 | 498535 0 | 2871 | 8329 1289.13/1289.58 c 1284s | 17 | 662526 | 199032 | 498535 0 | 2871 | 8329 1292.03/1292.49 c 1287s | 17 | 662974 | 199232 | 498535 0 | 2871 | 8329 1294.83/1295.22 c 1290s | 17 | 663850 | 199532 | 498535 0 | 2871 | 8329 1296.83/1297.23 c 1292s | 17 | 665021 | 199832 | 498535 0 | 2871 | 8329 1299.83/1300.24 c 1295s | 17 | 665915 | 200132 | 498535 0 | 2871 | 8329 1302.13/1302.60 c 1297s | 17 | 666820 | 200332 | 498535 0 | 2871 | 8329 1304.83/1305.24 c 1300s | 17 | 668111 | 200732 | 498535 0 | 2871 | 8329 1307.32/1307.77 c 1302s | 17 | 669223 | 201032 | 498535 0 | 2871 | 8329 1309.93/1310.34 c 1305s | 17 | 670124 | 201232 | 498535 0 | 2871 | 8329 1312.03/1312.44 c 1307s | 17 | 670702 | 201432 | 498535 0 | 2871 | 8329 1315.52/1315.92 c 1310s | 17 | 671304 | 201632 | 498535 0 | 2871 | 8329 1319.02/1319.49 c 1314s | 17 | 671661 | 201832 | 498535 0 | 2871 | 8329 1322.32/1322.71 c 1317s | 17 | 672103 | 202032 | 498535 0 | 2871 | 8329 1325.62/1326.01 c 1320s | 17 | 672454 | 202232 | 498535 0 | 2871 | 8329 1327.91/1328.31 c 1323s | 17 | 672629 | 202332 | 498535 0 | 2871 | 8329 1330.72/1331.16 c 1326s | 17 | 672928 | 202532 | 498535 0 | 2871 | 8329 1332.92/1333.34 c 1328s | 17 | 673919 | 202832 | 498535 0 | 2871 | 8329 1334.91/1335.36 c 1330s | 17 | 675160 | 203132 | 498535 0 | 2871 | 8329 1337.32/1337.79 c 1332s | 17 | 676244 | 203432 | 498535 0 | 2871 | 8329 1339.80/1340.28 c 1335s | 17 | 676791 | 203632 | 498535 0 | 2871 | 8329 1343.30/1343.74 c 1338s | 17 | 677258 | 203832 | 498535 0 | 2871 | 8329 1345.50/1345.91 c 1340s | 17 | 678731 | 204132 | 498535 0 | 2871 | 8329 1347.90/1348.35 c 1343s | 17 | 680392 | 204432 | 498535 0 | 2871 | 8329 1349.90/1350.37 c 1345s | 17 | 681650 | 204732 | 498535 0 | 2871 | 8329 1353.40/1353.89 c 1348s | 17 | 682523 | 205032 | 498535 0 | 2871 | 8329 1355.60/1356.06 c 1350s | 17 | 682746 | 205132 | 498535 0 | 2871 | 8329 1358.20/1358.68 c 1353s | 17 | 683650 | 205332 | 498535 0 | 2871 | 8329 1360.90/1361.30 c 1356s | 17 | 684139 | 205532 | 498535 0 | 2871 | 8329 1364.30/1364.79 c 1359s | 17 | 684516 | 205732 | 498535 0 | 2871 | 8329 1368.10/1368.52 c 1363s | 17 | 684898 | 205932 | 498535 0 | 2871 | 8329 1371.69/1372.15 c 1367s | 17 | 685177 | 206132 | 498535 0 | 2871 | 8329 1375.29/1375.70 c 1370s | 17 | 685511 | 206332 | 498535 0 | 2871 | 8329 1377.69/1378.19 c 1373s | 17 | 685840 | 206532 | 498535 0 | 2871 | 8329 1379.99/1380.47 c 1375s | 17 | 686213 | 206832 | 498535 0 | 2871 | 8329 1383.09/1383.53 c 1378s | 17 | 686692 | 207132 | 498535 0 | 2871 | 8329 1385.70/1386.20 c 1381s | 17 | 687130 | 207432 | 498535 0 | 2871 | 8329 1387.90/1388.32 c 1383s | 17 | 687423 | 207632 | 498535 0 | 2871 | 8329 1389.99/1390.49 c 1385s | 17 | 687807 | 207832 | 498535 0 | 2871 | 8329 1392.19/1392.64 c 1387s | 17 | 688484 | 208032 | 498535 0 | 2871 | 8329 1395.29/1395.77 c 1390s | 17 | 688737 | 208232 | 498535 0 | 2871 | 8329 1397.90/1398.31 c 1393s | 17 | 688886 | 208332 | 498535 0 | 2871 | 8329 1401.99/1402.43 c 1397s | 17 | 689217 | 208532 | 498535 0 | 2871 | 8329 1405.49/1405.94 c 1400s | 17 | 689615 | 208732 | 498535 0 | 2871 | 8329 1409.29/1409.77 c 1404s | 17 | 690080 | 208932 | 498535 0 | 2871 | 8329 1412.59/1413.05 c 1407s | 17 | 690476 | 209132 | 498535 0 | 2871 | 8329 1415.79/1416.25 c 1411s | 17 | 690880 | 209332 | 498535 0 | 2871 | 8329 1417.99/1418.44 c 1413s | 17 | 691160 | 209432 | 498535 0 | 2871 | 8329 1420.19/1420.67 c 1415s | 17 | 691367 | 209532 | 498535 0 | 2871 | 8329 1422.19/1422.68 c 1417s | 17 | 691508 | 209632 | 498535 0 | 2871 | 8329 1426.88/1427.39 c 1422s | 17 | 692182 | 209832 | 498535 0 | 3505 | 10525 1429.79/1430.29 c 1425s | 17 | 692529 | 210032 | 498535 0 | 3505 | 10525 1432.58/1433.09 c 1428s | 17 | 692861 | 210232 | 498535 0 | 3505 | 10525 1435.48/1435.96 c 1430s | 17 | 693171 | 210432 | 498535 0 | 3505 | 10525 1437.68/1438.11 c 1433s | 17 | 693461 | 210632 | 498535 0 | 3505 | 10525 1439.79/1440.23 c 1435s | 17 | 693744 | 210832 | 498535 0 | 3505 | 10525 1442.19/1442.63 c 1437s | 17 | 694045 | 211032 | 498535 0 | 3505 | 10525 1444.99/1445.44 c 1440s | 17 | 694313 | 211232 | 498535 0 | 3505 | 10525 1447.69/1448.15 c 1443s | 17 | 694591 | 211432 | 498535 0 | 3505 | 10525 1450.49/1450.93 c 1445s | 17 | 694972 | 211632 | 498535 0 | 3505 | 10525 1452.59/1453.01 c 1447s | 17 | 695708 | 211832 | 498535 0 | 3505 | 10525 1455.19/1455.66 c 1450s | 17 | 696733 | 212132 | 498535 0 | 3505 | 10525 1457.20/1457.67 c 1452s | 17 | 697613 | 212432 | 498535 0 | 3505 | 10525 1459.69/1460.15 c 1455s | 17 | 698271 | 212732 | 498535 0 | 3505 | 10525 1462.39/1462.82 c 1457s | 17 | 699070 | 213032 | 498535 0 | 3505 | 10525 1464.69/1465.15 c 1460s | 17 | 699829 | 213332 | 498535 0 | 3505 | 10525 1466.89/1467.33 c 1462s | 17 | 700480 | 213632 | 498535 0 | 3505 | 10525 1468.99/1469.49 c 1464s | 17 | 701201 | 213932 | 498535 0 | 3505 | 10525 1471.49/1471.97 c 1466s | 17 | 702252 | 214332 | 498535 0 | 3505 | 10525 1473.69/1474.12 c 1469s | 17 | 703061 | 214632 | 498535 0 | 3505 | 10525 1476.39/1476.81 c 1471s | 17 | 704066 | 215032 | 498535 0 | 3505 | 10525 1478.59/1479.09 c 1474s | 17 | 704949 | 215432 | 498535 0 | 3505 | 10525 1481.18/1481.65 c 1476s | 17 | 705841 | 215832 | 498535 0 | 3505 | 10525 1483.28/1483.75 c 1478s | 17 | 706742 | 216232 | 498535 0 | 3505 | 10525 1485.68/1486.20 c 1481s | 17 | 707685 | 216632 | 498535 0 | 3505 | 10525 1488.18/1488.67 c 1483s | 17 | 708590 | 217032 | 498535 0 | 3505 | 10525 1490.68/1491.11 c 1486s | 17 | 709586 | 217432 | 498535 0 | 3505 | 10525 1492.88/1493.31 c 1488s | 17 | 710600 | 217832 | 498535 0 | 3505 | 10525 1494.98/1495.45 c 1490s | 17 | 711562 | 218232 | 498535 0 | 3505 | 10525 1497.38/1497.80 c 1492s | 17 | 712561 | 218632 | 498535 0 | 3505 | 10525 1499.68/1500.10 c 1495s | 17 | 713642 | 219032 | 498535 0 | 3505 | 10525 1502.08/1502.51 c 1497s | 17 | 714813 | 219532 | 498535 0 | 3505 | 10525 1504.28/1504.72 c 1499s | 17 | 715880 | 219932 | 498535 0 | 3505 | 10525 1506.28/1506.79 c 1501s | 17 | 716853 | 220332 | 498535 0 | 3505 | 10525 1508.48/1508.91 c 1503s | 17 | 717666 | 220732 | 498535 0 | 3505 | 10525 1510.58/1511.07 c 1505s | 17 | 718828 | 221132 | 498535 0 | 3505 | 10525 1512.78/1513.26 c 1508s | 17 | 719850 | 221532 | 498535 0 | 3505 | 10525 1514.98/1515.47 c 1510s | 17 | 720860 | 221932 | 498535 0 | 3505 | 10525 1517.08/1517.57 c 1512s | 17 | 721934 | 222332 | 498535 0 | 3505 | 10525 1519.18/1519.65 c 1514s | 17 | 722919 | 222732 | 498535 0 | 3505 | 10525 1521.28/1521.71 c 1516s | 17 | 723805 | 223132 | 498535 0 | 3505 | 10525 1523.58/1524.05 c 1518s | 17 | 724783 | 223532 | 498535 0 | 3505 | 10525 1525.98/1526.44 c 1521s | 17 | 725911 | 223932 | 498535 0 | 3505 | 10525 1527.98/1528.49 c 1523s | 17 | 727045 | 224232 | 498535 0 | 3505 | 10525 1530.48/1530.99 c 1525s | 17 | 728521 | 224532 | 498535 0 | 3505 | 10525 1533.18/1533.66 c 1528s | 17 | 729552 | 224832 | 498535 0 | 3505 | 10525 1535.28/1535.78 c 1530s | 17 | 730869 | 225132 | 498535 0 | 3505 | 10525 1537.28/1537.79 c 1532s | 17 | 731700 | 225332 | 498535 0 | 3505 | 10525 1540.38/1540.82 c 1535s | 17 | 733121 | 225632 | 498535 0 | 3505 | 10525 1542.78/1543.20 c 1538s | 17 | 734708 | 225932 | 498535 0 | 3505 | 10525 1545.18/1545.66 c 1540s | 17 | 736033 | 226232 | 498535 0 | 3505 | 10525 1547.48/1547.91 c 1542s | 17 | 737173 | 226532 | 498535 0 | 3505 | 10525 1549.87/1550.33 c 1545s | 17 | 738135 | 226832 | 498535 0 | 3505 | 10525 1552.27/1552.76 c 1547s | 17 | 739420 | 227132 | 498535 0 | 3505 | 10525 1554.87/1555.37 c 1550s | 17 | 740748 | 227432 | 498535 0 | 3505 | 10525 1557.38/1557.84 c 1552s | 17 | 742179 | 227732 | 498535 0 | 3505 | 10525 1559.97/1560.47 c 1555s | 17 | 743479 | 228032 | 498535 0 | 3505 | 10525 1562.27/1562.79 c 1557s | 17 | 745174 | 228332 | 498535 0 | 3505 | 10525 1564.37/1564.83 c 1559s | 17 | 746187 | 228532 | 498535 0 | 3505 | 10525 1566.37/1566.89 c 1561s | 17 | 746838 | 228732 | 498535 0 | 3505 | 10525 1569.17/1569.62 c 1564s | 17 | 748272 | 229032 | 498535 0 | 3505 | 10525 1571.37/1571.85 c 1566s | 17 | 749154 | 229232 | 498535 0 | 3505 | 10525 1573.78/1574.26 c 1569s | 17 | 750003 | 229432 | 498535 0 | 3505 | 10525 1576.17/1576.65 c 1571s | 17 | 751135 | 229732 | 498535 0 | 3505 | 10525 1578.77/1579.27 c 1574s | 17 | 752508 | 230032 | 498535 0 | 3505 | 10525 1581.07/1581.50 c 1576s | 17 | 753195 | 230232 | 498535 0 | 3505 | 10525 1583.37/1583.82 c 1578s | 17 | 754382 | 230532 | 498535 0 | 3505 | 10525 1585.37/1585.84 c 1580s | 17 | 755356 | 230732 | 498535 0 | 3505 | 10525 1587.47/1587.97 c 1582s | 17 | 756749 | 231032 | 498535 0 | 3505 | 10525 1589.57/1590.05 c 1584s | 17 | 757697 | 231232 | 498535 0 | 3505 | 10525 1591.57/1592.09 c 1587s | 17 | 758611 | 231432 | 498535 0 | 3505 | 10525 1593.77/1594.29 c 1589s | 17 | 759315 | 231632 | 498535 0 | 3505 | 10525 1595.87/1596.38 c 1591s | 17 | 759946 | 231832 | 498535 0 | 3505 | 10525 1597.97/1598.44 c 1593s | 17 | 760960 | 232132 | 498535 0 | 3505 | 10525 1600.37/1600.81 c 1595s | 17 | 761731 | 232332 | 498535 0 | 3505 | 10525 1603.17/1603.66 c 1598s | 17 | 763297 | 232632 | 498535 0 | 3505 | 10525 1605.77/1606.29 c 1601s | 17 | 764184 | 232932 | 498535 0 | 3505 | 10525 1608.07/1608.59 c 1603s | 17 | 765715 | 233232 | 498535 0 | 3505 | 10525 1610.97/1611.49 c 1606s | 17 | 766902 | 233532 | 498535 0 | 3505 | 10525 1613.16/1613.68 c 1608s | 17 | 767621 | 233732 | 498535 0 | 3505 | 10525 1615.26/1615.72 c 1610s | 17 | 768576 | 233932 | 498535 0 | 3505 | 10525 1617.96/1618.48 c 1613s | 17 | 769779 | 234232 | 498535 0 | 3505 | 10525 1620.46/1620.95 c 1615s | 17 | 771006 | 234532 | 498535 0 | 3505 | 10525 1622.56/1623.01 c 1617s | 17 | 771959 | 234832 | 498535 0 | 3505 | 10525 1624.96/1625.47 c 1620s | 17 | 773483 | 235132 | 498535 0 | 3505 | 10525 1627.46/1627.95 c 1622s | 17 | 774884 | 235432 | 498535 0 | 3505 | 10525 1629.56/1630.09 c 1625s | 17 | 776368 | 235732 | 498535 0 | 3505 | 10525 1632.07/1632.60 c 1627s | 17 | 777824 | 236032 | 498535 0 | 3505 | 10525 1634.56/1635.00 c 1629s | 17 | 778931 | 236332 | 498535 0 | 3505 | 10525 1637.46/1637.90 c 1632s | 17 | 780457 | 236632 | 498535 0 | 3505 | 10525 1640.56/1641.01 c 1635s | 17 | 782009 | 237032 | 498535 0 | 3505 | 10525 1643.17/1643.66 c 1638s | 17 | 782659 | 237232 | 498535 0 | 3505 | 10525 1645.27/1645.71 c 1640s | 17 | 783582 | 237432 | 498535 0 | 3505 | 10525 1647.36/1647.81 c 1642s | 17 | 784252 | 237632 | 498535 0 | 3505 | 10525 1650.26/1650.75 c 1645s | 17 | 785857 | 237932 | 498535 0 | 3505 | 10525 1652.36/1652.87 c 1647s | 17 | 786906 | 238132 | 498535 0 | 3505 | 10525 1654.46/1654.92 c 1649s | 17 | 787615 | 238332 | 498535 0 | 3505 | 10525 1656.46/1656.95 c 1651s | 17 | 788493 | 238532 | 498535 0 | 3505 | 10525 1659.46/1659.94 c 1654s | 17 | 789633 | 238832 | 498535 0 | 3505 | 10525 1661.56/1662.01 c 1656s | 17 | 790853 | 239032 | 498535 0 | 3505 | 10525 1664.26/1664.75 c 1659s | 17 | 792051 | 239432 | 498535 0 | 3505 | 10525 1667.16/1667.68 c 1662s | 17 | 793370 | 239732 | 498535 0 | 3505 | 10525 1669.66/1670.12 c 1665s | 17 | 794692 | 240032 | 498535 0 | 3505 | 10525 1672.56/1673.10 c 1668s | 17 | 795905 | 240332 | 498535 0 | 3505 | 10525 1675.06/1675.55 c 1670s | 17 | 797240 | 240632 | 498535 0 | 3505 | 10525 1677.56/1678.04 c 1672s | 17 | 798234 | 240932 | 498535 0 | 3505 | 10525 1679.65/1680.18 c 1675s | 17 | 799038 | 241132 | 498535 0 | 3505 | 10525 1681.76/1682.24 c 1677s | 17 | 799896 | 241332 | 498535 0 | 3505 | 10525 1684.45/1684.97 c 1679s | 17 | 801289 | 241632 | 498535 0 | 3505 | 10525 1686.75/1687.21 c 1682s | 17 | 802556 | 241932 | 498535 0 | 3505 | 10525 1689.85/1690.32 c 1685s | 17 | 803865 | 242232 | 498535 0 | 3505 | 10525 1692.75/1693.28 c 1688s | 17 | 805277 | 242532 | 498535 0 | 3505 | 10525 1695.25/1695.71 c 1690s | 17 | 806623 | 242832 | 498535 0 | 3505 | 10525 1697.95/1698.47 c 1693s | 17 | 807735 | 243132 | 498535 0 | 3505 | 10525 1700.45/1700.91 c 1695s | 17 | 808311 | 243332 | 498535 0 | 3505 | 10525 1703.25/1703.74 c 1698s | 17 | 809523 | 243632 | 498535 0 | 3505 | 10525 1705.45/1705.95 c 1700s | 17 | 810189 | 243832 | 498535 0 | 3505 | 10525 1707.55/1708.06 c 1702s | 17 | 811042 | 244032 | 498535 0 | 3505 | 10525 1709.65/1710.10 c 1705s | 17 | 811717 | 244232 | 498535 0 | 3505 | 10525 1711.75/1712.20 c 1707s | 17 | 812422 | 244432 | 498535 0 | 3505 | 10525 1713.95/1714.42 c 1709s | 17 | 813215 | 244632 | 498535 0 | 3505 | 10525 1716.55/1717.09 c 1712s | 17 | 813805 | 244832 | 498535 0 | 3505 | 10525 1719.34/1719.86 c 1714s | 17 | 814559 | 245032 | 498535 0 | 3505 | 10525 1723.24/1723.71 c 1718s | 17 | 815109 | 245232 | 498535 0 | 3692 | 11172 1725.34/1725.84 c 1720s | 17 | 816009 | 245532 | 498535 0 | 3692 | 11172 1727.85/1728.39 c 1723s | 17 | 817057 | 245832 | 498535 0 | 3692 | 11172 1730.34/1730.81 c 1725s | 17 | 817839 | 246032 | 498535 0 | 3692 | 11172 1733.64/1734.15 c 1729s | 17 | 818550 | 246232 | 498535 0 | 3692 | 11172 1736.14/1736.66 c 1731s | 17 | 818968 | 246432 | 498535 0 | 3692 | 11172 1739.85/1740.35 c 1735s | 17 | 819469 | 246632 | 498535 0 | 3692 | 11172 1743.25/1743.73 c 1738s | 17 | 819829 | 246832 | 498535 0 | 3692 | 11172 1745.74/1746.24 c 1741s | 17 | 820536 | 247032 | 498535 0 | 3692 | 11172 1747.84/1748.34 c 1743s | 17 | 821502 | 247232 | 498535 0 | 3692 | 11172 1750.64/1751.13 c 1746s | 17 | 822569 | 247432 | 498535 0 | 3692 | 11172 1753.44/1753.91 c 1748s | 17 | 823901 | 247732 | 498535 0 | 3692 | 11172 1756.54/1757.04 c 1751s | 17 | 824792 | 248032 | 498535 0 | 3692 | 11172 1758.94/1759.45 c 1754s | 17 | 825488 | 248232 | 498535 0 | 3692 | 11172 1761.14/1761.67 c 1756s | 17 | 826217 | 248432 | 498535 0 | 3692 | 11172 1764.54/1765.09 c 1760s | 17 | 827477 | 248732 | 498535 0 | 3692 | 11172 1767.24/1767.74 c 1762s | 17 | 828002 | 248932 | 498535 0 | 3692 | 11172 1769.64/1770.19 c 1765s | 17 | 828629 | 249132 | 498535 0 | 3692 | 11172 1772.23/1772.75 c 1767s | 17 | 829443 | 249432 | 498535 0 | 3692 | 11172 1775.93/1776.43 c 1771s | 17 | 830246 | 249732 | 498535 0 | 3692 | 11172 1778.13/1778.69 c 1773s | 17 | 830911 | 249932 | 498535 0 | 3692 | 11172 1780.23/1780.78 c 1775s | 17 | 831576 | 250132 | 498535 0 | 3692 | 11172 1783.43/1783.90 c 1778s | 17 | 832189 | 250332 | 498535 0 | 3692 | 11172 1785.73/1786.21 c 1781s | 17 | 832595 | 250532 | 498535 0 | 3692 | 11172 1789.23/1789.77 c 1784s | 17 | 833059 | 250732 | 498535 0 | 3692 | 11172 1792.64/1793.13 c 1788s | 17 | 833246 | 250832 | 498535 0 | 3692 | 11172 1794.84/1795.36 c 1790s | 17 | 833511 | 250932 | 498535 0 | 3692 | 11172 1797.04/1797.53 c 1792s | 17 | 833638 | 251032 | 498535 0 | 3692 | 11172 1799.13/1799.68 c 1794s | 17 | 833758 | 251132 | 498535 0 | 3692 | 11172
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-4099690-1466206157/watcher-4099690-1466206157 -o /tmp/evaluation-result-4099690-1466206157/solver-4099690-1466206157 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15196 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099690-1466206157.opb pid=16060 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.14 0.41 0.23 3/179 16063 /proc/meminfo: memFree=29326324/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=821692 CPUtime=0 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 3083 0 0 0 0 0 0 0 20 0 4 0 22664464 841412608 2934 33554432000 4194304 16246674 140736551961296 140736551960720 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 206191 2946 441 2943 0 203085 0 [pid=16063/tid=16064] ppid=16060 vsize=840124 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 860286976 3008 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=844220 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 864481280 3024 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=849340 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22664464 869724160 3041 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 1.14 0.41 0.23 3/179 16063 /proc/meminfo: memFree=29326324/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 26391 0 0 0 6 3 0 0 20 0 4 0 22664464 1333334016 26180 33554432000 4194304 16246674 140736551961296 140736551960608 8055408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 325521 26193 801 2943 0 322415 0 [pid=16063/tid=16064] ppid=16060 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1333334016 26204 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1333334016 26215 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1333334016 26225 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200558 s] /proc/loadavg: 1.14 0.41 0.23 3/179 16063 /proc/meminfo: memFree=29326324/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1312324 CPUtime=0.19 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 46369 0 0 0 12 7 0 0 20 0 4 0 22664464 1343819776 46668 33554432000 4194304 16246674 140736551961296 140736551960608 13965719 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 328081 46668 802 2943 0 324975 0 [pid=16063/tid=16064] ppid=16060 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1343819776 46668 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1343819776 46668 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1343819776 46668 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1312324 [startup+0.300545 s] /proc/loadavg: 1.14 0.41 0.23 3/179 16063 /proc/meminfo: memFree=29326324/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 58642 0 0 0 21 8 0 0 20 0 4 0 22664464 1344868352 58941 33554432000 4194304 16246674 140736551961296 140736551960608 13780488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 328337 58941 802 2943 0 325231 0 [pid=16063/tid=16064] ppid=16060 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1344868352 58941 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1344868352 58941 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1344868352 58941 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700408 s] /proc/loadavg: 1.14 0.41 0.23 3/179 16063 /proc/meminfo: memFree=29326324/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 64255 0 0 0 61 8 0 0 20 0 4 0 22664464 1344868352 64554 33554432000 4194304 16246674 140736551961296 140736551960608 8058627 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 328337 64554 803 2943 0 325231 0 [pid=16063/tid=16064] ppid=16060 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1344868352 64554 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1344868352 64554 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1344868352 64554 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50042 s] /proc/loadavg: 1.29 0.45 0.24 4/183 16067 /proc/meminfo: memFree=29023180/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 83893 0 0 0 138 11 0 0 20 0 4 0 22664464 1344868352 84192 33554432000 4194304 16246674 140736551961296 140736551943168 4221019 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 328337 84192 808 2943 0 325231 0 [pid=16063/tid=16064] ppid=16060 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1344868352 84192 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1344868352 84192 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1344868352 84192 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10035 s] /proc/loadavg: 1.29 0.45 0.24 3/183 16067 /proc/meminfo: memFree=28587344/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1343044 CPUtime=3.09 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 276380 0 0 0 270 39 0 0 20 0 4 0 22664464 1375277056 276679 33554432000 4194304 16246674 140736551961296 140736551943168 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 335761 276679 837 2943 0 332655 0 [pid=16063/tid=16064] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276679 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276679 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276679 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1343044 [startup+6.30037 s] /proc/loadavg: 1.29 0.45 0.24 3/183 16067 /proc/meminfo: memFree=28221120/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1343044 CPUtime=6.29 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 276432 0 0 0 590 39 0 0 20 0 4 0 22664464 1375277056 276731 33554432000 4194304 16246674 140736551961296 140736551943168 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 335761 276731 886 2943 0 332655 0 [pid=16063/tid=16064] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276731 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276731 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276731 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1343044 [startup+12.7004 s] /proc/loadavg: 1.40 0.51 0.26 3/183 16067 /proc/meminfo: memFree=28221628/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1343044 CPUtime=12.68 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 276435 0 0 0 1229 39 0 0 20 0 4 0 22664464 1375277056 276734 33554432000 4194304 16246674 140736551961296 140736551943168 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 335761 276734 889 2943 0 332655 0 [pid=16063/tid=16064] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276734 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276734 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276734 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1343044 [startup+25.5073 s] /proc/loadavg: 1.49 0.55 0.28 3/183 16067 /proc/meminfo: memFree=28221800/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1343044 CPUtime=25.49 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 276436 0 0 0 2510 39 0 0 20 0 4 0 22664464 1375277056 276735 33554432000 4194304 16246674 140736551961296 140736551943168 13752941 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 335761 276735 889 2943 0 332655 0 [pid=16063/tid=16064] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276735 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276735 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276735 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1343044 [startup+51.1004 s] /proc/loadavg: 1.76 0.71 0.34 3/184 16070 /proc/meminfo: memFree=28221836/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1343044 CPUtime=51.08 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 276440 0 0 0 5069 39 0 0 20 0 4 0 22664464 1375277056 276739 33554432000 4194304 16246674 140736551961296 140736551943168 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 335761 276739 892 2943 0 332655 0 [pid=16063/tid=16064] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276739 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276739 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276739 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1343044 [startup+102.3 s] /proc/loadavg: 2.13 0.97 0.44 3/184 16071 /proc/meminfo: memFree=28221568/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1343044 CPUtime=102.27 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 276442 0 0 0 10188 39 0 0 20 0 4 0 22664464 1375277056 276741 33554432000 4194304 16246674 140736551961296 140736551943168 5823447 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 335761 276741 892 2943 0 332655 0 [pid=16063/tid=16064] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276741 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276741 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276741 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1343044 ################ # More data... # ################ /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1343044 [startup+1302.3 s] /proc/loadavg: 2.19 2.19 1.71 3/184 16295 /proc/meminfo: memFree=28274896/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1343044 CPUtime=1301.93 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 276740 0 0 0 130151 42 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140736551943168 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 335761 276744 893 2943 0 332655 0 [pid=16063/tid=16064] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1343044 [startup+1362.3 s] /proc/loadavg: 2.24 2.20 1.74 3/183 16296 /proc/meminfo: memFree=28274244/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1343044 CPUtime=1361.9 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 276770 0 0 0 136148 42 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140736551943168 5754961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 335761 276744 893 2943 0 332655 0 [pid=16063/tid=16064] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1343044 [startup+1422.3 s] /proc/loadavg: 2.29 2.22 1.77 3/182 16297 /proc/meminfo: memFree=28275480/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1343044 CPUtime=1421.88 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 276774 0 0 0 142146 42 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140736551943168 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 335761 276744 893 2943 0 332655 0 [pid=16063/tid=16064] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1343044 [startup+1482.3 s] /proc/loadavg: 2.19 2.20 1.80 3/183 16299 /proc/meminfo: memFree=28274584/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1343044 CPUtime=1481.88 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 276774 0 0 0 148145 43 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140736551943168 5822900 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 335761 276744 893 2943 0 332655 0 [pid=16063/tid=16064] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1343044 [startup+1542.3 s] /proc/loadavg: 2.28 2.22 1.83 4/183 16301 /proc/meminfo: memFree=28274348/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1343044 CPUtime=1541.88 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 276774 0 0 0 154145 43 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140736551943168 5823246 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 335761 276744 893 2943 0 332655 0 [pid=16063/tid=16064] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1343044 [startup+1602.3 s] /proc/loadavg: 2.19 2.21 1.84 3/183 16302 /proc/meminfo: memFree=28274272/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1343044 CPUtime=1601.87 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 276774 0 0 0 160144 43 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140736551943168 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 335761 276744 893 2943 0 332655 0 [pid=16063/tid=16064] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1343044 [startup+1662.31 s] /proc/loadavg: 2.15 2.20 1.86 3/183 16303 /proc/meminfo: memFree=28274308/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1343044 CPUtime=1661.86 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 276774 0 0 0 166143 43 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140736551943168 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 335761 276744 893 2943 0 332655 0 [pid=16063/tid=16064] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1375277056 276744 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1343044 [startup+1722.3 s] /proc/loadavg: 2.25 2.22 1.89 3/183 16304 /proc/meminfo: memFree=28263992/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1353284 CPUtime=1721.84 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 279334 0 0 0 172141 43 0 0 20 0 4 0 22664464 1385762816 279304 33554432000 4194304 16246674 140736551961296 140736551943168 13808836 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 338321 279304 893 2943 0 335215 0 [pid=16063/tid=16064] ppid=16060 vsize=1353284 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1385762816 279304 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1353284 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1385762816 279304 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1353284 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1385762816 279304 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1353284 [startup+1782.3 s] /proc/loadavg: 2.26 2.22 1.91 3/183 16305 /proc/meminfo: memFree=28263152/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1353284 CPUtime=1781.83 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 279334 0 0 0 178140 43 0 0 20 0 4 0 22664464 1385762816 279304 33554432000 4194304 16246674 140736551961296 140736551943168 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 338321 279304 893 2943 0 335215 0 [pid=16063/tid=16064] ppid=16060 vsize=1353284 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1385762816 279304 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1353284 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1385762816 279304 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1353284 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1385762816 279304 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1353284 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.20 2.21 1.91 3/182 16305 /proc/meminfo: memFree=28263628/32872528 swapFree=1431120/1543540 [pid=16063] ppid=16060 vsize=1353284 CPUtime=1800.03 cores=0,2,4,6 /proc/16063/stat : 16063 (toysat) R 16060 16063 15180 0 -1 4202496 279334 0 0 0 179960 43 0 0 20 0 4 0 22664464 1385762816 279304 33554432000 4194304 16246674 140736551961296 140736551943168 13759557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16063/statm: 338321 279304 893 2943 0 335215 0 [pid=16063/tid=16064] ppid=16060 vsize=1353284 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16064/stat : 16064 (toysat) S 16060 16063 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22664464 1385762816 279304 33554432000 4194304 16246674 140736551961296 140380306648304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16063/tid=16065] ppid=16060 vsize=1353284 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16065/stat : 16065 (toysat) S 16060 16063 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664464 1385762816 279304 33554432000 4194304 16246674 140736551961296 140380296158448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16063/tid=16066] ppid=16060 vsize=1353284 CPUtime=0 cores=0,2,4,6 /proc/16063/task/16066/stat : 16066 (toysat) S 16060 16063 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664464 1385762816 279304 33554432000 4194304 16246674 140736551961296 140380285684912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1353284 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 16063 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.61 CPU system time (s): 0.435933 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 1353284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.61 system time used= 0.435933 maximum resident set size= 1117216 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 279334 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= 363 involuntary context switches= 2207 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.1385 second user time and 14.7928 second system time The end
Begin job on node116 at 2016-06-18 01:29:17 IDJOB=4099690 IDBENCH=1481 IDSOLVER=2542 FILE ID=node116/4099690-1466206157 RUNJOBID= node116-1466206094-15196 PBS_JOBID= 19918160 Free space on /tmp= 71608 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099690-1466206157/watcher-4099690-1466206157 -o /tmp/evaluation-result-4099690-1466206157/solver-4099690-1466206157 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15196 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099690-1466206157.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 70ea01a607f0d01f6199fb93098b84d8 RANDOM SEED=387642115 node116.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.781 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.56 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.781 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.781 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.781 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.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 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.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29326836 kB Buffers: 36660 kB Cached: 112116 kB SwapCached: 2180 kB Active: 1234088 kB Inactive: 59104 kB Active(anon): 1145276 kB Inactive(anon): 1500 kB Active(file): 88812 kB Inactive(file): 57604 kB Unevictable: 1543540 kB Mlocked: 1431120 kB SwapTotal: 67108856 kB SwapFree: 67099540 kB Dirty: 44676 kB Writeback: 0 kB AnonPages: 2686956 kB Mapped: 10660 kB Shmem: 0 kB Slab: 573572 kB SReclaimable: 16752 kB SUnreclaim: 556820 kB KernelStack: 1464 kB PageTables: 9572 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2827344 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 118784 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= 71596 MiB End job on node116 at 2016-06-18 01:59:18