0.00/0.00 c 2016-06-06T16:22:47+0200
0.00/0.00 c version = 0.5.0
0.00/0.00 c githash = 1a49202
0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00 c arch = x86_64
0.00/0.00 c os = linux
0.00/0.00 c compiler = ghc 7.10
0.00/0.00 c packages:
0.00/0.00 c OptDir-0.0.3
0.00/0.00 c array-0.5.1.0
0.00/0.00 c base-4.8.2.0
0.00/0.00 c bytestring-0.10.6.0
0.00/0.00 c bytestring-builder-0.10.6.0.0
0.00/0.00 c clock-0.7.2
0.00/0.00 c containers-0.5.6.2
0.00/0.00 c data-default-0.5.3
0.00/0.00 c data-default-class-0.0.1
0.00/0.00 c data-interval-1.2.0
0.00/0.00 c deepseq-1.4.1.1
0.00/0.00 c directory-1.2.2.0
0.00/0.00 c exceptions-0.8.2.1
0.00/0.00 c extended-reals-0.2.1.0
0.00/0.00 c filepath-1.4.0.0
0.00/0.00 c finite-field-0.8.0
0.00/0.00 c hashable-1.2.4.0
0.00/0.00 c heaps-0.3.3
0.00/0.00 c intern-0.9.1.4
0.00/0.00 c loop-0.3.0
0.00/0.00 c mtl-2.2.1
0.00/0.00 c multiset-0.3.2
0.00/0.00 c mwc-random-0.13.3.2
0.00/0.00 c parse_dimacs-1.3
0.00/0.00 c parsec-3.1.9
0.00/0.00 c prettyclass-1.0.0.0
0.00/0.00 c primes-0.2.1.0
0.00/0.00 c primitive-0.6.1.0
0.00/0.00 c process-1.2.3.0
0.00/0.00 c pseudo-boolean-0.1.3.0
0.00/0.01 c queue-0.1.2
0.00/0.01 c semigroups-0.18.1
0.00/0.01 c sign-0.4.3
0.00/0.01 c stm-2.4.4.1
0.00/0.01 c template-haskell-2.10.0.0
0.00/0.01 c temporary-1.2.0.4
0.00/0.01 c time-1.5.0.1
0.00/0.01 c transformers-0.4.2.0
0.00/0.01 c transformers-compat-0.5.1.4
0.00/0.01 c type-level-numbers-0.1.1.1
0.00/0.01 c unbounded-delays-0.1.0.9
0.00/0.01 c unordered-containers-0.2.6.0
0.00/0.01 c vector-0.11.0.0
0.00/0.01 c vector-space-0.10.3
0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079473-1465222967.opb"]
0.00/0.01 c use --random-gen="110510225 2936920438 1134063868 2616217107 4047219010 1600666633 1115823465 998420454 1476167825 3301380946 608319689 3200954925 3861701526 3631515394 581362719 2579039791 182869215 435545602 3472788192 2517923125 1967740345 3931848794 3410159417 1068624787 26688173 2810783978 3961928069 475628565 3362257544 2582310166 4199568466 2633111657 3024296674 248834403 1947949498 327917917 3874467865 1058327999 896119932 1058830935 4294065514 3947724657 920447265 1399305175 2045005875 1419020463 1910472829 3870523347 1700914665 677579355 4071016639 1730601317 3414495954 846382660 411910752 1583869837 293115617 3493619545 2028309469 1038979869 1805412410 1796459680 3010261649 217504460 659595330 2672478934 3835142707 3780377876 1976100899 3084713438 145498252 1222370183 1021959255 917708989 2983591049 1031321334 1376015070 3966864366 39179396 856690358 3246969288 2811029464 1444214770 3122131773 3354981916 2495624510 4243447808 202102146 407708251 3643940079 876106453 897586369 274591649 3513578281 50746782 4182709848 1460607632 1129251932 802878779 1004219343 1924914250 4023313017 3176636005 140025005 1382299151 2538628931 3607383062 618079279 1645820677 874915348 3253629815 3795902045 1221161732 2060096164 3918736097 2997397022 3319837905 3085851395 3622709187 2549788614 2708535104 1101325662 1946051671 67493221 3331978335 896511639 106137237 967713696 60101687 754714158 2578333398 446812239 4224646917 1007418254 4154176496 4057886696 2689951231 1962805842 1361129476 1322269070 2672638382 1151388499 575798604 1259505588 1979122170 2591798037 4289246930 702773070 3485347403 4005171929 910758966 2174883780 2944512387 3740963308 1086066776 4042591377 1991787277 3201598814 4293301950 958614603 2238613958 2958009971 2212722501 4045229727 4061376619 1432537741 989478672 206111138 2050906436 479136628 3557697931 991656255 486534189 3346147569 912832152 721227699 1540155286 3930205589 3532215995 1354278299 618634857 3744225919 4269089070 985046610 3278091035 256690895 2385908398 2055516719 4005903915 734487448 3012657466 1984308830 3264407660 2368187365 1683666783 1416560571 493260630 1370317837 3035670603 1171902554 1659534782 1771446452 513293908 660999168 2284750423 2466256426 2621508172 2972831663 138962895 1364062795 684042476 4198974616 2883657239 2761979040 213101034 1392794324 1048209030 917879062 3818838613 3985589504 842102352 3548170619 3030867272 2427091740 1464333037 3453687236 3732008626 218864640 2628887775 943223518 2589589720 4122679175 761299722 673388757 2180087813 3491990060 1116431641 56328606 3810201952 2475864643 2737138699 3026972611 2308784407 14400378 3839777330 421341777 2070284698 2857061324 1925452680 1132473566 51971715 663892553 1774777757 4064159486 712344902 4252693608 255 362436" option to reproduce the execution
0.00/0.02 c #vars 464
0.00/0.02 c #constraints 1059
0.00/0.05 c BCD2: Hardening is enabled.
0.00/0.05 c BCD2: BiasedSearch is enabled.
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 511 0 | 0 | 0
0.00/0.07 c 0.0s | 1 | 173 | 100 | 511 0 | 0 | 0
0.08/0.11 c 0.1s | 2 | 597 | 250 | 563 0 | 0 | 0
0.08/0.17 c 0.1s | 3 | 1034 | 475 | 620 0 | 0 | 0
0.19/0.28 c 0.2s | 4 | 1557 | 813 | 682 1 | 0 | 0
0.39/0.43 c 0.4s | 5 | 2531 | 1320 | 751 2 | 0 | 0
0.49/0.54 c 0.5s | 5 | 3210 | 1709 | 827 2 | 0 | 0
0.49/0.54 c #cpu_time = 0.487s
0.49/0.54 c #wall_clock_time = 0.488s
0.49/0.54 c #decision = 3210
0.49/0.54 c #random_decision = 11
0.49/0.54 c #conflict = 1709
0.49/0.54 c #restart = 5
0.49/0.54 o 120
0.49/0.54 c BCD2: hardening fixes 1 literals
0.49/0.54 c BCD2: updating upper bound: 255 -> 119
0.49/0.54 c BCD2: 0 <= obj <= 119
0.49/0.54 c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=1
0.49/0.54 c BCD2: #sat=1 #unsat=1 bias=1/2
0.49/0.54 c Solving starts ...
0.49/0.54 c ============================[ Search Statistics ]============================
0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.54 c | | | | Limit GC | Var | Constra
0.49/0.54 c =============================================================================
0.49/0.54 c 0.0s | 0 | 0 | 0 | 827 0 | 1 | 1
0.49/0.55 c 0.0s | 0 | 5 | 1 | 827 1 | 1 | 1
0.49/0.55 c #cpu_time = 0.006s
0.49/0.55 c #wall_clock_time = 0.006s
0.49/0.55 c #decision = 5
0.49/0.55 c #random_decision = 0
0.49/0.55 c #conflict = 1
0.49/0.55 c #restart = 0
0.49/0.55 c BCD2: found a new core of size 5: cost of the new core is >=4
0.49/0.55 c lower bound updated to 4
0.49/0.55 c BCD2: 4 <= obj <= 119
0.49/0.55 c BCD2: #cores=1, #unrelaxed=2, #relaxed=5, #hardened=1
0.49/0.55 c BCD2: #sat=1 #unsat=2 bias=2/3
0.49/0.55 c Solving starts ...
0.49/0.55 c ============================[ Search Statistics ]============================
0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.55 c | | | | Limit GC | Var | Constra
0.49/0.55 c =============================================================================
0.49/0.55 c 0.0s | 0 | 0 | 0 | 827 0 | 1 | 1
0.49/0.58 c 0.0s | 1 | 204 | 100 | 827 0 | 1 | 1
0.58/0.63 c 0.1s | 2 | 418 | 250 | 827 0 | 1 | 1
0.69/0.72 c 0.2s | 3 | 748 | 475 | 910 0 | 1 | 1
0.78/0.87 c 0.3s | 4 | 1235 | 813 | 910 1 | 1 | 1
1.10/1.12 c 0.6s | 5 | 1910 | 1320 | 910 2 | 1 | 1
1.39/1.49 c 0.9s | 6 | 2839 | 2081 | 1002 3 | 1 | 1
1.89/1.94 c 1.4s | 7 | 4271 | 3223 | 1103 5 | 1 | 1
2.49/2.51 c 2.0s | 8 | 6476 | 4936 | 1103 8 | 1 | 1
3.09/3.30 c 2.8s | 9 | 9817 | 7506 | 1214 11 | 1 | 1
4.69/4.72 c 4.2s | 10 | 14782 | 11361 | 1336 17 | 1 | 1
6.49/6.53 c 6.0s | 11 | 22707 | 17144 | 1470 25 | 1 | 1
8.49/8.53 c 8.0s | 11 | 29954 | 23144 | 1470 32 | 1 | 1
9.29/9.34 c 8.8s | 12 | 33508 | 25819 | 1618 35 | 1 | 1
11.29/11.36 c 10.8s | 12 | 42287 | 32719 | 1618 43 | 1 | 1
13.29/13.33 c 12.8s | 13 | 49799 | 38832 | 1780 50 | 1 | 1
15.28/15.36 c 14.8s | 13 | 57616 | 45132 | 1780 56 | 1 | 1
17.28/17.37 c 16.8s | 13 | 65497 | 51532 | 1780 63 | 1 | 1
19.38/19.40 c 18.9s | 13 | 73612 | 57732 | 1959 69 | 1 | 1
19.58/19.65 c 19.1s | 14 | 74339 | 58352 | 1959 70 | 1 | 1
21.58/21.67 c 21.1s | 14 | 81654 | 64052 | 1959 75 | 1 | 1
23.59/23.69 c 23.1s | 14 | 88974 | 69652 | 1959 81 | 1 | 1
25.69/25.70 c 25.1s | 14 | 95626 | 75152 | 1959 86 | 1 | 1
27.70/27.73 c 27.2s | 14 | 102119 | 80752 | 1959 91 | 1 | 1
29.69/29.75 c 29.2s | 14 | 108671 | 86152 | 2155 97 | 1 | 1
30.19/30.24 c 29.7s | 15 | 110643 | 87632 | 2155 98 | 1 | 1
32.19/32.28 c 31.7s | 15 | 117771 | 93532 | 2155 103 | 1 | 1
34.20/34.30 c 33.8s | 15 | 125366 | 99532 | 2155 108 | 1 | 1
36.29/36.32 c 35.8s | 15 | 131993 | 105032 | 2155 113 | 1 | 1
38.29/38.34 c 37.8s | 15 | 137749 | 109832 | 2155 117 | 1 | 1
40.28/40.38 c 39.8s | 15 | 145175 | 115732 | 2155 123 | 1 | 1
42.28/42.38 c 41.8s | 15 | 152140 | 121732 | 2155 128 | 1 | 1
44.38/44.40 c 43.9s | 15 | 160228 | 128232 | 2155 134 | 1 | 1
45.39/45.40 c 44.9s | 16 | 164408 | 131552 | 2371 136 | 1 | 1
47.39/47.43 c 46.9s | 16 | 171796 | 137652 | 2371 141 | 1 | 1
49.38/49.43 c 48.9s | 16 | 178688 | 143352 | 2371 146 | 1 | 1
51.38/51.44 c 50.9s | 16 | 186748 | 149452 | 2371 150 | 1 | 1
53.38/53.45 c 52.9s | 16 | 193805 | 155252 | 2371 155 | 1 | 1
55.38/55.46 c 54.9s | 16 | 201710 | 161352 | 2371 160 | 1 | 1
57.39/57.47 c 56.9s | 16 | 208838 | 167152 | 2371 165 | 1 | 1
59.38/59.48 c 58.9s | 16 | 215965 | 172952 | 2371 169 | 1 | 1
61.38/61.49 c 60.9s | 16 | 223071 | 178552 | 2371 174 | 1 | 1
63.48/63.51 c 63.0s | 16 | 231017 | 184452 | 2371 179 | 1 | 1
65.48/65.52 c 65.0s | 16 | 238270 | 190252 | 2371 183 | 1 | 1
67.48/67.53 c 67.0s | 16 | 245825 | 196452 | 2609 188 | 1 | 1
67.78/67.86 c 67.3s | 17 | 247074 | 197432 | 2609 189 | 1 | 1
69.78/69.88 c 69.3s | 17 | 253982 | 202932 | 2609 193 | 1 | 1
71.78/71.88 c 71.3s | 17 | 260680 | 208532 | 2609 197 | 1 | 1
73.79/73.90 c 73.4s | 17 | 267737 | 214632 | 2609 201 | 1 | 1
75.88/75.90 c 75.4s | 17 | 275148 | 220732 | 2609 206 | 1 | 1
77.88/77.91 c 77.4s | 17 | 282248 | 226632 | 2609 210 | 1 | 1
79.88/79.94 c 79.4s | 17 | 289916 | 233132 | 2609 215 | 1 | 1
81.88/81.97 c 81.4s | 17 | 297786 | 239532 | 2609 220 | 1 | 1
83.87/83.99 c 83.4s | 17 | 305146 | 245632 | 2609 224 | 1 | 1
85.88/86.00 c 85.5s | 17 | 312944 | 251832 | 2609 229 | 1 | 1
87.97/88.02 c 87.5s | 17 | 319607 | 257432 | 2609 233 | 1 | 1
89.97/90.04 c 89.5s | 17 | 327505 | 263632 | 2609 237 | 1 | 1
91.97/92.07 c 91.5s | 17 | 334241 | 269232 | 2609 241 | 1 | 1
93.97/94.09 c 93.5s | 17 | 342010 | 275232 | 2609 246 | 1 | 1
96.07/96.12 c 95.6s | 17 | 348560 | 280832 | 2609 250 | 1 | 1
98.07/98.14 c 97.6s | 17 | 355493 | 286332 | 2609 254 | 1 | 1
100.06/100.16 c 99.6s | 17 | 362606 | 292032 | 2609 258 | 1 | 1
101.66/101.75 c 101s | 18 | 367469 | 296252 | 2870 260 | 1 | 1
103.66/103.77 c 103s | 18 | 374996 | 302152 | 2870 264 | 1 | 1
105.67/105.77 c 105s | 18 | 382332 | 308152 | 2870 268 | 1 | 1
107.65/107.78 c 107s | 18 | 389190 | 313852 | 2870 272 | 1 | 1
109.75/109.82 c 109s | 18 | 396081 | 319652 | 2870 276 | 1 | 1
111.75/111.84 c 111s | 18 | 403612 | 325752 | 2870 280 | 1 | 1
113.75/113.86 c 113s | 18 | 410132 | 331152 | 2870 284 | 1 | 1
115.75/115.86 c 115s | 18 | 417036 | 336852 | 2870 288 | 1 | 1
117.76/117.87 c 117s | 18 | 424294 | 342752 | 2870 291 | 1 | 1
119.75/119.88 c 119s | 18 | 431360 | 348352 | 2870 295 | 1 | 1
121.85/121.90 c 121s | 18 | 438683 | 354352 | 2870 299 | 1 | 1
123.85/123.93 c 123s | 18 | 445346 | 359952 | 2870 303 | 1 | 1
125.85/125.94 c 125s | 18 | 451689 | 365652 | 2870 307 | 1 | 1
127.85/127.97 c 127s | 18 | 457870 | 371252 | 2870 310 | 1 | 1
129.86/130.00 c 129s | 18 | 462884 | 375852 | 2870 313 | 1 | 1
131.94/132.02 c 131s | 18 | 469558 | 381352 | 2870 317 | 1 | 1
133.94/134.05 c 133s | 18 | 475708 | 386752 | 2870 321 | 1 | 1
135.94/136.08 c 135s | 18 | 482912 | 392252 | 2870 324 | 1 | 1
138.05/138.12 c 137s | 18 | 489348 | 397652 | 2870 328 | 1 | 1
140.05/140.13 c 139s | 18 | 495870 | 403052 | 2870 332 | 1 | 1
142.06/142.15 c 141s | 18 | 502031 | 408552 | 2870 335 | 1 | 1
144.05/144.19 c 143s | 18 | 509131 | 414152 | 2870 339 | 1 | 1
146.15/146.21 c 145s | 18 | 515159 | 419352 | 2870 342 | 1 | 1
148.15/148.23 c 147s | 18 | 520815 | 424352 | 2870 346 | 1 | 1
150.15/150.24 c 149s | 18 | 527604 | 429852 | 2870 349 | 1 | 1
152.15/152.26 c 151s | 18 | 533502 | 435052 | 2870 353 | 1 | 1
154.16/154.27 c 153s | 18 | 541578 | 441252 | 3158 357 | 1 | 1
155.26/155.38 c 154s | 19 | 545647 | 444482 | 3158 359 | 1 | 1
157.24/157.40 c 156s | 19 | 552774 | 450282 | 3158 362 | 1 | 1
159.34/159.40 c 158s | 19 | 559971 | 456082 | 3158 366 | 1 | 1
161.34/161.43 c 160s | 19 | 566557 | 461382 | 3158 369 | 1 | 1
163.34/163.44 c 162s | 19 | 574114 | 467182 | 3158 373 | 1 | 1
165.34/165.44 c 164s | 19 | 581485 | 472982 | 3158 376 | 1 | 1
167.35/167.47 c 166s | 19 | 589102 | 478882 | 3158 380 | 1 | 1
169.34/169.49 c 168s | 19 | 596033 | 484482 | 3158 383 | 1 | 1
171.43/171.51 c 170s | 19 | 603722 | 490482 | 3158 387 | 1 | 1
173.43/173.54 c 172s | 19 | 611236 | 496382 | 3158 391 | 1 | 1
175.43/175.55 c 175s | 19 | 617908 | 501682 | 3158 394 | 1 | 1
177.43/177.56 c 177s | 19 | 625292 | 507482 | 3158 397 | 1 | 1
179.44/179.57 c 179s | 19 | 632475 | 513482 | 3158 401 | 1 | 1
181.43/181.58 c 181s | 19 | 640168 | 519782 | 3158 405 | 1 | 1
183.53/183.60 c 183s | 19 | 647520 | 525882 | 3158 408 | 1 | 1
185.53/185.61 c 185s | 19 | 654922 | 532182 | 3158 412 | 1 | 1
187.52/187.62 c 187s | 19 | 663163 | 538482 | 3158 416 | 1 | 1
189.52/189.68 c 189s | 19 | 669577 | 543982 | 3158 420 | 1 | 1
191.62/191.70 c 191s | 19 | 677044 | 550282 | 3158 423 | 1 | 1
193.63/193.72 c 193s | 19 | 683419 | 555782 | 3158 427 | 1 | 1
195.62/195.74 c 195s | 19 | 690814 | 561982 | 3158 430 | 1 | 1
197.62/197.74 c 197s | 19 | 697827 | 567882 | 3158 434 | 1 | 1
199.62/199.75 c 199s | 19 | 705093 | 573882 | 3158 438 | 1 | 1
201.62/201.78 c 201s | 19 | 713101 | 580682 | 3158 442 | 1 | 1
203.72/203.80 c 203s | 19 | 721422 | 587482 | 3158 446 | 1 | 1
205.73/205.82 c 205s | 19 | 729200 | 594082 | 3158 450 | 1 | 1
207.71/207.84 c 207s | 19 | 736408 | 600182 | 3158 454 | 1 | 1
209.71/209.85 c 209s | 19 | 744455 | 606882 | 3158 458 | 1 | 1
211.71/211.86 c 211s | 19 | 751258 | 612682 | 3158 461 | 1 | 1
213.71/213.88 c 213s | 19 | 758327 | 618482 | 3158 465 | 1 | 1
215.81/215.90 c 215s | 19 | 765223 | 624182 | 3158 468 | 1 | 1
217.82/217.92 c 217s | 19 | 772846 | 630282 | 3158 472 | 1 | 1
219.81/219.93 c 219s | 19 | 780174 | 636482 | 3158 476 | 1 | 1
221.81/221.95 c 221s | 19 | 786294 | 641782 | 3158 479 | 1 | 1
223.81/223.98 c 223s | 19 | 792458 | 647182 | 3158 482 | 1 | 1
225.81/225.99 c 225s | 19 | 798617 | 652582 | 3158 486 | 1 | 1
227.90/228.01 c 227s | 19 | 805198 | 658382 | 3158 489 | 1 | 1
229.91/230.03 c 229s | 19 | 811421 | 663982 | 3474 492 | 1 | 1
230.90/231.11 c 230s | 20 | 814953 | 666827 | 3474 494 | 1 | 1
233.00/233.14 c 232s | 20 | 821219 | 672127 | 3474 497 | 1 | 1
235.00/235.15 c 234s | 20 | 827092 | 677227 | 3474 500 | 1 | 1
237.00/237.18 c 236s | 20 | 833220 | 682427 | 3474 503 | 1 | 1
239.09/239.20 c 238s | 20 | 839932 | 687727 | 3474 505 | 1 | 1
241.09/241.21 c 240s | 20 | 847100 | 693127 | 3474 508 | 1 | 1
243.10/243.23 c 242s | 20 | 853567 | 698627 | 3474 512 | 1 | 1
245.09/245.25 c 244s | 20 | 859435 | 703827 | 3474 514 | 1 | 1
247.09/247.27 c 246s | 20 | 865926 | 709227 | 3474 517 | 1 | 1
249.09/249.27 c 248s | 20 | 872137 | 714327 | 3474 520 | 1 | 1
251.18/251.30 c 250s | 20 | 878860 | 719827 | 3474 523 | 1 | 1
253.19/253.34 c 252s | 20 | 885455 | 725127 | 3474 526 | 1 | 1
255.20/255.35 c 254s | 20 | 892052 | 730427 | 3474 529 | 1 | 1
257.19/257.35 c 256s | 20 | 898698 | 735727 | 3474 532 | 1 | 1
259.19/259.36 c 258s | 20 | 904612 | 740727 | 3474 535 | 1 | 1
261.19/261.37 c 260s | 20 | 910455 | 745627 | 3474 538 | 1 | 1
263.29/263.42 c 262s | 20 | 916521 | 750827 | 3474 541 | 1 | 1
265.29/265.42 c 264s | 20 | 923821 | 756427 | 3474 544 | 1 | 1
267.29/267.45 c 266s | 20 | 930280 | 761727 | 3474 547 | 1 | 1
269.28/269.47 c 268s | 20 | 936302 | 766827 | 3474 549 | 1 | 1
271.38/271.50 c 270s | 20 | 942930 | 772227 | 3474 552 | 1 | 1
273.38/273.50 c 272s | 20 | 949242 | 777427 | 3474 555 | 1 | 1
275.38/275.54 c 274s | 20 | 955904 | 782727 | 3474 558 | 1 | 1
277.38/277.56 c 277s | 20 | 962394 | 788027 | 3474 561 | 1 | 1
279.39/279.58 c 279s | 20 | 968740 | 793327 | 3474 564 | 1 | 1
281.38/281.58 c 281s | 20 | 974738 | 798427 | 3474 567 | 1 | 1
283.37/283.58 c 283s | 20 | 981184 | 803827 | 3474 570 | 1 | 1
285.37/285.58 c 285s | 20 | 987539 | 809127 | 3474 573 | 1 | 1
287.47/287.62 c 287s | 20 | 994249 | 814727 | 3474 576 | 1 | 1
289.47/289.63 c 289s | 20 | 1000471 | 820027 | 3474 579 | 1 | 1
291.48/291.63 c 291s | 20 | 1006996 | 825527 | 3474 582 | 1 | 1
293.47/293.64 c 293s | 20 | 1013386 | 831027 | 3474 585 | 1 | 1
295.47/295.67 c 295s | 20 | 1020605 | 836727 | 3474 588 | 1 | 1
297.47/297.68 c 297s | 20 | 1027313 | 842227 | 3474 591 | 1 | 1
299.57/299.71 c 299s | 20 | 1033945 | 847827 | 3474 595 | 1 | 1
301.57/301.73 c 301s | 20 | 1040586 | 853127 | 3474 597 | 1 | 1
303.57/303.76 c 303s | 20 | 1046925 | 858527 | 3474 601 | 1 | 1
305.56/305.79 c 305s | 20 | 1054545 | 864527 | 3474 604 | 1 | 1
307.66/307.80 c 307s | 20 | 1061696 | 869927 | 3474 607 | 1 | 1
309.66/309.84 c 309s | 20 | 1068090 | 875227 | 3474 610 | 1 | 1
311.66/311.86 c 311s | 20 | 1075079 | 880627 | 3474 613 | 1 | 1
313.66/313.89 c 313s | 20 | 1081833 | 886027 | 3474 616 | 1 | 1
315.77/315.92 c 315s | 20 | 1087982 | 891127 | 3474 619 | 1 | 1
317.75/317.94 c 317s | 20 | 1094602 | 896527 | 3474 622 | 1 | 1
319.75/319.98 c 319s | 20 | 1100375 | 901527 | 3474 624 | 1 | 1
321.85/322.00 c 321s | 20 | 1106998 | 907027 | 3474 627 | 1 | 1
323.85/324.01 c 323s | 20 | 1113067 | 912127 | 3474 630 | 1 | 1
325.85/326.04 c 325s | 20 | 1119278 | 917227 | 3474 633 | 1 | 1
327.86/328.06 c 327s | 20 | 1125669 | 922527 | 3474 636 | 1 | 1
329.85/330.08 c 329s | 20 | 1131533 | 927527 | 3474 639 | 1 | 1
331.95/332.11 c 331s | 20 | 1137491 | 932527 | 3474 642 | 1 | 1
333.94/334.14 c 333s | 20 | 1144257 | 938127 | 3474 645 | 1 | 1
335.94/336.16 c 335s | 20 | 1150700 | 943527 | 3474 648 | 1 | 1
337.94/338.17 c 337s | 20 | 1157830 | 949227 | 3474 651 | 1 | 1
339.95/340.19 c 339s | 20 | 1164433 | 954827 | 3474 654 | 1 | 1
341.94/342.19 c 341s | 20 | 1171292 | 960427 | 3474 657 | 1 | 1
344.04/344.20 c 343s | 20 | 1178327 | 966227 | 3474 660 | 1 | 1
346.04/346.22 c 345s | 20 | 1185575 | 971727 | 3474 663 | 1 | 1
348.03/348.24 c 347s | 20 | 1192876 | 977527 | 3474 667 | 1 | 1
350.03/350.26 c 349s | 20 | 1200054 | 983327 | 3474 670 | 1 | 1
352.04/352.29 c 351s | 20 | 1206708 | 988827 | 3474 673 | 1 | 1
354.03/354.30 c 353s | 20 | 1213236 | 994227 | 3822 676 | 1 | 1
356.14/356.34 c 355s | 20 | 1220394 | 999927 | 3822 679 | 1 | 1
356.35/356.52 c 355s | 21 | 1220878 | 1000345 | 3822 679 | 1 | 1
358.34/358.55 c 357s | 21 | 1228205 | 1006145 | 3822 682 | 1 | 1
360.34/360.58 c 360s | 21 | 1235379 | 1011845 | 3822 685 | 1 | 1
362.44/362.62 c 362s | 21 | 1241204 | 1016845 | 3822 687 | 1 | 1
364.44/364.63 c 364s | 21 | 1247240 | 1021945 | 3822 690 | 1 | 1
366.44/366.64 c 366s | 21 | 1253093 | 1027045 | 3822 692 | 1 | 1
368.44/368.66 c 368s | 21 | 1258711 | 1031845 | 3822 695 | 1 | 1
370.43/370.69 c 370s | 21 | 1264668 | 1036845 | 3822 697 | 1 | 1
372.53/372.70 c 372s | 21 | 1270873 | 1042145 | 3822 700 | 1 | 1
374.53/374.72 c 374s | 21 | 1276422 | 1047045 | 3822 702 | 1 | 1
376.53/376.75 c 376s | 21 | 1282933 | 1052445 | 3822 705 | 1 | 1
378.52/378.75 c 378s | 21 | 1288961 | 1057745 | 3822 708 | 1 | 1
380.53/380.78 c 380s | 21 | 1294995 | 1062845 | 3822 710 | 1 | 1
382.52/382.80 c 382s | 21 | 1301302 | 1068045 | 3822 713 | 1 | 1
384.62/384.82 c 384s | 21 | 1308239 | 1073745 | 3822 716 | 1 | 1
386.62/386.83 c 386s | 21 | 1314366 | 1078845 | 3822 719 | 1 | 1
388.62/388.86 c 388s | 21 | 1321289 | 1084645 | 3822 722 | 1 | 1
390.62/390.88 c 390s | 21 | 1327440 | 1089845 | 3822 724 | 1 | 1
392.63/392.89 c 392s | 21 | 1334373 | 1095545 | 3822 727 | 1 | 1
394.72/394.90 c 394s | 21 | 1341444 | 1101345 | 3822 730 | 1 | 1
396.72/396.91 c 396s | 21 | 1348243 | 1107045 | 3822 733 | 1 | 1
398.71/398.96 c 398s | 21 | 1354517 | 1112445 | 3822 736 | 1 | 1
400.71/400.97 c 400s | 21 | 1361898 | 1118345 | 3822 739 | 1 | 1
402.81/403.00 c 402s | 21 | 1368563 | 1123945 | 3822 741 | 1 | 1
404.82/405.02 c 404s | 21 | 1375104 | 1129245 | 3822 744 | 1 | 1
406.81/407.05 c 406s | 21 | 1381880 | 1134645 | 3822 747 | 1 | 1
408.80/409.08 c 408s | 21 | 1388034 | 1139945 | 3822 749 | 1 | 1
410.80/411.09 c 410s | 21 | 1394141 | 1145245 | 3822 752 | 1 | 1
412.90/413.11 c 412s | 21 | 1399899 | 1150245 | 3822 755 | 1 | 1
414.90/415.13 c 414s | 21 | 1405611 | 1155145 | 3822 757 | 1 | 1
416.91/417.14 c 416s | 21 | 1411801 | 1160245 | 3822 760 | 1 | 1
418.90/419.16 c 418s | 21 | 1417671 | 1165345 | 3822 762 | 1 | 1
420.90/421.19 c 420s | 21 | 1424388 | 1170645 | 3822 765 | 1 | 1
423.00/423.21 c 422s | 21 | 1430328 | 1175445 | 3822 768 | 1 | 1
425.00/425.22 c 424s | 21 | 1436686 | 1180545 | 3822 770 | 1 | 1
427.00/427.25 c 426s | 21 | 1443049 | 1185545 | 3822 773 | 1 | 1
429.00/429.26 c 428s | 21 | 1450125 | 1190645 | 3822 775 | 1 | 1
430.99/431.28 c 430s | 21 | 1456596 | 1195445 | 3822 778 | 1 | 1
433.09/433.31 c 432s | 21 | 1464127 | 1200945 | 3822 780 | 1 | 1
435.09/435.31 c 434s | 21 | 1471297 | 1206045 | 3822 783 | 1 | 1
437.09/437.32 c 436s | 21 | 1478507 | 1211345 | 3822 786 | 1 | 1
439.09/439.35 c 438s | 21 | 1485681 | 1216645 | 3822 788 | 1 | 1
441.10/441.38 c 440s | 21 | 1493637 | 1222245 | 3822 791 | 1 | 1
443.20/443.41 c 442s | 21 | 1500900 | 1227745 | 3822 794 | 1 | 1
445.19/445.43 c 444s | 21 | 1508735 | 1233445 | 3822 797 | 1 | 1
447.19/447.47 c 446s | 21 | 1516403 | 1239045 | 3822 800 | 1 | 1
449.28/449.50 c 448s | 21 | 1523539 | 1244545 | 3822 803 | 1 | 1
451.28/451.52 c 450s | 21 | 1530484 | 1249745 | 3822 805 | 1 | 1
453.28/453.54 c 452s | 21 | 1537669 | 1255445 | 3822 808 | 1 | 1
455.29/455.55 c 454s | 21 | 1544238 | 1260845 | 3822 811 | 1 | 1
457.28/457.55 c 457s | 21 | 1550412 | 1266145 | 3822 814 | 1 | 1
459.28/459.57 c 459s | 21 | 1558289 | 1272045 | 3822 817 | 1 | 1
461.37/461.60 c 461s | 21 | 1566572 | 1277945 | 3822 820 | 1 | 1
463.37/463.61 c 463s | 21 | 1573629 | 1283345 | 3822 822 | 1 | 1
465.37/465.65 c 465s | 21 | 1580519 | 1288645 | 3822 825 | 1 | 1
467.38/467.68 c 467s | 21 | 1588378 | 1294245 | 3822 828 | 1 | 1
469.47/469.71 c 469s | 21 | 1595228 | 1299545 | 3822 831 | 1 | 1
471.47/471.74 c 471s | 21 | 1602639 | 1305345 | 3822 834 | 1 | 1
473.47/473.77 c 473s | 21 | 1610121 | 1311045 | 3822 836 | 1 | 1
475.46/475.79 c 475s | 21 | 1617189 | 1316445 | 3822 839 | 1 | 1
477.46/477.79 c 477s | 21 | 1624363 | 1321745 | 3822 842 | 1 | 1
479.47/479.80 c 479s | 21 | 1631510 | 1327145 | 3822 845 | 1 | 1
481.56/481.83 c 481s | 21 | 1638639 | 1332645 | 3822 847 | 1 | 1
483.56/483.85 c 483s | 21 | 1645740 | 1338045 | 3822 850 | 1 | 1
485.56/485.89 c 485s | 21 | 1652031 | 1343345 | 3822 853 | 1 | 1
487.66/487.90 c 487s | 21 | 1659133 | 1348545 | 3822 855 | 1 | 1
489.66/489.92 c 489s | 21 | 1666603 | 1353745 | 3822 858 | 1 | 1
491.67/491.94 c 491s | 21 | 1674055 | 1359145 | 3822 861 | 1 | 1
493.66/493.97 c 493s | 21 | 1681721 | 1365045 | 3822 864 | 1 | 1
495.76/496.00 c 495s | 21 | 1689221 | 1370945 | 3822 867 | 1 | 1
497.75/498.01 c 497s | 21 | 1696458 | 1376745 | 3822 870 | 1 | 1
499.75/500.01 c 499s | 21 | 1703045 | 1382145 | 3822 873 | 1 | 1
501.75/502.02 c 501s | 21 | 1709790 | 1387745 | 3822 875 | 1 | 1
503.76/504.04 c 503s | 21 | 1717486 | 1393745 | 3822 879 | 1 | 1
505.75/506.05 c 505s | 21 | 1723905 | 1399245 | 3822 881 | 1 | 1
507.74/508.06 c 507s | 21 | 1730382 | 1404645 | 3822 884 | 1 | 1
509.74/510.08 c 509s | 21 | 1737523 | 1410445 | 3822 887 | 1 | 1
511.74/512.09 c 511s | 21 | 1744637 | 1416245 | 3822 890 | 1 | 1
513.84/514.10 c 513s | 21 | 1751807 | 1421845 | 3822 893 | 1 | 1
515.85/516.11 c 515s | 21 | 1758653 | 1427245 | 3822 896 | 1 | 1
517.84/518.13 c 517s | 21 | 1766230 | 1433145 | 3822 898 | 1 | 1
519.84/520.13 c 519s | 21 | 1773794 | 1438945 | 3822 901 | 1 | 1
521.84/522.15 c 521s | 21 | 1781929 | 1444945 | 3822 904 | 1 | 1
523.84/524.15 c 523s | 21 | 1789388 | 1450845 | 3822 908 | 1 | 1
525.84/526.15 c 525s | 21 | 1795995 | 1456245 | 3822 910 | 1 | 1
527.85/528.18 c 527s | 21 | 1803161 | 1462045 | 3822 913 | 1 | 1
529.94/530.21 c 529s | 21 | 1809689 | 1467445 | 3822 916 | 1 | 1
531.94/532.21 c 531s | 21 | 1815738 | 1472745 | 3822 919 | 1 | 1
533.94/534.21 c 533s | 21 | 1821828 | 1477945 | 3822 921 | 1 | 1
535.93/536.24 c 535s | 21 | 1828089 | 1483145 | 3822 924 | 1 | 1
537.93/538.27 c 537s | 21 | 1835637 | 1489045 | 4205 927 | 1 | 1
539.94/540.29 c 539s | 21 | 1843327 | 1494945 | 4205 929 | 1 | 1
542.03/542.32 c 541s | 21 | 1850114 | 1500445 | 4205 932 | 1 | 1
542.03/542.37 c 541s | 22 | 1850371 | 1500622 | 4205 932 | 1 | 1
544.03/544.37 c 543s | 22 | 1857243 | 1505922 | 4205 934 | 1 | 1
546.03/546.38 c 545s | 22 | 1864048 | 1511222 | 4205 937 | 1 | 1
548.03/548.38 c 547s | 22 | 1871156 | 1516722 | 4205 939 | 1 | 1
550.13/550.40 c 549s | 22 | 1878190 | 1522222 | 4205 942 | 1 | 1
552.14/552.42 c 551s | 22 | 1884859 | 1527522 | 4205 944 | 1 | 1
554.13/554.44 c 553s | 22 | 1891682 | 1532622 | 4205 947 | 1 | 1
556.13/556.44 c 555s | 22 | 1898794 | 1538122 | 4205 949 | 1 | 1
558.12/558.45 c 557s | 22 | 1905412 | 1543422 | 4205 952 | 1 | 1
560.12/560.46 c 559s | 22 | 1912981 | 1549022 | 4205 954 | 1 | 1
562.22/562.50 c 561s | 22 | 1919924 | 1554522 | 4205 957 | 1 | 1
564.23/564.52 c 563s | 22 | 1927739 | 1559922 | 4205 959 | 1 | 1
566.22/566.53 c 565s | 22 | 1934822 | 1565222 | 4205 962 | 1 | 1
568.22/568.54 c 567s | 22 | 1941781 | 1570722 | 4205 965 | 1 | 1
570.22/570.55 c 570s | 22 | 1948632 | 1576122 | 4205 967 | 1 | 1
572.22/572.57 c 572s | 22 | 1954979 | 1581322 | 4205 970 | 1 | 1
574.22/574.59 c 574s | 22 | 1962478 | 1587222 | 4205 972 | 1 | 1
576.33/576.61 c 576s | 22 | 1969081 | 1592622 | 4205 975 | 1 | 1
578.31/578.62 c 578s | 22 | 1976489 | 1598322 | 4205 977 | 1 | 1
580.31/580.63 c 580s | 22 | 1982836 | 1603622 | 4205 980 | 1 | 1
582.31/582.63 c 582s | 22 | 1990738 | 1609522 | 4205 983 | 1 | 1
584.31/584.64 c 584s | 22 | 1997828 | 1615222 | 4205 985 | 1 | 1
586.31/586.65 c 586s | 22 | 2006076 | 1621222 | 4205 988 | 1 | 1
588.31/588.68 c 588s | 22 | 2012303 | 1626322 | 4205 990 | 1 | 1
590.40/590.71 c 590s | 22 | 2019065 | 1631822 | 4205 993 | 1 | 1
592.40/592.71 c 592s | 22 | 2025867 | 1637122 | 4205 995 | 1 | 1
594.40/594.74 c 594s | 22 | 2033050 | 1642822 | 4205 998 | 1 | 1
596.40/596.76 c 596s | 22 | 2038818 | 1647722 | 4205 1000 | 1 | 1
598.40/598.77 c 598s | 22 | 2044789 | 1652622 | 4205 1003 | 1 | 1
600.41/600.79 c 600s | 22 | 2051662 | 1657822 | 4205 1005 | 1 | 1
602.50/602.82 c 602s | 22 | 2058504 | 1663322 | 4205 1008 | 1 | 1
604.50/604.83 c 604s | 22 | 2065367 | 1668922 | 4205 1010 | 1 | 1
606.50/606.84 c 606s | 22 | 2072425 | 1674422 | 4205 1013 | 1 | 1
608.49/608.85 c 608s | 22 | 2079187 | 1679822 | 4205 1015 | 1 | 1
610.49/610.86 c 610s | 22 | 2086445 | 1685422 | 4205 1018 | 1 | 1
612.50/612.86 c 612s | 22 | 2093324 | 1691022 | 4205 1020 | 1 | 1
614.49/614.89 c 614s | 22 | 2100254 | 1696622 | 4205 1023 | 1 | 1
616.59/616.92 c 616s | 22 | 2107615 | 1702322 | 4205 1026 | 1 | 1
618.59/618.94 c 618s | 22 | 2114272 | 1707722 | 4205 1028 | 1 | 1
620.59/620.95 c 620s | 22 | 2120180 | 1712622 | 4205 1030 | 1 | 1
622.59/622.97 c 622s | 22 | 2125957 | 1717622 | 4205 1033 | 1 | 1
624.60/625.00 c 624s | 22 | 2131725 | 1722522 | 4205 1035 | 1 | 1
626.69/627.02 c 626s | 22 | 2137994 | 1727622 | 4205 1037 | 1 | 1
628.68/629.04 c 628s | 22 | 2145117 | 1733322 | 4205 1040 | 1 | 1
630.68/631.05 c 630s | 22 | 2151861 | 1738922 | 4205 1042 | 1 | 1
632.68/633.05 c 632s | 22 | 2158287 | 1744222 | 4205 1045 | 1 | 1
634.68/635.07 c 634s | 22 | 2164720 | 1749722 | 4205 1047 | 1 | 1
636.69/637.08 c 636s | 22 | 2170470 | 1754722 | 4205 1050 | 1 | 1
638.78/639.11 c 638s | 22 | 2176641 | 1760022 | 4205 1052 | 1 | 1
640.78/641.12 c 640s | 22 | 2182378 | 1765022 | 4205 1054 | 1 | 1
642.78/643.15 c 642s | 22 | 2189103 | 1770322 | 4205 1057 | 1 | 1
644.78/645.16 c 644s | 22 | 2194979 | 1775222 | 4205 1059 | 1 | 1
646.78/647.18 c 646s | 22 | 2201193 | 1780222 | 4205 1061 | 1 | 1
648.79/649.18 c 648s | 22 | 2208262 | 1785422 | 4205 1064 | 1 | 1
650.88/651.20 c 650s | 22 | 2215344 | 1790822 | 4205 1066 | 1 | 1
652.88/653.23 c 652s | 22 | 2222816 | 1796322 | 4205 1069 | 1 | 1
654.88/655.24 c 654s | 22 | 2229297 | 1801322 | 4205 1071 | 1 | 1
656.88/657.26 c 656s | 22 | 2236500 | 1806722 | 4205 1074 | 1 | 1
658.87/659.28 c 658s | 22 | 2242766 | 1811822 | 4205 1076 | 1 | 1
660.88/661.28 c 660s | 22 | 2248928 | 1816822 | 4205 1078 | 1 | 1
662.87/663.29 c 662s | 22 | 2255683 | 1822022 | 4205 1081 | 1 | 1
664.97/665.33 c 664s | 22 | 2262375 | 1827422 | 4205 1083 | 1 | 1
666.97/667.37 c 666s | 22 | 2269268 | 1833122 | 4205 1086 | 1 | 1
668.97/669.38 c 668s | 22 | 2274898 | 1838122 | 4205 1088 | 1 | 1
670.97/671.40 c 670s | 22 | 2281157 | 1843322 | 4205 1091 | 1 | 1
672.97/673.41 c 672s | 22 | 2287983 | 1848722 | 4205 1093 | 1 | 1
675.06/675.42 c 674s | 22 | 2295382 | 1854722 | 4205 1096 | 1 | 1
677.06/677.45 c 676s | 22 | 2301914 | 1860322 | 4205 1098 | 1 | 1
679.06/679.46 c 678s | 22 | 2308808 | 1865922 | 4205 1101 | 1 | 1
681.16/681.50 c 680s | 22 | 2315620 | 1871622 | 4205 1104 | 1 | 1
683.16/683.50 c 682s | 22 | 2322502 | 1877422 | 4205 1106 | 1 | 1
685.17/685.52 c 684s | 22 | 2330046 | 1883422 | 4205 1109 | 1 | 1
687.16/687.52 c 686s | 22 | 2337615 | 1889322 | 4205 1112 | 1 | 1
689.15/689.56 c 689s | 22 | 2343777 | 1894322 | 4205 1114 | 1 | 1
691.15/691.59 c 691s | 22 | 2350007 | 1899422 | 4205 1117 | 1 | 1
693.15/693.59 c 693s | 22 | 2358090 | 1905522 | 4205 1119 | 1 | 1
695.25/695.60 c 695s | 22 | 2365842 | 1911522 | 4205 1122 | 1 | 1
697.26/697.61 c 697s | 22 | 2373249 | 1917522 | 4205 1125 | 1 | 1
699.25/699.62 c 699s | 22 | 2379943 | 1922922 | 4205 1127 | 1 | 1
701.25/701.66 c 701s | 22 | 2386251 | 1928122 | 4205 1130 | 1 | 1
703.25/703.67 c 703s | 22 | 2393491 | 1933722 | 4205 1132 | 1 | 1
705.24/705.68 c 705s | 22 | 2400704 | 1939322 | 4205 1135 | 1 | 1
707.34/707.71 c 707s | 22 | 2407359 | 1944622 | 4205 1137 | 1 | 1
709.35/709.72 c 709s | 22 | 2414006 | 1949922 | 4205 1140 | 1 | 1
711.34/711.75 c 711s | 22 | 2420920 | 1955422 | 4205 1142 | 1 | 1
713.34/713.78 c 713s | 22 | 2427083 | 1960622 | 4205 1145 | 1 | 1
715.44/715.80 c 715s | 22 | 2433427 | 1966022 | 4205 1147 | 1 | 1
717.43/717.84 c 717s | 22 | 2440075 | 1971222 | 4205 1150 | 1 | 1
719.43/719.87 c 719s | 22 | 2446409 | 1976422 | 4205 1152 | 1 | 1
721.53/721.90 c 721s | 22 | 2452431 | 1981422 | 4205 1155 | 1 | 1
723.54/723.92 c 723s | 22 | 2458328 | 1986322 | 4205 1157 | 1 | 1
725.53/725.94 c 725s | 22 | 2465158 | 1991622 | 4205 1159 | 1 | 1
727.53/727.96 c 727s | 22 | 2471323 | 1996522 | 4205 1162 | 1 | 1
729.53/729.98 c 729s | 22 | 2477534 | 2001622 | 4205 1164 | 1 | 1
731.63/732.01 c 731s | 22 | 2483688 | 2006622 | 4205 1166 | 1 | 1
733.63/734.03 c 733s | 22 | 2490528 | 2012022 | 4205 1169 | 1 | 1
735.64/736.04 c 735s | 22 | 2496668 | 2017122 | 4205 1171 | 1 | 1
737.62/738.05 c 737s | 22 | 2503546 | 2022622 | 4205 1174 | 1 | 1
739.62/740.05 c 739s | 22 | 2509764 | 2027622 | 4205 1176 | 1 | 1
741.62/742.09 c 741s | 22 | 2515872 | 2032722 | 4205 1178 | 1 | 1
743.72/744.10 c 743s | 22 | 2522619 | 2038022 | 4205 1181 | 1 | 1
745.72/746.14 c 745s | 22 | 2530359 | 2043722 | 4205 1183 | 1 | 1
747.73/748.16 c 747s | 22 | 2537785 | 2049222 | 4205 1186 | 1 | 1
749.72/750.19 c 749s | 22 | 2544372 | 2054422 | 4205 1188 | 1 | 1
751.82/752.21 c 751s | 22 | 2551277 | 2059722 | 4205 1191 | 1 | 1
753.82/754.22 c 753s | 22 | 2557636 | 2064622 | 4205 1193 | 1 | 1
755.82/756.25 c 755s | 22 | 2564226 | 2070022 | 4205 1196 | 1 | 1
757.82/758.27 c 757s | 22 | 2569708 | 2074922 | 4205 1198 | 1 | 1
759.83/760.29 c 759s | 22 | 2575869 | 2080122 | 4205 1200 | 1 | 1
761.82/762.29 c 761s | 22 | 2581728 | 2084922 | 4205 1203 | 1 | 1
763.92/764.32 c 763s | 22 | 2588728 | 2090422 | 4205 1205 | 1 | 1
765.92/766.36 c 765s | 22 | 2594932 | 2095622 | 4205 1207 | 1 | 1
767.92/768.38 c 767s | 22 | 2601351 | 2100922 | 4205 1210 | 1 | 1
770.02/770.40 c 769s | 22 | 2608503 | 2106622 | 4205 1213 | 1 | 1
772.03/772.42 c 771s | 22 | 2615663 | 2112322 | 4205 1215 | 1 | 1
774.02/774.45 c 773s | 22 | 2622599 | 2117622 | 4205 1218 | 1 | 1
776.02/776.48 c 775s | 22 | 2629037 | 2122922 | 4205 1220 | 1 | 1
778.12/778.51 c 777s | 22 | 2635901 | 2128422 | 4205 1223 | 1 | 1
780.12/780.54 c 779s | 22 | 2642929 | 2134122 | 4205 1225 | 1 | 1
782.12/782.57 c 782s | 22 | 2650047 | 2140022 | 4205 1228 | 1 | 1
784.13/784.59 c 784s | 22 | 2656913 | 2145622 | 4205 1231 | 1 | 1
786.12/786.61 c 786s | 22 | 2663567 | 2151122 | 4205 1233 | 1 | 1
788.22/788.62 c 788s | 22 | 2670675 | 2156822 | 4205 1236 | 1 | 1
790.22/790.65 c 790s | 22 | 2677188 | 2162322 | 4205 1238 | 1 | 1
792.22/792.65 c 792s | 22 | 2683737 | 2167722 | 4205 1241 | 1 | 1
794.22/794.66 c 794s | 22 | 2690543 | 2173222 | 4205 1243 | 1 | 1
796.23/796.68 c 796s | 22 | 2696944 | 2178522 | 4205 1246 | 1 | 1
798.22/798.70 c 798s | 22 | 2703436 | 2184122 | 4205 1248 | 1 | 1
800.31/800.73 c 800s | 22 | 2709836 | 2189422 | 4205 1251 | 1 | 1
802.31/802.75 c 802s | 22 | 2716145 | 2194822 | 4205 1253 | 1 | 1
804.31/804.78 c 804s | 22 | 2722411 | 2200222 | 4205 1256 | 1 | 1
806.31/806.79 c 806s | 22 | 2729362 | 2206022 | 4205 1258 | 1 | 1
808.41/808.82 c 808s | 22 | 2736363 | 2211722 | 4205 1261 | 1 | 1
810.42/810.84 c 810s | 22 | 2745432 | 2217922 | 4205 1264 | 1 | 1
812.41/812.87 c 812s | 22 | 2752198 | 2223422 | 4205 1266 | 1 | 1
814.41/814.87 c 814s | 22 | 2759807 | 2229522 | 4205 1269 | 1 | 1
816.51/816.90 c 816s | 22 | 2767298 | 2235222 | 4626 1272 | 1 | 1
818.51/818.93 c 818s | 22 | 2774647 | 2241222 | 4626 1274 | 1 | 1
820.51/820.95 c 820s | 22 | 2781463 | 2246822 | 4626 1276 | 1 | 1
822.01/822.44 c 821s | 23 | 2786502 | 2251038 | 4626 1278 | 1 | 1
824.01/824.47 c 823s | 23 | 2793284 | 2256638 | 4626 1281 | 1 | 1
826.11/826.50 c 825s | 23 | 2799941 | 2262138 | 4626 1283 | 1 | 1
828.12/828.53 c 827s | 23 | 2806828 | 2267638 | 4626 1285 | 1 | 1
830.11/830.56 c 830s | 23 | 2813682 | 2273038 | 4626 1288 | 1 | 1
832.11/832.59 c 832s | 23 | 2820751 | 2278438 | 4626 1290 | 1 | 1
834.21/834.60 c 834s | 23 | 2827699 | 2283838 | 4626 1292 | 1 | 1
836.21/836.62 c 836s | 23 | 2834646 | 2289238 | 4626 1294 | 1 | 1
838.21/838.62 c 838s | 23 | 2841245 | 2294438 | 4626 1297 | 1 | 1
840.22/840.64 c 840s | 23 | 2848439 | 2300038 | 4626 1299 | 1 | 1
842.21/842.64 c 842s | 23 | 2854582 | 2305138 | 4626 1301 | 1 | 1
844.21/844.68 c 844s | 23 | 2860877 | 2310438 | 4626 1303 | 1 | 1
846.20/846.69 c 846s | 23 | 2867228 | 2315638 | 4626 1306 | 1 | 1
848.20/848.69 c 848s | 23 | 2873334 | 2320838 | 4626 1308 | 1 | 1
850.30/850.70 c 850s | 23 | 2880148 | 2326238 | 4626 1310 | 1 | 1
852.31/852.72 c 852s | 23 | 2886458 | 2331438 | 4626 1312 | 1 | 1
854.30/854.75 c 854s | 23 | 2892795 | 2336738 | 4626 1314 | 1 | 1
856.30/856.78 c 856s | 23 | 2899168 | 2341938 | 4626 1317 | 1 | 1
858.30/858.79 c 858s | 23 | 2906385 | 2347638 | 4626 1319 | 1 | 1
860.30/860.79 c 860s | 23 | 2912680 | 2352938 | 4626 1321 | 1 | 1
862.40/862.82 c 862s | 23 | 2919279 | 2358338 | 4626 1324 | 1 | 1
864.41/864.83 c 864s | 23 | 2925541 | 2363338 | 4626 1326 | 1 | 1
866.40/866.84 c 866s | 23 | 2932630 | 2368838 | 4626 1328 | 1 | 1
868.40/868.86 c 868s | 23 | 2939455 | 2374438 | 4626 1330 | 1 | 1
870.40/870.88 c 870s | 23 | 2945735 | 2379538 | 4626 1333 | 1 | 1
872.40/872.89 c 872s | 23 | 2951500 | 2384138 | 4626 1334 | 1 | 1
874.50/874.90 c 874s | 23 | 2957084 | 2388638 | 4626 1336 | 1 | 1
876.51/876.94 c 876s | 23 | 2962511 | 2393138 | 4626 1338 | 1 | 1
878.50/878.96 c 878s | 23 | 2968248 | 2397838 | 4626 1340 | 1 | 1
880.51/880.98 c 880s | 23 | 2973589 | 2402238 | 4626 1342 | 1 | 1
882.51/882.99 c 882s | 23 | 2980093 | 2407738 | 4626 1344 | 1 | 1
884.61/885.00 c 884s | 23 | 2986618 | 2413238 | 4626 1347 | 1 | 1
886.61/887.01 c 886s | 23 | 2993842 | 2419038 | 4626 1349 | 1 | 1
888.62/889.01 c 888s | 23 | 3000930 | 2424638 | 4626 1352 | 1 | 1
890.60/891.04 c 890s | 23 | 3006948 | 2429638 | 4626 1354 | 1 | 1
892.60/893.06 c 892s | 23 | 3012989 | 2434538 | 4626 1356 | 1 | 1
894.60/895.09 c 894s | 23 | 3018763 | 2439338 | 4626 1358 | 1 | 1
896.70/897.11 c 896s | 23 | 3024820 | 2444338 | 4626 1360 | 1 | 1
898.70/899.12 c 898s | 23 | 3031013 | 2449338 | 4626 1362 | 1 | 1
900.71/901.13 c 900s | 23 | 3037380 | 2454438 | 4626 1364 | 1 | 1
902.70/903.13 c 902s | 23 | 3043659 | 2459438 | 4626 1366 | 1 | 1
904.70/905.16 c 904s | 23 | 3049803 | 2464238 | 4626 1368 | 1 | 1
906.70/907.19 c 906s | 23 | 3056512 | 2469538 | 4626 1370 | 1 | 1
908.80/909.20 c 908s | 23 | 3063207 | 2474838 | 4626 1373 | 1 | 1
910.80/911.20 c 910s | 23 | 3069833 | 2480238 | 4626 1375 | 1 | 1
912.81/913.22 c 912s | 23 | 3077286 | 2486138 | 4626 1377 | 1 | 1
914.80/915.24 c 914s | 23 | 3083839 | 2491538 | 4626 1380 | 1 | 1
916.80/917.26 c 916s | 23 | 3091216 | 2497538 | 4626 1382 | 1 | 1
918.80/919.28 c 918s | 23 | 3097274 | 2502838 | 4626 1384 | 1 | 1
920.80/921.28 c 920s | 23 | 3103502 | 2507938 | 4626 1387 | 1 | 1
922.80/923.29 c 922s | 23 | 3110111 | 2513338 | 4626 1389 | 1 | 1
924.91/925.33 c 924s | 23 | 3116704 | 2518938 | 4626 1391 | 1 | 1
926.90/927.36 c 926s | 23 | 3122696 | 2524238 | 4626 1393 | 1 | 1
928.99/929.40 c 928s | 23 | 3128411 | 2529138 | 4626 1396 | 1 | 1
930.99/931.43 c 930s | 23 | 3134228 | 2534138 | 4626 1398 | 1 | 1
932.99/933.46 c 932s | 23 | 3139784 | 2539038 | 4626 1400 | 1 | 1
934.99/935.47 c 934s | 23 | 3145364 | 2543838 | 4626 1402 | 1 | 1
937.00/937.50 c 936s | 23 | 3152086 | 2549238 | 4626 1404 | 1 | 1
939.10/939.51 c 938s | 23 | 3157731 | 2554138 | 4626 1406 | 1 | 1
941.09/941.52 c 940s | 23 | 3163239 | 2559038 | 4626 1408 | 1 | 1
943.09/943.55 c 943s | 23 | 3168805 | 2563938 | 4626 1410 | 1 | 1
945.09/945.59 c 945s | 23 | 3174589 | 2569038 | 4626 1412 | 1 | 1
947.19/947.60 c 947s | 23 | 3180091 | 2573938 | 4626 1414 | 1 | 1
949.19/949.62 c 949s | 23 | 3185912 | 2579038 | 4626 1417 | 1 | 1
951.20/951.62 c 951s | 23 | 3191665 | 2584038 | 4626 1419 | 1 | 1
953.19/953.62 c 953s | 23 | 3197409 | 2588938 | 4626 1421 | 1 | 1
955.19/955.63 c 955s | 23 | 3203146 | 2593938 | 4626 1423 | 1 | 1
957.19/957.63 c 957s | 23 | 3209823 | 2598938 | 4626 1425 | 1 | 1
959.19/959.67 c 959s | 23 | 3216262 | 2604038 | 4626 1427 | 1 | 1
961.20/961.69 c 961s | 23 | 3222145 | 2608838 | 4626 1429 | 1 | 1
963.30/963.73 c 963s | 23 | 3227870 | 2613538 | 4626 1431 | 1 | 1
965.29/965.76 c 965s | 23 | 3233381 | 2618238 | 4626 1433 | 1 | 1
967.29/967.79 c 967s | 23 | 3238314 | 2622538 | 4626 1435 | 1 | 1
969.39/969.82 c 969s | 23 | 3244982 | 2627738 | 4626 1437 | 1 | 1
971.39/971.86 c 971s | 23 | 3250613 | 2632438 | 4626 1439 | 1 | 1
973.49/973.90 c 973s | 23 | 3256214 | 2637038 | 4626 1441 | 1 | 1
975.50/975.91 c 975s | 23 | 3261794 | 2641538 | 4626 1443 | 1 | 1
977.49/977.94 c 977s | 23 | 3267404 | 2646138 | 4626 1445 | 1 | 1
979.49/979.98 c 979s | 23 | 3273679 | 2651138 | 4626 1447 | 1 | 1
981.59/982.00 c 981s | 23 | 3279435 | 2655938 | 4626 1449 | 1 | 1
983.59/984.02 c 983s | 23 | 3285599 | 2661038 | 4626 1451 | 1 | 1
985.59/986.06 c 985s | 23 | 3291360 | 2665838 | 4626 1453 | 1 | 1
987.60/988.08 c 987s | 23 | 3297332 | 2670738 | 4626 1455 | 1 | 1
989.70/990.13 c 989s | 23 | 3302904 | 2675438 | 4626 1457 | 1 | 1
991.69/992.15 c 991s | 23 | 3308553 | 2680138 | 4626 1459 | 1 | 1
993.69/994.16 c 993s | 23 | 3314310 | 2684938 | 4626 1461 | 1 | 1
995.78/996.20 c 995s | 23 | 3320144 | 2689638 | 4626 1463 | 1 | 1
997.78/998.23 c 997s | 23 | 3326023 | 2694438 | 4626 1465 | 1 | 1
999.78/1000.27 c 999s | 23 | 3332666 | 2699838 | 4626 1468 | 1 | 1
1001.79/1002.29 c 1001s | 23 | 3338532 | 2704738 | 4626 1470 | 1 | 1
1003.78/1004.29 c 1003s | 23 | 3343845 | 2709238 | 4626 1471 | 1 | 1
1005.88/1006.31 c 1005s | 23 | 3348792 | 2713538 | 4626 1473 | 1 | 1
1007.88/1008.32 c 1007s | 23 | 3354447 | 2718138 | 4626 1475 | 1 | 1
1009.88/1010.33 c 1009s | 23 | 3361161 | 2723338 | 4626 1477 | 1 | 1
1011.88/1012.37 c 1011s | 23 | 3367281 | 2728338 | 4626 1480 | 1 | 1
1013.89/1014.38 c 1013s | 23 | 3374403 | 2733938 | 4626 1482 | 1 | 1
1015.88/1016.39 c 1015s | 23 | 3382489 | 2740038 | 4626 1484 | 1 | 1
1017.98/1018.41 c 1017s | 23 | 3389154 | 2745438 | 4626 1487 | 1 | 1
1019.98/1020.43 c 1019s | 23 | 3396760 | 2751438 | 4626 1489 | 1 | 1
1021.98/1022.46 c 1021s | 23 | 3403578 | 2756838 | 4626 1492 | 1 | 1
1023.98/1024.47 c 1023s | 23 | 3409549 | 2761938 | 4626 1494 | 1 | 1
1025.99/1026.47 c 1025s | 23 | 3415187 | 2766838 | 4626 1496 | 1 | 1
1027.98/1028.48 c 1027s | 23 | 3422149 | 2772438 | 4626 1498 | 1 | 1
1029.98/1030.48 c 1029s | 23 | 3428724 | 2777838 | 4626 1500 | 1 | 1
1031.98/1032.48 c 1031s | 23 | 3435390 | 2783438 | 4626 1503 | 1 | 1
1033.98/1034.49 c 1033s | 23 | 3441120 | 2788438 | 4626 1505 | 1 | 1
1035.99/1036.49 c 1035s | 23 | 3447620 | 2793938 | 4626 1507 | 1 | 1
1037.97/1038.50 c 1037s | 23 | 3454325 | 2799338 | 4626 1510 | 1 | 1
1040.07/1040.52 c 1039s | 23 | 3460297 | 2804338 | 4626 1512 | 1 | 1
1042.07/1042.53 c 1041s | 23 | 3466302 | 2809238 | 4626 1514 | 1 | 1
1044.07/1044.56 c 1044s | 23 | 3472069 | 2813938 | 4626 1516 | 1 | 1
1046.07/1046.59 c 1046s | 23 | 3477646 | 2818638 | 4626 1518 | 1 | 1
1048.17/1048.60 c 1048s | 23 | 3483201 | 2823138 | 4626 1520 | 1 | 1
1050.07/1050.60 c 1050s | 23 | 3488796 | 2827738 | 4626 1521 | 1 | 1
1052.18/1052.63 c 1052s | 23 | 3495243 | 2832638 | 4626 1524 | 1 | 1
1054.18/1054.64 c 1054s | 23 | 3501970 | 2837538 | 4626 1526 | 1 | 1
1056.18/1056.65 c 1056s | 23 | 3508655 | 2842038 | 4626 1527 | 1 | 1
1058.18/1058.66 c 1058s | 23 | 3513947 | 2846538 | 4626 1529 | 1 | 1
1060.19/1060.67 c 1060s | 23 | 3518858 | 2850838 | 4626 1531 | 1 | 1
1062.18/1062.70 c 1062s | 23 | 3523622 | 2855138 | 4626 1533 | 1 | 1
1064.28/1064.72 c 1064s | 23 | 3528239 | 2859238 | 4626 1535 | 1 | 1
1066.28/1066.73 c 1066s | 23 | 3533118 | 2863538 | 4626 1537 | 1 | 1
1068.28/1068.79 c 1068s | 23 | 3538821 | 2868338 | 4626 1539 | 1 | 1
1070.28/1070.79 c 1070s | 23 | 3544066 | 2872838 | 4626 1540 | 1 | 1
1072.38/1072.81 c 1072s | 23 | 3549273 | 2877338 | 4626 1542 | 1 | 1
1074.39/1074.85 c 1074s | 23 | 3554442 | 2881938 | 4626 1544 | 1 | 1
1076.38/1076.85 c 1076s | 23 | 3559740 | 2886338 | 4626 1546 | 1 | 1
1078.38/1078.87 c 1078s | 23 | 3565499 | 2891138 | 4626 1548 | 1 | 1
1080.47/1080.91 c 1080s | 23 | 3571570 | 2896038 | 4626 1550 | 1 | 1
1082.47/1082.93 c 1082s | 23 | 3577155 | 2900738 | 4626 1552 | 1 | 1
1084.47/1084.96 c 1084s | 23 | 3582560 | 2905338 | 4626 1554 | 1 | 1
1086.48/1086.99 c 1086s | 23 | 3588156 | 2910238 | 4626 1556 | 1 | 1
1088.47/1088.99 c 1088s | 23 | 3593550 | 2914838 | 4626 1558 | 1 | 1
1090.57/1091.00 c 1090s | 23 | 3598955 | 2919538 | 4626 1560 | 1 | 1
1092.57/1093.02 c 1092s | 23 | 3604235 | 2924138 | 4626 1562 | 1 | 1
1094.57/1095.03 c 1094s | 23 | 3609439 | 2928738 | 4626 1564 | 1 | 1
1096.57/1097.04 c 1096s | 23 | 3615652 | 2933638 | 4626 1566 | 1 | 1
1098.58/1099.07 c 1098s | 23 | 3621746 | 2938438 | 4626 1568 | 1 | 1
1100.57/1101.07 c 1100s | 23 | 3627120 | 2942838 | 4626 1570 | 1 | 1
1102.67/1103.11 c 1102s | 23 | 3632581 | 2947538 | 4626 1572 | 1 | 1
1104.67/1105.15 c 1104s | 23 | 3638323 | 2952438 | 4626 1574 | 1 | 1
1106.67/1107.18 c 1106s | 23 | 3643783 | 2957138 | 4626 1576 | 1 | 1
1108.77/1109.21 c 1108s | 23 | 3649690 | 2962038 | 4626 1578 | 1 | 1
1110.78/1111.22 c 1110s | 23 | 3655477 | 2966738 | 4626 1580 | 1 | 1
1112.77/1113.23 c 1112s | 23 | 3660718 | 2971238 | 4626 1582 | 1 | 1
1114.77/1115.24 c 1114s | 23 | 3666220 | 2975838 | 4626 1584 | 1 | 1
1116.77/1117.26 c 1116s | 23 | 3671253 | 2980238 | 4626 1586 | 1 | 1
1118.86/1119.30 c 1118s | 23 | 3676537 | 2984938 | 4626 1588 | 1 | 1
1120.86/1121.33 c 1120s | 23 | 3681842 | 2989438 | 4626 1589 | 1 | 1
1122.88/1123.33 c 1122s | 23 | 3686709 | 2993638 | 4626 1591 | 1 | 1
1124.86/1125.36 c 1124s | 23 | 3692266 | 2998338 | 4626 1593 | 1 | 1
1126.86/1127.36 c 1126s | 23 | 3697285 | 3002738 | 4626 1595 | 1 | 1
1128.86/1129.39 c 1128s | 23 | 3703300 | 3007538 | 4626 1597 | 1 | 1
1130.86/1131.39 c 1130s | 23 | 3708249 | 3011838 | 4626 1599 | 1 | 1
1132.96/1133.41 c 1132s | 23 | 3713855 | 3016638 | 4626 1601 | 1 | 1
1134.97/1135.41 c 1134s | 23 | 3719096 | 3021138 | 4626 1603 | 1 | 1
1136.96/1137.43 c 1136s | 23 | 3724991 | 3025938 | 4626 1605 | 1 | 1
1138.96/1139.45 c 1138s | 23 | 3730906 | 3030538 | 4626 1607 | 1 | 1
1140.96/1141.45 c 1140s | 23 | 3737005 | 3035338 | 4626 1609 | 1 | 1
1142.96/1143.47 c 1142s | 23 | 3743200 | 3040238 | 4626 1611 | 1 | 1
1144.96/1145.49 c 1144s | 23 | 3749620 | 3045338 | 4626 1613 | 1 | 1
1147.08/1147.52 c 1146s | 23 | 3755562 | 3050138 | 4626 1615 | 1 | 1
1149.07/1149.53 c 1148s | 23 | 3761090 | 3054838 | 4626 1617 | 1 | 1
1151.07/1151.55 c 1150s | 23 | 3766439 | 3059338 | 4626 1619 | 1 | 1
1153.06/1153.56 c 1153s | 23 | 3772779 | 3064438 | 4626 1621 | 1 | 1
1155.16/1155.60 c 1155s | 23 | 3779636 | 3069538 | 4626 1623 | 1 | 1
1157.16/1157.62 c 1157s | 23 | 3785855 | 3074538 | 4626 1625 | 1 | 1
1159.17/1159.64 c 1159s | 23 | 3792058 | 3079638 | 4626 1627 | 1 | 1
1161.16/1161.68 c 1161s | 23 | 3798212 | 3084438 | 4626 1629 | 1 | 1
1163.16/1163.68 c 1163s | 23 | 3803923 | 3089138 | 4626 1631 | 1 | 1
1165.16/1165.69 c 1165s | 23 | 3809018 | 3093638 | 4626 1633 | 1 | 1
1167.26/1167.72 c 1167s | 23 | 3814227 | 3098238 | 4626 1635 | 1 | 1
1169.26/1169.74 c 1169s | 23 | 3819459 | 3102838 | 4626 1637 | 1 | 1
1171.27/1171.78 c 1171s | 23 | 3825957 | 3108038 | 4626 1639 | 1 | 1
1173.37/1173.81 c 1173s | 23 | 3831586 | 3112838 | 4626 1641 | 1 | 1
1175.36/1175.85 c 1175s | 23 | 3837770 | 3118038 | 4626 1644 | 1 | 1
1177.36/1177.86 c 1177s | 23 | 3844412 | 3123138 | 4626 1646 | 1 | 1
1179.36/1179.87 c 1179s | 23 | 3850311 | 3128238 | 4626 1648 | 1 | 1
1181.46/1181.90 c 1181s | 23 | 3855985 | 3133238 | 4626 1650 | 1 | 1
1183.46/1183.92 c 1183s | 23 | 3861699 | 3138138 | 4626 1652 | 1 | 1
1185.47/1185.95 c 1185s | 23 | 3867317 | 3143138 | 4626 1654 | 1 | 1
1187.46/1187.98 c 1187s | 23 | 3873357 | 3148138 | 4626 1656 | 1 | 1
1189.56/1190.01 c 1189s | 23 | 3879716 | 3153038 | 4626 1658 | 1 | 1
1191.56/1192.02 c 1191s | 23 | 3886094 | 3157838 | 4626 1660 | 1 | 1
1193.56/1194.04 c 1193s | 23 | 3892117 | 3162538 | 4626 1662 | 1 | 1
1195.56/1196.08 c 1195s | 23 | 3897192 | 3166938 | 4626 1664 | 1 | 1
1197.67/1198.12 c 1197s | 23 | 3903551 | 3171838 | 4626 1666 | 1 | 1
1199.66/1200.14 c 1199s | 23 | 3908808 | 3176038 | 4626 1668 | 1 | 1
1201.66/1202.15 c 1201s | 23 | 3914858 | 3180938 | 4626 1670 | 1 | 1
1203.66/1204.18 c 1203s | 23 | 3920093 | 3185238 | 4626 1672 | 1 | 1
1205.75/1206.21 c 1205s | 23 | 3925229 | 3189738 | 4626 1674 | 1 | 1
1207.75/1208.22 c 1207s | 23 | 3930411 | 3194238 | 4626 1676 | 1 | 1
1209.77/1210.23 c 1209s | 23 | 3936024 | 3198938 | 4626 1678 | 1 | 1
1211.75/1212.26 c 1211s | 23 | 3942012 | 3203838 | 4626 1680 | 1 | 1
1213.75/1214.27 c 1213s | 23 | 3948288 | 3208838 | 4626 1682 | 1 | 1
1215.85/1216.31 c 1215s | 23 | 3954633 | 3213938 | 4626 1684 | 1 | 1
1217.85/1218.31 c 1217s | 23 | 3960801 | 3218838 | 4626 1686 | 1 | 1
1219.85/1220.32 c 1219s | 23 | 3966962 | 3223838 | 4626 1688 | 1 | 1
1221.86/1222.37 c 1221s | 23 | 3972622 | 3228538 | 4626 1690 | 1 | 1
1223.85/1224.38 c 1223s | 23 | 3978100 | 3233038 | 4626 1692 | 1 | 1
1225.95/1226.42 c 1225s | 23 | 3983999 | 3237938 | 4626 1694 | 1 | 1
1227.95/1228.43 c 1227s | 23 | 3989664 | 3242538 | 4626 1696 | 1 | 1
1229.95/1230.45 c 1229s | 23 | 3995576 | 3247238 | 4626 1698 | 1 | 1
1232.05/1232.50 c 1231s | 23 | 4001473 | 3252038 | 4626 1700 | 1 | 1
1234.05/1234.50 c 1233s | 23 | 4007343 | 3256938 | 4626 1702 | 1 | 1
1236.06/1236.53 c 1235s | 23 | 4013293 | 3261738 | 4626 1704 | 1 | 1
1238.05/1238.56 c 1238s | 23 | 4018855 | 3266438 | 4626 1706 | 1 | 1
1240.05/1240.59 c 1240s | 23 | 4025653 | 3271638 | 4626 1708 | 1 | 1
1242.15/1242.62 c 1242s | 23 | 4031052 | 3276238 | 4626 1710 | 1 | 1
1244.15/1244.65 c 1244s | 23 | 4037103 | 3281238 | 4626 1712 | 1 | 1
1246.15/1246.69 c 1246s | 23 | 4042857 | 3286038 | 4626 1714 | 1 | 1
1248.26/1248.71 c 1248s | 23 | 4049137 | 3290938 | 4626 1716 | 1 | 1
1250.25/1250.75 c 1250s | 23 | 4055102 | 3295838 | 4626 1718 | 1 | 1
1252.25/1252.76 c 1252s | 23 | 4061080 | 3300738 | 4626 1721 | 1 | 1
1254.25/1254.79 c 1254s | 23 | 4067092 | 3305938 | 4626 1723 | 1 | 1
1256.35/1256.80 c 1256s | 23 | 4073309 | 3311238 | 4626 1725 | 1 | 1
1258.34/1258.81 c 1258s | 23 | 4078871 | 3316038 | 4626 1727 | 1 | 1
1260.36/1260.85 c 1260s | 23 | 4085135 | 3321138 | 4626 1729 | 1 | 1
1262.34/1262.89 c 1262s | 23 | 4091033 | 3326038 | 4626 1731 | 1 | 1
1264.44/1264.93 c 1264s | 23 | 4097059 | 3330938 | 4626 1733 | 1 | 1
1266.44/1266.97 c 1266s | 23 | 4102607 | 3335638 | 4626 1735 | 1 | 1
1268.54/1269.00 c 1268s | 23 | 4108191 | 3340338 | 4626 1737 | 1 | 1
1270.54/1271.03 c 1270s | 23 | 4115566 | 3345638 | 4626 1740 | 1 | 1
1272.54/1273.04 c 1272s | 23 | 4122691 | 3350938 | 5089 1742 | 1 | 1
1274.55/1275.06 c 1274s | 23 | 4129549 | 3356138 | 5089 1744 | 1 | 1
1276.64/1277.10 c 1276s | 23 | 4135979 | 3361138 | 5089 1746 | 1 | 1
1278.64/1279.11 c 1278s | 23 | 4141733 | 3365838 | 5089 1747 | 1 | 1
1280.64/1281.14 c 1280s | 23 | 4147425 | 3370438 | 5089 1749 | 1 | 1
1282.64/1283.17 c 1282s | 23 | 4153649 | 3375238 | 5089 1751 | 1 | 1
1283.14/1283.68 c 1283s | 24 | 4155697 | 3376662 | 5089 1752 | 1 | 1
1285.24/1285.70 c 1285s | 24 | 4162526 | 3381962 | 5089 1754 | 1 | 1
1287.24/1287.74 c 1287s | 24 | 4169444 | 3387262 | 5089 1756 | 1 | 1
1289.24/1289.74 c 1289s | 24 | 4175830 | 3392062 | 5089 1758 | 1 | 1
1291.24/1291.75 c 1291s | 24 | 4181922 | 3396962 | 5089 1759 | 1 | 1
1293.25/1293.77 c 1293s | 24 | 4189176 | 3402362 | 5089 1761 | 1 | 1
1295.34/1295.80 c 1295s | 24 | 4196499 | 3407762 | 5089 1764 | 1 | 1
1297.33/1297.81 c 1297s | 24 | 4203115 | 3412962 | 5089 1766 | 1 | 1
1299.33/1299.84 c 1299s | 24 | 4209601 | 3418262 | 5089 1768 | 1 | 1
1301.33/1301.84 c 1301s | 24 | 4216543 | 3423662 | 5089 1770 | 1 | 1
1303.33/1303.87 c 1303s | 24 | 4223485 | 3429062 | 5089 1772 | 1 | 1
1305.44/1305.91 c 1305s | 24 | 4229377 | 3433862 | 5089 1774 | 1 | 1
1307.43/1307.92 c 1307s | 24 | 4236045 | 3439162 | 5089 1776 | 1 | 1
1309.44/1309.92 c 1309s | 24 | 4242396 | 3444362 | 5089 1778 | 1 | 1
1311.44/1311.94 c 1311s | 24 | 4248539 | 3449462 | 5089 1779 | 1 | 1
1313.44/1313.99 c 1313s | 24 | 4254712 | 3454462 | 5089 1781 | 1 | 1
1315.54/1316.01 c 1315s | 24 | 4260514 | 3459062 | 5089 1783 | 1 | 1
1317.55/1318.04 c 1317s | 24 | 4266953 | 3463962 | 5089 1785 | 1 | 1
1319.54/1320.04 c 1319s | 24 | 4273485 | 3469162 | 5089 1787 | 1 | 1
1321.54/1322.07 c 1321s | 24 | 4279808 | 3474162 | 5089 1789 | 1 | 1
1323.54/1324.09 c 1323s | 24 | 4287008 | 3479662 | 5089 1791 | 1 | 1
1325.64/1326.12 c 1325s | 24 | 4292836 | 3484562 | 5089 1793 | 1 | 1
1327.64/1328.17 c 1327s | 24 | 4299402 | 3489962 | 5089 1795 | 1 | 1
1329.65/1330.18 c 1329s | 24 | 4306858 | 3495462 | 5089 1797 | 1 | 1
1331.74/1332.21 c 1331s | 24 | 4314416 | 3501162 | 5089 1799 | 1 | 1
1333.73/1334.21 c 1333s | 24 | 4321430 | 3506362 | 5089 1801 | 1 | 1
1335.73/1336.23 c 1335s | 24 | 4327765 | 3511362 | 5089 1803 | 1 | 1
1337.73/1338.26 c 1337s | 24 | 4333862 | 3516162 | 5089 1805 | 1 | 1
1339.73/1340.29 c 1339s | 24 | 4340813 | 3521462 | 5089 1807 | 1 | 1
1341.83/1342.32 c 1341s | 24 | 4347047 | 3526362 | 5089 1809 | 1 | 1
1343.84/1344.35 c 1343s | 24 | 4352877 | 3531062 | 5089 1811 | 1 | 1
1345.83/1346.35 c 1345s | 24 | 4359712 | 3536262 | 5089 1813 | 1 | 1
1347.83/1348.36 c 1347s | 24 | 4365594 | 3541062 | 5089 1815 | 1 | 1
1349.83/1350.38 c 1349s | 24 | 4372633 | 3546362 | 5089 1817 | 1 | 1
1351.93/1352.41 c 1351s | 24 | 4378762 | 3551262 | 5089 1819 | 1 | 1
1353.93/1354.46 c 1353s | 24 | 4384558 | 3555862 | 5089 1821 | 1 | 1
1355.94/1356.48 c 1355s | 24 | 4391942 | 3561162 | 5089 1823 | 1 | 1
1357.93/1358.48 c 1357s | 24 | 4397827 | 3565862 | 5089 1824 | 1 | 1
1359.93/1360.49 c 1359s | 24 | 4403581 | 3570662 | 5089 1826 | 1 | 1
1362.03/1362.52 c 1361s | 24 | 4409255 | 3575362 | 5089 1828 | 1 | 1
1364.03/1364.52 c 1363s | 24 | 4414825 | 3580062 | 5089 1830 | 1 | 1
1366.03/1366.56 c 1366s | 24 | 4420978 | 3585162 | 5089 1832 | 1 | 1
1368.04/1368.59 c 1368s | 24 | 4426430 | 3589762 | 5089 1834 | 1 | 1
1370.12/1370.61 c 1370s | 24 | 4433532 | 3595162 | 5089 1836 | 1 | 1
1372.12/1372.63 c 1372s | 24 | 4439471 | 3600062 | 5089 1838 | 1 | 1
1374.12/1374.67 c 1374s | 24 | 4445749 | 3604862 | 5089 1839 | 1 | 1
1376.22/1376.70 c 1376s | 24 | 4452342 | 3609962 | 5089 1841 | 1 | 1
1378.22/1378.74 c 1378s | 24 | 4459331 | 3615062 | 5089 1843 | 1 | 1
1380.23/1380.75 c 1380s | 24 | 4466272 | 3620162 | 5089 1845 | 1 | 1
1382.22/1382.78 c 1382s | 24 | 4473110 | 3625262 | 5089 1847 | 1 | 1
1384.22/1384.78 c 1384s | 24 | 4480012 | 3630362 | 5089 1849 | 1 | 1
1386.32/1386.80 c 1386s | 24 | 4486542 | 3635262 | 5089 1851 | 1 | 1
1388.32/1388.84 c 1388s | 24 | 4492841 | 3640062 | 5089 1853 | 1 | 1
1390.32/1390.84 c 1390s | 24 | 4499000 | 3644762 | 5089 1855 | 1 | 1
1392.33/1392.86 c 1392s | 24 | 4504741 | 3649362 | 5089 1857 | 1 | 1
1394.32/1394.87 c 1394s | 24 | 4511293 | 3654262 | 5089 1859 | 1 | 1
1396.32/1396.90 c 1396s | 24 | 4518495 | 3659762 | 5089 1861 | 1 | 1
1398.42/1398.90 c 1398s | 24 | 4524900 | 3664562 | 5089 1863 | 1 | 1
1400.42/1400.91 c 1400s | 24 | 4531842 | 3669662 | 5089 1864 | 1 | 1
1402.43/1402.93 c 1402s | 24 | 4538207 | 3674662 | 5089 1866 | 1 | 1
1404.44/1404.97 c 1404s | 24 | 4545397 | 3680062 | 5089 1869 | 1 | 1
1406.43/1406.98 c 1406s | 24 | 4552140 | 3685262 | 5089 1870 | 1 | 1
1408.52/1409.02 c 1408s | 24 | 4559214 | 3690562 | 5089 1873 | 1 | 1
1410.52/1411.04 c 1410s | 24 | 4566032 | 3695862 | 5089 1875 | 1 | 1
1412.52/1413.06 c 1412s | 24 | 4572343 | 3700862 | 5089 1876 | 1 | 1
1414.52/1415.06 c 1414s | 24 | 4578607 | 3705762 | 5089 1878 | 1 | 1
1416.53/1417.08 c 1416s | 24 | 4584826 | 3710662 | 5089 1880 | 1 | 1
1418.52/1419.10 c 1418s | 24 | 4590758 | 3715462 | 5089 1882 | 1 | 1
1420.62/1421.12 c 1420s | 24 | 4597761 | 3720762 | 5089 1884 | 1 | 1
1422.62/1423.15 c 1422s | 24 | 4603829 | 3725662 | 5089 1886 | 1 | 1
1424.62/1425.19 c 1424s | 24 | 4610058 | 3730762 | 5089 1888 | 1 | 1
1426.72/1427.20 c 1426s | 24 | 4616272 | 3735862 | 5089 1890 | 1 | 1
1428.72/1429.22 c 1428s | 24 | 4623420 | 3741162 | 5089 1892 | 1 | 1
1430.73/1431.23 c 1430s | 24 | 4630917 | 3746562 | 5089 1894 | 1 | 1
1432.72/1433.25 c 1432s | 24 | 4637246 | 3751762 | 5089 1896 | 1 | 1
1434.72/1435.25 c 1434s | 24 | 4643463 | 3756762 | 5089 1898 | 1 | 1
1436.72/1437.27 c 1436s | 24 | 4650639 | 3761962 | 5089 1900 | 1 | 1
1438.72/1439.28 c 1438s | 24 | 4657857 | 3767062 | 5089 1902 | 1 | 1
1440.82/1441.31 c 1440s | 24 | 4664472 | 3772062 | 5089 1904 | 1 | 1
1442.83/1443.34 c 1442s | 24 | 4670685 | 3776962 | 5089 1906 | 1 | 1
1444.82/1445.36 c 1444s | 24 | 4676730 | 3781762 | 5089 1908 | 1 | 1
1446.82/1447.37 c 1446s | 24 | 4683419 | 3786762 | 5089 1910 | 1 | 1
1448.81/1449.39 c 1448s | 24 | 4690047 | 3791862 | 5089 1912 | 1 | 1
1450.81/1451.39 c 1450s | 24 | 4696464 | 3796962 | 5089 1913 | 1 | 1
1452.91/1453.41 c 1452s | 24 | 4702480 | 3801862 | 5089 1915 | 1 | 1
1454.92/1455.45 c 1454s | 24 | 4708643 | 3806762 | 5089 1917 | 1 | 1
1456.91/1457.49 c 1456s | 24 | 4715233 | 3811962 | 5089 1919 | 1 | 1
1459.01/1459.51 c 1458s | 24 | 4721265 | 3816962 | 5089 1921 | 1 | 1
1461.01/1461.54 c 1460s | 24 | 4727763 | 3822162 | 5089 1923 | 1 | 1
1463.01/1463.57 c 1463s | 24 | 4734056 | 3827062 | 5089 1925 | 1 | 1
1465.01/1465.59 c 1465s | 24 | 4740071 | 3831762 | 5089 1927 | 1 | 1
1467.12/1467.61 c 1467s | 24 | 4746069 | 3836462 | 5089 1929 | 1 | 1
1469.11/1469.64 c 1469s | 24 | 4752705 | 3841662 | 5089 1931 | 1 | 1
1471.11/1471.68 c 1471s | 24 | 4759069 | 3846362 | 5089 1932 | 1 | 1
1473.21/1473.72 c 1473s | 24 | 4765474 | 3851362 | 5089 1934 | 1 | 1
1475.21/1475.73 c 1475s | 24 | 4771540 | 3856162 | 5089 1936 | 1 | 1
1477.21/1477.73 c 1477s | 24 | 4777754 | 3861062 | 5089 1938 | 1 | 1
1479.22/1479.75 c 1479s | 24 | 4784183 | 3865962 | 5089 1940 | 1 | 1
1481.21/1481.77 c 1481s | 24 | 4790696 | 3870962 | 5089 1942 | 1 | 1
1483.21/1483.78 c 1483s | 24 | 4796233 | 3875462 | 5089 1944 | 1 | 1
1485.31/1485.80 c 1485s | 24 | 4802533 | 3880462 | 5089 1946 | 1 | 1
1487.31/1487.82 c 1487s | 24 | 4808134 | 3885062 | 5089 1947 | 1 | 1
1489.31/1489.83 c 1489s | 24 | 4813832 | 3889962 | 5089 1949 | 1 | 1
1491.32/1491.87 c 1491s | 24 | 4820111 | 3894962 | 5089 1951 | 1 | 1
1493.31/1493.90 c 1493s | 24 | 4826248 | 3899762 | 5089 1953 | 1 | 1
1495.41/1495.90 c 1495s | 24 | 4831626 | 3904362 | 5089 1955 | 1 | 1
1497.41/1497.91 c 1497s | 24 | 4838237 | 3909562 | 5089 1957 | 1 | 1
1499.41/1499.94 c 1499s | 24 | 4844213 | 3914462 | 5089 1959 | 1 | 1
1501.40/1501.96 c 1501s | 24 | 4850405 | 3919362 | 5089 1960 | 1 | 1
1503.50/1504.01 c 1503s | 24 | 4856612 | 3924362 | 5089 1962 | 1 | 1
1505.51/1506.05 c 1505s | 24 | 4862523 | 3929162 | 5089 1964 | 1 | 1
1507.50/1508.07 c 1507s | 24 | 4868109 | 3933762 | 5089 1966 | 1 | 1
1509.50/1510.09 c 1509s | 24 | 4873932 | 3938662 | 5089 1968 | 1 | 1
1511.60/1512.11 c 1511s | 24 | 4879711 | 3943662 | 5089 1970 | 1 | 1
1513.60/1514.11 c 1513s | 24 | 4885376 | 3948462 | 5089 1972 | 1 | 1
1515.60/1516.14 c 1515s | 24 | 4891224 | 3953462 | 5089 1974 | 1 | 1
1517.61/1518.17 c 1517s | 24 | 4897466 | 3958662 | 5089 1976 | 1 | 1
1519.60/1520.17 c 1519s | 24 | 4903675 | 3963862 | 5089 1978 | 1 | 1
1521.70/1522.20 c 1521s | 24 | 4910076 | 3969162 | 5089 1980 | 1 | 1
1523.70/1524.22 c 1523s | 24 | 4915848 | 3974062 | 5089 1981 | 1 | 1
1525.70/1526.26 c 1525s | 24 | 4921778 | 3979162 | 5089 1983 | 1 | 1
1527.70/1528.29 c 1527s | 24 | 4927606 | 3984362 | 5089 1985 | 1 | 1
1529.71/1530.29 c 1529s | 24 | 4933044 | 3988962 | 5089 1987 | 1 | 1
1531.80/1532.33 c 1531s | 24 | 4939205 | 3994162 | 5089 1989 | 1 | 1
1533.80/1534.33 c 1533s | 24 | 4944997 | 3999262 | 5089 1991 | 1 | 1
1535.80/1536.35 c 1535s | 24 | 4950752 | 4004262 | 5089 1993 | 1 | 1
1537.80/1538.39 c 1537s | 24 | 4956557 | 4009262 | 5089 1995 | 1 | 1
1539.80/1540.39 c 1539s | 24 | 4962532 | 4014262 | 5089 1997 | 1 | 1
1541.91/1542.41 c 1541s | 24 | 4969223 | 4019862 | 5089 1999 | 1 | 1
1543.90/1544.45 c 1543s | 24 | 4975204 | 4024762 | 5089 2001 | 1 | 1
1545.90/1546.47 c 1545s | 24 | 4980904 | 4029662 | 5089 2003 | 1 | 1
1547.90/1548.49 c 1547s | 24 | 4986167 | 4034262 | 5089 2005 | 1 | 1
1550.00/1550.51 c 1549s | 24 | 4992177 | 4039162 | 5089 2006 | 1 | 1
1552.00/1552.55 c 1552s | 24 | 4999007 | 4044662 | 5089 2009 | 1 | 1
1554.01/1554.58 c 1554s | 24 | 5005460 | 4049762 | 5089 2010 | 1 | 1
1556.00/1556.58 c 1556s | 24 | 5012200 | 4054962 | 5089 2012 | 1 | 1
1558.10/1558.60 c 1558s | 24 | 5018338 | 4060062 | 5089 2014 | 1 | 1
1560.10/1560.62 c 1560s | 24 | 5023943 | 4064662 | 5089 2016 | 1 | 1
1562.10/1562.64 c 1562s | 24 | 5029379 | 4069262 | 5089 2018 | 1 | 1
1564.10/1564.66 c 1564s | 24 | 5035068 | 4073862 | 5089 2020 | 1 | 1
1566.11/1566.67 c 1566s | 24 | 5040985 | 4078662 | 5089 2022 | 1 | 1
1568.10/1568.70 c 1568s | 24 | 5046952 | 4083562 | 5089 2023 | 1 | 1
1570.20/1570.73 c 1570s | 24 | 5053539 | 4088762 | 5089 2025 | 1 | 1
1572.20/1572.76 c 1572s | 24 | 5059841 | 4093862 | 5089 2027 | 1 | 1
1574.20/1574.76 c 1574s | 24 | 5066052 | 4099062 | 5089 2029 | 1 | 1
1576.20/1576.78 c 1576s | 24 | 5072078 | 4104162 | 5089 2031 | 1 | 1
1578.21/1578.79 c 1578s | 24 | 5077536 | 4109062 | 5089 2033 | 1 | 1
1580.20/1580.81 c 1580s | 24 | 5083108 | 4114062 | 5089 2035 | 1 | 1
1582.30/1582.81 c 1582s | 24 | 5088670 | 4118862 | 5089 2037 | 1 | 1
1584.30/1584.82 c 1584s | 24 | 5094307 | 4123862 | 5089 2039 | 1 | 1
1586.30/1586.84 c 1586s | 24 | 5100403 | 4129062 | 5089 2041 | 1 | 1
1588.29/1588.85 c 1588s | 24 | 5105925 | 4133962 | 5089 2043 | 1 | 1
1590.30/1590.87 c 1590s | 24 | 5111747 | 4138962 | 5089 2045 | 1 | 1
1592.40/1592.91 c 1592s | 24 | 5118042 | 4143962 | 5089 2047 | 1 | 1
1594.39/1594.93 c 1594s | 24 | 5123758 | 4148962 | 5089 2048 | 1 | 1
1596.39/1596.97 c 1596s | 24 | 5129817 | 4154262 | 5089 2050 | 1 | 1
1598.39/1598.99 c 1598s | 24 | 5135944 | 4159362 | 5089 2052 | 1 | 1
1600.39/1601.00 c 1600s | 24 | 5141803 | 4164262 | 5089 2054 | 1 | 1
1602.49/1603.01 c 1602s | 24 | 5148127 | 4169262 | 5089 2056 | 1 | 1
1604.50/1605.02 c 1604s | 24 | 5153906 | 4174162 | 5089 2058 | 1 | 1
1606.49/1607.03 c 1606s | 24 | 5159664 | 4178962 | 5089 2060 | 1 | 1
1608.49/1609.05 c 1608s | 24 | 5165079 | 4183762 | 5089 2062 | 1 | 1
1610.59/1611.10 c 1610s | 24 | 5170300 | 4188362 | 5089 2064 | 1 | 1
1612.59/1613.13 c 1612s | 24 | 5176069 | 4193162 | 5089 2065 | 1 | 1
1614.59/1615.14 c 1614s | 24 | 5182147 | 4197962 | 5089 2067 | 1 | 1
1616.60/1617.16 c 1616s | 24 | 5188053 | 4202862 | 5089 2069 | 1 | 1
1618.59/1619.19 c 1618s | 24 | 5193428 | 4207662 | 5089 2071 | 1 | 1
1620.69/1621.20 c 1620s | 24 | 5198995 | 4212362 | 5089 2073 | 1 | 1
1622.69/1623.26 c 1622s | 24 | 5204316 | 4216862 | 5089 2074 | 1 | 1
1624.79/1625.30 c 1624s | 24 | 5211372 | 4222262 | 5089 2077 | 1 | 1
1626.78/1627.32 c 1626s | 24 | 5217406 | 4227262 | 5089 2078 | 1 | 1
1628.79/1629.33 c 1628s | 24 | 5222442 | 4231662 | 5089 2080 | 1 | 1
1630.78/1631.37 c 1630s | 24 | 5228093 | 4236562 | 5089 2082 | 1 | 1
1632.88/1633.40 c 1632s | 24 | 5233637 | 4241162 | 5089 2084 | 1 | 1
1634.89/1635.42 c 1634s | 24 | 5239199 | 4246062 | 5089 2086 | 1 | 1
1636.89/1637.44 c 1636s | 24 | 5244654 | 4250862 | 5089 2088 | 1 | 1
1638.89/1639.48 c 1638s | 24 | 5250477 | 4255862 | 5089 2089 | 1 | 1
1640.99/1641.50 c 1640s | 24 | 5255663 | 4260262 | 5089 2091 | 1 | 1
1643.00/1643.52 c 1642s | 24 | 5261152 | 4264862 | 5089 2093 | 1 | 1
1644.99/1645.53 c 1644s | 24 | 5267574 | 4270362 | 5089 2095 | 1 | 1
1646.99/1647.53 c 1646s | 24 | 5273546 | 4275362 | 5089 2097 | 1 | 1
1648.99/1649.57 c 1649s | 24 | 5279000 | 4280262 | 5089 2099 | 1 | 1
1650.99/1651.58 c 1651s | 24 | 5284016 | 4284962 | 5089 2101 | 1 | 1
1653.09/1653.60 c 1653s | 24 | 5288928 | 4289362 | 5089 2102 | 1 | 1
1655.10/1655.65 c 1655s | 24 | 5293462 | 4293562 | 5089 2104 | 1 | 1
1657.19/1657.70 c 1657s | 24 | 5298486 | 4298062 | 5089 2106 | 1 | 1
1659.19/1659.72 c 1659s | 24 | 5303549 | 4302562 | 5089 2107 | 1 | 1
1661.19/1661.76 c 1661s | 24 | 5309222 | 4307462 | 5089 2109 | 1 | 1
1663.19/1663.78 c 1663s | 24 | 5314591 | 4312062 | 5089 2111 | 1 | 1
1665.29/1665.80 c 1665s | 24 | 5320880 | 4317462 | 5089 2113 | 1 | 1
1667.30/1667.81 c 1667s | 24 | 5326735 | 4322462 | 5089 2115 | 1 | 1
1669.29/1669.83 c 1669s | 24 | 5331738 | 4326962 | 5089 2117 | 1 | 1
1671.28/1671.88 c 1671s | 24 | 5336844 | 4331462 | 5089 2118 | 1 | 1
1673.28/1673.90 c 1673s | 24 | 5342172 | 4336162 | 5089 2120 | 1 | 1
1675.38/1675.92 c 1675s | 24 | 5348101 | 4341162 | 5089 2122 | 1 | 1
1677.38/1677.94 c 1677s | 24 | 5353081 | 4345462 | 5089 2124 | 1 | 1
1679.48/1680.00 c 1679s | 24 | 5358258 | 4349862 | 5089 2126 | 1 | 1
1681.49/1682.01 c 1681s | 24 | 5363337 | 4354362 | 5089 2127 | 1 | 1
1683.48/1684.05 c 1683s | 24 | 5368042 | 4358662 | 5089 2129 | 1 | 1
1685.48/1686.08 c 1685s | 24 | 5372756 | 4362962 | 5089 2131 | 1 | 1
1687.58/1688.12 c 1687s | 24 | 5378314 | 4367462 | 5089 2132 | 1 | 1
1689.58/1690.13 c 1689s | 24 | 5382929 | 4371662 | 5089 2134 | 1 | 1
1691.58/1692.14 c 1691s | 24 | 5387839 | 4376062 | 5089 2136 | 1 | 1
1693.59/1694.16 c 1693s | 24 | 5393017 | 4380462 | 5089 2137 | 1 | 1
1695.58/1696.19 c 1695s | 24 | 5398488 | 4385062 | 5089 2139 | 1 | 1
1697.68/1698.22 c 1697s | 24 | 5404177 | 4389762 | 5089 2141 | 1 | 1
1699.68/1700.24 c 1699s | 24 | 5409529 | 4394362 | 5089 2143 | 1 | 1
1701.78/1702.30 c 1701s | 24 | 5414502 | 4398762 | 5089 2144 | 1 | 1
1703.78/1704.31 c 1703s | 24 | 5419736 | 4403162 | 5089 2146 | 1 | 1
1705.79/1706.33 c 1705s | 24 | 5425459 | 4407762 | 5089 2148 | 1 | 1
1707.78/1708.35 c 1707s | 24 | 5430937 | 4412462 | 5089 2150 | 1 | 1
1709.78/1710.38 c 1709s | 24 | 5437134 | 4417362 | 5089 2151 | 1 | 1
1711.77/1712.39 c 1711s | 24 | 5442650 | 4421862 | 5089 2153 | 1 | 1
1713.87/1714.42 c 1713s | 24 | 5448121 | 4426462 | 5089 2155 | 1 | 1
1715.87/1716.44 c 1715s | 24 | 5454042 | 4431262 | 5089 2157 | 1 | 1
1717.88/1718.46 c 1717s | 24 | 5459433 | 4435862 | 5089 2159 | 1 | 1
1719.98/1720.51 c 1719s | 24 | 5465168 | 4440662 | 5089 2160 | 1 | 1
1721.97/1722.52 c 1721s | 24 | 5470347 | 4444962 | 5089 2162 | 1 | 1
1723.97/1724.54 c 1723s | 24 | 5476214 | 4449662 | 5089 2164 | 1 | 1
1725.97/1726.54 c 1725s | 24 | 5482147 | 4454262 | 5089 2166 | 1 | 1
1727.97/1728.57 c 1728s | 24 | 5487693 | 4458762 | 5089 2167 | 1 | 1
1730.07/1730.60 c 1730s | 24 | 5493735 | 4463762 | 5089 2169 | 1 | 1
1732.08/1732.63 c 1732s | 24 | 5499923 | 4468662 | 5089 2171 | 1 | 1
1734.07/1734.63 c 1734s | 24 | 5506014 | 4473462 | 5089 2173 | 1 | 1
1736.07/1736.64 c 1736s | 24 | 5511450 | 4477962 | 5089 2175 | 1 | 1
1738.07/1738.64 c 1738s | 24 | 5518047 | 4483062 | 5089 2177 | 1 | 1
1740.07/1740.68 c 1740s | 24 | 5523258 | 4487362 | 5089 2178 | 1 | 1
1742.08/1742.69 c 1742s | 24 | 5528395 | 4491862 | 5089 2180 | 1 | 1
1744.18/1744.71 c 1744s | 24 | 5533953 | 4496562 | 5089 2182 | 1 | 1
1746.17/1746.72 c 1746s | 24 | 5539582 | 4501262 | 5089 2184 | 1 | 1
1748.17/1748.76 c 1748s | 24 | 5545514 | 4506162 | 5089 2185 | 1 | 1
1750.27/1750.80 c 1750s | 24 | 5551600 | 4511062 | 5089 2187 | 1 | 1
1752.27/1752.81 c 1752s | 24 | 5557682 | 4515962 | 5089 2189 | 1 | 1
1754.27/1754.81 c 1754s | 24 | 5563235 | 4520562 | 5089 2191 | 1 | 1
1756.28/1756.82 c 1756s | 24 | 5568708 | 4525162 | 5089 2193 | 1 | 1
1758.26/1758.85 c 1758s | 24 | 5574991 | 4530362 | 5089 2195 | 1 | 1
1760.26/1760.86 c 1760s | 24 | 5580782 | 4535162 | 5089 2197 | 1 | 1
1762.26/1762.88 c 1762s | 24 | 5586359 | 4540062 | 5089 2198 | 1 | 1
1764.36/1764.91 c 1764s | 24 | 5591923 | 4545162 | 5089 2200 | 1 | 1
1766.36/1766.93 c 1766s | 24 | 5597337 | 4549862 | 5089 2202 | 1 | 1
1768.37/1768.95 c 1768s | 24 | 5603109 | 4554762 | 5089 2204 | 1 | 1
1770.36/1770.97 c 1770s | 24 | 5608744 | 4559662 | 5089 2206 | 1 | 1
1772.46/1773.01 c 1772s | 24 | 5614342 | 4564462 | 5089 2208 | 1 | 1
1774.46/1775.02 c 1774s | 24 | 5620100 | 4569362 | 5089 2210 | 1 | 1
1776.46/1777.04 c 1776s | 24 | 5625652 | 4574262 | 5089 2211 | 1 | 1
1778.46/1779.07 c 1778s | 24 | 5631354 | 4579362 | 5089 2213 | 1 | 1
1780.47/1781.08 c 1780s | 24 | 5637104 | 4584362 | 5089 2215 | 1 | 1
1782.56/1783.12 c 1782s | 24 | 5643265 | 4589562 | 5089 2217 | 1 | 1
1784.56/1785.13 c 1784s | 24 | 5648682 | 4594362 | 5089 2219 | 1 | 1
1786.56/1787.16 c 1786s | 24 | 5654488 | 4599362 | 5089 2221 | 1 | 1
1788.56/1789.18 c 1788s | 24 | 5659540 | 4603762 | 5089 2223 | 1 | 1
1790.66/1791.20 c 1790s | 24 | 5665274 | 4608762 | 5089 2225 | 1 | 1
1792.57/1793.20 c 1792s | 24 | 5671028 | 4613562 | 5089 2227 | 1 | 1
1794.66/1795.22 c 1794s | 24 | 5677069 | 4618762 | 5089 2229 | 1 | 1
1796.66/1797.23 c 1796s | 24 | 5682687 | 4623462 | 5089 2230 | 1 | 1
1798.66/1799.26 c 1798s | 24 | 5687955 | 4628062 | 5089 2232 | 1 | 1
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-4079473-1465222967/watcher-4079473-1465222967 -o /tmp/evaluation-result-4079473-1465222967/solver-4079473-1465222967 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079473-1465222967.opb
pid=29707
running on 8 cores: 0-3,8-11
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.02 2.06 2.05 3/261 29710
/proc/meminfo: memFree=30940012/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1055164 CPUtime=0 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 3995 0 0 0 0 0 0 0 20 0 4 0 104138757 1080487936 4356 33554432000 4194304 16246674 140736975809712 140736975809136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 264559 4366 441 2943 0 261453 0
[pid=29710/tid=29711] ppid=29707 vsize=1076668 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1102508032 4440 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1079740 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1105653760 4450 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1084860 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104138757 1110896640 4469 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
[startup+0.100187 s]
/proc/loadavg: 2.02 2.06 2.05 3/261 29710
/proc/meminfo: memFree=30940012/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1218116 CPUtime=0.08 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 20607 0 0 0 6 2 0 0 20 0 4 0 104138757 1247350784 20957 33554432000 4194304 16246674 140736975809712 140736975809136 5712452 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 304529 20963 752 2943 0 301423 0
[pid=29710/tid=29711] ppid=29707 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1247350784 20967 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1247350784 20970 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104138757 1247350784 20973 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116
[startup+0.200537 s]
/proc/loadavg: 2.02 2.06 2.05 3/261 29710
/proc/meminfo: memFree=30940012/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1218116 CPUtime=0.19 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 32083 0 0 0 15 4 0 0 20 0 4 0 104138757 1247350784 32432 33554432000 4194304 16246674 140736975809712 140736975792712 5546181 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 304529 32438 752 2943 0 301423 0
[pid=29710/tid=29711] ppid=29707 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1247350784 32441 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1247350784 32444 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104138757 1247350784 32446 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300485 s]
/proc/loadavg: 2.02 2.06 2.05 3/261 29710
/proc/meminfo: memFree=30940012/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1218116 CPUtime=0.29 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 44148 0 0 0 23 6 0 0 20 0 4 0 104138757 1247350784 44498 33554432000 4194304 16246674 140736975809712 140736975791616 5675357 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 304529 44505 758 2943 0 301423 0
[pid=29710/tid=29711] ppid=29707 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1247350784 44507 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1247350784 44512 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104138757 1247350784 44516 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700378 s]
/proc/loadavg: 2.02 2.06 2.05 3/261 29710
/proc/meminfo: memFree=30940012/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1218116 CPUtime=0.69 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 93640 0 0 0 56 13 0 0 20 0 4 0 104138757 1247350784 93988 33554432000 4194304 16246674 140736975809712 140736975791616 5546181 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 304529 93996 787 2943 0 301423 0
[pid=29710/tid=29711] ppid=29707 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1247350784 94002 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1247350784 94006 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104138757 1247350784 94009 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.5004 s]
/proc/loadavg: 2.02 2.06 2.05 3/265 29714
/proc/meminfo: memFree=30360164/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1218116 CPUtime=1.49 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 195691 0 0 0 122 27 0 0 20 0 4 0 104138757 1247350784 196040 33554432000 4194304 16246674 140736975809712 140736975791616 5530837 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 304529 196054 787 2943 0 301423 0
[pid=29710/tid=29711] ppid=29707 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1247350784 196063 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1247350784 196072 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104138757 1247350784 196082 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116
[startup+3.1004 s]
/proc/loadavg: 2.02 2.06 2.05 3/265 29714
/proc/meminfo: memFree=29953376/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1221188 CPUtime=3.09 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 246264 0 0 0 275 34 0 0 20 0 4 0 104138757 1250496512 246590 33554432000 4194304 16246674 140736975809712 140736975791616 13774516 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 305297 246590 849 2943 0 302191 0
[pid=29710/tid=29711] ppid=29707 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1250496512 246590 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1250496512 246590 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1250496512 246590 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1221188
[startup+6.30031 s]
/proc/loadavg: 2.02 2.06 2.05 3/265 29714
/proc/meminfo: memFree=29867596/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1306180 CPUtime=6.29 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 267536 0 0 0 592 37 0 0 20 0 4 0 104138757 1337528320 267862 33554432000 4194304 16246674 140736975809712 140736975791616 13906976 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 326545 267862 849 2943 0 323439 0
[pid=29710/tid=29711] ppid=29707 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1337528320 267862 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1337528320 267862 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1337528320 267862 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180
[startup+12.7004 s]
/proc/loadavg: 2.02 2.06 2.04 3/265 29714
/proc/meminfo: memFree=29866612/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1306180 CPUtime=12.68 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 267636 0 0 0 1231 37 0 0 20 0 4 0 104138757 1337528320 267962 33554432000 4194304 16246674 140736975809712 140736975791616 6020477 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 326545 267962 849 2943 0 323439 0
[pid=29710/tid=29711] ppid=29707 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1337528320 267962 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1337528320 267962 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1337528320 267962 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180
[startup+25.5107 s]
/proc/loadavg: 2.09 2.07 2.05 3/265 29714
/proc/meminfo: memFree=29866528/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1307204 CPUtime=25.5 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 267712 0 0 0 2512 38 0 0 20 0 4 0 104138757 1338576896 268038 33554432000 4194304 16246674 140736975809712 140736975791616 5600384 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 326801 268038 851 2943 0 323695 0
[pid=29710/tid=29711] ppid=29707 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1338576896 268038 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1338576896 268038 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1338576896 268038 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1307204
[startup+51.1004 s]
/proc/loadavg: 2.05 2.06 2.05 3/265 29714
/proc/meminfo: memFree=29866148/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1308228 CPUtime=51.08 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 268009 0 0 0 5070 38 0 0 20 0 4 0 104138757 1339625472 268335 33554432000 4194304 16246674 140736975809712 140736975791616 5711439 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 327057 268335 851 2943 0 323951 0
[pid=29710/tid=29711] ppid=29707 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1339625472 268335 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1339625472 268335 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1339625472 268335 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228
[startup+102.3 s]
/proc/loadavg: 2.10 2.08 2.05 3/265 29763
/proc/meminfo: memFree=27900036/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1308228 CPUtime=102.26 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 268165 0 0 0 10188 38 0 0 20 0 4 0 104138757 1339625472 268477 33554432000 4194304 16246674 140736975809712 140736975792712 5600384 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 327057 268477 852 2943 0 323951 0
[pid=29710/tid=29711] ppid=29707 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1339625472 268477 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1339625472 268477 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1339625472 268477 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1308228
################
# More data... #
################
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1321540
[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/265 29795
/proc/meminfo: memFree=25074508/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1321540 CPUtime=1361.83 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 271642 0 0 0 136134 49 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140736975792712 5672188 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 330385 271570 853 2943 0 327279 0
[pid=29710/tid=29711] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1321540
[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/265 29796
/proc/meminfo: memFree=25054768/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1321540 CPUtime=1421.82 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 271642 0 0 0 142132 50 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140736975791616 12995176 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 330385 271570 853 2943 0 327279 0
[pid=29710/tid=29711] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1321540
[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/264 29797
/proc/meminfo: memFree=25041752/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1321540 CPUtime=1481.81 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 271642 0 0 0 148131 50 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140736975791616 6026640 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 330385 271570 853 2943 0 327279 0
[pid=29710/tid=29711] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1321540
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/265 29799
/proc/meminfo: memFree=25011584/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1321540 CPUtime=1541.81 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 271642 0 0 0 154131 50 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140736975791616 5827966 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 330385 271570 853 2943 0 327279 0
[pid=29710/tid=29711] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1321540
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/265 29800
/proc/meminfo: memFree=24995492/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1321540 CPUtime=1601.79 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 271642 0 0 0 160128 51 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140736975791616 13820928 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 330385 271570 853 2943 0 327279 0
[pid=29710/tid=29711] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1321540
[startup+1662.31 s]
/proc/loadavg: 2.06 2.03 2.00 3/266 29804
/proc/meminfo: memFree=24967676/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1321540 CPUtime=1661.8 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 271642 0 0 0 166128 52 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140736975791616 5601643 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 330385 271570 853 2943 0 327279 0
[pid=29710/tid=29711] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1321540
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/265 29805
/proc/meminfo: memFree=24957904/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1321540 CPUtime=1721.77 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 271642 0 0 0 172125 52 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140736975791616 15015658 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 330385 271570 853 2943 0 327279 0
[pid=29710/tid=29711] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1321540
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/265 29806
/proc/meminfo: memFree=24938080/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1321540 CPUtime=1781.76 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 271642 0 0 0 178124 52 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140736975791616 5588976 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 330385 271570 853 2943 0 327279 0
[pid=29710/tid=29711] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1321540
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.01 2.02 2.00 3/265 29808
/proc/meminfo: memFree=24937556/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1321540 CPUtime=1800.06 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 271642 0 0 0 179954 52 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140736975792712 5822756 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 330385 271570 853 2943 0 327279 0
[pid=29710/tid=29711] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1321540
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 29710 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.01 2.02 2.00 3/265 29808
/proc/meminfo: memFree=24937556/32872528 swapFree=9196/9196
[pid=29710] ppid=29707 vsize=1321540 CPUtime=1800.06 cores=0-3,8-11
/proc/29710/stat : 29710 (toysat) R 29707 29710 25889 0 -1 4202496 271642 0 0 0 179954 52 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140736975792712 5822756 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29710/statm: 330385 271570 853 2943 0 327279 0
[pid=29710/tid=29711] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379806477552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379795987696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1321540 CPUtime=0 cores=0-3,8-11
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104138757 1353256960 271570 33554432000 4194304 16246674 140736975809712 140379785514160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1321540
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.55
CPU system time (s): 0.529919
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 1321540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.529919
maximum resident set size= 1086280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271642
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= 413
involuntary context switches= 2029
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.43157 second user time and 12.6381 second system time
The end
Begin job on node132 at 2016-06-06 16:22:47
IDJOB=4079473
IDBENCH=1844
IDSOLVER=2542
FILE ID=node132/4079473-1465222967
RUNJOBID= node132-1465216787-25905
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB
SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079473-1465222967/watcher-4079473-1465222967 -o /tmp/evaluation-result-4079473-1465222967/solver-4079473-1465222967 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079473-1465222967.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8
MD5SUM BENCH= 49459e9c72edb2754f1d384319cf8731
RANDOM SEED=1106393218
node132.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 : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
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 : 5334.41
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 : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
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.51
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 : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
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.51
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 : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
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.51
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 : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
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 : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.56
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
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:
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 3
initial apicid : 3
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 : 10
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 5
initial apicid : 5
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 : 11
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 7
initial apicid : 7
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 4
apicid : 17
initial apicid : 17
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 : 13
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 4
apicid : 19
initial apicid : 19
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 : 14
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 4
apicid : 21
initial apicid : 21
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 : 15
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 4
apicid : 23
initial apicid : 23
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: 30939640 kB
Buffers: 14800 kB
Cached: 77716 kB
SwapCached: 3228 kB
Active: 1181300 kB
Inactive: 32696 kB
Active(anon): 1120656 kB
Inactive(anon): 3236 kB
Active(file): 60644 kB
Inactive(file): 29460 kB
Unevictable: 9196 kB
Mlocked: 9196 kB
SwapTotal: 67108856 kB
SwapFree: 67094524 kB
Dirty: 16504 kB
Writeback: 0 kB
AnonPages: 1127608 kB
Mapped: 10312 kB
Shmem: 0 kB
Slab: 572376 kB
SReclaimable: 12744 kB
SUnreclaim: 559632 kB
KernelStack: 2248 kB
PageTables: 6576 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545120 kB
Committed_AS: 1269784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346412 kB
VmallocChunk: 34341987140 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1112064 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= 71680 MiB
End job on node132 at 2016-06-06 16:52:48