| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.51 |
| Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat25_6_4_6_mh.opb |
| MD5SUM | 94b1451a4cda8c04cd1bd81816dea3d0 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5675195 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 31350 |
| Total number of constraints | 73332 |
| Number of constraints which are clauses | 57050 |
| Number of constraints which are cardinality constraints (but not clauses) | 32 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16250 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 925 |
| Number of terms in the objective function | 16825 |
| Biggest coefficient in the objective function | 155720872 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 17732231209 |
| Number of bits of the sum of numbers in the objective function | 35 |
| Biggest number in a constraint | 155720872 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 17732231209 |
| Number of bits of the biggest sum of numbers | 35 |
| 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-07T21:19:49+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-4079413-1465327189.opb"] 0.00/0.01 c use --random-gen="2393853389 2938467438 3243770811 2810267718 2827465722 1033778670 247148073 1649332582 1867274815 3189798870 4119808525 443289806 3888672177 3346071812 3488169813 1477038639 1043901257 2928943865 1823818934 3663266499 4008910152 2022958910 1467385639 2306044748 234962841 3138066543 759359528 1422666146 1044588030 2913222157 3340739827 4145022913 3572494326 3891914961 2121431112 979445475 17849409 3130323965 3280895765 2616679363 752723358 741892893 1755665385 2214606103 4037055192 869913899 4137124258 4219739148 3583954951 2868306202 1180415168 15186130 3476577067 81305925 4174239840 842132712 4111464451 581894061 413743343 1247956678 571355224 1049188361 3440874331 3236962630 3383328250 3381126956 3543104837 1492055732 1539925687 2887718409 3888135051 4036982307 543503583 4008495223 1213429822 1558586099 4281052976 4229606891 3266257434 2592261502 1006802011 1477858341 2902998531 3437995277 385339119 819772951 3449758305 3041298977 2150748434 3854398874 4035683686 3514182560 3538584835 1897459503 810349858 514445988 3046200651 1973561686 3382772316 596159579 1622717986 1851808372 4241721615 35021729 1409062072 1180210908 839151677 72770851 2225001795 545546671 2733274252 3886986861 3099346824 2570750400 4247181579 4085538699 2240656888 2831894673 3262761790 1009021599 2796359909 2182836800 730626543 2046146747 4239233258 2028960533 1143317015 67461214 3265879377 2490360895 3184677387 1287840965 2249699567 3948140241 1296635431 2992587888 2796835180 320578720 2720459293 1229155957 2786613985 1197624859 2663902975 3133327687 3261730365 1257288682 808639230 3811697936 2847943287 308281618 934740296 648331446 665756884 1585913518 4131410384 3342923236 1491746153 3366435081 1168977604 3359061562 1473813601 2830811576 4038477848 1552657597 993279019 2425025948 3184693335 2892804612 1296332079 30465423 3930101718 2882927350 915985736 2545127530 1135578473 3502244071 3317650916 751781784 47677649 3576384845 200925609 4080920057 4028597110 3924877180 514341015 3649694866 3429235264 3158699744 10078689 3847093175 1509393481 530262636 1882048191 1614177570 2019732960 256707459 120080738 158971186 2543992000 239053184 4170540970 677694516 3206213441 1055091934 2776910623 302332116 2599563547 3913488071 922881400 3964770033 195192040 3178126891 330744145 2545823061 3850188807 3135778588 1988424229 1191057549 1402386177 2324843856 3228351852 4287605240 3461169780 319240249 36367092 1505278970 1317528830 134060281 92875556 4034804009 1586575397 3045349783 2740239383 3741446416 628938541 1664036038 2373764433 952772884 1907965100 3403740371 1329775410 2863306060 2945794636 1946056503 190664463 2161006425 3263180707 3799945480 160367354 4142267153 3066814633 2895958895 1221505909 2437568599 263037689 1935858268 255 362436" option to reproduce the execution 0.49/0.51 c #vars 31350 0.49/0.51 c #constraints 73332 1.59/1.67 c BCD2: Hardening is enabled. 1.59/1.67 c BCD2: BiasedSearch is enabled. 1.59/1.67 c Solving starts ... 1.59/1.67 c ============================[ Search Statistics ]============================ 1.59/1.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.67 c | | | | Limit GC | Var | Constra 1.59/1.67 c ============================================================================= 1.79/1.88 c 0.0s | 0 | 0 | 0 | 35294 0 | 75 | 0 2.30/2.34 c 0.5s | 1 | 181 | 100 | 35294 0 | 75 | 0 2.59/2.68 c 0.8s | 2 | 898 | 250 | 38824 0 | 75 | 0 5.69/5.70 c 3.9s | 2 | 2079 | 450 | 42707 0 | 75 | 0 6.29/6.36 c 4.5s | 3 | 2189 | 475 | 42707 0 | 75 | 0 10.39/10.47 c 8.6s | 3 | 4199 | 675 | 46978 0 | 75 | 0 11.49/11.52 c 9.7s | 4 | 5683 | 813 | 46978 0 | 75 | 0 13.49/13.52 c 11.7s | 5 | 9237 | 1320 | 51676 0 | 75 | 0 15.69/15.71 c 13.9s | 5 | 11918 | 1720 | 56844 0 | 75 | 0 16.59/16.61 c 14.8s | 6 | 12987 | 2081 | 62529 0 | 75 | 0 18.58/18.63 c 16.8s | 6 | 14936 | 2681 | 62529 0 | 75 | 0 20.18/20.27 c 18.4s | 7 | 16758 | 3223 | 68782 0 | 75 | 0 22.49/22.57 c 20.7s | 7 | 23339 | 3823 | 68782 0 | 75 | 0 24.99/25.02 c 23.2s | 7 | 24894 | 4123 | 68782 0 | 75 | 0 27.09/27.10 c 25.3s | 7 | 26697 | 4723 | 68782 0 | 75 | 0 27.89/27.96 c 26.1s | 8 | 27374 | 4936 | 75661 0 | 75 | 0 30.09/30.11 c 28.3s | 8 | 29079 | 5536 | 75661 0 | 75 | 0 32.19/32.20 c 30.4s | 8 | 31011 | 6136 | 75661 0 | 75 | 0 34.19/34.22 c 32.4s | 8 | 32848 | 6736 | 75661 0 | 75 | 0 36.29/36.31 c 34.5s | 8 | 34667 | 7436 | 75661 0 | 75 | 0 36.49/36.59 c 34.7s | 9 | 34981 | 7506 | 83228 0 | 75 | 0 38.69/38.78 c 36.9s | 9 | 37503 | 8106 | 83228 0 | 75 | 0 40.79/40.81 c 39.0s | 9 | 39179 | 8706 | 83228 0 | 75 | 0 43.09/43.12 c 41.3s | 9 | 41507 | 9306 | 83228 0 | 75 | 0 45.09/45.14 c 43.3s | 9 | 42608 | 9706 | 83228 0 | 75 | 0 47.58/47.67 c 45.8s | 9 | 44117 | 10206 | 83228 0 | 75 | 0 49.98/50.00 c 48.2s | 9 | 45454 | 10706 | 83228 0 | 75 | 0 51.98/52.02 c 50.2s | 9 | 47032 | 11206 | 83228 0 | 75 | 0 52.38/52.48 c 50.6s | 10 | 47423 | 11361 | 91551 0 | 75 | 0 54.68/54.71 c 52.9s | 10 | 49442 | 12061 | 91551 0 | 75 | 0 56.78/56.85 c 55.0s | 10 | 51220 | 12261 | 91551 0 | 75 | 0 58.88/58.97 c 57.1s | 10 | 53679 | 12961 | 91551 0 | 75 | 0 60.98/61.06 c 59.2s | 10 | 55774 | 13761 | 91551 0 | 75 | 0 62.98/63.07 c 61.2s | 10 | 57740 | 14361 | 91551 0 | 75 | 0 65.18/65.25 c 63.4s | 10 | 60337 | 15161 | 91551 0 | 75 | 0 67.28/67.38 c 65.5s | 10 | 63048 | 15961 | 91551 0 | 75 | 0 69.39/69.47 c 67.6s | 10 | 65697 | 16761 | 91551 0 | 75 | 0 70.68/70.70 c 68.9s | 11 | 67048 | 17144 | 100707 0 | 75 | 0 72.98/73.07 c 71.2s | 11 | 68108 | 17344 | 100707 0 | 75 | 0 75.18/75.21 c 73.4s | 11 | 68609 | 17444 | 100707 0 | 75 | 0 77.18/77.23 c 75.4s | 11 | 69154 | 17644 | 100707 0 | 75 | 0 79.19/79.25 c 77.4s | 11 | 70428 | 18144 | 100707 0 | 75 | 0 81.58/81.61 c 79.8s | 11 | 71915 | 18644 | 100707 0 | 75 | 0 83.98/84.09 c 82.2s | 11 | 73097 | 19044 | 100707 0 | 75 | 0 86.18/86.20 c 84.4s | 11 | 73843 | 19344 | 100707 0 | 75 | 0 88.38/88.41 c 86.6s | 11 | 75108 | 19844 | 100707 0 | 75 | 0 90.48/90.59 c 88.7s | 11 | 77351 | 20644 | 100707 0 | 75 | 0 92.68/92.79 c 90.9s | 11 | 79272 | 21444 | 100707 0 | 75 | 0 94.88/94.96 c 93.1s | 11 | 81303 | 22244 | 100707 0 | 75 | 0 97.18/97.20 c 95.4s | 11 | 83749 | 23244 | 100707 0 | 75 | 0 99.18/99.25 c 97.4s | 11 | 85543 | 23944 | 100707 0 | 75 | 0 101.38/101.44 c 99.6s | 11 | 87334 | 24744 | 100707 0 | 75 | 0 103.58/103.68 c 101s | 11 | 89568 | 25544 | 100707 0 | 75 | 0 104.67/104.77 c 102s | 12 | 90274 | 25819 | 110778 0 | 75 | 0 106.97/107.01 c 105s | 12 | 92313 | 26519 | 110778 0 | 75 | 0 108.98/109.04 c 107s | 12 | 93900 | 27119 | 110778 0 | 75 | 0 110.97/111.05 c 109s | 12 | 95675 | 27719 | 110778 0 | 75 | 0 113.07/113.19 c 111s | 12 | 97418 | 28419 | 110778 0 | 75 | 0 115.17/115.25 c 113s | 12 | 98975 | 29019 | 110778 0 | 75 | 0 117.17/117.26 c 115s | 12 | 100506 | 29619 | 110778 0 | 75 | 0 119.57/119.62 c 117s | 12 | 102185 | 30219 | 110778 0 | 75 | 0 121.97/122.01 c 120s | 12 | 104168 | 30919 | 110778 0 | 75 | 0 124.07/124.12 c 122s | 12 | 105635 | 31519 | 110778 0 | 75 | 0 126.37/126.41 c 124s | 12 | 106875 | 32019 | 110778 0 | 75 | 0 128.47/128.54 c 126s | 12 | 108228 | 32519 | 110778 0 | 75 | 0 130.57/130.68 c 128s | 12 | 109342 | 33019 | 110778 0 | 75 | 0 132.97/133.09 c 131s | 12 | 111060 | 33519 | 110778 0 | 75 | 0 135.17/135.29 c 133s | 12 | 112423 | 34019 | 110778 0 | 75 | 0 137.37/137.49 c 135s | 12 | 114124 | 34619 | 110778 0 | 75 | 0 139.57/139.69 c 137s | 12 | 115969 | 35219 | 110778 0 | 75 | 0 141.77/141.86 c 140s | 12 | 117859 | 35919 | 110778 0 | 75 | 0 143.87/143.90 c 142s | 12 | 118890 | 36419 | 110778 0 | 75 | 0 145.97/146.02 c 144s | 12 | 120425 | 36919 | 110778 0 | 75 | 0 148.37/148.40 c 146s | 12 | 121835 | 37519 | 110778 0 | 75 | 0 150.47/150.53 c 148s | 12 | 123961 | 38119 | 110778 0 | 75 | 0 152.46/152.53 c 150s | 12 | 125437 | 38619 | 121856 0 | 75 | 0 153.06/153.11 c 151s | 13 | 125970 | 38832 | 121856 0 | 75 | 0 155.36/155.43 c 153s | 13 | 127274 | 39432 | 121856 0 | 75 | 0 157.56/157.69 c 155s | 13 | 128686 | 39932 | 121856 0 | 75 | 0 160.16/160.28 c 158s | 13 | 129913 | 40432 | 121856 0 | 75 | 0 162.66/162.76 c 160s | 13 | 131549 | 41032 | 121856 0 | 75 | 0 164.97/165.09 c 163s | 13 | 132858 | 41532 | 121856 0 | 75 | 0 167.27/167.35 c 165s | 13 | 134724 | 42232 | 121856 0 | 75 | 0 169.47/169.51 c 167s | 13 | 136282 | 42732 | 121856 0 | 75 | 0 171.46/171.57 c 169s | 13 | 137443 | 43232 | 121856 0 | 75 | 0 173.66/173.79 c 171s | 13 | 138967 | 43832 | 121856 0 | 75 | 0 176.16/176.21 c 174s | 13 | 140396 | 44332 | 121856 0 | 75 | 0 178.36/178.42 c 176s | 13 | 141549 | 44832 | 121856 0 | 75 | 0 180.47/180.57 c 178s | 13 | 142894 | 45332 | 121856 0 | 75 | 0 182.57/182.67 c 180s | 13 | 143877 | 45732 | 121856 0 | 75 | 0 184.66/184.72 c 182s | 13 | 144957 | 46232 | 121856 0 | 75 | 0 186.66/186.74 c 184s | 13 | 145595 | 46632 | 121856 0 | 75 | 0 189.06/189.12 c 187s | 13 | 148286 | 47232 | 121856 0 | 75 | 0 191.06/191.13 c 189s | 13 | 149784 | 47632 | 121856 0 | 75 | 0 193.16/193.26 c 191s | 13 | 151696 | 48232 | 121856 0 | 75 | 0 195.26/195.30 c 193s | 13 | 153324 | 48732 | 121856 0 | 75 | 0 197.46/197.57 c 195s | 13 | 154651 | 49332 | 121856 0 | 75 | 0 199.66/199.72 c 197s | 13 | 155706 | 49832 | 121856 0 | 75 | 0 201.86/201.91 c 200s | 13 | 156776 | 50332 | 121856 0 | 75 | 0 204.06/204.12 c 202s | 13 | 158152 | 50832 | 121856 0 | 75 | 0 206.25/206.36 c 204s | 13 | 159331 | 51332 | 121856 0 | 75 | 0 208.35/208.46 c 206s | 13 | 160982 | 51732 | 121856 0 | 75 | 0 210.85/210.96 c 209s | 13 | 162466 | 52232 | 121856 0 | 75 | 0 213.37/213.45 c 211s | 13 | 163992 | 52532 | 121856 0 | 75 | 0 215.46/215.60 c 213s | 13 | 165193 | 52932 | 121856 0 | 75 | 0 217.77/217.83 c 215s | 13 | 166501 | 53332 | 121856 0 | 75 | 0 219.86/219.93 c 218s | 13 | 167724 | 53732 | 121856 0 | 75 | 0 221.86/221.98 c 220s | 13 | 168853 | 54132 | 121856 0 | 75 | 0 224.26/224.35 c 222s | 13 | 170450 | 54632 | 121856 0 | 75 | 0 226.46/226.50 c 224s | 13 | 171706 | 55032 | 121856 0 | 75 | 0 229.16/229.26 c 227s | 13 | 173414 | 55432 | 121856 0 | 75 | 0 231.86/231.93 c 230s | 13 | 174622 | 55632 | 121856 0 | 75 | 0 234.86/234.97 c 233s | 13 | 176727 | 56132 | 121856 0 | 75 | 0 237.36/237.48 c 235s | 13 | 178177 | 56432 | 121856 0 | 75 | 0 239.86/239.98 c 238s | 13 | 180204 | 56932 | 121856 0 | 75 | 0 242.06/242.13 c 240s | 13 | 181368 | 57332 | 121856 0 | 75 | 0 244.16/244.24 c 242s | 13 | 182579 | 57732 | 121856 0 | 75 | 0 246.36/246.48 c 244s | 13 | 183416 | 58032 | 134042 0 | 75 | 0 248.26/248.32 c 246s | 14 | 184671 | 58352 | 134042 0 | 75 | 0 250.26/250.35 c 248s | 14 | 185809 | 58652 | 134042 0 | 75 | 0 252.36/252.42 c 250s | 14 | 187160 | 59052 | 134042 0 | 75 | 0 254.66/254.72 c 252s | 14 | 188137 | 59452 | 134042 0 | 75 | 0 257.05/257.18 c 255s | 14 | 189007 | 59852 | 134042 0 | 75 | 0 259.45/259.56 c 257s | 14 | 189881 | 60252 | 134042 0 | 75 | 0 261.65/261.79 c 259s | 14 | 191329 | 60652 | 134042 0 | 75 | 0 263.75/263.81 c 261s | 14 | 192558 | 61152 | 134042 0 | 75 | 0 265.75/265.87 c 264s | 14 | 193717 | 61552 | 134042 0 | 75 | 0 268.36/268.43 c 266s | 14 | 195143 | 62152 | 134042 0 | 75 | 0 270.45/270.57 c 268s | 14 | 196326 | 62652 | 134042 0 | 75 | 0 272.65/272.79 c 270s | 14 | 197683 | 63152 | 134042 0 | 75 | 0 274.96/275.06 c 273s | 14 | 198565 | 63652 | 134042 0 | 75 | 0 277.45/277.55 c 275s | 14 | 199483 | 64152 | 134042 0 | 75 | 0 279.75/279.84 c 277s | 14 | 201180 | 64752 | 134042 0 | 75 | 0 281.85/281.94 c 280s | 14 | 202191 | 65252 | 134042 0 | 75 | 0 284.05/284.13 c 282s | 14 | 203206 | 65752 | 134042 0 | 75 | 0 286.06/286.17 c 284s | 14 | 204723 | 66252 | 134042 0 | 75 | 0 288.65/288.77 c 286s | 14 | 205957 | 66452 | 134042 0 | 75 | 0 291.05/291.15 c 289s | 14 | 207699 | 66952 | 134042 0 | 75 | 0 293.35/293.42 c 291s | 14 | 209094 | 67552 | 134042 0 | 75 | 0 295.35/295.46 c 293s | 14 | 209972 | 67952 | 134042 0 | 75 | 0 297.45/297.55 c 295s | 14 | 211254 | 68452 | 134042 0 | 75 | 0 299.65/299.71 c 297s | 14 | 212555 | 68952 | 134042 0 | 75 | 0 301.75/301.89 c 300s | 14 | 213491 | 69452 | 134042 0 | 75 | 0 304.04/304.13 c 302s | 14 | 214718 | 70052 | 134042 0 | 75 | 0 306.04/306.16 c 304s | 14 | 215936 | 70452 | 134042 0 | 75 | 0 308.44/308.58 c 306s | 14 | 217407 | 70952 | 134042 0 | 75 | 0 310.54/310.64 c 308s | 14 | 218492 | 71352 | 134042 0 | 75 | 0 312.74/312.83 c 310s | 14 | 219539 | 71852 | 134042 0 | 75 | 0 314.74/314.87 c 313s | 14 | 220906 | 72352 | 134042 0 | 75 | 0 316.94/317.08 c 315s | 14 | 222391 | 73052 | 134042 0 | 75 | 0 319.14/319.29 c 317s | 14 | 223484 | 73552 | 134042 0 | 75 | 0 321.44/321.56 c 319s | 14 | 224913 | 74152 | 134042 0 | 75 | 0 323.74/323.87 c 322s | 14 | 225831 | 74552 | 134042 0 | 75 | 0 325.94/326.00 c 324s | 14 | 226788 | 74952 | 134042 0 | 75 | 0 328.04/328.17 c 326s | 14 | 228399 | 75552 | 134042 0 | 75 | 0 330.05/330.18 c 328s | 14 | 229510 | 76052 | 134042 0 | 75 | 0 332.15/332.27 c 330s | 14 | 230825 | 76552 | 134042 0 | 75 | 0 334.74/334.80 c 332s | 14 | 231751 | 77052 | 134042 0 | 75 | 0 336.94/337.07 c 335s | 14 | 232487 | 77452 | 134042 0 | 75 | 0 339.34/339.49 c 337s | 14 | 233354 | 77952 | 134042 0 | 75 | 0 341.54/341.67 c 339s | 14 | 234936 | 78452 | 134042 0 | 75 | 0 343.74/343.87 c 342s | 14 | 236388 | 79052 | 134042 0 | 75 | 0 345.84/345.91 c 344s | 14 | 237163 | 79552 | 134042 0 | 75 | 0 348.34/348.48 c 346s | 14 | 238034 | 80052 | 134042 0 | 75 | 0 350.74/350.84 c 348s | 14 | 238872 | 80552 | 134042 0 | 75 | 0 353.24/353.35 c 351s | 14 | 239685 | 81052 | 134042 0 | 75 | 0 355.54/355.62 c 353s | 14 | 241010 | 81552 | 134042 0 | 75 | 0 357.54/357.67 c 355s | 14 | 242069 | 82052 | 134042 0 | 75 | 0 359.83/359.94 c 358s | 14 | 243378 | 82652 | 134042 0 | 75 | 0 362.13/362.24 c 360s | 14 | 244796 | 83152 | 134042 0 | 75 | 0 364.43/364.51 c 362s | 14 | 246099 | 83652 | 134042 0 | 75 | 0 366.63/366.75 c 364s | 14 | 246946 | 84152 | 134042 0 | 75 | 0 369.33/369.45 c 367s | 14 | 247608 | 84652 | 134042 0 | 75 | 0 371.33/371.47 c 369s | 14 | 248600 | 84952 | 134042 0 | 75 | 0 373.63/373.72 c 371s | 14 | 249600 | 85352 | 134042 0 | 75 | 0 375.83/375.94 c 374s | 14 | 250712 | 85752 | 134042 0 | 75 | 0 378.13/378.27 c 376s | 14 | 252004 | 86252 | 134042 0 | 75 | 0 380.23/380.40 c 378s | 14 | 253183 | 86752 | 134042 0 | 75 | 0 382.43/382.55 c 380s | 14 | 254106 | 87152 | 147447 0 | 75 | 0 384.83/384.92 c 383s | 15 | 255317 | 87632 | 147447 0 | 75 | 0 387.43/387.52 c 385s | 15 | 256178 | 88032 | 147447 0 | 75 | 0 389.83/389.97 c 388s | 15 | 257074 | 88432 | 147447 0 | 75 | 0 392.13/392.29 c 390s | 15 | 257816 | 88832 | 147447 0 | 75 | 0 394.53/394.63 c 392s | 15 | 258806 | 89332 | 147447 0 | 75 | 0 396.53/396.69 c 394s | 15 | 259854 | 89732 | 147447 0 | 75 | 0 398.63/398.75 c 396s | 15 | 260781 | 90132 | 147447 0 | 75 | 0 400.73/400.88 c 399s | 15 | 261570 | 90532 | 147447 0 | 75 | 0 402.73/402.89 c 401s | 15 | 262401 | 90932 | 147447 0 | 75 | 0 405.33/405.46 c 403s | 15 | 263607 | 91432 | 147447 0 | 75 | 0 407.83/407.98 c 406s | 15 | 264699 | 91932 | 147447 0 | 75 | 0 410.12/410.20 c 408s | 15 | 265481 | 92332 | 147447 0 | 75 | 0 412.53/412.65 c 410s | 15 | 266207 | 92732 | 147447 0 | 75 | 0 414.82/414.92 c 413s | 15 | 266930 | 93132 | 147447 0 | 75 | 0 417.02/417.10 c 415s | 15 | 267744 | 93532 | 147447 0 | 75 | 0 419.42/419.56 c 417s | 15 | 268367 | 93932 | 147447 0 | 75 | 0 421.52/421.66 c 419s | 15 | 269359 | 94332 | 147447 0 | 75 | 0 423.53/423.67 c 421s | 15 | 270158 | 94732 | 147447 0 | 75 | 0 425.63/425.72 c 423s | 15 | 270996 | 95132 | 147447 0 | 75 | 0 428.02/428.13 c 426s | 15 | 272511 | 95532 | 147447 0 | 75 | 0 430.42/430.59 c 428s | 15 | 273786 | 96032 | 147447 0 | 75 | 0 432.62/432.73 c 430s | 15 | 274852 | 96432 | 147447 0 | 75 | 0 434.72/434.89 c 433s | 15 | 275897 | 96832 | 147447 0 | 75 | 0 437.02/437.18 c 435s | 15 | 276883 | 97232 | 147447 0 | 75 | 0 439.72/439.81 c 437s | 15 | 278059 | 97732 | 147447 0 | 75 | 0 441.92/442.06 c 440s | 15 | 279202 | 98232 | 147447 0 | 75 | 0 444.02/444.12 c 442s | 15 | 280385 | 98632 | 147447 0 | 75 | 0 446.53/446.61 c 444s | 15 | 281686 | 99132 | 147447 0 | 75 | 0 448.83/448.92 c 447s | 15 | 282998 | 99632 | 147447 0 | 75 | 0 451.12/451.21 c 449s | 15 | 283924 | 100032 | 147447 0 | 75 | 0 453.42/453.51 c 451s | 15 | 284972 | 100432 | 147447 0 | 75 | 0 455.62/455.70 c 453s | 15 | 285702 | 100832 | 147447 0 | 75 | 0 458.02/458.10 c 456s | 15 | 286500 | 101232 | 147447 0 | 75 | 0 460.22/460.38 c 458s | 15 | 287265 | 101632 | 147447 0 | 75 | 0 462.82/462.98 c 461s | 15 | 287988 | 102032 | 147447 0 | 75 | 0 465.22/465.37 c 463s | 15 | 288742 | 102432 | 147447 0 | 75 | 0 467.32/467.50 c 465s | 15 | 289438 | 102832 | 147447 0 | 75 | 0 470.01/470.11 c 468s | 15 | 290142 | 103232 | 147447 0 | 75 | 0 472.11/472.28 c 470s | 15 | 290595 | 103532 | 147447 0 | 75 | 0 474.12/474.28 c 472s | 15 | 291055 | 103832 | 147447 0 | 75 | 0 476.61/476.70 c 474s | 15 | 292523 | 104232 | 147447 0 | 75 | 0 478.71/478.88 c 477s | 15 | 294037 | 104732 | 147447 0 | 75 | 0 480.81/480.99 c 479s | 15 | 295147 | 105132 | 147447 0 | 75 | 0 483.11/483.28 c 481s | 15 | 296097 | 105532 | 147447 0 | 75 | 0 485.31/485.40 c 483s | 15 | 296900 | 105932 | 147447 0 | 75 | 0 487.32/487.41 c 485s | 15 | 297789 | 106232 | 147447 0 | 75 | 0 489.81/489.96 c 488s | 15 | 298867 | 106632 | 147447 0 | 75 | 0 491.81/491.97 c 490s | 15 | 299578 | 106932 | 147447 0 | 75 | 0 493.92/494.05 c 492s | 15 | 300507 | 107332 | 147447 0 | 75 | 0 496.12/496.25 c 494s | 15 | 301351 | 107732 | 147447 0 | 75 | 0 498.32/498.41 c 496s | 15 | 302177 | 108132 | 147447 0 | 75 | 0 500.42/500.50 c 498s | 15 | 303279 | 108532 | 147447 0 | 75 | 0 502.51/502.67 c 500s | 15 | 304184 | 108932 | 147447 0 | 75 | 0 504.82/505.00 c 503s | 15 | 305225 | 109332 | 147447 0 | 75 | 0 507.02/507.13 c 505s | 15 | 306247 | 109732 | 147447 0 | 75 | 0 509.61/509.70 c 507s | 15 | 307070 | 110132 | 147447 0 | 75 | 0 511.91/512.07 c 510s | 15 | 308006 | 110532 | 147447 0 | 75 | 0 514.21/514.37 c 512s | 15 | 308831 | 110932 | 147447 0 | 75 | 0 516.71/516.87 c 515s | 15 | 309738 | 111432 | 147447 0 | 75 | 0 519.11/519.22 c 517s | 15 | 310637 | 111832 | 147447 0 | 75 | 0 521.31/521.43 c 519s | 15 | 311346 | 112232 | 147447 0 | 75 | 0 523.61/523.74 c 521s | 15 | 312099 | 112632 | 147447 0 | 75 | 0 526.01/526.10 c 524s | 15 | 312951 | 113032 | 147447 0 | 75 | 0 528.50/528.65 c 526s | 15 | 313711 | 113432 | 147447 0 | 75 | 0 530.90/531.05 c 529s | 15 | 314474 | 113832 | 147447 0 | 75 | 0 533.30/533.48 c 531s | 15 | 315258 | 114232 | 147447 0 | 75 | 0 535.51/535.65 c 533s | 15 | 315717 | 114532 | 147447 0 | 75 | 0 538.01/538.18 c 536s | 15 | 316720 | 114932 | 147447 0 | 75 | 0 540.21/540.33 c 538s | 15 | 317411 | 115232 | 147447 0 | 75 | 0 542.22/542.38 c 540s | 15 | 318475 | 115632 | 147447 0 | 75 | 0 544.71/544.88 c 543s | 15 | 319864 | 116132 | 147447 0 | 75 | 0 547.31/547.40 c 545s | 15 | 320717 | 116532 | 147447 0 | 75 | 0 549.41/549.57 c 547s | 15 | 321577 | 116932 | 147447 0 | 75 | 0 551.91/552.09 c 550s | 15 | 322285 | 117332 | 147447 0 | 75 | 0 554.01/554.11 c 552s | 15 | 322986 | 117632 | 147447 0 | 75 | 0 556.01/556.14 c 554s | 15 | 323484 | 117932 | 147447 0 | 75 | 0 558.41/558.59 c 556s | 15 | 324098 | 118332 | 147447 0 | 75 | 0 560.71/560.85 c 559s | 15 | 324772 | 118732 | 147447 0 | 75 | 0 563.31/563.45 c 561s | 15 | 325490 | 119132 | 147447 0 | 75 | 0 565.61/565.74 c 563s | 15 | 326194 | 119532 | 147447 0 | 75 | 0 568.11/568.26 c 566s | 15 | 327000 | 120032 | 147447 0 | 75 | 0 570.21/570.37 c 568s | 15 | 327527 | 120332 | 147447 0 | 75 | 0 572.61/572.76 c 570s | 15 | 328224 | 120732 | 147447 0 | 75 | 0 575.21/575.39 c 573s | 15 | 328862 | 121132 | 147447 0 | 75 | 0 577.51/577.65 c 575s | 15 | 329318 | 121432 | 147447 0 | 75 | 0 579.80/579.94 c 578s | 15 | 329979 | 121832 | 147447 0 | 75 | 0 582.00/582.19 c 580s | 15 | 330870 | 122232 | 147447 0 | 75 | 0 584.11/584.25 c 582s | 15 | 331697 | 122632 | 147447 0 | 75 | 0 586.21/586.37 c 584s | 15 | 332208 | 122932 | 147447 0 | 75 | 0 588.51/588.64 c 586s | 15 | 333192 | 123332 | 147447 0 | 75 | 0 590.90/591.09 c 589s | 15 | 333959 | 123732 | 147447 0 | 75 | 0 593.20/593.30 c 591s | 15 | 334628 | 124132 | 147447 0 | 75 | 0 595.30/595.45 c 593s | 15 | 335441 | 124532 | 147447 0 | 75 | 0 597.50/597.64 c 595s | 15 | 335888 | 124832 | 147447 0 | 75 | 0 599.80/599.90 c 598s | 15 | 336671 | 125232 | 147447 0 | 75 | 0 602.30/602.47 c 600s | 15 | 337574 | 125632 | 147447 0 | 75 | 0 604.30/604.49 c 602s | 15 | 338107 | 125932 | 147447 0 | 75 | 0 606.40/606.54 c 604s | 15 | 338679 | 126232 | 147447 0 | 75 | 0 608.50/608.60 c 606s | 15 | 339210 | 126532 | 147447 0 | 75 | 0 610.60/610.77 c 608s | 15 | 339738 | 126832 | 147447 0 | 75 | 0 613.20/613.35 c 611s | 15 | 340549 | 127232 | 147447 0 | 75 | 0 615.30/615.45 c 613s | 15 | 341063 | 127532 | 147447 0 | 75 | 0 617.50/617.66 c 615s | 15 | 341594 | 127832 | 147447 0 | 75 | 0 619.60/619.74 c 617s | 15 | 342130 | 128132 | 147447 0 | 75 | 0 621.69/621.84 c 619s | 15 | 342591 | 128432 | 147447 0 | 75 | 0 624.09/624.20 c 622s | 15 | 343154 | 128732 | 147447 0 | 75 | 0 626.59/626.72 c 624s | 15 | 343647 | 129032 | 147447 0 | 75 | 0 628.69/628.83 c 626s | 15 | 344067 | 129332 | 147447 0 | 75 | 0 631.09/631.24 c 629s | 15 | 344913 | 129732 | 147447 0 | 75 | 0 633.29/633.41 c 631s | 15 | 345504 | 130032 | 147447 0 | 75 | 0 635.70/635.84 c 633s | 15 | 346505 | 130432 | 147447 0 | 75 | 0 638.29/638.49 c 636s | 15 | 347156 | 130832 | 162192 0 | 75 | 0 640.99/641.13 c 639s | 15 | 347766 | 131232 | 162192 0 | 75 | 0 643.19/643.37 c 641s | 15 | 348306 | 131532 | 162192 0 | 75 | 0 643.40/643.54 c 641s | 16 | 348340 | 131552 | 162192 0 | 75 | 0 645.39/645.55 c 643s | 16 | 348643 | 131752 | 162192 0 | 75 | 0 647.49/647.65 c 645s | 16 | 349163 | 132052 | 162192 0 | 75 | 0 649.49/649.67 c 647s | 16 | 349679 | 132352 | 162192 0 | 75 | 0 651.89/652.01 c 650s | 16 | 350268 | 132752 | 162192 0 | 75 | 0 654.39/654.55 c 652s | 16 | 350903 | 133152 | 162192 0 | 75 | 0 656.89/657.05 c 655s | 16 | 351533 | 133552 | 162192 0 | 75 | 0 659.38/659.57 c 657s | 16 | 352256 | 133952 | 162192 0 | 75 | 0 661.48/661.67 c 659s | 16 | 352860 | 134252 | 162192 0 | 75 | 0 663.68/663.81 c 661s | 16 | 353475 | 134552 | 162192 0 | 75 | 0 665.78/665.96 c 664s | 16 | 354126 | 134852 | 162192 0 | 75 | 0 668.08/668.24 c 666s | 16 | 354671 | 135152 | 162192 0 | 75 | 0 670.89/671.03 c 669s | 16 | 355408 | 135552 | 162192 0 | 75 | 0 672.98/673.17 c 671s | 16 | 355883 | 135852 | 162192 0 | 75 | 0 675.39/675.52 c 673s | 16 | 356358 | 136152 | 162192 0 | 75 | 0 677.38/677.58 c 675s | 16 | 356855 | 136452 | 162192 0 | 75 | 0 679.59/679.70 c 677s | 16 | 357475 | 136752 | 162192 0 | 75 | 0 681.79/681.94 c 680s | 16 | 358152 | 137052 | 162192 0 | 75 | 0 683.89/684.06 c 682s | 16 | 358852 | 137352 | 162192 0 | 75 | 0 685.99/686.14 c 684s | 16 | 359371 | 137652 | 162192 0 | 75 | 0 688.29/688.43 c 686s | 16 | 359920 | 137952 | 162192 0 | 75 | 0 690.70/690.82 c 688s | 16 | 360473 | 138252 | 162192 0 | 75 | 0 692.90/693.01 c 691s | 16 | 360989 | 138552 | 162192 0 | 75 | 0 695.10/695.21 c 693s | 16 | 361522 | 138852 | 162192 0 | 75 | 0 697.40/697.53 c 695s | 16 | 361987 | 139152 | 162192 0 | 75 | 0 699.49/699.70 c 697s | 16 | 362494 | 139452 | 162192 0 | 75 | 0 702.29/702.45 c 700s | 16 | 363161 | 139852 | 162192 0 | 75 | 0 704.59/704.76 c 702s | 16 | 363688 | 140152 | 162192 0 | 75 | 0 706.69/706.89 c 705s | 16 | 364343 | 140452 | 162192 0 | 75 | 0 708.79/708.92 c 707s | 16 | 364905 | 140752 | 162192 0 | 75 | 0 711.49/711.60 c 709s | 16 | 365601 | 141152 | 162192 0 | 75 | 0 713.69/713.84 c 711s | 16 | 366087 | 141452 | 162192 0 | 75 | 0 715.89/716.05 c 714s | 16 | 366536 | 141752 | 162192 0 | 75 | 0 718.29/718.49 c 716s | 16 | 366988 | 142052 | 162192 0 | 75 | 0 721.08/721.25 c 719s | 16 | 367557 | 142452 | 162192 0 | 75 | 0 723.58/723.78 c 721s | 16 | 368015 | 142752 | 162192 0 | 75 | 0 725.99/726.16 c 724s | 16 | 368531 | 143052 | 162192 0 | 75 | 0 728.09/728.23 c 726s | 16 | 369009 | 143352 | 162192 0 | 75 | 0 730.29/730.43 c 728s | 16 | 369428 | 143652 | 162192 0 | 75 | 0 732.49/732.63 c 730s | 16 | 370027 | 143952 | 162192 0 | 75 | 0 734.79/734.94 c 733s | 16 | 370484 | 144252 | 162192 0 | 75 | 0 736.99/737.17 c 735s | 16 | 370927 | 144552 | 162192 0 | 75 | 0 739.09/739.22 c 737s | 16 | 371350 | 144852 | 162192 0 | 75 | 0 741.08/741.23 c 739s | 16 | 371728 | 145152 | 162192 0 | 75 | 0 743.18/743.36 c 741s | 16 | 372204 | 145452 | 162192 0 | 75 | 0 745.58/745.72 c 743s | 16 | 372627 | 145752 | 162192 0 | 75 | 0 748.08/748.28 c 746s | 16 | 373330 | 146152 | 162192 0 | 75 | 0 750.38/750.58 c 748s | 16 | 373744 | 146452 | 162192 0 | 75 | 0 752.78/752.90 c 751s | 16 | 374279 | 146752 | 162192 0 | 75 | 0 754.98/755.17 c 753s | 16 | 374732 | 147052 | 162192 0 | 75 | 0 757.38/757.60 c 755s | 16 | 375180 | 147352 | 162192 0 | 75 | 0 759.88/760.01 c 758s | 16 | 375697 | 147652 | 162192 0 | 75 | 0 762.08/762.25 c 760s | 16 | 376106 | 147952 | 162192 0 | 75 | 0 764.38/764.59 c 762s | 16 | 376569 | 148252 | 162192 0 | 75 | 0 766.58/766.80 c 764s | 16 | 376962 | 148552 | 162192 0 | 75 | 0 768.88/769.09 c 767s | 16 | 377373 | 148852 | 162192 0 | 75 | 0 771.08/771.24 c 769s | 16 | 377793 | 149152 | 162192 0 | 75 | 0 773.48/773.63 c 771s | 16 | 378247 | 149452 | 162192 0 | 75 | 0 775.98/776.12 c 774s | 16 | 379584 | 149852 | 162192 0 | 75 | 0 778.68/778.87 c 777s | 16 | 380662 | 150252 | 162192 0 | 75 | 0 780.88/781.06 c 779s | 16 | 382017 | 150652 | 162192 0 | 75 | 0 783.67/783.84 c 781s | 16 | 383392 | 151052 | 162192 0 | 75 | 0 785.87/786.06 c 784s | 16 | 384193 | 151352 | 162192 0 | 75 | 0 788.07/788.21 c 786s | 16 | 384936 | 151652 | 162192 0 | 75 | 0 790.27/790.41 c 788s | 16 | 385461 | 151952 | 162192 0 | 75 | 0 792.57/792.78 c 790s | 16 | 386108 | 152252 | 162192 0 | 75 | 0 794.87/795.07 c 793s | 16 | 386838 | 152652 | 162192 0 | 75 | 0 797.47/797.64 c 795s | 16 | 387369 | 152952 | 162192 0 | 75 | 0 800.06/800.22 c 798s | 16 | 388224 | 153352 | 162192 0 | 75 | 0 802.16/802.36 c 800s | 16 | 388802 | 153652 | 162192 0 | 75 | 0 804.26/804.48 c 802s | 16 | 389375 | 153952 | 162192 0 | 75 | 0 806.36/806.58 c 804s | 16 | 389838 | 154252 | 162192 0 | 75 | 0 808.37/808.58 c 806s | 16 | 390308 | 154552 | 162192 0 | 75 | 0 810.76/810.91 c 809s | 16 | 390838 | 154852 | 162192 0 | 75 | 0 813.16/813.34 c 811s | 16 | 391321 | 155052 | 162192 0 | 75 | 0 815.26/815.48 c 813s | 16 | 391707 | 155252 | 162192 0 | 75 | 0 817.96/818.19 c 816s | 16 | 392168 | 155552 | 162192 0 | 75 | 0 820.36/820.54 c 818s | 16 | 393019 | 155852 | 162192 0 | 75 | 0 822.56/822.73 c 820s | 16 | 394120 | 156252 | 162192 0 | 75 | 0 824.66/824.83 c 822s | 16 | 394978 | 156552 | 162192 0 | 75 | 0 826.96/827.19 c 825s | 16 | 395672 | 156852 | 162192 0 | 75 | 0 829.37/829.54 c 827s | 16 | 396858 | 157252 | 162192 0 | 75 | 0 831.35/831.55 c 829s | 16 | 397534 | 157552 | 162192 0 | 75 | 0 833.45/833.63 c 831s | 16 | 398136 | 157852 | 162192 0 | 75 | 0 835.75/835.98 c 834s | 16 | 398697 | 158152 | 162192 0 | 75 | 0 837.85/838.06 c 836s | 16 | 399330 | 158452 | 162192 0 | 75 | 0 840.45/840.66 c 838s | 16 | 399851 | 158752 | 162192 0 | 75 | 0 842.65/842.85 c 841s | 16 | 400496 | 159052 | 162192 0 | 75 | 0 845.35/845.55 c 843s | 16 | 401357 | 159452 | 162192 0 | 75 | 0 847.35/847.58 c 845s | 16 | 402003 | 159752 | 162192 0 | 75 | 0 849.85/850.01 c 848s | 16 | 402601 | 160052 | 162192 0 | 75 | 0 852.15/852.37 c 850s | 16 | 403119 | 160352 | 162192 0 | 75 | 0 854.35/854.56 c 852s | 16 | 403779 | 160652 | 162192 0 | 75 | 0 856.65/856.82 c 854s | 16 | 404256 | 160952 | 162192 0 | 75 | 0 858.95/859.19 c 857s | 16 | 404922 | 161252 | 162192 0 | 75 | 0 861.25/861.42 c 859s | 16 | 405822 | 161552 | 162192 0 | 75 | 0 863.35/863.57 c 861s | 16 | 406738 | 161852 | 162192 0 | 75 | 0 865.65/865.86 c 864s | 16 | 407462 | 162152 | 162192 0 | 75 | 0 867.75/867.94 c 866s | 16 | 408344 | 162452 | 162192 0 | 75 | 0 870.05/870.24 c 868s | 16 | 409380 | 162852 | 162192 0 | 75 | 0 872.64/872.89 c 871s | 16 | 410100 | 163252 | 162192 0 | 75 | 0 875.04/875.24 c 873s | 16 | 410703 | 163652 | 162192 0 | 75 | 0 877.04/877.28 c 875s | 16 | 411171 | 163952 | 162192 0 | 75 | 0 879.14/879.35 c 877s | 16 | 411754 | 164252 | 162192 0 | 75 | 0 881.54/881.76 c 879s | 16 | 412369 | 164552 | 162192 0 | 75 | 0 883.53/883.76 c 881s | 16 | 412980 | 164852 | 162192 0 | 75 | 0 886.13/886.39 c 884s | 16 | 413855 | 165252 | 162192 0 | 75 | 0 888.33/888.53 c 886s | 16 | 414347 | 165552 | 162192 0 | 75 | 0 890.33/890.53 c 888s | 16 | 414793 | 165852 | 162192 0 | 75 | 0 892.53/892.73 c 890s | 16 | 415255 | 166152 | 162192 0 | 75 | 0 894.93/895.15 c 893s | 16 | 415732 | 166452 | 162192 0 | 75 | 0 896.93/897.18 c 895s | 16 | 416241 | 166752 | 162192 0 | 75 | 0 899.43/899.64 c 897s | 16 | 416726 | 167052 | 162192 0 | 75 | 0 901.84/902.03 c 900s | 16 | 417156 | 167352 | 162192 0 | 75 | 0 903.93/904.15 c 902s | 16 | 417678 | 167652 | 162192 0 | 75 | 0 906.53/906.72 c 904s | 16 | 418180 | 167952 | 162192 0 | 75 | 0 909.03/909.25 c 907s | 16 | 418598 | 168252 | 162192 0 | 75 | 0 911.23/911.48 c 909s | 16 | 419505 | 168552 | 162192 0 | 75 | 0 913.53/913.74 c 911s | 16 | 420485 | 168952 | 162192 0 | 75 | 0 915.92/916.12 c 914s | 16 | 421385 | 169352 | 162192 0 | 75 | 0 918.52/918.77 c 916s | 16 | 422124 | 169752 | 162192 0 | 75 | 0 921.22/921.47 c 919s | 16 | 423011 | 170152 | 162192 0 | 75 | 0 923.22/923.48 c 921s | 16 | 423731 | 170452 | 162192 0 | 75 | 0 925.92/926.19 c 924s | 16 | 424527 | 170852 | 162192 0 | 75 | 0 928.12/928.35 c 926s | 16 | 425114 | 171152 | 162192 0 | 75 | 0 930.52/930.71 c 928s | 16 | 425670 | 171452 | 162192 0 | 75 | 0 932.82/933.03 c 931s | 16 | 426213 | 171752 | 162192 0 | 75 | 0 934.82/935.06 c 933s | 16 | 426830 | 172052 | 162192 0 | 75 | 0 937.32/937.58 c 935s | 16 | 427649 | 172452 | 162192 0 | 75 | 0 939.91/940.12 c 938s | 16 | 428421 | 172852 | 162192 0 | 75 | 0 942.41/942.60 c 940s | 16 | 429290 | 173252 | 162192 0 | 75 | 0 944.61/944.80 c 942s | 16 | 429804 | 173552 | 162192 0 | 75 | 0 946.71/946.93 c 945s | 16 | 430310 | 173852 | 162192 0 | 75 | 0 949.01/949.21 c 947s | 16 | 430897 | 174152 | 162192 0 | 75 | 0 951.01/951.23 c 949s | 16 | 431374 | 174452 | 162192 0 | 75 | 0 953.11/953.35 c 951s | 16 | 431985 | 174752 | 162192 0 | 75 | 0 955.82/956.01 c 954s | 16 | 432667 | 175152 | 162192 0 | 75 | 0 958.02/958.28 c 956s | 16 | 433181 | 175452 | 162192 0 | 75 | 0 960.31/960.54 c 958s | 16 | 433640 | 175752 | 162192 0 | 75 | 0 962.31/962.59 c 960s | 16 | 434061 | 176052 | 162192 0 | 75 | 0 964.71/964.96 c 963s | 16 | 434626 | 176352 | 162192 0 | 75 | 0 967.01/967.24 c 965s | 16 | 435122 | 176652 | 162192 0 | 75 | 0 969.01/969.26 c 967s | 16 | 435602 | 176952 | 162192 0 | 75 | 0 971.30/971.57 c 969s | 16 | 436009 | 177252 | 162192 0 | 75 | 0 973.80/974.04 c 972s | 16 | 436802 | 177652 | 162192 0 | 75 | 0 976.00/976.24 c 974s | 16 | 437282 | 177952 | 162192 0 | 75 | 0 978.40/978.67 c 976s | 16 | 437765 | 178252 | 162192 0 | 75 | 0 980.60/980.85 c 979s | 16 | 438526 | 178552 | 162192 0 | 75 | 0 983.00/983.20 c 981s | 16 | 439269 | 178852 | 162192 0 | 75 | 0 985.30/985.52 c 983s | 16 | 439828 | 179152 | 162192 0 | 75 | 0 987.39/987.68 c 985s | 16 | 440504 | 179452 | 162192 0 | 75 | 0 989.69/989.95 c 988s | 16 | 441160 | 179752 | 162192 0 | 75 | 0 992.39/992.70 c 990s | 16 | 441773 | 180052 | 162192 0 | 75 | 0 994.90/995.15 c 993s | 16 | 442351 | 180352 | 162192 0 | 75 | 0 997.51/997.77 c 995s | 16 | 442878 | 180652 | 162192 0 | 75 | 0 1000.00/1000.21 c 998s | 16 | 443377 | 180952 | 162192 0 | 75 | 0 1002.30/1002.52 c 1000s | 16 | 443950 | 181252 | 162192 0 | 75 | 0 1004.90/1005.17 c 1003s | 16 | 444511 | 181552 | 162192 0 | 75 | 0 1007.29/1007.56 c 1005s | 16 | 445030 | 181852 | 162192 0 | 75 | 0 1009.60/1009.88 c 1008s | 16 | 445508 | 182152 | 162192 0 | 75 | 0 1012.29/1012.57 c 1010s | 16 | 446008 | 182452 | 162192 0 | 75 | 0 1014.39/1014.60 c 1012s | 16 | 446566 | 182752 | 162192 0 | 75 | 0 1016.59/1016.86 c 1015s | 16 | 447187 | 183052 | 162192 0 | 75 | 0 1019.19/1019.44 c 1017s | 16 | 447795 | 183352 | 162192 0 | 75 | 0 1021.69/1021.94 c 1020s | 16 | 448314 | 183652 | 162192 0 | 75 | 0 1024.09/1024.31 c 1022s | 16 | 448787 | 183952 | 162192 0 | 75 | 0 1026.39/1026.69 c 1024s | 16 | 449357 | 184252 | 162192 0 | 75 | 0 1029.08/1029.30 c 1027s | 16 | 449877 | 184552 | 162192 0 | 75 | 0 1031.88/1032.10 c 1030s | 16 | 450498 | 184852 | 162192 0 | 75 | 0 1034.28/1034.55 c 1032s | 16 | 451141 | 185152 | 162192 0 | 75 | 0 1036.68/1036.93 c 1035s | 16 | 451645 | 185452 | 162192 0 | 75 | 0 1039.08/1039.33 c 1037s | 16 | 452174 | 185752 | 162192 0 | 75 | 0 1041.58/1041.89 c 1040s | 16 | 452686 | 186052 | 162192 0 | 75 | 0 1043.97/1044.28 c 1042s | 16 | 453265 | 186352 | 162192 0 | 75 | 0 1046.17/1046.46 c 1044s | 16 | 453874 | 186652 | 162192 0 | 75 | 0 1048.67/1048.91 c 1047s | 16 | 454360 | 186952 | 162192 0 | 75 | 0 1051.07/1051.36 c 1049s | 16 | 454862 | 187252 | 162192 0 | 75 | 0 1053.27/1053.57 c 1051s | 16 | 455260 | 187552 | 162192 0 | 75 | 0 1055.88/1056.12 c 1054s | 16 | 455683 | 187852 | 162192 0 | 75 | 0 1058.47/1058.73 c 1056s | 16 | 456160 | 188152 | 162192 0 | 75 | 0 1060.87/1061.10 c 1059s | 16 | 456654 | 188452 | 162192 0 | 75 | 0 1063.07/1063.36 c 1061s | 16 | 457149 | 188752 | 162192 0 | 75 | 0 1065.37/1065.65 c 1063s | 16 | 457691 | 189052 | 162192 0 | 75 | 0 1067.56/1067.87 c 1066s | 16 | 458169 | 189352 | 162192 0 | 75 | 0 1070.56/1070.82 c 1068s | 16 | 458616 | 189652 | 162192 1 | 75 | 0 1073.26/1073.50 c 1071s | 16 | 459094 | 189952 | 162192 1 | 75 | 0 1075.76/1076.04 c 1074s | 16 | 459571 | 190252 | 162192 1 | 75 | 0 1077.96/1078.23 c 1076s | 16 | 460119 | 190552 | 162192 1 | 75 | 0 1080.26/1080.56 c 1078s | 16 | 460623 | 190852 | 162192 1 | 75 | 0 1082.46/1082.75 c 1080s | 16 | 461088 | 191152 | 162192 1 | 75 | 0 1084.66/1084.95 c 1083s | 16 | 461559 | 191452 | 162192 1 | 75 | 0 1086.86/1087.13 c 1085s | 16 | 462039 | 191752 | 162192 1 | 75 | 0 1089.16/1089.47 c 1087s | 16 | 462841 | 192152 | 162192 1 | 75 | 0 1091.25/1091.58 c 1089s | 16 | 463257 | 192452 | 162192 1 | 75 | 0 1093.85/1094.11 c 1092s | 16 | 464101 | 192852 | 162192 1 | 75 | 0 1096.15/1096.49 c 1094s | 16 | 464815 | 193252 | 162192 1 | 75 | 0 1098.66/1098.93 c 1097s | 16 | 465699 | 193652 | 162192 1 | 75 | 0 1101.25/1101.51 c 1099s | 16 | 466510 | 194152 | 162192 1 | 75 | 0 1103.75/1104.01 c 1102s | 16 | 467117 | 194552 | 162192 1 | 75 | 0 1105.95/1106.24 c 1104s | 16 | 467718 | 194952 | 162192 1 | 75 | 0 1108.15/1108.48 c 1106s | 16 | 468392 | 195352 | 162192 1 | 75 | 0 1110.65/1110.93 c 1109s | 16 | 468984 | 195752 | 162192 1 | 75 | 0 1112.85/1113.10 c 1111s | 16 | 469549 | 196152 | 178412 1 | 75 | 0 1115.35/1115.63 c 1113s | 16 | 470245 | 196552 | 178412 1 | 75 | 0 1117.85/1118.16 c 1116s | 16 | 471029 | 196952 | 178412 1 | 75 | 0 1120.14/1120.48 c 1118s | 16 | 471874 | 197352 | 178412 1 | 75 | 0 1120.75/1121.04 c 1119s | 17 | 472009 | 197432 | 178412 1 | 75 | 0 1123.24/1123.56 c 1121s | 17 | 472584 | 197732 | 178412 1 | 75 | 0 1125.54/1125.81 c 1123s | 17 | 472893 | 197932 | 178412 1 | 75 | 0 1127.64/1127.99 c 1126s | 17 | 473331 | 198232 | 178412 1 | 75 | 0 1130.34/1130.65 c 1128s | 17 | 473948 | 198632 | 178412 1 | 75 | 0 1132.64/1133.00 c 1131s | 17 | 475592 | 199132 | 178412 1 | 75 | 0 1134.94/1135.26 c 1133s | 17 | 475909 | 199232 | 178412 1 | 75 | 0 1137.34/1137.69 c 1135s | 17 | 476646 | 199532 | 178412 1 | 75 | 0 1139.83/1140.15 c 1138s | 17 | 477402 | 199832 | 178412 1 | 75 | 0 1141.93/1142.27 c 1140s | 17 | 478285 | 200132 | 178412 1 | 75 | 0 1144.43/1144.70 c 1142s | 17 | 479281 | 200532 | 178412 1 | 75 | 0 1146.53/1146.89 c 1145s | 17 | 480287 | 200932 | 178412 1 | 75 | 0 1148.83/1149.17 c 1147s | 17 | 481307 | 201332 | 178412 1 | 75 | 0 1151.54/1151.89 c 1150s | 17 | 483043 | 201832 | 178412 1 | 75 | 0 1154.13/1154.46 c 1152s | 17 | 484491 | 202332 | 178412 1 | 75 | 0 1156.13/1156.50 c 1154s | 17 | 485319 | 202632 | 178412 1 | 75 | 0 1158.63/1158.99 c 1157s | 17 | 486527 | 203032 | 178412 1 | 75 | 0 1160.93/1161.21 c 1159s | 17 | 487578 | 203332 | 178412 1 | 75 | 0 1163.13/1163.42 c 1161s | 17 | 488772 | 203732 | 178412 1 | 75 | 0 1165.32/1165.66 c 1163s | 17 | 489333 | 204032 | 178412 1 | 75 | 0 1167.42/1167.80 c 1165s | 17 | 490084 | 204332 | 178412 1 | 75 | 0 1169.62/1169.95 c 1168s | 17 | 491082 | 204632 | 178412 1 | 75 | 0 1171.62/1171.99 c 1170s | 17 | 491805 | 204932 | 178412 1 | 75 | 0 1173.72/1174.08 c 1172s | 17 | 492524 | 205232 | 178412 1 | 75 | 0 1176.22/1176.51 c 1174s | 17 | 493943 | 205732 | 178412 1 | 75 | 0 1178.42/1178.76 c 1176s | 17 | 494831 | 206132 | 178412 1 | 75 | 0 1180.52/1180.87 c 1179s | 17 | 495505 | 206432 | 178412 1 | 75 | 0 1182.92/1183.23 c 1181s | 17 | 497016 | 206932 | 178412 1 | 75 | 0 1185.72/1186.07 c 1184s | 17 | 497659 | 207232 | 178412 1 | 75 | 0 1188.02/1188.35 c 1186s | 17 | 498369 | 207532 | 178412 1 | 75 | 0 1190.62/1190.97 c 1189s | 17 | 499585 | 208032 | 178412 1 | 75 | 0 1193.12/1193.41 c 1191s | 17 | 500661 | 208532 | 178412 1 | 75 | 0 1195.32/1195.69 c 1193s | 17 | 501352 | 208932 | 178412 1 | 75 | 0 1197.72/1198.09 c 1196s | 17 | 502128 | 209332 | 178412 1 | 75 | 0 1199.92/1200.26 c 1198s | 17 | 502567 | 209632 | 178412 1 | 75 | 0 1202.52/1202.85 c 1201s | 17 | 503117 | 209932 | 178412 1 | 75 | 0 1212.11/1212.47 c 1210s | 17 | 503742 | 210232 | 178412 1 | 75 | 0 1214.51/1214.88 c 1213s | 17 | 505052 | 210732 | 178412 1 | 75 | 0 1216.91/1217.27 c 1215s | 17 | 505865 | 211132 | 178412 1 | 75 | 0 1219.21/1219.54 c 1217s | 17 | 506947 | 211532 | 178412 1 | 75 | 0 1221.81/1222.12 c 1220s | 17 | 508063 | 211932 | 178412 1 | 75 | 0 1224.21/1224.52 c 1222s | 17 | 508788 | 212332 | 178412 1 | 75 | 0 1226.21/1226.55 c 1224s | 17 | 509538 | 212632 | 178412 1 | 75 | 0 1228.81/1229.16 c 1227s | 17 | 510592 | 213032 | 178412 1 | 75 | 0 1230.80/1231.18 c 1229s | 17 | 510948 | 213232 | 178412 1 | 75 | 0 1233.30/1233.60 c 1231s | 17 | 511804 | 213632 | 178412 1 | 75 | 0 1235.50/1235.86 c 1234s | 17 | 512262 | 213932 | 178412 1 | 75 | 0 1237.90/1238.23 c 1236s | 17 | 513197 | 214332 | 178412 1 | 75 | 0 1240.10/1240.47 c 1238s | 17 | 513845 | 214732 | 178412 1 | 75 | 0 1242.30/1242.68 c 1240s | 17 | 514407 | 215032 | 178412 1 | 75 | 0 1244.70/1245.00 c 1243s | 17 | 515041 | 215332 | 178412 1 | 75 | 0 1246.90/1247.23 c 1245s | 17 | 515739 | 215732 | 178412 1 | 75 | 0 1249.20/1249.50 c 1247s | 17 | 516225 | 216032 | 178412 1 | 75 | 0 1251.79/1252.13 c 1250s | 17 | 516639 | 216332 | 178412 1 | 75 | 0 1254.19/1254.58 c 1252s | 17 | 517125 | 216632 | 178412 1 | 75 | 0 1256.29/1256.68 c 1254s | 17 | 517554 | 216932 | 178412 1 | 75 | 0 1258.89/1259.29 c 1257s | 17 | 518313 | 217332 | 178412 1 | 75 | 0 1261.59/1261.92 c 1260s | 17 | 519420 | 217732 | 178412 1 | 75 | 0 1264.08/1264.42 c 1262s | 17 | 520360 | 218132 | 178412 1 | 75 | 0 1266.39/1266.70 c 1264s | 17 | 521001 | 218432 | 178412 1 | 75 | 0 1268.39/1268.75 c 1266s | 17 | 521598 | 218732 | 178412 1 | 75 | 0 1270.49/1270.87 c 1269s | 17 | 522347 | 219032 | 178412 1 | 75 | 0 1272.59/1272.99 c 1271s | 17 | 522909 | 219332 | 178412 1 | 75 | 0 1274.89/1275.20 c 1273s | 17 | 523610 | 219632 | 178412 1 | 75 | 0 1277.29/1277.64 c 1275s | 17 | 524445 | 220032 | 178412 1 | 75 | 0 1279.39/1279.72 c 1277s | 17 | 525044 | 220332 | 178412 1 | 75 | 0 1281.48/1281.87 c 1280s | 17 | 525603 | 220632 | 178412 1 | 75 | 0 1284.08/1284.41 c 1282s | 17 | 526158 | 220932 | 178412 1 | 75 | 0 1286.18/1286.58 c 1284s | 17 | 526953 | 221332 | 178412 1 | 75 | 0 1288.58/1288.97 c 1287s | 17 | 527500 | 221632 | 178412 1 | 75 | 0 1291.38/1291.71 c 1289s | 17 | 528204 | 222032 | 178412 1 | 75 | 0 1293.47/1293.85 c 1292s | 17 | 528784 | 222332 | 178412 1 | 75 | 0 1295.97/1296.35 c 1294s | 17 | 529420 | 222732 | 178412 1 | 75 | 0 1298.17/1298.59 c 1296s | 17 | 530236 | 223132 | 178412 1 | 75 | 0 1300.57/1300.91 c 1299s | 17 | 531405 | 223532 | 178412 1 | 75 | 0 1302.87/1303.29 c 1301s | 17 | 532298 | 223932 | 178412 1 | 75 | 0 1305.07/1305.41 c 1303s | 17 | 533201 | 224332 | 178412 1 | 75 | 0 1307.47/1307.89 c 1306s | 17 | 534012 | 224732 | 178412 1 | 75 | 0 1309.96/1310.36 c 1308s | 17 | 534635 | 225132 | 178412 1 | 75 | 0 1312.16/1312.59 c 1310s | 17 | 535374 | 225432 | 178412 1 | 75 | 0 1314.66/1315.06 c 1313s | 17 | 536020 | 225732 | 178412 1 | 75 | 0 1316.96/1317.35 c 1315s | 17 | 536807 | 226032 | 178412 1 | 75 | 0 1319.56/1319.90 c 1318s | 17 | 537910 | 226432 | 178412 1 | 75 | 0 1321.87/1322.26 c 1320s | 17 | 538557 | 226732 | 178412 1 | 75 | 0 1324.17/1324.50 c 1322s | 17 | 539189 | 227032 | 178412 1 | 75 | 0 1326.56/1326.93 c 1325s | 17 | 540186 | 227432 | 178412 1 | 75 | 0 1329.26/1329.66 c 1327s | 17 | 541027 | 227832 | 178412 1 | 75 | 0 1331.87/1332.29 c 1330s | 17 | 541722 | 228232 | 178412 1 | 75 | 0 1334.46/1334.85 c 1333s | 17 | 542577 | 228632 | 178412 1 | 75 | 0 1336.66/1337.09 c 1335s | 17 | 543294 | 228932 | 178412 1 | 75 | 0 1339.06/1339.47 c 1337s | 17 | 543779 | 229232 | 178412 1 | 75 | 0 1341.46/1341.85 c 1340s | 17 | 544390 | 229532 | 178412 1 | 75 | 0 1343.65/1344.08 c 1342s | 17 | 544884 | 229832 | 178412 1 | 75 | 0 1345.65/1346.08 c 1344s | 17 | 545139 | 230032 | 178412 1 | 75 | 0 1347.95/1348.34 c 1346s | 17 | 545699 | 230332 | 178412 1 | 75 | 0 1349.95/1350.36 c 1348s | 17 | 546054 | 230532 | 178412 1 | 75 | 0 1351.95/1352.39 c 1350s | 17 | 546398 | 230732 | 178412 1 | 75 | 0 1354.55/1354.92 c 1353s | 17 | 546867 | 231032 | 178412 1 | 75 | 0 1357.75/1358.16 c 1356s | 17 | 547330 | 231332 | 178412 1 | 75 | 0 1359.75/1360.18 c 1358s | 17 | 547989 | 231532 | 178412 1 | 75 | 0 1362.25/1362.61 c 1360s | 17 | 549061 | 231932 | 178412 1 | 75 | 0 1364.44/1364.89 c 1363s | 17 | 550109 | 232332 | 178412 1 | 75 | 0 1366.54/1366.96 c 1365s | 17 | 550893 | 232632 | 178412 1 | 75 | 0 1369.04/1369.44 c 1367s | 17 | 551655 | 233032 | 178412 1 | 75 | 0 1371.54/1371.93 c 1370s | 17 | 552557 | 233432 | 178412 1 | 75 | 0 1373.54/1373.93 c 1372s | 17 | 553093 | 233732 | 178412 1 | 75 | 0 1375.74/1376.15 c 1374s | 17 | 553947 | 234032 | 178412 1 | 75 | 0 1378.34/1378.70 c 1376s | 17 | 554965 | 234432 | 178412 1 | 75 | 0 1380.44/1380.81 c 1378s | 17 | 555773 | 234732 | 178412 1 | 75 | 0 1382.83/1383.20 c 1381s | 17 | 556481 | 235032 | 178412 1 | 75 | 0 1384.93/1385.31 c 1383s | 17 | 557211 | 235332 | 178412 1 | 75 | 0 1387.63/1388.07 c 1386s | 17 | 557707 | 235632 | 178412 1 | 75 | 0 1390.33/1390.79 c 1388s | 17 | 558198 | 235932 | 178412 1 | 75 | 0 1393.34/1393.74 c 1391s | 17 | 558785 | 236232 | 178412 1 | 75 | 0 1395.33/1395.77 c 1393s | 17 | 559147 | 236432 | 178412 1 | 75 | 0 1398.33/1398.74 c 1396s | 17 | 559630 | 236732 | 178412 1 | 75 | 0 1400.33/1400.77 c 1398s | 17 | 559897 | 236932 | 178412 1 | 75 | 0 1402.83/1403.30 c 1401s | 17 | 560345 | 237232 | 178412 1 | 75 | 0 1405.94/1406.31 c 1404s | 17 | 560761 | 237532 | 178412 1 | 75 | 0 1408.34/1408.78 c 1406s | 17 | 561394 | 237832 | 178412 1 | 75 | 0 1410.94/1411.34 c 1409s | 17 | 561952 | 238132 | 178412 1 | 75 | 0 1412.93/1413.38 c 1411s | 17 | 562517 | 238432 | 178412 1 | 75 | 0 1415.03/1415.49 c 1413s | 17 | 563035 | 238732 | 178412 1 | 75 | 0 1417.23/1417.67 c 1415s | 17 | 563800 | 239032 | 178412 1 | 75 | 0 1419.63/1420.00 c 1418s | 17 | 564369 | 239332 | 178412 1 | 75 | 0 1422.04/1422.45 c 1420s | 17 | 564837 | 239632 | 178412 1 | 75 | 0 1424.13/1424.54 c 1422s | 17 | 565400 | 239932 | 178412 1 | 75 | 0 1426.44/1426.81 c 1424s | 17 | 566458 | 240332 | 178412 1 | 75 | 0 1428.93/1429.32 c 1427s | 17 | 567521 | 240732 | 178412 1 | 75 | 0 1431.12/1431.52 c 1429s | 17 | 567996 | 241032 | 178412 1 | 75 | 0 1433.42/1433.80 c 1431s | 17 | 568501 | 241332 | 178412 1 | 75 | 0 1436.02/1436.47 c 1434s | 17 | 568968 | 241632 | 178412 1 | 75 | 0 1438.43/1438.88 c 1437s | 17 | 569456 | 241932 | 178412 1 | 75 | 0 1441.22/1441.63 c 1439s | 17 | 569907 | 242232 | 178412 1 | 75 | 0 1443.62/1444.01 c 1442s | 17 | 570402 | 242532 | 178412 1 | 75 | 0 1445.92/1446.33 c 1444s | 17 | 570836 | 242832 | 178412 1 | 75 | 0 1448.62/1449.05 c 1447s | 17 | 571262 | 243132 | 178412 1 | 75 | 0 1451.52/1451.91 c 1450s | 17 | 571670 | 243432 | 178412 1 | 75 | 0 1453.52/1453.99 c 1452s | 17 | 572128 | 243732 | 178412 1 | 75 | 0 1456.13/1456.53 c 1454s | 17 | 572940 | 244132 | 178412 1 | 75 | 0 1458.12/1458.53 c 1456s | 17 | 573579 | 244432 | 178412 1 | 75 | 0 1460.22/1460.62 c 1458s | 17 | 574254 | 244732 | 178412 1 | 75 | 0 1462.62/1463.05 c 1461s | 17 | 574697 | 245032 | 178412 1 | 75 | 0 1465.02/1465.42 c 1463s | 17 | 575166 | 245332 | 178412 1 | 75 | 0 1467.12/1467.54 c 1465s | 17 | 575909 | 245732 | 178412 1 | 75 | 0 1469.82/1470.27 c 1468s | 17 | 576636 | 246132 | 178412 1 | 75 | 0 1472.42/1472.84 c 1470s | 17 | 577229 | 246532 | 178412 1 | 75 | 0 1475.12/1475.52 c 1473s | 17 | 577858 | 246932 | 178412 1 | 75 | 0 1477.22/1477.61 c 1475s | 17 | 578334 | 247232 | 178412 1 | 75 | 0 1479.42/1479.81 c 1477s | 17 | 578769 | 247532 | 178412 1 | 75 | 0 1481.51/1481.92 c 1480s | 17 | 579185 | 247832 | 178412 1 | 75 | 0 1484.41/1484.82 c 1482s | 17 | 579677 | 248132 | 178412 1 | 75 | 0 1487.21/1487.64 c 1485s | 17 | 580263 | 248432 | 178412 1 | 75 | 0 1489.31/1489.76 c 1487s | 17 | 580528 | 248632 | 178412 1 | 75 | 0 1492.32/1492.72 c 1490s | 17 | 580939 | 248932 | 178412 1 | 75 | 0 1495.11/1495.52 c 1493s | 17 | 581364 | 249232 | 178412 1 | 75 | 0 1497.71/1498.14 c 1496s | 17 | 581794 | 249532 | 178412 1 | 75 | 0 1500.21/1500.67 c 1498s | 17 | 582190 | 249832 | 178412 1 | 75 | 0 1502.91/1503.37 c 1501s | 17 | 582619 | 250132 | 178412 1 | 75 | 0 1505.41/1505.88 c 1504s | 17 | 583050 | 250432 | 178412 1 | 75 | 0 1507.71/1508.16 c 1506s | 17 | 583460 | 250732 | 178412 1 | 75 | 0 1510.41/1510.83 c 1508s | 17 | 584094 | 251132 | 178412 1 | 75 | 0 1513.01/1513.40 c 1511s | 17 | 584790 | 251532 | 178412 1 | 75 | 0 1515.01/1515.44 c 1513s | 17 | 585164 | 251832 | 178412 1 | 75 | 0 1517.61/1518.01 c 1516s | 17 | 585752 | 252232 | 178412 1 | 75 | 0 1519.91/1520.38 c 1518s | 17 | 586193 | 252532 | 178412 1 | 75 | 0 1522.21/1522.61 c 1520s | 17 | 586697 | 252832 | 178412 1 | 75 | 0 1524.61/1525.04 c 1523s | 17 | 587200 | 253132 | 178412 1 | 75 | 0 1526.71/1527.20 c 1525s | 17 | 587666 | 253432 | 178412 1 | 75 | 0 1529.20/1529.67 c 1527s | 17 | 588110 | 253732 | 178412 1 | 75 | 0 1531.50/1531.99 c 1530s | 17 | 588520 | 254032 | 178412 1 | 75 | 0 1533.80/1534.26 c 1532s | 17 | 588968 | 254332 | 178412 1 | 75 | 0 1536.20/1536.70 c 1534s | 17 | 589380 | 254632 | 178412 1 | 75 | 0 1538.70/1539.16 c 1537s | 17 | 589772 | 254932 | 178412 1 | 75 | 0 1541.30/1541.71 c 1539s | 17 | 590328 | 255332 | 178412 1 | 75 | 0 1543.50/1543.96 c 1542s | 17 | 590795 | 255632 | 178412 1 | 75 | 0 1545.50/1545.97 c 1544s | 17 | 591198 | 255932 | 178412 1 | 75 | 0 1548.00/1548.44 c 1546s | 17 | 591655 | 256232 | 178412 1 | 75 | 0 1550.80/1551.22 c 1549s | 17 | 592118 | 256532 | 178412 1 | 75 | 0 1553.60/1554.02 c 1552s | 17 | 592589 | 256832 | 178412 1 | 75 | 0 1556.70/1557.18 c 1555s | 17 | 592986 | 257132 | 178412 1 | 75 | 0 1559.51/1559.94 c 1558s | 17 | 593478 | 257432 | 178412 1 | 75 | 0 1562.10/1562.59 c 1560s | 17 | 594022 | 257732 | 178412 1 | 75 | 0 1564.80/1565.25 c 1563s | 17 | 594481 | 258032 | 178412 1 | 75 | 0 1567.60/1568.04 c 1566s | 17 | 594904 | 258332 | 178412 1 | 75 | 0 1570.41/1570.88 c 1569s | 17 | 595311 | 258632 | 178412 1 | 75 | 0 1573.70/1574.15 c 1572s | 17 | 595760 | 258932 | 178412 1 | 75 | 0 1576.40/1576.83 c 1574s | 17 | 596177 | 259232 | 178412 1 | 75 | 0 1579.30/1579.80 c 1577s | 17 | 596556 | 259532 | 178412 1 | 75 | 0 1581.40/1581.82 c 1579s | 17 | 596844 | 259732 | 178412 1 | 75 | 0 1583.90/1584.36 c 1582s | 17 | 597262 | 260032 | 178412 1 | 75 | 0 1586.70/1587.15 c 1585s | 17 | 597712 | 260332 | 178412 1 | 75 | 0 1589.29/1589.79 c 1587s | 17 | 598097 | 260632 | 178412 1 | 75 | 0 1591.79/1592.21 c 1590s | 17 | 598504 | 260932 | 178412 1 | 75 | 0 1594.09/1594.58 c 1592s | 17 | 598948 | 261232 | 178412 1 | 75 | 0 1596.59/1597.07 c 1595s | 17 | 599364 | 261532 | 178412 1 | 75 | 0 1599.10/1599.54 c 1597s | 17 | 599831 | 261832 | 178412 1 | 75 | 0 1601.49/1601.99 c 1600s | 17 | 600215 | 262132 | 178412 1 | 75 | 0 1603.79/1604.27 c 1602s | 17 | 600658 | 262432 | 178412 1 | 75 | 0 1606.39/1606.83 c 1604s | 17 | 601065 | 262732 | 178412 1 | 75 | 0 1609.29/1609.72 c 1607s | 17 | 601430 | 263032 | 178412 1 | 75 | 0 1611.79/1612.23 c 1610s | 17 | 602125 | 263232 | 178412 1 | 75 | 0 1614.09/1614.59 c 1612s | 17 | 603352 | 263632 | 178412 1 | 75 | 0 1616.60/1617.03 c 1615s | 17 | 603864 | 263932 | 178412 1 | 75 | 0 1618.69/1619.13 c 1617s | 17 | 604488 | 264232 | 178412 1 | 75 | 0 1621.29/1621.73 c 1619s | 17 | 605122 | 264532 | 178412 1 | 75 | 0 1624.09/1624.52 c 1622s | 17 | 605947 | 264932 | 178412 1 | 75 | 0 1626.89/1627.33 c 1625s | 17 | 606519 | 265232 | 178412 1 | 75 | 0 1629.29/1629.75 c 1627s | 17 | 607153 | 265532 | 178412 1 | 75 | 0 1631.69/1632.16 c 1630s | 17 | 607920 | 265932 | 178412 1 | 75 | 0 1633.99/1634.42 c 1632s | 17 | 608345 | 266232 | 178412 1 | 75 | 0 1636.69/1637.14 c 1635s | 17 | 608892 | 266532 | 178412 1 | 75 | 0 1639.29/1639.71 c 1637s | 17 | 609353 | 266832 | 178412 1 | 75 | 0 1641.99/1642.48 c 1640s | 17 | 610023 | 267132 | 178412 1 | 75 | 0 1644.19/1644.64 c 1642s | 17 | 610821 | 267432 | 178412 1 | 75 | 0 1646.58/1647.03 c 1645s | 17 | 611683 | 267732 | 178412 1 | 75 | 0 1648.68/1649.16 c 1647s | 17 | 612008 | 267932 | 178412 1 | 75 | 0 1650.98/1651.44 c 1649s | 17 | 612566 | 268232 | 178412 1 | 75 | 0 1653.48/1653.95 c 1652s | 17 | 613092 | 268532 | 178412 1 | 75 | 0 1656.19/1656.63 c 1654s | 17 | 613708 | 268832 | 178412 1 | 75 | 0 1658.18/1658.67 c 1656s | 17 | 614220 | 269132 | 178412 1 | 75 | 0 1660.59/1661.01 c 1659s | 17 | 614788 | 269432 | 178412 1 | 75 | 0 1663.28/1663.76 c 1661s | 17 | 615201 | 269732 | 178412 1 | 75 | 0 1665.98/1666.48 c 1664s | 17 | 615660 | 270032 | 178412 1 | 75 | 0 1668.08/1668.54 c 1666s | 17 | 615951 | 270232 | 178412 1 | 75 | 0 1670.68/1671.18 c 1669s | 17 | 616385 | 270532 | 178412 1 | 75 | 0 1673.68/1674.18 c 1672s | 17 | 616891 | 270832 | 178412 1 | 75 | 0 1676.28/1676.79 c 1674s | 17 | 617534 | 271132 | 178412 1 | 75 | 0 1679.18/1679.70 c 1677s | 17 | 618015 | 271432 | 178412 1 | 75 | 0 1681.38/1681.83 c 1679s | 17 | 618521 | 271732 | 178412 1 | 75 | 0 1683.79/1684.26 c 1682s | 17 | 619015 | 272032 | 178412 1 | 75 | 0 1686.68/1687.14 c 1685s | 17 | 619538 | 272332 | 178412 1 | 75 | 0 1689.38/1689.81 c 1687s | 17 | 619973 | 272632 | 178412 1 | 75 | 0 1691.38/1691.82 c 1689s | 17 | 620275 | 272832 | 178412 1 | 75 | 0 1693.68/1694.15 c 1692s | 17 | 620582 | 273032 | 178412 1 | 75 | 0 1695.88/1696.34 c 1694s | 17 | 620881 | 273232 | 178412 1 | 75 | 0 1698.68/1699.10 c 1697s | 17 | 621328 | 273532 | 178412 1 | 75 | 0 1700.88/1701.31 c 1699s | 17 | 621650 | 273732 | 178412 1 | 75 | 0 1703.18/1703.62 c 1701s | 17 | 622892 | 274032 | 178412 1 | 75 | 0 1712.08/1712.50 c 1710s | 17 | 623726 | 274332 | 178412 2 | 75 | 0 1715.47/1715.91 c 1714s | 17 | 624477 | 274432 | 178412 2 | 75 | 0 1717.67/1718.12 c 1716s | 17 | 624729 | 274532 | 178412 2 | 75 | 0 1725.17/1725.64 c 1723s | 17 | 625101 | 274632 | 178412 2 | 75 | 0 1727.48/1727.96 c 1726s | 17 | 625749 | 274732 | 178412 2 | 75 | 0 1730.77/1731.29 c 1729s | 17 | 626460 | 274932 | 178412 2 | 75 | 0 1733.28/1733.71 c 1731s | 17 | 627297 | 275332 | 178412 2 | 75 | 0 1735.48/1735.93 c 1734s | 17 | 628404 | 275732 | 178412 2 | 75 | 0 1737.47/1737.99 c 1736s | 17 | 629333 | 276032 | 178412 2 | 75 | 0 1739.88/1740.34 c 1738s | 17 | 630645 | 276532 | 178412 2 | 75 | 0 1742.27/1742.70 c 1740s | 17 | 631720 | 277032 | 178412 2 | 75 | 0 1744.28/1744.78 c 1742s | 17 | 632459 | 277432 | 178412 2 | 75 | 0 1746.77/1747.27 c 1745s | 17 | 633416 | 277932 | 178412 2 | 75 | 0 1748.87/1749.39 c 1747s | 17 | 634127 | 278332 | 178412 2 | 75 | 0 1751.07/1751.52 c 1749s | 17 | 634830 | 278732 | 178412 2 | 75 | 0 1753.37/1753.82 c 1751s | 17 | 635596 | 279132 | 178412 2 | 75 | 0 1755.37/1755.89 c 1754s | 17 | 636326 | 279532 | 178412 2 | 75 | 0 1757.77/1758.30 c 1756s | 17 | 636942 | 279932 | 178412 2 | 75 | 0 1760.07/1760.50 c 1758s | 17 | 637399 | 280232 | 178412 2 | 75 | 0 1762.07/1762.53 c 1760s | 17 | 637905 | 280532 | 178412 2 | 75 | 0 1764.76/1765.23 c 1763s | 17 | 638824 | 281032 | 178412 2 | 75 | 0 1767.27/1767.79 c 1765s | 17 | 639414 | 281432 | 178412 2 | 75 | 0 1769.96/1770.47 c 1768s | 17 | 640050 | 281832 | 178412 2 | 75 | 0 1772.06/1772.56 c 1770s | 17 | 640473 | 282132 | 178412 2 | 75 | 0 1774.06/1774.59 c 1772s | 17 | 640882 | 282432 | 178412 2 | 75 | 0 1778.56/1779.05 c 1777s | 17 | 641651 | 282732 | 178412 2 | 75 | 0 1781.27/1781.78 c 1779s | 17 | 642138 | 282832 | 178412 2 | 75 | 0 1785.67/1786.16 c 1784s | 17 | 643190 | 283032 | 178412 2 | 75 | 0 1788.87/1789.39 c 1787s | 17 | 644150 | 283232 | 178412 2 | 75 | 0 1792.07/1792.55 c 1790s | 17 | 644855 | 283332 | 178412 2 | 75 | 0 1794.37/1794.83 c 1792s | 17 | 645462 | 283432 | 178412 2 | 75 | 0 1798.17/1798.67 c 1796s | 17 | 646399 | 283632 | 178412 2 | 75 | 0
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-4079413-1465327189/watcher-4079413-1465327189 -o /tmp/evaluation-result-4079413-1465327189/solver-4079413-1465327189 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21027 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079413-1465327189.opb pid=22814 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 2.05 2.03 3/179 22817 /proc/meminfo: memFree=29133896/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=697788 CPUtime=0 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 2598 0 0 0 0 0 0 0 20 0 4 0 114652381 714534912 2959 33554432000 4194304 16246674 140736197684064 140736197683488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 175215 2968 441 2943 0 172109 0 [pid=22817/tid=22818] ppid=22814 vsize=715332 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 732499968 3027 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=719428 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 736694272 3043 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=722500 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114652381 739840000 3057 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100186 s] /proc/loadavg: 2.10 2.05 2.03 3/179 22817 /proc/meminfo: memFree=29133896/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1303108 CPUtime=0.09 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 30167 0 0 0 6 3 0 0 20 0 4 0 114652381 1334382592 30470 33554432000 4194304 16246674 140736197684064 140736197683376 7375574 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 325777 30486 800 2943 0 322671 0 [pid=22817/tid=22818] ppid=22814 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1334382592 30496 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1334382592 30508 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1334382592 30518 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1303108 [startup+0.200543 s] /proc/loadavg: 2.10 2.05 2.03 3/179 22817 /proc/meminfo: memFree=29133896/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 45809 0 0 0 14 5 0 0 20 0 4 0 114652381 1344868352 46619 33554432000 4194304 16246674 140736197684064 140736197683376 12752396 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 328337 46619 801 2943 0 325231 0 [pid=22817/tid=22818] ppid=22814 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1344868352 46619 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1344868352 46619 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1344868352 46619 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.30052 s] /proc/loadavg: 2.10 2.05 2.03 3/179 22817 /proc/meminfo: memFree=29133896/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1313348 CPUtime=0.28 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 53195 0 0 0 22 6 0 0 20 0 4 0 114652381 1344868352 54005 33554432000 4194304 16246674 140736197684064 140736197683376 4221129 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 328337 54005 802 2943 0 325231 0 [pid=22817/tid=22818] ppid=22814 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1344868352 54005 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1344868352 54005 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1344868352 54005 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1313348 [startup+0.700428 s] /proc/loadavg: 2.10 2.05 2.03 3/179 22817 /proc/meminfo: memFree=29133896/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 63860 0 0 0 61 8 0 0 20 0 4 0 114652381 1344868352 64670 33554432000 4194304 16246674 140736197684064 140736197683376 6965576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 328337 64670 840 2943 0 325231 0 [pid=22817/tid=22818] ppid=22814 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1344868352 64670 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1344868352 64670 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1344868352 64670 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50042 s] /proc/loadavg: 2.10 2.05 2.03 3/183 22821 /proc/meminfo: memFree=28659156/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 191660 0 0 0 118 31 0 0 20 0 4 0 114652381 1344868352 192470 33554432000 4194304 16246674 140736197684064 140736197665984 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 328337 192479 845 2943 0 325231 0 [pid=22817/tid=22818] ppid=22814 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1344868352 192485 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1344868352 192491 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1344868352 192496 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10043 s] /proc/loadavg: 2.10 2.05 2.03 3/183 22821 /proc/meminfo: memFree=28198240/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1346116 CPUtime=3.09 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 233192 0 0 0 272 37 0 0 20 0 4 0 114652381 1378422784 234002 33554432000 4194304 16246674 140736197684064 140736197665984 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 336529 234002 888 2943 0 333423 0 [pid=22817/tid=22818] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 234002 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 234002 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 234002 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1346116 [startup+6.30043 s] /proc/loadavg: 2.09 2.05 2.03 3/183 22821 /proc/meminfo: memFree=28023464/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1346116 CPUtime=6.29 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 276980 0 0 0 587 42 0 0 20 0 4 0 114652381 1378422784 277790 33554432000 4194304 16246674 140736197684064 140736197665920 5598492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 336529 277790 891 2943 0 333423 0 [pid=22817/tid=22818] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 277790 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 277790 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 277790 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1346116 [startup+12.7004 s] /proc/loadavg: 2.08 2.05 2.03 3/184 22824 /proc/meminfo: memFree=28022596/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1346116 CPUtime=12.69 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 277210 0 0 0 1227 42 0 0 20 0 4 0 114652381 1378422784 278020 33554432000 4194304 16246674 140736197684064 140736197665984 5823643 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 336529 278020 894 2943 0 333423 0 [pid=22817/tid=22818] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 278020 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 278020 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 278020 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1346116 [startup+25.5005 s] /proc/loadavg: 2.07 2.05 2.03 3/184 22824 /proc/meminfo: memFree=28023364/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1346116 CPUtime=25.49 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 277210 0 0 0 2506 43 0 0 20 0 4 0 114652381 1378422784 278020 33554432000 4194304 16246674 140736197684064 140736197665984 5823619 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 336529 278020 894 2943 0 333423 0 [pid=22817/tid=22818] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 278020 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 278020 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 278020 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1346116 [startup+51.1005 s] /proc/loadavg: 2.04 2.04 2.03 3/184 22824 /proc/meminfo: memFree=28022940/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1346116 CPUtime=51.08 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 277210 0 0 0 5065 43 0 0 20 0 4 0 114652381 1378422784 278020 33554432000 4194304 16246674 140736197684064 140736197665984 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 336529 278020 894 2943 0 333423 0 [pid=22817/tid=22818] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 278020 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 278020 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 278020 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1346116 [startup+102.301 s] /proc/loadavg: 2.07 2.05 2.03 3/183 22826 /proc/meminfo: memFree=28022908/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1346116 CPUtime=102.28 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 277210 0 0 0 10185 43 0 0 20 0 4 0 114652381 1378422784 278020 33554432000 4194304 16246674 140736197684064 140736197665984 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 336529 278020 894 2943 0 333423 0 [pid=22817/tid=22818] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 278020 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 278020 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1378422784 278020 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1346116 ################ # More data... # ################ /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1370692 [startup+1362.3 s] /proc/loadavg: 2.08 2.04 2.00 3/183 22955 /proc/meminfo: memFree=29273360/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1370692 CPUtime=1361.95 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 283620 0 0 0 136124 71 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 140736197665984 5600232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 342673 284172 899 2943 0 339567 0 [pid=22817/tid=22818] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1370692 [startup+1422.3 s] /proc/loadavg: 2.03 2.03 2.00 3/183 22956 /proc/meminfo: memFree=29273452/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1370692 CPUtime=1421.94 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 283643 0 0 0 142122 72 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 140736197665984 5545788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 342673 284172 899 2943 0 339567 0 [pid=22817/tid=22818] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1370692 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 22957 /proc/meminfo: memFree=29272212/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1370692 CPUtime=1481.91 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 283649 0 0 0 148119 72 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 140736197665984 5722972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 342673 284172 899 2943 0 339567 0 [pid=22817/tid=22818] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1370692 [startup+1542.31 s] /proc/loadavg: 2.00 2.02 2.00 3/183 22958 /proc/meminfo: memFree=29272700/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1370692 CPUtime=1541.91 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 283649 0 0 0 154119 72 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 140736197665984 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 342673 284172 899 2943 0 339567 0 [pid=22817/tid=22818] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1370692 [startup+1602.3 s] /proc/loadavg: 2.06 2.03 2.00 3/183 22959 /proc/meminfo: memFree=29262316/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1370692 CPUtime=1601.89 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 283649 0 0 0 160116 73 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 140736197665984 5600014 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 342673 284172 899 2943 0 339567 0 [pid=22817/tid=22818] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1370692 [startup+1662.3 s] /proc/loadavg: 2.02 2.02 2.00 3/183 22961 /proc/meminfo: memFree=29256392/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1370692 CPUtime=1661.88 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 283649 0 0 0 166113 75 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 140736197665984 13192855 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 342673 284172 899 2943 0 339567 0 [pid=22817/tid=22818] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1370692 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 22962 /proc/meminfo: memFree=29256040/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1370692 CPUtime=1721.88 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 283649 0 0 0 172098 90 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 140736197683160 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 342673 284172 899 2943 0 339567 0 [pid=22817/tid=22818] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1370692 [startup+1782.3 s] /proc/loadavg: 2.04 2.03 2.00 3/183 22963 /proc/meminfo: memFree=29255700/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1370692 CPUtime=1781.87 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 283649 0 0 0 178090 97 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 140736197665984 12415791 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 342673 284172 899 2943 0 339567 0 [pid=22817/tid=22818] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1370692 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.03 2.02 2.00 4/183 22963 /proc/meminfo: memFree=29256056/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1370692 CPUtime=1800.06 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 283649 0 0 0 179909 97 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 140736197665984 5822286 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 342673 284172 899 2943 0 339567 0 [pid=22817/tid=22818] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1370692 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 22817 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.03 2.02 2.00 4/183 22963 /proc/meminfo: memFree=29256056/32872528 swapFree=11196/354588 [pid=22817] ppid=22814 vsize=1370692 CPUtime=1800.06 cores=1,3,5,7 /proc/22817/stat : 22817 (toysat) R 22814 22817 21010 0 -1 4202496 283649 0 0 0 179909 97 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 140736197665984 5822286 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22817/statm: 342673 284172 899 2943 0 339567 0 [pid=22817/tid=22818] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22818/stat : 22818 (toysat) S 22814 22817 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637492264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22817/tid=22819] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22819/stat : 22819 (toysat) S 22814 22817 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637481774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22817/tid=22820] ppid=22814 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/22817/task/22820/stat : 22820 (toysat) S 22814 22817 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114652381 1403588608 284172 33554432000 4194304 16246674 140736197684064 139637471300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1370692 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.08 CPU user time (s): 1799.1 CPU system time (s): 0.971852 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 1370692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.1 system time used= 0.971852 maximum resident set size= 1136688 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283649 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= 314 involuntary context switches= 1840 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.74297 second user time and 9.54555 second system time The end
Begin job on node126 at 2016-06-07 21:19:49 IDJOB=4079413 IDBENCH=92694 IDSOLVER=2542 FILE ID=node126/4079413-1465327189 RUNJOBID= node126-1465306898-21027 PBS_JOBID= 19849495 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_6_mh.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079413-1465327189/watcher-4079413-1465327189 -o /tmp/evaluation-result-4079413-1465327189/solver-4079413-1465327189 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21027 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079413-1465327189.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 94b1451a4cda8c04cd1bd81816dea3d0 RANDOM SEED=196462603 node126.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.500 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.00 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.500 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.500 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.500 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.500 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.500 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.56 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.500 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.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29134268 kB Buffers: 32820 kB Cached: 264340 kB SwapCached: 2088 kB Active: 2505612 kB Inactive: 137636 kB Active(anon): 2343616 kB Inactive(anon): 4628 kB Active(file): 161996 kB Inactive(file): 133008 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098680 kB Dirty: 19208 kB Writeback: 0 kB AnonPages: 2705716 kB Mapped: 10764 kB Shmem: 0 kB Slab: 600888 kB SReclaimable: 44832 kB SUnreclaim: 556056 kB KernelStack: 1464 kB PageTables: 9420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2845828 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1134592 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= 71704 MiB End job on node126 at 2016-06-07 21:49:50