| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.17 | 1800.49 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-ship12l.opb |
| MD5SUM | f3b03e873dc4df8efe5ac51669e9a176 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 162810 |
| Total number of constraints | 1037 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1037 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 2250 |
| Number of terms in the objective function | 162810 |
| Biggest coefficient in the objective function | 1857 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 664362 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 664362 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T04:03:11+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-4100609-1466215390.opb"] 0.00/0.01 c use --random-gen="4111358352 1071749825 3999275580 988648234 3357278677 1969083743 3870190092 2674261191 667900731 1392773031 2930506714 631593692 2127629396 1120366708 4001807549 751579899 3945438642 1972495556 646090014 1361882241 2087406021 1702097688 2579697865 863012328 2362186835 265338834 3206064551 3230663061 4271212823 3312519926 3511390116 3473748409 437486887 689075297 769790957 3246145958 2664944036 2832532760 1953732081 159345061 1912552170 2695649263 1918829080 45649373 308544766 3243342916 1938695291 550718512 2996384793 2401899881 2607717057 318795499 1448573277 3276626402 2945213546 2174637809 1833650771 3021107562 64962643 3972443415 3409400519 1125945331 1429942504 3477583027 637417617 3772689390 4235004227 3998208378 862565905 2985825742 3440583505 3386916386 1548179262 1709689527 1540921191 1613241070 3778203262 1944454801 2466241536 552408470 2960648800 485140099 2253805242 824863891 2876176608 807993101 2760366038 744985691 910257898 2340888942 2338972208 1645849344 3340994354 3552738719 1035598276 731117145 2495625995 2304849668 3948364758 3182521684 2384431534 1368855042 3198658637 3859467411 3701201754 1315464510 4099174690 2757529381 1965041604 1360503497 2510620101 125767444 2069827632 3036549494 197052771 2074278878 1156695291 2202083882 1286298778 1684600357 1874003212 1100841022 1235543692 3606269096 1176079540 1786903880 1390804502 1532698592 770126554 3045651952 2039078776 3437569979 482252639 2568611748 2212892269 1321376808 3037360710 3062404820 296559632 1039066014 2418376288 666074671 1614168593 2468568317 2342845365 2806952732 2470134089 84207383 3056719779 261312258 202782166 4048165059 1025450499 829591663 3116658662 2087281878 2736348329 3051365566 1973715937 100372998 616045495 3218367656 4172416338 1226848398 498588454 2186238979 2622869064 3710307640 3716591672 229472444 4241291972 2453080954 3238374207 3114667967 728811570 4237266538 3876740477 64294504 2793498094 2476232566 2339971633 2919292790 3794582438 3613643768 3199575497 3710064691 3284682883 128673614 2087226249 2992013813 780008536 2550069497 3519954025 333502696 3333639643 2127064278 2460161654 3368997463 1440050969 1404521708 139432567 2084922728 3383287916 4293215407 3893544258 2233364584 3154988344 962913957 986959949 3325206525 1599040182 2314711541 1598806396 3866188123 492699474 2406669602 1303190073 2612109981 1433247936 2572750065 2837083460 52028875 3511664715 1896426498 721878171 2842986858 3162911562 2988198613 3056123754 2969556977 472245355 1130739248 2937118328 2853091167 3738347059 3650282224 4074187635 3391836885 113151684 1759253656 2284666549 2856901363 3749930873 3517903724 3465852883 2431677891 1371115250 3583181314 3487938470 2761787494 4167988999 1866201776 1639305534 1651623557 3005956724 2101196397 255 362436" option to reproduce the execution 1.09/1.10 c #vars 162810 1.09/1.10 c #constraints 1037 3.50/3.57 c BCD2: Hardening is enabled. 3.50/3.57 c BCD2: BiasedSearch is enabled. 3.50/3.57 c Solving starts ... 3.50/3.57 c ============================[ Search Statistics ]============================ 3.50/3.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.50/3.57 c | | | | Limit GC | Var | Constra 3.50/3.57 c ============================================================================= 3.50/3.60 c 0.0s | 0 | 0 | 0 | 54834 0 | 93827 | 0 4.09/4.13 c 0.5s | 1 | 3188 | 100 | 54834 0 | 93827 | 280 4.19/4.28 c 0.7s | 2 | 3445 | 250 | 60318 0 | 93827 | 280 4.39/4.46 c 0.9s | 3 | 3779 | 475 | 66350 0 | 93827 | 280 4.70/4.72 c 1.1s | 4 | 4310 | 813 | 72985 0 | 93827 | 280 4.99/5.05 c 1.5s | 5 | 4995 | 1320 | 80284 0 | 93827 | 280 5.39/5.49 c 1.9s | 6 | 5855 | 2081 | 97145 0 | 93827 | 280 6.49/6.51 c 2.9s | 7 | 7068 | 3223 | 106860 0 | 93827 | 280 7.39/7.41 c 3.8s | 8 | 8855 | 4936 | 117547 0 | 93827 | 280 8.99/9.01 c 5.4s | 9 | 11579 | 7506 | 129302 0 | 93827 | 280 11.69/11.73 c 8.1s | 9 | 14988 | 7806 | 129302 0 | 93827 | 280 14.59/14.64 c 11.0s | 9 | 15286 | 8106 | 129302 0 | 93827 | 280 17.59/17.68 c 14.1s | 9 | 15588 | 8406 | 129302 0 | 93827 | 280 19.58/19.69 c 16.1s | 9 | 15794 | 8606 | 129302 0 | 93827 | 280 21.78/21.83 c 18.2s | 9 | 15994 | 8806 | 129302 0 | 93827 | 280 23.78/23.85 c 20.2s | 9 | 16195 | 9006 | 129302 0 | 93827 | 280 26.48/26.57 c 23.0s | 9 | 16522 | 9306 | 129302 0 | 93827 | 280 29.38/29.40 c 25.8s | 9 | 16823 | 9606 | 129302 0 | 93827 | 280 32.19/32.29 c 28.7s | 9 | 17126 | 9906 | 129302 0 | 93827 | 280 34.18/34.30 c 30.7s | 9 | 17331 | 10106 | 129302 0 | 93827 | 280 37.18/37.22 c 33.6s | 9 | 17637 | 10406 | 129302 0 | 93827 | 280 40.08/40.17 c 36.6s | 9 | 17939 | 10706 | 129302 0 | 93827 | 280 42.18/42.23 c 38.6s | 9 | 18134 | 10906 | 129302 0 | 93827 | 280 44.19/44.29 c 40.7s | 9 | 18341 | 11106 | 129302 0 | 93827 | 280 46.78/46.85 c 43.2s | 10 | 18597 | 11361 | 142233 0 | 93827 | 280 49.38/49.45 c 45.8s | 10 | 30986 | 12161 | 142233 0 | 93827 | 280 51.68/51.73 c 48.1s | 10 | 31182 | 12361 | 142233 0 | 93827 | 280 53.88/53.94 c 50.3s | 10 | 31946 | 12961 | 142233 0 | 93827 | 280 55.98/56.00 c 52.4s | 10 | 32597 | 13561 | 142233 0 | 93827 | 280 57.98/58.09 c 54.5s | 10 | 33256 | 14161 | 142233 0 | 93827 | 280 60.08/60.19 c 56.6s | 10 | 33938 | 14761 | 142233 0 | 93827 | 280 62.48/62.51 c 58.9s | 10 | 34493 | 15261 | 142233 0 | 93827 | 280 64.48/64.58 c 61.0s | 10 | 35031 | 15761 | 142233 0 | 93827 | 280 66.58/66.60 c 63.0s | 10 | 35606 | 16261 | 142233 0 | 93827 | 280 68.98/69.01 c 65.4s | 10 | 36271 | 16861 | 142233 0 | 93827 | 280 70.18/70.30 c 66.7s | 11 | 36580 | 17144 | 156457 0 | 93827 | 280 72.88/72.91 c 69.3s | 11 | 37338 | 17444 | 156457 0 | 93827 | 280 74.87/74.97 c 71.4s | 11 | 37656 | 17744 | 156457 0 | 93827 | 280 77.57/77.61 c 74.0s | 11 | 38062 | 18144 | 156457 0 | 93827 | 280 79.58/79.68 c 76.1s | 11 | 38354 | 18444 | 156457 0 | 93827 | 280 81.78/81.84 c 78.2s | 11 | 38656 | 18744 | 156457 0 | 93827 | 280 83.98/84.07 c 80.5s | 11 | 38953 | 19044 | 156457 0 | 93827 | 280 86.28/86.31 c 82.7s | 11 | 39261 | 19344 | 156457 0 | 93827 | 280 88.48/88.58 c 85.0s | 11 | 39556 | 19644 | 156457 0 | 93827 | 280 90.88/90.93 c 87.3s | 11 | 39875 | 19944 | 156457 0 | 93827 | 280 93.18/93.29 c 89.7s | 11 | 40176 | 20244 | 156457 0 | 93827 | 280 95.58/95.67 c 92.1s | 11 | 40477 | 20544 | 156457 0 | 93827 | 280 98.08/98.18 c 94.6s | 11 | 40767 | 20844 | 156457 0 | 93827 | 280 100.57/100.68 c 97.1s | 11 | 41060 | 21144 | 156457 0 | 93827 | 280 103.07/103.19 c 99.6s | 11 | 41374 | 21444 | 156457 0 | 93827 | 280 105.57/105.67 c 102s | 11 | 41668 | 21744 | 156457 0 | 93827 | 280 108.17/108.25 c 104s | 11 | 41964 | 22044 | 156457 0 | 93827 | 280 111.07/111.11 c 107s | 11 | 42272 | 22344 | 156457 0 | 93827 | 280 113.67/113.75 c 110s | 11 | 42589 | 22644 | 156457 0 | 93827 | 280 116.07/116.16 c 112s | 11 | 42894 | 22944 | 156457 0 | 93827 | 280 118.67/118.77 c 115s | 11 | 43203 | 23244 | 156457 0 | 93827 | 280 121.37/121.45 c 117s | 11 | 43503 | 23544 | 156457 0 | 93827 | 280 124.17/124.21 c 120s | 11 | 43792 | 23844 | 156457 0 | 93827 | 280 126.87/126.97 c 123s | 11 | 44107 | 24144 | 156457 0 | 93827 | 280 129.67/129.75 c 126s | 11 | 44405 | 24444 | 156457 0 | 93827 | 280 132.67/132.71 c 129s | 11 | 44703 | 24744 | 156457 0 | 93827 | 280 135.37/135.44 c 131s | 11 | 45004 | 25044 | 156457 0 | 93827 | 280 137.37/137.48 c 133s | 11 | 45203 | 25244 | 156457 0 | 93827 | 280 140.16/140.30 c 136s | 11 | 45515 | 25544 | 156457 0 | 93827 | 280 142.26/142.32 c 138s | 11 | 45715 | 25744 | 172103 0 | 93827 | 280 143.06/143.14 c 139s | 12 | 45787 | 25819 | 172103 0 | 93827 | 280 145.06/145.16 c 141s | 12 | 56616 | 29519 | 172103 0 | 93827 | 280 147.06/147.19 c 143s | 12 | 66184 | 34219 | 172103 0 | 93827 | 280 149.16/149.21 c 145s | 12 | 75356 | 38619 | 189314 0 | 93827 | 280 149.26/149.31 c 145s | 13 | 75729 | 38832 | 189314 0 | 93827 | 280 151.26/151.33 c 147s | 13 | 82683 | 42032 | 189314 0 | 93827 | 280 153.26/153.37 c 149s | 13 | 90429 | 45832 | 189314 0 | 93827 | 280 155.27/155.37 c 151s | 13 | 97739 | 49432 | 189314 0 | 93827 | 280 157.26/157.38 c 153s | 13 | 104733 | 52932 | 189314 0 | 93827 | 280 159.36/159.43 c 155s | 13 | 111243 | 56232 | 189314 0 | 93827 | 280 160.67/160.79 c 157s | 14 | 115507 | 58352 | 208246 0 | 93827 | 280 162.77/162.82 c 159s | 14 | 120350 | 60652 | 208246 0 | 93827 | 280 164.77/164.82 c 161s | 14 | 126353 | 63652 | 208246 0 | 93827 | 280 166.77/166.88 c 163s | 14 | 132106 | 66352 | 208246 0 | 93827 | 280 168.87/168.94 c 165s | 14 | 137818 | 69052 | 208246 0 | 93827 | 280 170.97/171.01 c 167s | 14 | 143201 | 71752 | 208246 0 | 93827 | 280 172.97/173.09 c 169s | 14 | 148682 | 74352 | 208246 0 | 93827 | 280 175.07/175.13 c 171s | 14 | 153965 | 77052 | 208246 0 | 93827 | 280 177.07/177.15 c 173s | 14 | 158966 | 79452 | 208246 0 | 93827 | 280 179.17/179.21 c 175s | 14 | 164452 | 81852 | 208246 0 | 93827 | 280 181.17/181.27 c 177s | 14 | 169265 | 84152 | 208246 0 | 93827 | 280 183.17/183.27 c 179s | 14 | 173454 | 86252 | 208246 0 | 93827 | 280 184.47/184.51 c 180s | 15 | 176246 | 87632 | 229071 0 | 93827 | 280 186.57/186.61 c 183s | 15 | 179576 | 89132 | 229071 0 | 93827 | 280 188.57/188.66 c 185s | 15 | 183777 | 91232 | 229071 0 | 93827 | 280 190.67/190.73 c 187s | 15 | 188019 | 93232 | 229071 0 | 93827 | 280 192.67/192.73 c 189s | 15 | 192195 | 95232 | 229071 0 | 93827 | 280 194.66/194.75 c 191s | 15 | 196670 | 97232 | 229071 0 | 93827 | 280 196.76/196.82 c 193s | 15 | 201026 | 99332 | 229071 0 | 93827 | 280 198.86/198.92 c 195s | 15 | 205096 | 101432 | 229071 0 | 93827 | 280 200.86/200.97 c 197s | 15 | 209198 | 103332 | 229071 0 | 93827 | 280 202.96/203.07 c 199s | 15 | 212955 | 105132 | 229071 0 | 93827 | 280 205.06/205.11 c 201s | 15 | 216225 | 107032 | 229071 0 | 93827 | 280 207.07/207.18 c 203s | 15 | 219667 | 108832 | 229071 0 | 93827 | 280 209.17/209.22 c 205s | 15 | 223544 | 110632 | 229071 0 | 93827 | 280 211.16/211.23 c 207s | 15 | 226868 | 112432 | 229071 0 | 93827 | 280 213.26/213.35 c 209s | 15 | 230240 | 114232 | 229071 0 | 93827 | 280 215.36/215.46 c 211s | 15 | 233419 | 116032 | 229071 0 | 93827 | 280 217.36/217.47 c 213s | 15 | 236299 | 117632 | 229071 0 | 93827 | 280 219.46/219.57 c 215s | 15 | 239213 | 119232 | 229071 0 | 93827 | 280 221.46/221.59 c 217s | 15 | 242360 | 120832 | 229071 0 | 93827 | 280 223.57/223.65 c 220s | 15 | 245467 | 122532 | 229071 0 | 93827 | 280 225.67/225.75 c 222s | 15 | 248667 | 124232 | 229071 0 | 93827 | 280 227.76/227.86 c 224s | 15 | 251743 | 125832 | 229071 0 | 93827 | 280 229.86/229.96 c 226s | 15 | 254418 | 127332 | 229071 0 | 93827 | 280 231.96/232.01 c 228s | 15 | 257317 | 128832 | 229071 0 | 93827 | 280 234.06/234.16 c 230s | 15 | 260099 | 130332 | 229071 0 | 93827 | 280 235.86/235.91 c 232s | 16 | 262315 | 131552 | 251979 0 | 93827 | 280 237.96/238.07 c 234s | 16 | 264254 | 132452 | 251979 0 | 93827 | 280 240.06/240.11 c 236s | 16 | 267553 | 133952 | 251979 0 | 93827 | 280 242.06/242.17 c 238s | 16 | 270782 | 135552 | 251979 0 | 93827 | 280 244.16/244.27 c 240s | 16 | 273673 | 136952 | 251979 0 | 93827 | 280 246.26/246.32 c 242s | 16 | 276116 | 138352 | 251979 0 | 93827 | 280 248.36/248.42 c 244s | 16 | 279286 | 139752 | 251979 0 | 93827 | 280 250.35/250.44 c 246s | 16 | 282372 | 141252 | 251979 0 | 93827 | 280 252.45/252.56 c 248s | 16 | 285452 | 142752 | 251979 0 | 93827 | 280 254.55/254.60 c 251s | 16 | 288398 | 144252 | 251979 0 | 93827 | 280 256.56/256.62 c 253s | 16 | 290875 | 145652 | 251979 0 | 93827 | 280 258.55/258.67 c 255s | 16 | 293730 | 147052 | 251979 0 | 93827 | 280 260.65/260.72 c 257s | 16 | 296505 | 148552 | 251979 0 | 93827 | 280 262.75/262.86 c 259s | 16 | 299817 | 150052 | 251979 0 | 93827 | 280 264.85/264.93 c 261s | 16 | 302707 | 151552 | 251979 0 | 93827 | 280 266.85/266.94 c 263s | 16 | 305821 | 152952 | 251979 0 | 93827 | 280 268.85/268.97 c 265s | 16 | 308432 | 154452 | 251979 0 | 93827 | 280 270.95/271.01 c 267s | 16 | 311295 | 156052 | 251979 0 | 93827 | 280 272.96/273.02 c 269s | 16 | 314079 | 157352 | 251979 0 | 93827 | 280 274.95/275.08 c 271s | 16 | 317174 | 158752 | 251979 0 | 93827 | 280 276.95/277.09 c 273s | 16 | 320178 | 160152 | 251979 0 | 93827 | 280 279.15/279.20 c 275s | 16 | 323055 | 161552 | 251979 0 | 93827 | 280 281.15/281.28 c 277s | 16 | 325622 | 162852 | 251979 0 | 93827 | 280 283.25/283.38 c 279s | 16 | 328258 | 164252 | 251979 0 | 93827 | 280 285.35/285.45 c 281s | 16 | 331026 | 165652 | 251979 0 | 93827 | 280 287.36/287.49 c 283s | 16 | 333755 | 166852 | 251979 0 | 93827 | 280 289.46/289.58 c 285s | 16 | 336870 | 168152 | 251979 0 | 93827 | 280 291.55/291.69 c 288s | 16 | 339504 | 169452 | 251979 0 | 93827 | 280 293.65/293.72 c 290s | 16 | 342402 | 170752 | 251979 0 | 93827 | 280 295.85/295.91 c 292s | 16 | 345479 | 172052 | 251979 0 | 93827 | 280 297.95/298.04 c 294s | 16 | 348314 | 173252 | 251979 0 | 93827 | 280 300.05/300.13 c 296s | 16 | 350925 | 174452 | 251979 0 | 93827 | 280 302.05/302.15 c 298s | 16 | 353223 | 175652 | 251979 0 | 93827 | 280 304.15/304.28 c 300s | 16 | 355816 | 176852 | 251979 0 | 93827 | 280 306.35/306.45 c 302s | 16 | 358422 | 177952 | 251979 0 | 93827 | 280 308.44/308.50 c 304s | 16 | 361047 | 179052 | 251979 0 | 93827 | 280 310.54/310.63 c 307s | 16 | 363479 | 180252 | 251979 0 | 93827 | 280 312.55/312.64 c 309s | 16 | 365903 | 181452 | 251979 0 | 93827 | 280 314.54/314.69 c 311s | 16 | 368592 | 182652 | 251979 0 | 93827 | 280 316.74/316.81 c 313s | 16 | 371168 | 183852 | 251979 0 | 93827 | 280 318.84/318.92 c 315s | 16 | 373282 | 184952 | 251979 0 | 93827 | 280 320.94/321.06 c 317s | 16 | 375979 | 186152 | 251979 0 | 93827 | 280 323.04/323.18 c 319s | 16 | 378281 | 187352 | 251979 0 | 93827 | 280 325.24/325.33 c 321s | 16 | 380665 | 188552 | 251979 0 | 93827 | 280 327.34/327.41 c 323s | 16 | 383198 | 189752 | 251979 0 | 93827 | 280 329.44/329.53 c 325s | 16 | 385404 | 190952 | 251979 0 | 93827 | 280 331.54/331.68 c 328s | 16 | 387865 | 192152 | 251979 0 | 93827 | 280 333.64/333.79 c 330s | 16 | 390085 | 193352 | 251979 0 | 93827 | 280 335.84/335.91 c 332s | 16 | 392476 | 194552 | 251979 0 | 93827 | 280 337.84/337.92 c 334s | 16 | 394801 | 195752 | 251979 0 | 93827 | 280 339.84/339.96 c 336s | 16 | 397260 | 196952 | 277177 0 | 93827 | 280 340.74/340.89 c 337s | 17 | 398199 | 197432 | 277177 0 | 93827 | 280 342.74/342.89 c 339s | 17 | 399622 | 198132 | 277177 0 | 93827 | 280 344.94/345.04 c 341s | 17 | 401664 | 199132 | 277177 0 | 93827 | 280 347.04/347.19 c 343s | 17 | 403777 | 200132 | 277177 0 | 93827 | 280 349.14/349.20 c 345s | 17 | 405893 | 201132 | 277177 0 | 93827 | 280 351.14/351.22 c 347s | 17 | 407589 | 202132 | 277177 0 | 93827 | 280 353.14/353.25 c 349s | 17 | 410037 | 203232 | 277177 0 | 93827 | 280 355.24/355.37 c 351s | 17 | 412442 | 204432 | 277177 0 | 93827 | 280 357.33/357.45 c 353s | 17 | 414730 | 205632 | 277177 0 | 93827 | 280 359.33/359.48 c 355s | 17 | 416978 | 206732 | 277177 0 | 93827 | 280 361.93/362.08 c 358s | 17 | 419523 | 208032 | 277177 0 | 93827 | 280 364.14/364.20 c 360s | 17 | 422427 | 209432 | 277177 0 | 93827 | 280 366.14/366.26 c 362s | 17 | 425146 | 210832 | 277177 0 | 93827 | 280 368.24/368.31 c 364s | 17 | 427531 | 212032 | 277177 0 | 93827 | 280 370.24/370.32 c 366s | 17 | 429965 | 213232 | 277177 0 | 93827 | 280 372.34/372.44 c 368s | 17 | 432999 | 214532 | 277177 0 | 93827 | 280 374.54/374.60 c 371s | 17 | 435966 | 215932 | 277177 0 | 93827 | 280 376.53/376.65 c 373s | 17 | 438654 | 217132 | 277177 0 | 93827 | 280 378.54/378.67 c 375s | 17 | 441077 | 218332 | 277177 0 | 93827 | 280 380.63/380.75 c 377s | 17 | 443680 | 219632 | 277177 0 | 93827 | 280 382.83/382.91 c 379s | 17 | 446216 | 220932 | 277177 0 | 93827 | 280 384.93/385.00 c 381s | 17 | 448781 | 222132 | 277177 0 | 93827 | 280 387.03/387.12 c 383s | 17 | 451568 | 223432 | 277177 0 | 93827 | 280 389.03/389.16 c 385s | 17 | 454597 | 224632 | 277177 0 | 93827 | 280 391.13/391.27 c 387s | 17 | 457354 | 225932 | 277177 0 | 93827 | 280 393.23/393.31 c 389s | 17 | 459919 | 227132 | 277177 0 | 93827 | 280 395.33/395.40 c 391s | 17 | 462510 | 228332 | 277177 0 | 93827 | 280 397.34/397.43 c 393s | 17 | 464790 | 229432 | 277177 0 | 93827 | 280 399.33/399.44 c 395s | 17 | 467212 | 230532 | 277177 0 | 93827 | 280 401.43/401.54 c 397s | 17 | 469650 | 231632 | 277177 0 | 93827 | 280 403.43/403.55 c 399s | 17 | 472041 | 232732 | 277177 0 | 93827 | 280 405.53/405.66 c 402s | 17 | 474436 | 233832 | 277177 0 | 93827 | 280 407.83/407.91 c 404s | 17 | 476916 | 234932 | 277177 0 | 93827 | 280 410.03/410.11 c 406s | 17 | 479111 | 235932 | 277177 0 | 93827 | 280 412.03/412.12 c 408s | 17 | 481256 | 236932 | 277177 0 | 93827 | 280 414.23/414.31 c 410s | 17 | 483577 | 238132 | 277177 0 | 93827 | 280 416.33/416.43 c 412s | 17 | 485694 | 239132 | 277177 0 | 93827 | 280 418.43/418.54 c 414s | 17 | 487798 | 240232 | 277177 0 | 93827 | 280 420.53/420.67 c 417s | 17 | 489637 | 241232 | 277177 0 | 93827 | 280 422.83/422.93 c 419s | 17 | 491969 | 242232 | 277177 0 | 93827 | 280 425.03/425.19 c 421s | 17 | 493918 | 243232 | 277177 0 | 93827 | 280 427.13/427.28 c 423s | 17 | 495429 | 244132 | 277177 0 | 93827 | 280 429.33/429.46 c 425s | 17 | 497178 | 245132 | 277177 0 | 93827 | 280 431.43/431.56 c 427s | 17 | 499070 | 246032 | 277177 0 | 93827 | 280 433.63/433.74 c 430s | 17 | 500777 | 247032 | 277177 0 | 93827 | 280 435.83/435.92 c 432s | 17 | 502597 | 248032 | 277177 0 | 93827 | 280 437.93/438.04 c 434s | 17 | 504737 | 249132 | 277177 0 | 93827 | 280 439.92/440.08 c 436s | 17 | 506786 | 250232 | 277177 0 | 93827 | 280 442.02/442.11 c 438s | 17 | 508373 | 251132 | 277177 0 | 93827 | 280 444.02/444.11 c 440s | 17 | 509970 | 252032 | 277177 0 | 93827 | 280 446.02/446.19 c 442s | 17 | 511972 | 252932 | 277177 0 | 93827 | 280 448.22/448.32 c 444s | 17 | 513802 | 253832 | 277177 0 | 93827 | 280 450.32/450.44 c 446s | 17 | 515449 | 254732 | 277177 0 | 93827 | 280 452.52/452.62 c 449s | 17 | 517318 | 255632 | 277177 0 | 93827 | 280 454.72/454.85 c 451s | 17 | 518908 | 256532 | 277177 0 | 93827 | 280 456.82/456.97 c 453s | 17 | 520648 | 257432 | 277177 0 | 93827 | 280 458.93/459.08 c 455s | 17 | 522236 | 258332 | 277177 0 | 93827 | 280 461.22/461.30 c 457s | 17 | 523897 | 259232 | 277177 0 | 93827 | 280 463.23/463.37 c 459s | 17 | 525747 | 260132 | 277177 0 | 93827 | 280 465.22/465.38 c 461s | 17 | 527350 | 261032 | 277177 0 | 93827 | 280 467.42/467.54 c 463s | 17 | 529047 | 262032 | 277177 0 | 93827 | 280 469.42/469.58 c 465s | 17 | 530718 | 262932 | 277177 0 | 93827 | 280 471.52/471.61 c 468s | 17 | 532412 | 263832 | 277177 0 | 93827 | 280 473.62/473.80 c 470s | 17 | 534317 | 264832 | 277177 0 | 93827 | 280 475.82/475.97 c 472s | 17 | 536126 | 265832 | 277177 0 | 93827 | 280 478.02/478.10 c 474s | 17 | 537866 | 266732 | 277177 0 | 93827 | 280 480.12/480.27 c 476s | 17 | 539678 | 267732 | 277177 0 | 93827 | 280 482.22/482.33 c 478s | 17 | 541360 | 268632 | 277177 0 | 93827 | 280 484.32/484.47 c 480s | 17 | 542987 | 269632 | 277177 0 | 93827 | 280 486.52/486.69 c 483s | 17 | 544832 | 270632 | 277177 0 | 93827 | 280 488.72/488.84 c 485s | 17 | 546676 | 271632 | 277177 0 | 93827 | 280 490.92/491.01 c 487s | 17 | 548463 | 272632 | 277177 0 | 93827 | 280 493.02/493.17 c 489s | 17 | 549953 | 273532 | 277177 0 | 93827 | 280 495.02/495.20 c 491s | 17 | 551551 | 274432 | 277177 0 | 93827 | 280 497.22/497.38 c 493s | 17 | 553034 | 275332 | 277177 0 | 93827 | 280 499.42/499.57 c 495s | 17 | 554556 | 276232 | 277177 0 | 93827 | 280 501.41/501.58 c 497s | 17 | 555928 | 277032 | 277177 0 | 93827 | 280 503.61/503.72 c 500s | 17 | 557364 | 277932 | 277177 0 | 93827 | 280 505.81/505.91 c 502s | 17 | 558937 | 278632 | 277177 0 | 93827 | 280 507.81/507.94 c 504s | 17 | 560419 | 279332 | 277177 0 | 93827 | 280 509.91/510.03 c 506s | 17 | 561784 | 280032 | 277177 0 | 93827 | 280 512.11/512.25 c 508s | 17 | 563113 | 280832 | 277177 0 | 93827 | 280 514.21/514.38 c 510s | 17 | 564451 | 281632 | 277177 0 | 93827 | 280 516.41/516.51 c 512s | 17 | 565772 | 282332 | 277177 0 | 93827 | 280 518.51/518.61 c 515s | 17 | 567681 | 283232 | 277177 0 | 93827 | 280 520.61/520.77 c 517s | 17 | 568996 | 284032 | 277177 0 | 93827 | 280 522.91/523.03 c 519s | 17 | 570390 | 284832 | 277177 0 | 93827 | 280 525.01/525.12 c 521s | 17 | 571943 | 285532 | 277177 0 | 93827 | 280 527.21/527.33 c 523s | 17 | 573588 | 286332 | 277177 0 | 93827 | 280 529.32/529.48 c 525s | 17 | 575029 | 287132 | 277177 0 | 93827 | 280 531.42/531.55 c 527s | 17 | 576393 | 287832 | 277177 0 | 93827 | 280 533.51/533.65 c 530s | 17 | 578160 | 288632 | 277177 0 | 93827 | 280 535.71/535.88 c 532s | 17 | 579527 | 289432 | 277177 0 | 93827 | 280 537.81/537.91 c 534s | 17 | 580798 | 290132 | 277177 0 | 93827 | 280 539.91/540.07 c 536s | 17 | 582575 | 290932 | 277177 0 | 93827 | 280 542.11/542.21 c 538s | 17 | 584200 | 291732 | 277177 0 | 93827 | 280 544.21/544.39 c 540s | 17 | 585547 | 292532 | 277177 0 | 93827 | 280 546.31/546.46 c 542s | 17 | 587059 | 293332 | 277177 0 | 93827 | 280 548.41/548.55 c 544s | 17 | 588775 | 294232 | 304895 0 | 93827 | 280 550.71/550.80 c 547s | 17 | 590509 | 295132 | 304895 0 | 93827 | 280 552.91/553.04 c 549s | 17 | 592110 | 295932 | 304895 0 | 93827 | 280 553.81/553.91 c 550s | 18 | 592685 | 296252 | 304895 0 | 93827 | 280 555.81/555.98 c 552s | 18 | 593448 | 296652 | 304895 0 | 93827 | 280 557.91/558.08 c 554s | 18 | 594799 | 297452 | 304895 0 | 93827 | 280 560.01/560.18 c 556s | 18 | 596263 | 298152 | 304895 0 | 93827 | 280 562.10/562.30 c 558s | 18 | 597580 | 298852 | 304895 0 | 93827 | 280 564.30/564.40 c 560s | 18 | 598830 | 299552 | 304895 0 | 93827 | 280 566.50/566.61 c 563s | 18 | 600234 | 300352 | 304895 0 | 93827 | 280 568.50/568.62 c 565s | 18 | 601654 | 301152 | 304895 0 | 93827 | 280 570.50/570.62 c 567s | 18 | 603123 | 301852 | 304895 0 | 93827 | 280 572.60/572.75 c 569s | 18 | 604472 | 302552 | 304895 0 | 93827 | 280 574.70/574.84 c 571s | 18 | 605860 | 303252 | 304895 0 | 93827 | 280 576.80/576.96 c 573s | 18 | 607416 | 304052 | 304895 0 | 93827 | 280 578.90/579.06 c 575s | 18 | 608895 | 304852 | 304895 0 | 93827 | 280 581.01/581.13 c 577s | 18 | 610135 | 305552 | 304895 0 | 93827 | 280 583.11/583.22 c 579s | 18 | 611630 | 306252 | 304895 0 | 93827 | 280 585.20/585.37 c 581s | 18 | 613107 | 307052 | 304895 0 | 93827 | 280 587.40/587.53 c 583s | 18 | 614538 | 307852 | 304895 0 | 93827 | 280 589.40/589.54 c 585s | 18 | 615579 | 308552 | 304895 0 | 93827 | 280 591.50/591.63 c 588s | 18 | 616987 | 309252 | 304895 0 | 93827 | 280 593.60/593.74 c 590s | 18 | 618388 | 309952 | 304895 0 | 93827 | 280 595.60/595.77 c 592s | 18 | 619694 | 310652 | 304895 0 | 93827 | 280 597.70/597.86 c 594s | 18 | 620891 | 311352 | 304895 0 | 93827 | 280 599.80/599.95 c 596s | 18 | 622234 | 312052 | 304895 0 | 93827 | 280 601.91/602.04 c 598s | 18 | 623480 | 312752 | 304895 0 | 93827 | 280 603.90/604.05 c 600s | 18 | 624743 | 313452 | 304895 0 | 93827 | 280 606.10/606.27 c 602s | 18 | 626239 | 314252 | 304895 0 | 93827 | 280 608.30/608.47 c 604s | 18 | 627633 | 315052 | 304895 0 | 93827 | 280 610.60/610.71 c 607s | 18 | 629021 | 315852 | 304895 0 | 93827 | 280 612.80/612.92 c 609s | 18 | 630409 | 316652 | 304895 0 | 93827 | 280 615.10/615.21 c 611s | 18 | 631896 | 317452 | 304895 0 | 93827 | 280 617.10/617.28 c 613s | 18 | 632907 | 318052 | 304895 0 | 93827 | 280 619.30/619.50 c 615s | 18 | 634198 | 318652 | 304895 0 | 93827 | 280 621.60/621.75 c 618s | 18 | 635532 | 319352 | 304895 0 | 93827 | 280 623.90/624.09 c 620s | 18 | 636787 | 320052 | 304895 0 | 93827 | 280 626.19/626.37 c 622s | 18 | 638283 | 320752 | 304895 0 | 93827 | 280 628.39/628.59 c 624s | 18 | 639960 | 321552 | 304895 0 | 93827 | 280 630.59/630.74 c 627s | 18 | 641541 | 322352 | 304895 0 | 93827 | 280 632.79/632.98 c 629s | 18 | 642820 | 323152 | 304895 0 | 93827 | 280 635.09/635.27 c 631s | 18 | 644314 | 323852 | 304895 0 | 93827 | 280 637.29/637.45 c 633s | 18 | 645816 | 324552 | 304895 0 | 93827 | 280 639.30/639.49 c 635s | 18 | 647212 | 325252 | 304895 0 | 93827 | 280 641.40/641.59 c 637s | 18 | 648523 | 325952 | 304895 0 | 93827 | 280 643.70/643.85 c 640s | 18 | 649876 | 326652 | 304895 0 | 93827 | 280 645.99/646.13 c 642s | 18 | 651135 | 327352 | 304895 0 | 93827 | 280 648.00/648.19 c 644s | 18 | 652598 | 328052 | 304895 0 | 93827 | 280 650.20/650.34 c 646s | 18 | 654026 | 328752 | 304895 0 | 93827 | 280 652.40/652.54 c 648s | 18 | 655237 | 329452 | 304895 0 | 93827 | 280 654.70/654.81 c 651s | 18 | 656612 | 330152 | 304895 0 | 93827 | 280 656.90/657.01 c 653s | 18 | 657957 | 330852 | 304895 0 | 93827 | 280 659.00/659.14 c 655s | 18 | 659430 | 331552 | 304895 0 | 93827 | 280 660.99/661.19 c 657s | 18 | 660744 | 332252 | 304895 0 | 93827 | 280 663.09/663.28 c 659s | 18 | 662229 | 332952 | 304895 0 | 93827 | 280 665.29/665.46 c 661s | 18 | 663480 | 333652 | 304895 0 | 93827 | 280 667.49/667.64 c 664s | 18 | 664793 | 334352 | 304895 0 | 93827 | 280 669.59/669.70 c 666s | 18 | 665999 | 334952 | 304895 0 | 93827 | 280 671.59/671.72 c 668s | 18 | 667152 | 335552 | 304895 0 | 93827 | 280 673.59/673.72 c 670s | 18 | 668230 | 336152 | 304895 0 | 93827 | 280 675.59/675.72 c 672s | 18 | 669536 | 336752 | 304895 0 | 93827 | 280 677.59/677.76 c 674s | 18 | 670704 | 337352 | 304895 0 | 93827 | 280 679.69/679.81 c 676s | 18 | 672142 | 338052 | 304895 0 | 93827 | 280 681.79/681.99 c 678s | 18 | 673523 | 338752 | 304895 0 | 93827 | 280 683.99/684.19 c 680s | 18 | 674883 | 339452 | 304895 0 | 93827 | 280 686.09/686.25 c 682s | 18 | 675941 | 340052 | 304895 0 | 93827 | 280 688.19/688.30 c 684s | 18 | 677143 | 340652 | 304895 0 | 93827 | 280 690.19/690.38 c 686s | 18 | 678328 | 341352 | 304895 0 | 93827 | 280 692.28/692.42 c 688s | 18 | 679671 | 342052 | 304895 0 | 93827 | 280 694.38/694.53 c 690s | 18 | 680953 | 342752 | 304895 0 | 93827 | 280 696.58/696.70 c 693s | 18 | 682266 | 343452 | 304895 0 | 93827 | 280 698.78/698.92 c 695s | 18 | 683785 | 344152 | 304895 0 | 93827 | 280 700.98/701.16 c 697s | 18 | 685248 | 344852 | 304895 0 | 93827 | 280 703.18/703.34 c 699s | 18 | 686451 | 345552 | 304895 0 | 93827 | 280 705.48/705.61 c 702s | 18 | 687648 | 346252 | 304895 0 | 93827 | 280 707.68/707.88 c 704s | 18 | 688898 | 346952 | 304895 0 | 93827 | 280 710.08/710.20 c 706s | 18 | 690170 | 347652 | 304895 0 | 93827 | 280 712.08/712.26 c 708s | 18 | 691560 | 348252 | 304895 0 | 93827 | 280 714.48/714.62 c 711s | 18 | 693040 | 348952 | 304895 0 | 93827 | 280 716.68/716.87 c 713s | 18 | 694486 | 349652 | 304895 0 | 93827 | 280 718.98/719.15 c 715s | 18 | 695762 | 350352 | 304895 0 | 93827 | 280 721.28/721.44 c 717s | 18 | 696894 | 351052 | 304895 0 | 93827 | 280 723.58/723.73 c 720s | 18 | 698207 | 351752 | 304895 0 | 93827 | 280 725.68/725.81 c 722s | 18 | 699364 | 352452 | 304895 0 | 93827 | 280 727.88/728.01 c 724s | 18 | 700572 | 353152 | 304895 0 | 93827 | 280 729.88/730.05 c 726s | 18 | 701971 | 353752 | 304895 0 | 93827 | 280 732.08/732.20 c 728s | 18 | 703232 | 354352 | 304895 0 | 93827 | 280 734.08/734.23 c 730s | 18 | 704512 | 354952 | 304895 0 | 93827 | 280 736.18/736.31 c 732s | 18 | 705681 | 355552 | 304895 0 | 93827 | 280 738.28/738.45 c 734s | 18 | 706803 | 356152 | 304895 0 | 93827 | 280 740.38/740.56 c 736s | 18 | 707922 | 356752 | 304895 0 | 93827 | 280 742.58/742.80 c 739s | 18 | 709267 | 357452 | 304895 0 | 93827 | 280 744.78/744.99 c 741s | 18 | 710725 | 358152 | 304895 0 | 93827 | 280 746.88/747.05 c 743s | 18 | 711889 | 358752 | 304895 0 | 93827 | 280 749.08/749.25 c 745s | 18 | 713202 | 359452 | 304895 0 | 93827 | 280 751.28/751.50 c 747s | 18 | 714655 | 360152 | 304895 0 | 93827 | 280 753.58/753.71 c 750s | 18 | 716097 | 360852 | 304895 0 | 93827 | 280 755.67/755.87 c 752s | 18 | 717448 | 361552 | 304895 0 | 93827 | 280 757.98/758.16 c 754s | 18 | 719006 | 362252 | 304895 0 | 93827 | 280 760.18/760.38 c 756s | 18 | 720347 | 362952 | 304895 0 | 93827 | 280 762.38/762.57 c 758s | 18 | 721746 | 363652 | 304895 0 | 93827 | 280 764.68/764.80 c 761s | 18 | 723103 | 364352 | 304895 0 | 93827 | 280 766.67/766.84 c 763s | 18 | 724262 | 364952 | 304895 0 | 93827 | 280 768.87/769.01 c 765s | 18 | 725185 | 365552 | 304895 0 | 93827 | 280 770.97/771.10 c 767s | 18 | 726454 | 366152 | 304895 0 | 93827 | 280 772.97/773.15 c 769s | 18 | 727586 | 366752 | 304895 0 | 93827 | 280 775.17/775.37 c 771s | 18 | 728621 | 367352 | 304895 0 | 93827 | 280 777.27/777.45 c 773s | 18 | 729846 | 367952 | 304895 0 | 93827 | 280 779.27/779.47 c 775s | 18 | 730914 | 368552 | 304895 0 | 93827 | 280 781.57/781.71 c 778s | 18 | 732069 | 369252 | 304895 0 | 93827 | 280 783.87/784.04 c 780s | 18 | 733213 | 369952 | 304895 0 | 93827 | 280 785.87/786.04 c 782s | 18 | 734398 | 370552 | 304895 0 | 93827 | 280 787.97/788.16 c 784s | 18 | 735417 | 371152 | 304895 0 | 93827 | 280 790.07/790.21 c 786s | 18 | 736630 | 371752 | 304895 0 | 93827 | 280 792.18/792.35 c 788s | 18 | 737710 | 372352 | 304895 0 | 93827 | 280 794.38/794.53 c 790s | 18 | 739097 | 373052 | 304895 0 | 93827 | 280 796.57/796.75 c 793s | 18 | 740453 | 373752 | 304895 0 | 93827 | 280 798.67/798.89 c 795s | 18 | 741599 | 374352 | 304895 0 | 93827 | 280 800.97/801.13 c 797s | 18 | 742606 | 374952 | 304895 0 | 93827 | 280 802.97/803.18 c 799s | 18 | 743746 | 375552 | 304895 0 | 93827 | 280 805.37/805.54 c 801s | 18 | 744976 | 376252 | 304895 0 | 93827 | 280 807.47/807.61 c 804s | 18 | 746080 | 376852 | 304895 0 | 93827 | 280 809.57/809.70 c 806s | 18 | 747175 | 377452 | 304895 0 | 93827 | 280 811.57/811.72 c 808s | 18 | 748206 | 378052 | 304895 0 | 93827 | 280 813.67/813.80 c 810s | 18 | 749246 | 378652 | 304895 0 | 93827 | 280 815.87/816.05 c 812s | 18 | 750387 | 379352 | 304895 0 | 93827 | 280 817.96/818.12 c 814s | 18 | 751441 | 379952 | 304895 0 | 93827 | 280 820.06/820.20 c 816s | 18 | 752492 | 380552 | 304895 0 | 93827 | 280 822.36/822.53 c 818s | 18 | 753701 | 381252 | 304895 0 | 93827 | 280 824.56/824.77 c 821s | 18 | 754990 | 381952 | 304895 0 | 93827 | 280 826.86/827.00 c 823s | 18 | 756128 | 382652 | 304895 0 | 93827 | 280 828.96/829.14 c 825s | 18 | 757158 | 383252 | 304895 0 | 93827 | 280 831.06/831.24 c 827s | 18 | 758198 | 383852 | 304895 0 | 93827 | 280 833.26/833.43 c 829s | 18 | 759186 | 384452 | 304895 0 | 93827 | 280 835.56/835.77 c 832s | 18 | 760334 | 385052 | 304895 0 | 93827 | 280 837.86/838.03 c 834s | 18 | 761717 | 385652 | 304895 0 | 93827 | 280 839.96/840.19 c 836s | 18 | 762859 | 386252 | 304895 0 | 93827 | 280 842.16/842.30 c 838s | 18 | 763938 | 386852 | 304895 0 | 93827 | 280 844.36/844.52 c 840s | 18 | 764982 | 387452 | 304895 0 | 93827 | 280 846.46/846.68 c 843s | 18 | 766115 | 388052 | 304895 0 | 93827 | 280 848.66/848.86 c 845s | 18 | 767486 | 388652 | 304895 0 | 93827 | 280 850.76/850.94 c 847s | 18 | 768827 | 389252 | 304895 0 | 93827 | 280 852.76/852.98 c 849s | 18 | 770097 | 389852 | 304895 0 | 93827 | 280 854.77/854.99 c 851s | 18 | 771392 | 390452 | 304895 0 | 93827 | 280 857.16/857.33 c 853s | 18 | 772829 | 391152 | 304895 0 | 93827 | 280 859.46/859.62 c 856s | 18 | 773921 | 391852 | 304895 0 | 93827 | 280 861.76/861.94 c 858s | 18 | 775240 | 392552 | 304895 0 | 93827 | 280 864.06/864.24 c 860s | 18 | 776746 | 393252 | 304895 0 | 93827 | 280 866.06/866.25 c 862s | 18 | 777933 | 393852 | 304895 0 | 93827 | 280 868.06/868.29 c 864s | 18 | 779083 | 394452 | 304895 0 | 93827 | 280 870.26/870.45 c 866s | 18 | 780242 | 395052 | 304895 0 | 93827 | 280 872.36/872.51 c 868s | 18 | 781486 | 395652 | 304895 0 | 93827 | 280 874.46/874.67 c 871s | 18 | 782605 | 396252 | 304895 0 | 93827 | 280 876.66/876.89 c 873s | 18 | 783743 | 396852 | 304895 0 | 93827 | 280 878.85/879.09 c 875s | 18 | 784675 | 397452 | 304895 0 | 93827 | 280 881.05/881.24 c 877s | 18 | 786121 | 398052 | 304895 0 | 93827 | 280 883.15/883.33 c 879s | 18 | 787163 | 398652 | 304895 0 | 93827 | 280 885.35/885.58 c 881s | 18 | 788144 | 399252 | 304895 0 | 93827 | 280 1005.94/1006.16 c 1002s | 18 | 788636 | 399452 | 304895 1 | 93827 | 280 1029.84/1030.06 c 1026s | 18 | 789091 | 399652 | 304895 1 | 93827 | 280 1050.03/1050.25 c 1046s | 18 | 789495 | 399852 | 304895 1 | 93827 | 280 1056.83/1057.04 c 1053s | 18 | 791590 | 400852 | 304895 1 | 93827 | 280 1058.93/1059.13 c 1055s | 18 | 793691 | 401952 | 304895 1 | 93827 | 280 1061.13/1061.33 c 1057s | 18 | 795577 | 403052 | 304895 1 | 93827 | 280 1063.23/1063.46 c 1059s | 18 | 797682 | 404152 | 304895 1 | 93827 | 280 1065.33/1065.59 c 1061s | 18 | 799865 | 405252 | 304895 1 | 93827 | 280 1067.43/1067.69 c 1064s | 18 | 801734 | 406352 | 304895 1 | 93827 | 280 1069.53/1069.75 c 1066s | 18 | 803743 | 407452 | 304895 1 | 93827 | 280 1071.63/1071.82 c 1068s | 18 | 805939 | 408452 | 304895 1 | 93827 | 280 1073.64/1073.83 c 1070s | 18 | 807694 | 409452 | 304895 1 | 93827 | 280 1075.73/1075.99 c 1072s | 18 | 809599 | 410552 | 304895 1 | 93827 | 280 1077.93/1078.10 c 1074s | 18 | 811457 | 411552 | 304895 1 | 93827 | 280 1080.13/1080.30 c 1076s | 18 | 813367 | 412652 | 304895 1 | 93827 | 280 1082.13/1082.38 c 1078s | 18 | 815197 | 413652 | 304895 1 | 93827 | 280 1084.23/1084.48 c 1080s | 18 | 816885 | 414652 | 304895 1 | 93827 | 280 1086.43/1086.61 c 1083s | 18 | 818637 | 415652 | 304895 1 | 93827 | 280 1088.53/1088.74 c 1085s | 18 | 820493 | 416652 | 304895 1 | 93827 | 280 1119.22/1119.46 c 1115s | 18 | 821719 | 417352 | 304895 1 | 93827 | 280 1121.42/1121.64 c 1118s | 18 | 822427 | 417652 | 304895 1 | 93827 | 280 1123.62/1123.82 c 1120s | 18 | 824670 | 418652 | 304895 1 | 93827 | 280 1125.62/1125.83 c 1122s | 18 | 826375 | 419552 | 304895 1 | 93827 | 280 1129.92/1130.12 c 1126s | 18 | 827604 | 420152 | 304895 1 | 93827 | 280 1132.12/1132.31 c 1128s | 18 | 829876 | 421252 | 304895 1 | 93827 | 280 1134.13/1134.31 c 1130s | 18 | 832030 | 422252 | 304895 1 | 93827 | 280 1136.22/1136.40 c 1132s | 18 | 834363 | 423352 | 304895 1 | 93827 | 280 1138.22/1138.41 c 1134s | 18 | 836366 | 424352 | 304895 1 | 93827 | 280 1140.42/1140.61 c 1137s | 18 | 838748 | 425452 | 304895 1 | 93827 | 280 1142.62/1142.81 c 1139s | 18 | 840778 | 426552 | 304895 1 | 93827 | 280 1144.82/1145.00 c 1141s | 18 | 843061 | 427652 | 304895 1 | 93827 | 280 1146.82/1147.06 c 1143s | 18 | 845340 | 428652 | 304895 1 | 93827 | 280 1149.02/1149.20 c 1145s | 18 | 847306 | 429752 | 304895 1 | 93827 | 280 1151.02/1151.24 c 1147s | 18 | 849400 | 430852 | 304895 1 | 93827 | 280 1153.12/1153.35 c 1149s | 18 | 851359 | 431852 | 304895 1 | 93827 | 280 1155.22/1155.42 c 1151s | 18 | 853360 | 432852 | 304895 1 | 93827 | 280 1157.32/1157.56 c 1153s | 18 | 855311 | 433952 | 304895 1 | 93827 | 280 1159.32/1159.58 c 1155s | 18 | 857373 | 434952 | 304895 1 | 93827 | 280 1161.42/1161.67 c 1158s | 18 | 859260 | 435952 | 304895 1 | 93827 | 280 1163.62/1163.87 c 1160s | 18 | 861212 | 436952 | 304895 1 | 93827 | 280 1165.62/1165.88 c 1162s | 18 | 863313 | 437852 | 304895 1 | 93827 | 280 1167.62/1167.89 c 1164s | 18 | 864974 | 438752 | 304895 1 | 93827 | 280 1169.82/1170.02 c 1166s | 18 | 867128 | 439752 | 304895 1 | 93827 | 280 1171.81/1172.06 c 1168s | 18 | 868905 | 440652 | 304895 1 | 93827 | 280 1174.11/1174.30 c 1170s | 18 | 870646 | 441652 | 335385 1 | 93827 | 280 1176.31/1176.50 c 1172s | 18 | 872579 | 442552 | 335385 1 | 93827 | 280 1178.51/1178.73 c 1175s | 18 | 874462 | 443452 | 335385 1 | 93827 | 280 1180.51/1180.74 c 1177s | 18 | 875765 | 444252 | 335385 1 | 93827 | 280 1181.11/1181.31 c 1177s | 19 | 876235 | 444482 | 335385 1 | 93827 | 280 1183.21/1183.45 c 1179s | 19 | 877460 | 445082 | 335385 1 | 93827 | 280 1185.31/1185.50 c 1181s | 19 | 879160 | 445882 | 335385 1 | 93827 | 280 1187.51/1187.77 c 1184s | 19 | 880792 | 446782 | 335385 1 | 93827 | 280 1189.71/1189.91 c 1186s | 19 | 882520 | 447582 | 335385 1 | 93827 | 280 1191.71/1191.96 c 1188s | 19 | 884052 | 448382 | 335385 1 | 93827 | 280 1193.71/1193.99 c 1190s | 19 | 885565 | 449182 | 335385 1 | 93827 | 280 1195.82/1196.05 c 1192s | 19 | 887297 | 449982 | 335385 1 | 93827 | 280 1197.92/1198.11 c 1194s | 19 | 888971 | 450782 | 335385 1 | 93827 | 280 1199.91/1200.16 c 1196s | 19 | 890434 | 451582 | 335385 1 | 93827 | 280 1202.01/1202.24 c 1198s | 19 | 892160 | 452382 | 335385 1 | 93827 | 280 1204.11/1204.31 c 1200s | 19 | 893732 | 453182 | 335385 1 | 93827 | 280 1206.11/1206.39 c 1202s | 19 | 895399 | 453982 | 335385 1 | 93827 | 280 1208.31/1208.50 c 1204s | 19 | 896949 | 454782 | 335385 1 | 93827 | 280 1210.41/1210.65 c 1207s | 19 | 898586 | 455582 | 335385 1 | 93827 | 280 1212.51/1212.75 c 1209s | 19 | 900246 | 456382 | 335385 1 | 93827 | 280 1214.61/1214.88 c 1211s | 19 | 901818 | 457182 | 335385 1 | 93827 | 280 1216.81/1217.06 c 1213s | 19 | 903488 | 457982 | 335385 1 | 93827 | 280 1219.11/1219.32 c 1215s | 19 | 905140 | 458782 | 335385 1 | 93827 | 280 1221.31/1221.57 c 1217s | 19 | 906799 | 459582 | 335385 1 | 93827 | 280 1223.41/1223.69 c 1220s | 19 | 908741 | 460382 | 335385 1 | 93827 | 280 1225.71/1225.95 c 1222s | 19 | 910570 | 461182 | 335385 1 | 93827 | 280 1228.01/1228.21 c 1224s | 19 | 912356 | 461982 | 335385 1 | 93827 | 280 1230.21/1230.47 c 1226s | 19 | 914031 | 462782 | 335385 1 | 93827 | 280 1232.30/1232.57 c 1228s | 19 | 915578 | 463482 | 335385 1 | 93827 | 280 1234.40/1234.62 c 1231s | 19 | 916897 | 464182 | 335385 1 | 93827 | 280 1236.51/1236.71 c 1233s | 19 | 918349 | 464882 | 335385 1 | 93827 | 280 1238.50/1238.75 c 1235s | 19 | 919765 | 465582 | 335385 1 | 93827 | 280 1240.60/1240.81 c 1237s | 19 | 921257 | 466282 | 335385 1 | 93827 | 280 1242.70/1242.91 c 1239s | 19 | 922705 | 466982 | 335385 1 | 93827 | 280 1244.90/1245.17 c 1241s | 19 | 924357 | 467782 | 335385 1 | 93827 | 280 1247.20/1247.41 c 1243s | 19 | 926032 | 468582 | 335385 1 | 93827 | 280 1249.40/1249.62 c 1246s | 19 | 927714 | 469382 | 335385 1 | 93827 | 280 1251.40/1251.66 c 1248s | 19 | 929293 | 470182 | 335385 1 | 93827 | 280 1253.70/1253.94 c 1250s | 19 | 931136 | 471082 | 335385 1 | 93827 | 280 1255.80/1256.01 c 1252s | 19 | 932927 | 471882 | 335385 1 | 93827 | 280 1258.30/1258.59 c 1254s | 19 | 934453 | 472682 | 335385 1 | 93827 | 280 1260.40/1260.61 c 1257s | 19 | 935999 | 473482 | 335385 1 | 93827 | 280 1262.60/1262.83 c 1259s | 19 | 937734 | 474382 | 335385 1 | 93827 | 280 1264.80/1265.04 c 1261s | 19 | 939415 | 475282 | 335385 1 | 93827 | 280 1266.80/1267.07 c 1263s | 19 | 941082 | 476082 | 335385 1 | 93827 | 280 1269.10/1269.33 c 1265s | 19 | 942650 | 476982 | 335385 1 | 93827 | 280 1271.10/1271.39 c 1267s | 19 | 944459 | 477882 | 335385 1 | 93827 | 280 1273.20/1273.49 c 1269s | 19 | 946114 | 478782 | 335385 1 | 93827 | 280 1275.50/1275.75 c 1272s | 19 | 947813 | 479682 | 335385 1 | 93827 | 280 1277.60/1277.86 c 1274s | 19 | 949243 | 480482 | 335385 1 | 93827 | 280 1279.70/1279.93 c 1276s | 19 | 950674 | 481282 | 335385 1 | 93827 | 280 1281.70/1281.95 c 1278s | 19 | 952055 | 482082 | 335385 1 | 93827 | 280 1283.90/1284.12 c 1280s | 19 | 953781 | 482982 | 335385 1 | 93827 | 280 1286.10/1286.36 c 1282s | 19 | 955639 | 483882 | 335385 1 | 93827 | 280 1288.20/1288.40 c 1284s | 19 | 957119 | 484682 | 335385 1 | 93827 | 280 1290.30/1290.51 c 1286s | 19 | 958533 | 485482 | 335385 1 | 93827 | 280 1292.40/1292.63 c 1289s | 19 | 960119 | 486282 | 335385 1 | 93827 | 280 1294.50/1294.70 c 1291s | 19 | 961635 | 487082 | 335385 1 | 93827 | 280 1296.59/1296.86 c 1293s | 19 | 963162 | 487882 | 335385 1 | 93827 | 280 1298.79/1299.01 c 1295s | 19 | 964681 | 488682 | 335385 1 | 93827 | 280 1300.89/1301.18 c 1297s | 19 | 966226 | 489482 | 335385 1 | 93827 | 280 1303.09/1303.32 c 1299s | 19 | 967631 | 490282 | 335385 1 | 93827 | 280 1305.29/1305.53 c 1301s | 19 | 969184 | 491082 | 335385 1 | 93827 | 280 1307.49/1307.72 c 1304s | 19 | 970627 | 491882 | 335385 1 | 93827 | 280 1309.69/1309.99 c 1306s | 19 | 972190 | 492682 | 335385 1 | 93827 | 280 1311.99/1312.26 c 1308s | 19 | 973961 | 493482 | 335385 1 | 93827 | 280 1314.29/1314.52 c 1310s | 19 | 975688 | 494282 | 335385 1 | 93827 | 280 1316.49/1316.77 c 1313s | 19 | 977273 | 495082 | 335385 1 | 93827 | 280 1318.59/1318.86 c 1315s | 19 | 978895 | 495882 | 335385 1 | 93827 | 280 1320.69/1320.94 c 1317s | 19 | 980491 | 496682 | 335385 1 | 93827 | 280 1322.69/1322.96 c 1319s | 19 | 981989 | 497382 | 335385 1 | 93827 | 280 1324.89/1325.13 c 1321s | 19 | 983810 | 498182 | 335385 1 | 93827 | 280 1327.09/1327.38 c 1323s | 19 | 985430 | 498982 | 335385 1 | 93827 | 280 1329.29/1329.51 c 1325s | 19 | 987074 | 499782 | 335385 1 | 93827 | 280 1331.49/1331.74 c 1328s | 19 | 988746 | 500582 | 335385 1 | 93827 | 280 1333.79/1334.00 c 1330s | 19 | 990482 | 501382 | 335385 1 | 93827 | 280 1335.79/1336.06 c 1332s | 19 | 991798 | 502082 | 335385 1 | 93827 | 280 1337.99/1338.23 c 1334s | 19 | 993864 | 502882 | 335385 1 | 93827 | 280 1340.09/1340.36 c 1336s | 19 | 995436 | 503582 | 335385 1 | 93827 | 280 1342.19/1342.49 c 1338s | 19 | 996928 | 504282 | 335385 1 | 93827 | 280 1344.39/1344.60 c 1340s | 19 | 998445 | 504982 | 335385 1 | 93827 | 280 1346.39/1346.65 c 1343s | 19 | 999855 | 505682 | 335385 1 | 93827 | 280 1348.49/1348.76 c 1345s | 19 | 1001216 | 506382 | 335385 1 | 93827 | 280 1350.59/1350.81 c 1347s | 19 | 1002815 | 507082 | 335385 1 | 93827 | 280 1352.69/1352.94 c 1349s | 19 | 1004236 | 507782 | 335385 1 | 93827 | 280 1354.79/1355.10 c 1351s | 19 | 1005779 | 508482 | 335385 1 | 93827 | 280 1356.98/1357.20 c 1353s | 19 | 1007144 | 509182 | 335385 1 | 93827 | 280 1359.08/1359.35 c 1355s | 19 | 1008737 | 509882 | 335385 1 | 93827 | 280 1361.18/1361.49 c 1357s | 19 | 1010034 | 510582 | 335385 1 | 93827 | 280 1363.38/1363.61 c 1360s | 19 | 1011415 | 511182 | 335385 1 | 93827 | 280 1365.68/1365.93 c 1362s | 19 | 1012834 | 511882 | 335385 1 | 93827 | 280 1367.98/1368.20 c 1364s | 19 | 1014264 | 512582 | 335385 1 | 93827 | 280 1370.18/1370.44 c 1366s | 19 | 1015498 | 513282 | 335385 1 | 93827 | 280 1372.38/1372.61 c 1369s | 19 | 1016922 | 513982 | 335385 1 | 93827 | 280 1374.48/1374.76 c 1371s | 19 | 1018327 | 514682 | 335385 1 | 93827 | 280 1376.68/1376.90 c 1373s | 19 | 1019870 | 515382 | 335385 1 | 93827 | 280 1378.68/1378.91 c 1375s | 19 | 1021323 | 516082 | 335385 1 | 93827 | 280 1380.88/1381.17 c 1377s | 19 | 1022906 | 516882 | 335385 1 | 93827 | 280 1383.08/1383.39 c 1379s | 19 | 1024407 | 517682 | 335385 1 | 93827 | 280 1385.18/1385.45 c 1381s | 19 | 1025768 | 518382 | 335385 1 | 93827 | 280 1387.38/1387.62 c 1384s | 19 | 1027156 | 519082 | 335385 1 | 93827 | 280 1389.58/1389.84 c 1386s | 19 | 1028491 | 519782 | 335385 1 | 93827 | 280 1391.68/1391.98 c 1388s | 19 | 1029687 | 520482 | 335385 1 | 93827 | 280 1393.98/1394.27 c 1390s | 19 | 1031283 | 521282 | 335385 1 | 93827 | 280 1396.18/1396.40 c 1392s | 19 | 1032435 | 521982 | 335385 1 | 93827 | 280 1398.28/1398.53 c 1394s | 19 | 1033635 | 522682 | 335385 1 | 93827 | 280 1400.48/1400.72 c 1397s | 19 | 1035129 | 523382 | 335385 1 | 93827 | 280 1402.68/1402.99 c 1399s | 19 | 1036584 | 524082 | 335385 1 | 93827 | 280 1404.98/1405.22 c 1401s | 19 | 1037784 | 524782 | 335385 1 | 93827 | 280 1407.08/1407.34 c 1403s | 19 | 1039086 | 525482 | 335385 1 | 93827 | 280 1409.28/1409.51 c 1405s | 19 | 1040449 | 526182 | 335385 1 | 93827 | 280 1411.48/1411.77 c 1408s | 19 | 1041698 | 526882 | 335385 1 | 93827 | 280 1413.78/1414.05 c 1410s | 19 | 1043037 | 527582 | 335385 1 | 93827 | 280 1415.78/1416.08 c 1412s | 19 | 1044365 | 528182 | 335385 1 | 93827 | 280 1418.07/1418.32 c 1414s | 19 | 1045686 | 528882 | 335385 1 | 93827 | 280 1420.27/1420.54 c 1416s | 19 | 1047119 | 529582 | 335385 1 | 93827 | 280 1422.57/1422.81 c 1419s | 19 | 1048497 | 530282 | 335385 1 | 93827 | 280 1424.87/1425.10 c 1421s | 19 | 1049943 | 530982 | 335385 1 | 93827 | 280 1427.07/1427.37 c 1423s | 19 | 1051414 | 531682 | 335385 1 | 93827 | 280 1429.37/1429.68 c 1426s | 19 | 1052727 | 532382 | 335385 1 | 93827 | 280 1431.67/1431.97 c 1428s | 19 | 1053899 | 533082 | 335385 1 | 93827 | 280 1433.77/1434.06 c 1430s | 19 | 1055053 | 533682 | 335385 1 | 93827 | 280 1435.77/1436.08 c 1432s | 19 | 1056133 | 534282 | 335385 1 | 93827 | 280 1438.17/1438.43 c 1434s | 19 | 1057853 | 534982 | 335385 1 | 93827 | 280 1440.47/1440.74 c 1437s | 19 | 1059160 | 535682 | 335385 1 | 93827 | 280 1442.47/1442.78 c 1439s | 19 | 1060253 | 536282 | 335385 1 | 93827 | 280 1444.77/1445.01 c 1441s | 19 | 1061705 | 536982 | 335385 1 | 93827 | 280 1446.87/1447.14 c 1443s | 19 | 1062875 | 537682 | 335385 1 | 93827 | 280 1448.97/1449.25 c 1445s | 19 | 1064191 | 538282 | 335385 1 | 93827 | 280 1451.07/1451.32 c 1447s | 19 | 1065506 | 538882 | 335385 1 | 93827 | 280 1453.17/1453.48 c 1449s | 19 | 1066886 | 539482 | 335385 1 | 93827 | 280 1455.17/1455.50 c 1451s | 19 | 1068157 | 540082 | 335385 1 | 93827 | 280 1457.57/1457.81 c 1454s | 19 | 1069465 | 540782 | 335385 1 | 93827 | 280 1459.57/1459.88 c 1456s | 19 | 1070683 | 541382 | 335385 1 | 93827 | 280 1461.67/1461.96 c 1458s | 19 | 1072000 | 541982 | 335385 1 | 93827 | 280 1463.77/1464.05 c 1460s | 19 | 1073175 | 542582 | 335385 1 | 93827 | 280 1465.87/1466.10 c 1462s | 19 | 1074389 | 543182 | 335385 1 | 93827 | 280 1467.86/1468.14 c 1464s | 19 | 1075614 | 543782 | 335385 1 | 93827 | 280 1469.96/1470.24 c 1466s | 19 | 1076858 | 544382 | 335385 1 | 93827 | 280 1472.06/1472.31 c 1468s | 19 | 1078153 | 544982 | 335385 1 | 93827 | 280 1474.16/1474.49 c 1470s | 19 | 1079549 | 545582 | 335385 1 | 93827 | 280 1476.36/1476.61 c 1473s | 19 | 1080795 | 546182 | 335385 1 | 93827 | 280 1478.56/1478.83 c 1475s | 19 | 1082009 | 546782 | 335385 1 | 93827 | 280 1480.86/1481.10 c 1477s | 19 | 1083499 | 547382 | 335385 1 | 93827 | 280 1482.77/1483.10 c 1479s | 19 | 1084708 | 547982 | 335385 1 | 93827 | 280 1484.97/1485.26 c 1481s | 19 | 1086050 | 548582 | 335385 1 | 93827 | 280 1487.06/1487.37 c 1483s | 19 | 1087196 | 549182 | 335385 1 | 93827 | 280 1489.26/1489.55 c 1485s | 19 | 1088438 | 549782 | 335385 1 | 93827 | 280 1491.57/1491.85 c 1488s | 19 | 1089748 | 550382 | 335385 1 | 93827 | 280 1493.77/1494.03 c 1490s | 19 | 1090987 | 550982 | 335385 1 | 93827 | 280 1495.97/1496.27 c 1492s | 19 | 1092297 | 551582 | 335385 1 | 93827 | 280 1498.27/1498.58 c 1494s | 19 | 1093438 | 552182 | 335385 1 | 93827 | 280 1500.56/1500.82 c 1497s | 19 | 1094568 | 552782 | 335385 1 | 93827 | 280 1502.86/1503.16 c 1499s | 19 | 1095809 | 553382 | 335385 1 | 93827 | 280 1504.96/1505.27 c 1501s | 19 | 1097053 | 553982 | 335385 1 | 93827 | 280 1507.06/1507.35 c 1503s | 19 | 1098155 | 554582 | 335385 1 | 93827 | 280 1509.26/1509.51 c 1505s | 19 | 1099421 | 555182 | 335385 1 | 93827 | 280 1511.46/1511.74 c 1508s | 19 | 1100667 | 555782 | 335385 1 | 93827 | 280 1513.56/1513.90 c 1510s | 19 | 1101804 | 556382 | 335385 1 | 93827 | 280 1515.76/1516.04 c 1512s | 19 | 1103003 | 556982 | 335385 1 | 93827 | 280 1517.86/1518.18 c 1514s | 19 | 1104114 | 557582 | 335385 1 | 93827 | 280 1520.06/1520.30 c 1516s | 19 | 1105434 | 558182 | 335385 1 | 93827 | 280 1522.16/1522.48 c 1518s | 19 | 1106550 | 558782 | 335385 1 | 93827 | 280 1524.36/1524.63 c 1521s | 19 | 1107854 | 559382 | 335385 1 | 93827 | 280 1526.66/1526.92 c 1523s | 19 | 1109123 | 559982 | 335385 1 | 93827 | 280 1528.96/1529.23 c 1525s | 19 | 1110450 | 560582 | 335385 1 | 93827 | 280 1531.26/1531.55 c 1527s | 19 | 1111808 | 561182 | 335385 1 | 93827 | 280 1533.46/1533.78 c 1530s | 19 | 1113106 | 561782 | 335385 1 | 93827 | 280 1535.75/1536.05 c 1532s | 19 | 1114335 | 562382 | 335385 1 | 93827 | 280 1537.95/1538.28 c 1534s | 19 | 1115814 | 562982 | 335385 1 | 93827 | 280 1540.25/1540.55 c 1536s | 19 | 1117191 | 563582 | 335385 1 | 93827 | 280 1542.55/1542.81 c 1539s | 19 | 1118345 | 564182 | 335385 1 | 93827 | 280 1544.85/1545.12 c 1541s | 19 | 1119543 | 564782 | 335385 1 | 93827 | 280 1547.15/1547.44 c 1543s | 19 | 1120789 | 565382 | 335385 1 | 93827 | 280 1549.25/1549.54 c 1545s | 19 | 1122021 | 565882 | 335385 1 | 93827 | 280 1551.65/1551.90 c 1548s | 19 | 1123286 | 566482 | 335385 1 | 93827 | 280 1553.95/1554.28 c 1550s | 19 | 1124634 | 567082 | 335385 1 | 93827 | 280 1555.95/1556.29 c 1552s | 19 | 1125629 | 567582 | 335385 1 | 93827 | 280 1558.05/1558.37 c 1554s | 19 | 1126716 | 568082 | 335385 1 | 93827 | 280 1560.15/1560.46 c 1556s | 19 | 1127888 | 568582 | 335385 1 | 93827 | 280 1562.25/1562.50 c 1558s | 19 | 1129128 | 569082 | 335385 1 | 93827 | 280 1564.26/1564.56 c 1560s | 19 | 1130333 | 569582 | 335385 1 | 93827 | 280 1566.36/1566.64 c 1563s | 19 | 1131545 | 570082 | 335385 1 | 93827 | 280 1568.45/1568.71 c 1565s | 19 | 1132570 | 570582 | 335385 1 | 93827 | 280 1570.55/1570.80 c 1567s | 19 | 1133779 | 571082 | 335385 1 | 93827 | 280 1572.95/1573.22 c 1569s | 19 | 1135203 | 571682 | 335385 1 | 93827 | 280 1575.25/1575.58 c 1571s | 19 | 1136512 | 572282 | 335385 1 | 93827 | 280 1577.65/1577.90 c 1574s | 19 | 1137661 | 572882 | 335385 1 | 93827 | 280 1579.95/1580.22 c 1576s | 19 | 1138920 | 573482 | 335385 1 | 93827 | 280 1582.35/1582.68 c 1579s | 19 | 1140359 | 574082 | 335385 1 | 93827 | 280 1584.75/1585.02 c 1581s | 19 | 1141642 | 574682 | 335385 1 | 93827 | 280 1587.05/1587.36 c 1583s | 19 | 1142850 | 575282 | 335385 1 | 93827 | 280 1589.25/1589.53 c 1585s | 19 | 1143985 | 575882 | 335385 1 | 93827 | 280 1591.55/1591.80 c 1588s | 19 | 1145113 | 576482 | 335385 1 | 93827 | 280 1593.74/1594.10 c 1590s | 19 | 1146370 | 577082 | 335385 1 | 93827 | 280 1596.15/1596.43 c 1592s | 19 | 1147679 | 577682 | 335385 1 | 93827 | 280 1598.54/1598.80 c 1595s | 19 | 1148985 | 578282 | 335385 1 | 93827 | 280 1600.55/1600.82 c 1597s | 19 | 1150198 | 578782 | 335385 1 | 93827 | 280 1602.84/1603.13 c 1599s | 19 | 1151647 | 579382 | 335385 1 | 93827 | 280 1605.24/1605.50 c 1601s | 19 | 1152933 | 579982 | 335385 1 | 93827 | 280 1607.44/1607.74 c 1604s | 19 | 1154261 | 580582 | 335385 1 | 93827 | 280 1609.74/1610.04 c 1606s | 19 | 1155530 | 581182 | 335385 1 | 93827 | 280 1612.14/1612.45 c 1608s | 19 | 1156980 | 581782 | 335385 1 | 93827 | 280 1614.54/1614.82 c 1611s | 19 | 1158242 | 582382 | 335385 1 | 93827 | 280 1616.54/1616.83 c 1613s | 19 | 1159249 | 582882 | 335385 1 | 93827 | 280 1618.54/1618.86 c 1615s | 19 | 1160485 | 583382 | 335385 1 | 93827 | 280 1620.74/1621.01 c 1617s | 19 | 1161616 | 583882 | 335385 1 | 93827 | 280 1623.14/1623.40 c 1619s | 19 | 1162836 | 584482 | 335385 1 | 93827 | 280 1625.14/1625.41 c 1621s | 19 | 1163849 | 584982 | 335385 1 | 93827 | 280 1627.23/1627.50 c 1623s | 19 | 1165175 | 585482 | 335385 1 | 93827 | 280 1629.23/1629.51 c 1625s | 19 | 1166263 | 585982 | 335385 1 | 93827 | 280 1631.24/1631.60 c 1627s | 19 | 1167531 | 586482 | 335385 1 | 93827 | 280 1633.54/1633.90 c 1630s | 19 | 1168826 | 587082 | 335385 1 | 93827 | 280 1635.64/1635.95 c 1632s | 19 | 1169797 | 587582 | 335385 1 | 93827 | 280 1637.73/1638.03 c 1634s | 19 | 1170861 | 588082 | 335385 1 | 93827 | 280 1639.83/1640.12 c 1636s | 19 | 1171917 | 588582 | 335385 1 | 93827 | 280 1641.83/1642.15 c 1638s | 19 | 1172785 | 589082 | 335385 1 | 93827 | 280 1643.93/1644.22 c 1640s | 19 | 1173778 | 589582 | 335385 1 | 93827 | 280 1645.93/1646.28 c 1642s | 19 | 1174672 | 590082 | 335385 1 | 93827 | 280 1648.22/1648.59 c 1644s | 19 | 1176041 | 590682 | 335385 1 | 93827 | 280 1650.62/1650.93 c 1647s | 19 | 1177237 | 591282 | 335385 1 | 93827 | 280 1652.72/1653.02 c 1649s | 19 | 1178288 | 591782 | 335385 1 | 93827 | 280 1654.82/1655.12 c 1651s | 19 | 1179392 | 592282 | 335385 1 | 93827 | 280 1656.82/1657.18 c 1653s | 19 | 1180387 | 592782 | 335385 1 | 93827 | 280 1658.83/1659.19 c 1655s | 19 | 1181214 | 593282 | 335385 1 | 93827 | 280 1661.22/1661.50 c 1657s | 19 | 1182629 | 593882 | 335385 1 | 93827 | 280 1663.52/1663.89 c 1660s | 19 | 1183841 | 594482 | 335385 1 | 93827 | 280 1665.62/1665.90 c 1662s | 19 | 1184817 | 594982 | 335385 1 | 93827 | 280 1667.92/1668.24 c 1664s | 19 | 1185986 | 595582 | 335385 1 | 93827 | 280 1670.03/1670.33 c 1666s | 19 | 1186967 | 596082 | 335385 1 | 93827 | 280 1672.12/1672.44 c 1668s | 19 | 1187887 | 596582 | 335385 1 | 93827 | 280 1674.23/1674.58 c 1670s | 19 | 1189104 | 597082 | 335385 1 | 93827 | 280 1676.43/1676.73 c 1673s | 19 | 1190234 | 597582 | 335385 1 | 93827 | 280 1678.42/1678.80 c 1675s | 19 | 1191209 | 598082 | 335385 1 | 93827 | 280 1680.52/1680.85 c 1677s | 19 | 1192132 | 598582 | 335385 1 | 93827 | 280 1682.52/1682.86 c 1679s | 19 | 1193263 | 599082 | 335385 1 | 93827 | 280 1684.62/1684.90 c 1681s | 19 | 1194223 | 599582 | 335385 1 | 93827 | 280 1686.72/1687.03 c 1683s | 19 | 1195167 | 600082 | 335385 1 | 93827 | 280 1688.92/1689.25 c 1685s | 19 | 1196256 | 600582 | 335385 1 | 93827 | 280 1691.12/1691.43 c 1687s | 19 | 1197237 | 601082 | 335385 1 | 93827 | 280 1693.22/1693.52 c 1689s | 19 | 1198178 | 601582 | 335385 1 | 93827 | 280 1695.32/1695.63 c 1692s | 19 | 1199180 | 602082 | 335385 1 | 93827 | 280 1697.42/1697.78 c 1694s | 19 | 1200158 | 602582 | 335385 1 | 93827 | 280 1699.72/1700.00 c 1696s | 19 | 1201474 | 603082 | 335385 1 | 93827 | 280 1701.82/1702.18 c 1698s | 19 | 1202464 | 603582 | 335385 1 | 93827 | 280 1703.92/1704.27 c 1700s | 19 | 1203548 | 604082 | 335385 1 | 93827 | 280 1706.02/1706.37 c 1702s | 19 | 1204700 | 604582 | 335385 1 | 93827 | 280 1708.22/1708.53 c 1704s | 19 | 1205806 | 605082 | 335385 1 | 93827 | 280 1710.32/1710.66 c 1707s | 19 | 1206781 | 605582 | 335385 1 | 93827 | 280 1712.52/1712.88 c 1709s | 19 | 1207699 | 606082 | 335385 1 | 93827 | 280 1714.82/1715.13 c 1711s | 19 | 1208889 | 606582 | 335385 1 | 93827 | 280 1717.02/1717.38 c 1713s | 19 | 1209841 | 607082 | 335385 1 | 93827 | 280 1719.22/1719.55 c 1715s | 19 | 1210782 | 607582 | 335385 1 | 93827 | 280 1721.52/1721.84 c 1718s | 19 | 1211821 | 608082 | 335385 1 | 93827 | 280 1723.81/1724.15 c 1720s | 19 | 1212902 | 608582 | 335385 1 | 93827 | 280 1726.01/1726.39 c 1722s | 19 | 1213849 | 609082 | 335385 1 | 93827 | 280 1728.41/1728.72 c 1725s | 19 | 1214777 | 609582 | 335385 1 | 93827 | 280 1730.81/1731.14 c 1727s | 19 | 1215813 | 610082 | 335385 1 | 93827 | 280 1733.21/1733.56 c 1729s | 19 | 1217003 | 610582 | 335385 1 | 93827 | 280 1735.51/1735.83 c 1732s | 19 | 1218041 | 611082 | 335385 1 | 93827 | 280 1737.70/1738.01 c 1734s | 19 | 1219002 | 611582 | 335385 1 | 93827 | 280 1739.90/1740.22 c 1736s | 19 | 1219929 | 612082 | 335385 1 | 93827 | 280 1742.31/1742.69 c 1739s | 19 | 1221045 | 612582 | 335385 1 | 93827 | 280 1744.70/1745.06 c 1741s | 19 | 1222221 | 613082 | 335385 1 | 93827 | 280 1747.10/1747.46 c 1743s | 19 | 1223317 | 613582 | 335385 1 | 93827 | 280 1749.40/1749.72 c 1746s | 19 | 1224166 | 614082 | 335385 1 | 93827 | 280 1751.70/1752.00 c 1748s | 19 | 1225069 | 614582 | 335385 1 | 93827 | 280 1754.10/1754.45 c 1750s | 19 | 1226269 | 615082 | 335385 1 | 93827 | 280 1756.50/1756.82 c 1753s | 19 | 1227264 | 615582 | 335385 1 | 93827 | 280 1759.00/1759.33 c 1755s | 19 | 1228306 | 616082 | 335385 1 | 93827 | 280 1761.50/1761.80 c 1758s | 19 | 1229610 | 616582 | 335385 1 | 93827 | 280 1763.90/1764.23 c 1760s | 19 | 1230848 | 617082 | 335385 1 | 93827 | 280 1766.30/1766.66 c 1763s | 19 | 1231916 | 617582 | 335385 1 | 93827 | 280 1768.60/1768.90 c 1765s | 19 | 1233009 | 618082 | 335385 1 | 93827 | 280 1770.90/1771.27 c 1767s | 19 | 1234051 | 618582 | 335385 1 | 93827 | 280 1773.29/1773.63 c 1770s | 19 | 1235188 | 619082 | 335385 1 | 93827 | 280 1775.49/1775.89 c 1772s | 19 | 1236148 | 619582 | 335385 1 | 93827 | 280 1777.89/1778.26 c 1774s | 19 | 1237088 | 620082 | 335385 1 | 93827 | 280 1780.29/1780.62 c 1777s | 19 | 1237929 | 620582 | 335385 1 | 93827 | 280 1782.69/1783.05 c 1779s | 19 | 1239069 | 621082 | 335385 1 | 93827 | 280 1785.09/1785.48 c 1781s | 19 | 1240173 | 621582 | 335385 1 | 93827 | 280 1787.50/1787.87 c 1784s | 19 | 1241093 | 622082 | 335385 1 | 93827 | 280 1789.99/1790.34 c 1786s | 19 | 1242142 | 622582 | 335385 1 | 93827 | 280 1791.99/1792.38 c 1788s | 19 | 1243059 | 622982 | 335385 1 | 93827 | 280 1794.19/1794.51 c 1790s | 19 | 1243904 | 623382 | 335385 1 | 93827 | 280 1796.30/1796.66 c 1793s | 19 | 1244781 | 623782 | 335385 1 | 93827 | 280 1798.29/1798.69 c 1795s | 19 | 1245611 | 624182 | 335385 1 | 93827 | 280
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-4100609-1466215390/watcher-4100609-1466215390 -o /tmp/evaluation-result-4100609-1466215390/solver-4100609-1466215390 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100609-1466215390.opb pid=16734 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.21 2.15 2.15 3/179 16737 /proc/meminfo: memFree=29513796/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=759228 CPUtime=0 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 2839 0 0 0 0 0 0 0 20 0 4 0 23585691 777449472 3199 33554432000 4194304 16246674 140733785329728 140733785329152 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 190575 3208 441 2943 0 187469 0 [pid=16737/tid=16738] ppid=16734 vsize=779708 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 798420992 3276 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=783804 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23585691 802615296 3294 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=787900 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23585691 806809600 3310 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100215 s] /proc/loadavg: 2.21 2.15 2.15 3/179 16737 /proc/meminfo: memFree=29513796/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1300036 CPUtime=0.09 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 27105 0 0 0 5 4 0 0 20 0 4 0 23585691 1331236864 27404 33554432000 4194304 16246674 140733785329728 140733785329040 7368729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 325009 27419 798 2943 0 321903 0 [pid=16737/tid=16738] ppid=16734 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1331236864 27430 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23585691 1331236864 27441 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1331236864 27453 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1300036 [startup+0.200527 s] /proc/loadavg: 2.21 2.15 2.15 3/179 16737 /proc/meminfo: memFree=29513796/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1314372 CPUtime=0.19 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 46410 0 0 0 13 6 0 0 20 0 4 0 23585691 1345916928 47219 33554432000 4194304 16246674 140733785329728 140733785329040 7440051 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 328593 47219 798 2943 0 325487 0 [pid=16737/tid=16738] ppid=16734 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1345916928 47219 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23585691 1345916928 47219 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1345916928 47219 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300494 s] /proc/loadavg: 2.21 2.15 2.15 3/179 16737 /proc/meminfo: memFree=29513796/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 51544 0 0 0 22 7 0 0 20 0 4 0 23585691 1345916928 52353 33554432000 4194304 16246674 140733785329728 140733785329040 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 328593 52353 799 2943 0 325487 0 [pid=16737/tid=16738] ppid=16734 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1345916928 52353 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23585691 1345916928 52353 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1345916928 52353 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700399 s] /proc/loadavg: 2.21 2.15 2.15 3/179 16737 /proc/meminfo: memFree=29513796/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1314372 CPUtime=0.68 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 72373 0 0 0 59 9 0 0 20 0 4 0 23585691 1345916928 73182 33554432000 4194304 16246674 140733785329728 140733785329040 7440588 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 328593 73182 801 2943 0 325487 0 [pid=16737/tid=16738] ppid=16734 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1345916928 73182 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23585691 1345916928 73182 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1345916928 73182 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1314372 [startup+1.50043 s] /proc/loadavg: 2.19 2.15 2.15 3/183 16741 /proc/meminfo: memFree=29195132/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1385028 CPUtime=1.49 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 89447 0 0 0 138 11 0 0 20 0 4 0 23585691 1418268672 92811 33554432000 4194304 16246674 140733785329728 140733785329040 4208632 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 346257 92811 828 2943 0 343151 0 [pid=16737/tid=16738] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 92811 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 92811 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 92811 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1385028 [startup+3.10039 s] /proc/loadavg: 2.19 2.15 2.15 3/183 16741 /proc/meminfo: memFree=29100372/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1385028 CPUtime=3.09 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 100488 0 0 0 296 13 0 0 20 0 4 0 23585691 1418268672 103852 33554432000 4194304 16246674 140733785329728 140733785328824 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 346257 103852 844 2943 0 343151 0 [pid=16737/tid=16738] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 103852 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 103852 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 103852 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1385028 [startup+6.30039 s] /proc/loadavg: 2.25 2.16 2.15 3/183 16741 /proc/meminfo: memFree=28859464/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1385028 CPUtime=6.29 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 183153 0 0 0 605 24 0 0 20 0 4 0 23585691 1418268672 186517 33554432000 4194304 16246674 140733785329728 140733785311616 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 346257 186527 900 2943 0 343151 0 [pid=16737/tid=16738] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 186532 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 186533 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 186536 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1385028 [startup+12.7004 s] /proc/loadavg: 2.31 2.18 2.16 3/183 16741 /proc/meminfo: memFree=28440144/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1385028 CPUtime=12.69 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 265186 0 0 0 1234 35 0 0 20 0 4 0 23585691 1418268672 268550 33554432000 4194304 16246674 140733785329728 140733785311616 5712760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 346257 268550 900 2943 0 343151 0 [pid=16737/tid=16738] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 268550 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 268550 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 268550 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1385028 [startup+25.5004 s] /proc/loadavg: 2.24 2.17 2.15 3/183 16741 /proc/meminfo: memFree=28431840/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1385028 CPUtime=25.49 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 265188 0 0 0 2514 35 0 0 20 0 4 0 23585691 1418268672 268552 33554432000 4194304 16246674 140733785329728 140733785311616 5712672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 346257 268552 902 2943 0 343151 0 [pid=16737/tid=16738] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 268552 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 268552 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 268552 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1385028 [startup+51.1004 s] /proc/loadavg: 2.16 2.15 2.15 3/183 16742 /proc/meminfo: memFree=28431596/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1385028 CPUtime=51.08 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 265208 0 0 0 5073 35 0 0 20 0 4 0 23585691 1418268672 268572 33554432000 4194304 16246674 140733785329728 140733785311616 12483420 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 346257 268572 902 2943 0 343151 0 [pid=16737/tid=16738] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 268572 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 268572 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 268572 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1385028 [startup+102.3 s] /proc/loadavg: 2.18 2.16 2.15 3/183 16743 /proc/meminfo: memFree=28355088/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1385028 CPUtime=102.27 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 268737 0 0 0 10191 36 0 0 20 0 4 0 23585691 1418268672 272101 33554432000 4194304 16246674 140733785329728 140733785311616 13943729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 346257 272101 902 2943 0 343151 0 [pid=16737/tid=16738] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 272101 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 272101 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1418268672 272101 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1385028 ################ # More data... # ################ /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 1792580 [startup+1302.3 s] /proc/loadavg: 2.13 2.16 2.17 3/183 16773 /proc/meminfo: memFree=25752504/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1792580 CPUtime=1302.09 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 386000 0 0 0 130138 71 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140733785311616 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 448145 389364 905 2943 0 445039 0 [pid=16737/tid=16738] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1792580 [startup+1362.3 s] /proc/loadavg: 2.09 2.14 2.16 4/183 16774 /proc/meminfo: memFree=25706284/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1792580 CPUtime=1362.08 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 386000 0 0 0 136137 71 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140733785311616 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 448145 389364 905 2943 0 445039 0 [pid=16737/tid=16738] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1792580 [startup+1422.3 s] /proc/loadavg: 2.13 2.14 2.16 3/183 16775 /proc/meminfo: memFree=25680532/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1792580 CPUtime=1422.07 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 386000 0 0 0 142136 71 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140733785311616 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 448145 389364 905 2943 0 445039 0 [pid=16737/tid=16738] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 1792580 [startup+1482.3 s] /proc/loadavg: 2.17 2.16 2.16 3/183 16776 /proc/meminfo: memFree=25680732/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1792580 CPUtime=1482.06 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 386000 0 0 0 148135 71 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140733785311616 6022097 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 448145 389364 905 2943 0 445039 0 [pid=16737/tid=16738] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 1792580 [startup+1542.3 s] /proc/loadavg: 2.23 2.17 2.17 3/183 16777 /proc/meminfo: memFree=25680028/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1792580 CPUtime=1542.05 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 386000 0 0 0 154134 71 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140733785311616 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 448145 389364 905 2943 0 445039 0 [pid=16737/tid=16738] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389364 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 1792580 [startup+1602.3 s] /proc/loadavg: 2.18 2.17 2.17 3/183 16828 /proc/meminfo: memFree=27954904/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1792580 CPUtime=1602.04 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 386002 0 0 0 160133 71 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140733785311616 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 448145 389367 905 2943 0 445039 0 [pid=16737/tid=16738] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 1792580 [startup+1662.3 s] /proc/loadavg: 2.18 2.17 2.17 3/184 16832 /proc/meminfo: memFree=27954316/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1792580 CPUtime=1662.03 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 386030 0 0 0 166132 71 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140733785311616 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 448145 389367 905 2943 0 445039 0 [pid=16737/tid=16738] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 1792580 [startup+1722.3 s] /proc/loadavg: 2.24 2.19 2.18 3/183 16833 /proc/meminfo: memFree=27954536/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1792580 CPUtime=1722.01 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 386048 0 0 0 172129 72 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140733785311616 5823246 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 448145 389367 905 2943 0 445039 0 [pid=16737/tid=16738] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 1792580 [startup+1782.31 s] /proc/loadavg: 2.32 2.22 2.19 3/183 16834 /proc/meminfo: memFree=27933192/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1792580 CPUtime=1782 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 386079 0 0 0 178128 72 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140733785311616 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 448145 389367 905 2943 0 445039 0 [pid=16737/tid=16738] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 1792580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.31 2.22 2.19 3/183 16834 /proc/meminfo: memFree=27933356/32872528 swapFree=1191052/1305516 [pid=16737] ppid=16734 vsize=1792580 CPUtime=1800.09 cores=0,2,4,6 /proc/16737/stat : 16737 (toysat) R 16734 16737 14522 0 -1 4202496 386085 0 0 0 179937 72 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140733785311616 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16737/statm: 448145 389367 905 2943 0 445039 0 [pid=16737/tid=16738] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16738/stat : 16738 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140287028473072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16737/tid=16739] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16739/stat : 16739 (toysat) S 16734 16737 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140287017983216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16737/tid=16740] ppid=16734 vsize=1792580 CPUtime=0 cores=0,2,4,6 /proc/16737/task/16740/stat : 16740 (toysat) S 16734 16737 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23585691 1835601920 389367 33554432000 4194304 16246674 140733785329728 140287007509680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1792580 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 16737 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.49 CPU time (s): 1800.17 CPU user time (s): 1799.38 CPU system time (s): 0.795879 CPU usage (%): 99.9825 Max. virtual memory (cumulated for all children) (KiB): 1792580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.38 system time used= 0.795879 maximum resident set size= 1557468 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 386085 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= 406 involuntary context switches= 1922 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.68629 second user time and 6.81396 second system time The end
Begin job on node127 at 2016-06-18 04:03:11 IDJOB=4100609 IDBENCH=1639 IDSOLVER=2542 FILE ID=node127/4100609-1466215390 RUNJOBID= node127-1466206072-14538 PBS_JOBID= 19918150 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship12l.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100609-1466215390/watcher-4100609-1466215390 -o /tmp/evaluation-result-4100609-1466215390/solver-4100609-1466215390 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100609-1466215390.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f3b03e873dc4df8efe5ac51669e9a176 RANDOM SEED=1394274391 node127.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.769 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.53 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.769 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.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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.56 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.769 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.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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: 29514432 kB Buffers: 101804 kB Cached: 134928 kB SwapCached: 528 kB Active: 1184032 kB Inactive: 131276 kB Active(anon): 1080248 kB Inactive(anon): 860 kB Active(file): 103784 kB Inactive(file): 130416 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100256 kB Dirty: 23260 kB Writeback: 0 kB AnonPages: 2384068 kB Mapped: 10900 kB Shmem: 0 kB Slab: 602964 kB SReclaimable: 46888 kB SUnreclaim: 556076 kB KernelStack: 1472 kB PageTables: 8824 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2535760 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 118784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71696 MiB End job on node127 at 2016-06-18 04:33:11