| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.14 | 1800.49 |
| Name | normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob4.opb |
| MD5SUM | 65ff8d8fa0c74cfadd531eacdf92ff06 |
| Bench Category | DEC-MEDINT (no optimisation, medium integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 63.45 |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 82 |
| Total number of constraints | 2 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2 |
| Minimum length of a constraint | 82 |
| Maximum length of a constraint | 82 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 60575666 |
| Number of bits of the biggest number in a constraint | 26 |
| Biggest sum of numbers in a constraint | 801239175 |
| Number of bits of the biggest sum of numbers | 30 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T20:43:50+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-4078591-1465238629.opb"] 0.00/0.01 c use --random-gen="1510887524 2185028691 3141861146 1908631231 1681843103 3686134775 2040316587 605676006 1773672704 2725380086 649251602 2960929607 3665757561 2596465882 687637017 4137219331 1950593668 3638532256 3895678008 2311525785 439872834 4191865469 1710729721 493681686 2630752314 890390220 3106665021 2671199412 1844066585 2302008697 2375904558 91413182 854646494 3236298313 3852858106 2811838893 3494821240 2421296510 3728871767 570366265 2775755328 1973997691 2823143557 49220745 920988166 1562192357 1744804507 1944647090 2627854688 4265796679 840456831 1717074592 2380813435 2075167744 2088906190 1172693435 1463504305 378774924 1297094994 3233195528 4100701862 3527981432 1657689179 241976636 2523387270 2401576062 4281715944 3737745051 2157571019 2052433483 118415170 3921183752 2317532476 3016908694 71008556 2754787193 2791410095 3118080637 1215157376 995776195 3316906520 664398547 381452867 2997338584 2533254697 3343324100 85858985 4294002582 467013629 3161555624 29154732 3629049714 1356856378 260220579 1340653823 3969412579 1731031069 1869169347 1476816859 339392441 2986770004 3037939251 1157880798 1217911458 1706211233 2166864324 71100785 3357080854 2444291111 1435881744 4203995867 857583290 2230957078 2801091197 3300131901 3078916318 3578881670 2578059375 2542662021 438420471 1105428234 765436642 930064303 1450781186 655943203 3981976654 2848538175 1092264688 1243371424 1452158599 274590299 4112160234 3311266755 3872013931 1299295094 2541560531 3366118198 849533332 4074157082 50003416 959216772 2975942301 1821162292 1292653227 3986220737 1820076077 2938666566 931109845 635878005 3409606597 2357101425 3883333534 1356124675 2455845536 2536097958 3481070806 2439233114 701172536 3213007930 3801899343 3996740319 3729545509 3851789612 3669863009 3885142825 70499871 616604993 104807974 142116558 1141402303 3641766889 1164168329 3654526985 3866080540 3527817541 3781215958 3308094317 3632009575 620975868 3363295364 3526015114 98567835 1107400686 2908547619 642373769 1833314590 424121972 3412147777 2559433160 623855597 421792291 2219686832 422611445 3267821191 2562116099 2910121159 1844013988 3301481328 734558970 3684780800 2822921961 2450165009 2461754769 509329799 1483254291 2548443231 3025542387 1395000301 3990083899 640134914 2522969399 2568862497 3941513754 15133352 2660907056 1386368737 3164582675 2106584358 3251631347 1833749024 1420189688 2287969863 4253006481 2605392674 2243895509 3867383529 2957528880 655400914 2049590148 2160872366 1475346763 2899791416 427713041 3927589930 2835776209 603521067 1432296352 1416914998 3271304454 331002489 2951820095 4027079450 3475223689 429590682 2258635413 3513147578 3486656452 922481765 2358791021 870444240 1195049130 1712961346 2102785599 914220273 3537215656 4064647602 255 362436" option to reproduce the execution 0.00/0.01 c #vars 82 0.00/0.01 c #constraints 2 267.44/267.59 c Solving starts ... 267.44/267.59 c ============================[ Search Statistics ]============================ 267.44/267.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 267.44/267.59 c | | | | Limit GC | Var | Constra 267.44/267.59 c ============================================================================= 267.44/267.59 c 0.0s | 0 | 0 | 0 | 28 0 | 0 | 0 267.54/267.60 c 0.0s | 1 | 110 | 100 | 28 1 | 0 | 0 267.54/267.62 c 0.0s | 2 | 272 | 250 | 31 4 | 0 | 0 267.54/267.65 c 0.1s | 3 | 505 | 475 | 35 9 | 0 | 0 267.54/267.69 c 0.1s | 4 | 849 | 813 | 39 16 | 0 | 0 267.64/267.75 c 0.2s | 5 | 1365 | 1320 | 43 26 | 0 | 0 267.74/267.85 c 0.3s | 6 | 2137 | 2081 | 53 40 | 0 | 0 267.94/268.00 c 0.4s | 7 | 3291 | 3223 | 59 60 | 0 | 0 268.13/268.22 c 0.6s | 8 | 5014 | 4936 | 65 88 | 0 | 0 268.44/268.54 c 1.0s | 9 | 7596 | 7506 | 72 128 | 0 | 0 268.93/269.03 c 1.4s | 10 | 11467 | 11361 | 80 185 | 0 | 0 269.63/269.76 c 2.2s | 11 | 17265 | 17144 | 88 268 | 0 | 0 270.73/270.85 c 3.3s | 12 | 25947 | 25819 | 97 386 | 0 | 0 272.33/272.49 c 4.9s | 13 | 38968 | 38832 | 107 554 | 0 | 0 274.33/274.49 c 6.9s | 13 | 55098 | 54932 | 107 750 | 0 | 0 274.83/274.95 c 7.4s | 14 | 58519 | 58352 | 118 790 | 0 | 0 276.83/276.95 c 9.4s | 14 | 73382 | 73152 | 118 954 | 0 | 0 278.83/278.93 c 11.3s | 15 | 87890 | 87632 | 130 1118 | 0 | 0 280.83/280.94 c 13.4s | 15 | 102513 | 102232 | 130 1269 | 0 | 0 282.83/282.95 c 15.4s | 15 | 116722 | 116432 | 130 1418 | 0 | 0 284.83/284.95 c 17.4s | 15 | 130828 | 130532 | 130 1565 | 0 | 0 285.03/285.10 c 17.5s | 16 | 131846 | 131552 | 143 1575 | 0 | 0 286.92/287.10 c 19.5s | 16 | 145167 | 144852 | 143 1705 | 0 | 0 289.03/289.11 c 21.5s | 16 | 158777 | 158452 | 143 1841 | 0 | 0 291.03/291.12 c 23.5s | 16 | 172574 | 172252 | 143 1982 | 0 | 0 293.03/293.13 c 25.5s | 16 | 186284 | 185952 | 143 2119 | 0 | 0 294.74/294.81 c 27.2s | 17 | 197772 | 197432 | 158 2233 | 0 | 0 296.73/296.81 c 29.2s | 17 | 211492 | 211132 | 158 2358 | 0 | 0 298.73/298.82 c 31.2s | 17 | 225402 | 225032 | 158 2487 | 0 | 0 300.73/300.83 c 33.2s | 17 | 239213 | 238832 | 158 2615 | 0 | 0 302.72/302.83 c 35.2s | 17 | 253227 | 252832 | 158 2747 | 0 | 0 304.73/304.84 c 37.3s | 17 | 267428 | 267032 | 158 2881 | 0 | 0 306.73/306.85 c 39.3s | 17 | 281533 | 281132 | 158 3013 | 0 | 0 308.72/308.85 c 41.3s | 17 | 295445 | 295032 | 174 3141 | 0 | 0 308.92/309.03 c 41.4s | 18 | 296663 | 296252 | 174 3152 | 0 | 0 310.93/311.03 c 43.4s | 18 | 310985 | 310552 | 174 3276 | 0 | 0 312.93/313.04 c 45.5s | 18 | 324885 | 324452 | 174 3396 | 0 | 0 314.93/315.04 c 47.5s | 18 | 338989 | 338552 | 174 3519 | 0 | 0 316.92/317.04 c 49.5s | 18 | 353188 | 352752 | 174 3644 | 0 | 0 318.93/319.04 c 51.5s | 18 | 367297 | 366852 | 174 3767 | 0 | 0 320.92/321.05 c 53.5s | 18 | 381703 | 381252 | 174 3896 | 0 | 0 322.92/323.06 c 55.5s | 18 | 396112 | 395652 | 174 4023 | 0 | 0 324.92/325.06 c 57.5s | 18 | 410216 | 409752 | 174 4145 | 0 | 0 326.92/327.07 c 59.5s | 18 | 424318 | 423852 | 174 4268 | 0 | 0 328.93/329.08 c 61.5s | 18 | 438518 | 438052 | 174 4391 | 0 | 0 329.83/330.00 c 62.4s | 19 | 444956 | 444482 | 192 4445 | 0 | 0 331.92/332.01 c 64.4s | 19 | 458774 | 458282 | 192 4554 | 0 | 0 333.92/334.02 c 66.4s | 19 | 472484 | 471982 | 192 4663 | 0 | 0 335.92/336.03 c 68.4s | 19 | 486286 | 485782 | 192 4773 | 0 | 0 337.92/338.03 c 70.4s | 19 | 499991 | 499482 | 192 4882 | 0 | 0 339.93/340.05 c 72.5s | 19 | 513692 | 513182 | 192 4990 | 0 | 0 341.92/342.06 c 74.5s | 19 | 527493 | 526982 | 192 5100 | 0 | 0 343.92/344.07 c 76.5s | 19 | 541195 | 540682 | 192 5211 | 0 | 0 345.92/346.07 c 78.5s | 19 | 555000 | 554482 | 192 5322 | 0 | 0 347.92/348.08 c 80.5s | 19 | 568703 | 568182 | 192 5430 | 0 | 0 349.91/350.09 c 82.5s | 19 | 582613 | 582082 | 192 5542 | 0 | 0 351.93/352.09 c 84.5s | 19 | 596612 | 596082 | 192 5655 | 0 | 0 353.92/354.09 c 86.5s | 19 | 610423 | 609882 | 192 5766 | 0 | 0 355.92/356.10 c 88.5s | 19 | 624225 | 623682 | 192 5878 | 0 | 0 358.02/358.10 c 90.5s | 19 | 638226 | 637682 | 192 5991 | 0 | 0 360.02/360.11 c 92.5s | 19 | 652133 | 651582 | 192 6105 | 0 | 0 362.01/362.12 c 94.5s | 19 | 665833 | 665282 | 212 6216 | 0 | 0 362.21/362.34 c 94.8s | 20 | 667380 | 666827 | 212 6228 | 0 | 0 364.22/364.36 c 96.8s | 20 | 681196 | 680627 | 212 6329 | 0 | 0 366.23/366.37 c 98.8s | 20 | 695095 | 694527 | 212 6431 | 0 | 0 368.22/368.37 c 100s | 20 | 708998 | 708427 | 212 6535 | 0 | 0 370.21/370.37 c 102s | 20 | 723111 | 722527 | 212 6640 | 0 | 0 372.22/372.38 c 104s | 20 | 737102 | 736527 | 212 6745 | 0 | 0 374.21/374.39 c 106s | 20 | 750707 | 750127 | 212 6845 | 0 | 0 376.23/376.40 c 108s | 20 | 764309 | 763727 | 212 6945 | 0 | 0 378.32/378.41 c 110s | 20 | 778108 | 777527 | 212 7047 | 0 | 0 380.31/380.41 c 112s | 20 | 792310 | 791727 | 212 7154 | 0 | 0 382.32/382.43 c 114s | 20 | 806210 | 805627 | 212 7257 | 0 | 0 384.31/384.44 c 116s | 20 | 820513 | 819927 | 212 7365 | 0 | 0 386.31/386.44 c 118s | 20 | 834517 | 833927 | 212 7470 | 0 | 0 388.32/388.45 c 120s | 20 | 848421 | 847827 | 212 7574 | 0 | 0 390.31/390.46 c 122s | 20 | 862420 | 861827 | 212 7680 | 0 | 0 392.32/392.47 c 124s | 20 | 876331 | 875727 | 212 7784 | 0 | 0 394.31/394.47 c 126s | 20 | 890139 | 889527 | 212 7887 | 0 | 0 396.31/396.48 c 128s | 20 | 904242 | 903627 | 212 7993 | 0 | 0 398.31/398.48 c 130s | 20 | 918347 | 917727 | 212 8100 | 0 | 0 400.31/400.49 c 132s | 20 | 932349 | 931727 | 212 8205 | 0 | 0 402.31/402.50 c 134s | 20 | 946354 | 945727 | 212 8311 | 0 | 0 404.41/404.50 c 136s | 20 | 960057 | 959427 | 212 8412 | 0 | 0 406.41/406.50 c 138s | 20 | 973960 | 973327 | 212 8515 | 0 | 0 408.41/408.51 c 140s | 20 | 984059 | 983427 | 212 8591 | 0 | 0 410.41/410.52 c 142s | 20 | 997860 | 997227 | 234 8692 | 0 | 0 410.81/410.98 c 143s | 21 | 1000980 | 1000345 | 234 8714 | 0 | 0 412.81/412.98 c 145s | 21 | 1014298 | 1013645 | 234 8805 | 0 | 0 414.81/414.98 c 147s | 21 | 1027709 | 1027045 | 234 8896 | 0 | 0 416.82/416.99 c 149s | 21 | 1041322 | 1040645 | 234 8991 | 0 | 0 418.91/419.01 c 151s | 21 | 1054718 | 1054045 | 234 9083 | 0 | 0 420.91/421.02 c 153s | 21 | 1068133 | 1067445 | 234 9175 | 0 | 0 422.91/423.03 c 155s | 21 | 1081738 | 1081045 | 234 9269 | 0 | 0 424.90/425.03 c 157s | 21 | 1095145 | 1094445 | 234 9362 | 0 | 0 426.90/427.04 c 159s | 21 | 1108652 | 1107945 | 234 9455 | 0 | 0 428.91/429.05 c 161s | 21 | 1122261 | 1121545 | 234 9551 | 0 | 0 430.90/431.06 c 163s | 21 | 1135964 | 1135245 | 234 9646 | 0 | 0 432.90/433.08 c 165s | 21 | 1149676 | 1148945 | 234 9742 | 0 | 0 434.90/435.08 c 167s | 21 | 1163489 | 1162745 | 234 9838 | 0 | 0 436.90/437.09 c 169s | 21 | 1177183 | 1176445 | 234 9932 | 0 | 0 439.00/439.10 c 171s | 21 | 1190892 | 1190145 | 234 10026 | 0 | 0 441.01/441.11 c 173s | 21 | 1204504 | 1203745 | 234 10120 | 0 | 0 443.00/443.12 c 175s | 21 | 1218298 | 1217545 | 234 10216 | 0 | 0 445.00/445.12 c 177s | 21 | 1232123 | 1231345 | 234 10312 | 0 | 0 447.00/447.13 c 179s | 21 | 1245823 | 1245045 | 234 10407 | 0 | 0 449.00/449.13 c 181s | 21 | 1259623 | 1258845 | 234 10503 | 0 | 0 451.00/451.14 c 183s | 21 | 1273533 | 1272745 | 234 10600 | 0 | 0 452.99/453.15 c 185s | 21 | 1287337 | 1286545 | 234 10696 | 0 | 0 454.99/455.17 c 187s | 21 | 1301145 | 1300345 | 234 10790 | 0 | 0 456.99/457.17 c 189s | 21 | 1315047 | 1314245 | 234 10886 | 0 | 0 458.99/459.19 c 191s | 21 | 1329051 | 1328245 | 234 10984 | 0 | 0 460.99/461.19 c 193s | 21 | 1343164 | 1342345 | 234 11082 | 0 | 0 463.10/463.21 c 195s | 21 | 1357060 | 1356245 | 234 11179 | 0 | 0 465.09/465.21 c 197s | 21 | 1371165 | 1370345 | 234 11278 | 0 | 0 467.09/467.22 c 199s | 21 | 1385464 | 1384645 | 234 11379 | 0 | 0 469.09/469.24 c 201s | 21 | 1399667 | 1398845 | 234 11479 | 0 | 0 471.09/471.25 c 203s | 21 | 1413976 | 1413145 | 234 11580 | 0 | 0 473.09/473.26 c 205s | 21 | 1428385 | 1427545 | 234 11684 | 0 | 0 475.09/475.27 c 207s | 21 | 1442483 | 1441645 | 234 11786 | 0 | 0 477.09/477.28 c 209s | 21 | 1456093 | 1455245 | 234 11880 | 0 | 0 479.08/479.29 c 211s | 21 | 1469695 | 1468845 | 234 11973 | 0 | 0 481.08/481.29 c 213s | 21 | 1483501 | 1482645 | 234 12068 | 0 | 0 483.18/483.30 c 215s | 21 | 1497208 | 1496345 | 258 12159 | 0 | 0 483.78/483.94 c 216s | 22 | 1501481 | 1500622 | 258 12186 | 0 | 0 485.78/485.94 c 218s | 22 | 1514799 | 1513922 | 258 12269 | 0 | 0 487.78/487.95 c 220s | 22 | 1527907 | 1527022 | 258 12352 | 0 | 0 489.78/489.95 c 222s | 22 | 1541211 | 1540322 | 258 12436 | 0 | 0 491.78/491.96 c 224s | 22 | 1554714 | 1553822 | 258 12522 | 0 | 0 493.80/493.98 c 226s | 22 | 1568321 | 1567422 | 258 12609 | 0 | 0 495.79/495.98 c 228s | 22 | 1581919 | 1581022 | 258 12695 | 0 | 0 497.79/497.99 c 230s | 22 | 1595422 | 1594522 | 258 12781 | 0 | 0 499.89/500.01 c 232s | 22 | 1609128 | 1608222 | 258 12869 | 0 | 0 501.89/502.01 c 234s | 22 | 1622834 | 1621922 | 258 12958 | 0 | 0 503.89/504.01 c 236s | 22 | 1636738 | 1635822 | 258 13047 | 0 | 0 505.89/506.02 c 238s | 22 | 1650550 | 1649622 | 258 13137 | 0 | 0 507.89/508.04 c 240s | 22 | 1664352 | 1663422 | 258 13225 | 0 | 0 509.89/510.05 c 242s | 22 | 1678254 | 1677322 | 258 13313 | 0 | 0 511.88/512.06 c 244s | 22 | 1691966 | 1691022 | 258 13400 | 0 | 0 513.88/514.06 c 246s | 22 | 1705667 | 1704722 | 258 13488 | 0 | 0 515.89/516.07 c 248s | 22 | 1719574 | 1718622 | 258 13578 | 0 | 0 517.88/518.08 c 250s | 22 | 1733580 | 1732622 | 258 13668 | 0 | 0 519.88/520.09 c 252s | 22 | 1747579 | 1746622 | 258 13757 | 0 | 0 521.98/522.10 c 254s | 22 | 1761479 | 1760522 | 258 13846 | 0 | 0 523.98/524.10 c 256s | 22 | 1775278 | 1774322 | 258 13935 | 0 | 0 525.98/526.10 c 258s | 22 | 1789081 | 1788122 | 258 14025 | 0 | 0 527.98/528.11 c 260s | 22 | 1802781 | 1801822 | 258 14113 | 0 | 0 529.98/530.11 c 262s | 22 | 1816789 | 1815822 | 258 14204 | 0 | 0 531.98/532.11 c 264s | 22 | 1830392 | 1829422 | 258 14291 | 0 | 0 533.97/534.13 c 266s | 22 | 1844196 | 1843222 | 258 14380 | 0 | 0 535.97/536.13 c 268s | 22 | 1857996 | 1857022 | 258 14470 | 0 | 0 537.97/538.14 c 270s | 22 | 1871704 | 1870722 | 258 14559 | 0 | 0 539.98/540.14 c 272s | 22 | 1885410 | 1884422 | 258 14647 | 0 | 0 541.97/542.15 c 274s | 22 | 1899207 | 1898222 | 258 14737 | 0 | 0 543.97/544.16 c 276s | 22 | 1913115 | 1912122 | 258 14828 | 0 | 0 545.97/546.17 c 278s | 22 | 1926714 | 1925722 | 258 14918 | 0 | 0 547.97/548.18 c 280s | 22 | 1940223 | 1939222 | 258 15004 | 0 | 0 549.97/550.19 c 282s | 22 | 1953524 | 1952522 | 258 15088 | 0 | 0 551.97/552.20 c 284s | 22 | 1967233 | 1966222 | 258 15175 | 0 | 0 554.07/554.21 c 286s | 22 | 1980634 | 1979622 | 258 15260 | 0 | 0 556.07/556.21 c 288s | 22 | 1994035 | 1993022 | 258 15346 | 0 | 0 558.06/558.22 c 290s | 22 | 2007839 | 2006822 | 258 15435 | 0 | 0 560.06/560.22 c 292s | 22 | 2021037 | 2020022 | 258 15519 | 0 | 0 562.07/562.22 c 294s | 22 | 2034540 | 2033522 | 258 15606 | 0 | 0 564.06/564.22 c 296s | 22 | 2048042 | 2047022 | 258 15692 | 0 | 0 566.06/566.23 c 298s | 22 | 2061544 | 2060522 | 258 15779 | 0 | 0 568.06/568.24 c 300s | 22 | 2075353 | 2074322 | 258 15868 | 0 | 0 570.06/570.25 c 302s | 22 | 2089165 | 2088122 | 258 15957 | 0 | 0 572.06/572.26 c 304s | 22 | 2102964 | 2101922 | 258 16046 | 0 | 0 574.07/574.26 c 306s | 22 | 2116767 | 2115722 | 258 16136 | 0 | 0 576.06/576.27 c 308s | 22 | 2130465 | 2129422 | 258 16224 | 0 | 0 578.06/578.28 c 310s | 22 | 2143768 | 2142722 | 258 16308 | 0 | 0 580.06/580.29 c 312s | 22 | 2157177 | 2156122 | 258 16394 | 0 | 0 582.06/582.29 c 314s | 22 | 2170779 | 2169722 | 258 16481 | 0 | 0 584.16/584.30 c 316s | 22 | 2184385 | 2183322 | 258 16568 | 0 | 0 586.17/586.31 c 318s | 22 | 2198283 | 2197222 | 258 16657 | 0 | 0 588.16/588.33 c 320s | 22 | 2212082 | 2211022 | 258 16745 | 0 | 0 590.16/590.33 c 322s | 22 | 2225996 | 2224922 | 258 16835 | 0 | 0 592.16/592.33 c 324s | 22 | 2239908 | 2238822 | 284 16923 | 0 | 0 593.96/594.19 c 326s | 23 | 2252127 | 2251038 | 284 16995 | 0 | 0 595.96/596.19 c 328s | 23 | 2265454 | 2264338 | 284 17072 | 0 | 0 598.06/598.20 c 330s | 23 | 2278859 | 2277738 | 284 17150 | 0 | 0 600.06/600.21 c 332s | 23 | 2292363 | 2291238 | 284 17229 | 0 | 0 602.05/602.22 c 334s | 23 | 2305466 | 2304338 | 284 17306 | 0 | 0 604.05/604.23 c 336s | 23 | 2318680 | 2317538 | 284 17383 | 0 | 0 606.06/606.23 c 338s | 23 | 2332186 | 2331038 | 284 17462 | 0 | 0 608.05/608.24 c 340s | 23 | 2345689 | 2344538 | 284 17540 | 0 | 0 610.06/610.24 c 342s | 23 | 2359204 | 2358038 | 284 17619 | 0 | 0 612.06/612.25 c 344s | 23 | 2372802 | 2371638 | 284 17700 | 0 | 0 614.06/614.26 c 346s | 23 | 2386416 | 2385238 | 284 17780 | 0 | 0 616.06/616.26 c 348s | 23 | 2400124 | 2398938 | 284 17860 | 0 | 0 618.06/618.27 c 350s | 23 | 2413920 | 2412738 | 284 17940 | 0 | 0 620.06/620.27 c 352s | 23 | 2427127 | 2425938 | 284 18017 | 0 | 0 622.06/622.27 c 354s | 23 | 2440728 | 2439538 | 284 18097 | 0 | 0 624.05/624.29 c 356s | 23 | 2453938 | 2452738 | 284 18174 | 0 | 0 626.15/626.30 c 358s | 23 | 2467538 | 2466338 | 284 18255 | 0 | 0 628.15/628.31 c 360s | 23 | 2480739 | 2479538 | 284 18332 | 0 | 0 630.16/630.32 c 362s | 23 | 2494249 | 2493038 | 284 18412 | 0 | 0 632.15/632.33 c 364s | 23 | 2507457 | 2506238 | 284 18489 | 0 | 0 634.14/634.33 c 366s | 23 | 2520558 | 2519338 | 284 18566 | 0 | 0 636.14/636.34 c 368s | 23 | 2533865 | 2532638 | 284 18644 | 0 | 0 638.14/638.34 c 370s | 23 | 2547069 | 2545838 | 284 18721 | 0 | 0 640.15/640.35 c 372s | 23 | 2560779 | 2559538 | 284 18801 | 0 | 0 642.14/642.36 c 374s | 23 | 2574274 | 2573038 | 284 18880 | 0 | 0 644.14/644.37 c 376s | 23 | 2588082 | 2586838 | 284 18962 | 0 | 0 646.14/646.38 c 378s | 23 | 2601684 | 2600438 | 284 19043 | 0 | 0 648.14/648.38 c 380s | 23 | 2615090 | 2613838 | 284 19123 | 0 | 0 650.14/650.39 c 382s | 23 | 2628491 | 2627238 | 284 19202 | 0 | 0 652.14/652.40 c 384s | 23 | 2642204 | 2640938 | 284 19283 | 0 | 0 654.23/654.41 c 386s | 23 | 2656106 | 2654838 | 284 19364 | 0 | 0 656.23/656.41 c 388s | 23 | 2669714 | 2668438 | 284 19444 | 0 | 0 658.23/658.42 c 390s | 23 | 2683116 | 2681838 | 284 19522 | 0 | 0 660.24/660.42 c 392s | 23 | 2696313 | 2695038 | 284 19600 | 0 | 0 662.24/662.43 c 394s | 23 | 2709721 | 2708438 | 284 19678 | 0 | 0 664.24/664.45 c 396s | 23 | 2723421 | 2722138 | 284 19758 | 0 | 0 666.24/666.45 c 398s | 23 | 2736623 | 2735338 | 284 19836 | 0 | 0 668.24/668.46 c 400s | 23 | 2750032 | 2748738 | 284 19915 | 0 | 0 670.24/670.47 c 402s | 23 | 2763341 | 2762038 | 284 19994 | 0 | 0 672.24/672.47 c 404s | 23 | 2776438 | 2775138 | 284 20072 | 0 | 0 674.24/674.47 c 406s | 23 | 2789443 | 2788138 | 284 20148 | 0 | 0 676.23/676.47 c 408s | 23 | 2802746 | 2801438 | 284 20227 | 0 | 0 678.23/678.48 c 410s | 23 | 2815857 | 2814538 | 284 20304 | 0 | 0 680.23/680.49 c 412s | 23 | 2829057 | 2827738 | 284 20382 | 0 | 0 682.33/682.50 c 414s | 23 | 2842369 | 2841038 | 284 20462 | 0 | 0 684.33/684.51 c 416s | 23 | 2855472 | 2854138 | 284 20539 | 0 | 0 686.33/686.52 c 418s | 23 | 2868368 | 2867038 | 284 20615 | 0 | 0 688.33/688.53 c 420s | 23 | 2881380 | 2880038 | 284 20692 | 0 | 0 690.33/690.53 c 422s | 23 | 2894283 | 2892938 | 284 20768 | 0 | 0 692.33/692.54 c 424s | 23 | 2907203 | 2905838 | 284 20845 | 0 | 0 694.33/694.55 c 426s | 23 | 2920404 | 2919038 | 284 20924 | 0 | 0 696.33/696.56 c 428s | 23 | 2933509 | 2932138 | 284 21001 | 0 | 0 698.33/698.57 c 430s | 23 | 2946821 | 2945438 | 284 21081 | 0 | 0 700.33/700.58 c 432s | 23 | 2960226 | 2958838 | 284 21162 | 0 | 0 702.32/702.59 c 435s | 23 | 2973629 | 2972238 | 284 21242 | 0 | 0 704.42/704.60 c 437s | 23 | 2986833 | 2985438 | 284 21322 | 0 | 0 706.42/706.61 c 439s | 23 | 3000640 | 2999238 | 284 21406 | 0 | 0 708.42/708.61 c 441s | 23 | 3014336 | 3012938 | 284 21490 | 0 | 0 710.43/710.63 c 443s | 23 | 3027643 | 3026238 | 284 21568 | 0 | 0 712.42/712.63 c 445s | 23 | 3040944 | 3039538 | 284 21647 | 0 | 0 714.42/714.65 c 447s | 23 | 3054147 | 3052738 | 284 21725 | 0 | 0 716.42/716.65 c 449s | 23 | 3067350 | 3065938 | 284 21803 | 0 | 0 718.42/718.66 c 451s | 23 | 3080761 | 3079338 | 284 21883 | 0 | 0 720.43/720.67 c 453s | 23 | 3093961 | 3092538 | 284 21962 | 0 | 0 722.42/722.68 c 455s | 23 | 3107577 | 3106138 | 284 22043 | 0 | 0 724.42/724.70 c 457s | 23 | 3120875 | 3119438 | 284 22123 | 0 | 0 726.52/726.71 c 459s | 23 | 3134485 | 3133038 | 284 22204 | 0 | 0 728.52/728.72 c 461s | 23 | 3148103 | 3146638 | 284 22283 | 0 | 0 730.52/730.73 c 463s | 23 | 3161611 | 3160138 | 284 22361 | 0 | 0 732.52/732.73 c 465s | 23 | 3174908 | 3173438 | 284 22438 | 0 | 0 734.51/734.74 c 467s | 23 | 3188211 | 3186738 | 284 22516 | 0 | 0 736.51/736.74 c 469s | 23 | 3201613 | 3200138 | 284 22595 | 0 | 0 738.51/738.75 c 471s | 23 | 3214716 | 3213238 | 284 22671 | 0 | 0 740.51/740.76 c 473s | 23 | 3228127 | 3226638 | 284 22750 | 0 | 0 742.51/742.77 c 475s | 23 | 3241229 | 3239738 | 284 22826 | 0 | 0 744.51/744.78 c 477s | 23 | 3254535 | 3253038 | 284 22905 | 0 | 0 746.61/746.80 c 479s | 23 | 3267854 | 3266338 | 284 22983 | 0 | 0 748.61/748.81 c 481s | 23 | 3281162 | 3279638 | 284 23062 | 0 | 0 750.61/750.82 c 483s | 23 | 3294574 | 3293038 | 284 23142 | 0 | 0 752.61/752.83 c 485s | 23 | 3307984 | 3306438 | 284 23220 | 0 | 0 754.61/754.85 c 487s | 23 | 3321492 | 3319938 | 284 23300 | 0 | 0 756.61/756.85 c 489s | 23 | 3334498 | 3332938 | 284 23376 | 0 | 0 758.60/758.86 c 491s | 23 | 3347817 | 3346238 | 284 23455 | 0 | 0 760.60/760.87 c 493s | 23 | 3360932 | 3359338 | 313 23529 | 0 | 0 762.60/762.89 c 495s | 23 | 3374149 | 3372538 | 313 23601 | 0 | 0 763.32/763.54 c 495s | 24 | 3378277 | 3376662 | 313 23624 | 0 | 0 765.31/765.55 c 497s | 24 | 3390999 | 3389362 | 313 23692 | 0 | 0 767.31/767.55 c 499s | 24 | 3403503 | 3401862 | 313 23760 | 0 | 0 769.31/769.56 c 501s | 24 | 3416308 | 3414662 | 313 23829 | 0 | 0 771.31/771.56 c 503s | 24 | 3429025 | 3427362 | 313 23897 | 0 | 0 773.31/773.57 c 505s | 24 | 3441927 | 3440262 | 313 23966 | 0 | 0 775.32/775.57 c 507s | 24 | 3454535 | 3452862 | 313 24034 | 0 | 0 777.31/777.58 c 509s | 24 | 3467249 | 3465562 | 313 24102 | 0 | 0 779.31/779.59 c 512s | 24 | 3479953 | 3478262 | 313 24170 | 0 | 0 781.41/781.60 c 514s | 24 | 3492959 | 3491262 | 313 24241 | 0 | 0 783.41/783.61 c 516s | 24 | 3505565 | 3503862 | 313 24309 | 0 | 0 785.41/785.62 c 518s | 24 | 3518378 | 3516662 | 313 24378 | 0 | 0 787.41/787.64 c 520s | 24 | 3531277 | 3529562 | 313 24448 | 0 | 0 789.41/789.64 c 522s | 24 | 3544083 | 3542362 | 313 24518 | 0 | 0 791.41/791.64 c 524s | 24 | 3556785 | 3555062 | 313 24587 | 0 | 0 793.41/793.65 c 526s | 24 | 3569493 | 3567762 | 313 24657 | 0 | 0 795.41/795.65 c 528s | 24 | 3582205 | 3580462 | 313 24727 | 0 | 0 797.41/797.66 c 530s | 24 | 3594609 | 3592862 | 313 24793 | 0 | 0 799.40/799.66 c 532s | 24 | 3607214 | 3605462 | 313 24861 | 0 | 0 801.40/801.68 c 534s | 24 | 3620417 | 3618662 | 313 24933 | 0 | 0 803.40/803.69 c 536s | 24 | 3633319 | 3631562 | 313 25003 | 0 | 0 805.50/805.70 c 538s | 24 | 3646227 | 3644462 | 313 25073 | 0 | 0 807.50/807.71 c 540s | 24 | 3659329 | 3657562 | 313 25144 | 0 | 0 809.51/809.72 c 542s | 24 | 3672432 | 3670662 | 313 25215 | 0 | 0 811.50/811.73 c 544s | 24 | 3685537 | 3683762 | 313 25287 | 0 | 0 813.50/813.73 c 546s | 24 | 3698438 | 3696662 | 313 25356 | 0 | 0 815.50/815.74 c 548s | 24 | 3711737 | 3709962 | 313 25427 | 0 | 0 817.50/817.75 c 550s | 24 | 3724742 | 3722962 | 313 25497 | 0 | 0 819.50/819.75 c 552s | 24 | 3737848 | 3736062 | 313 25568 | 0 | 0 821.50/821.76 c 554s | 24 | 3750955 | 3749162 | 313 25639 | 0 | 0 823.50/823.77 c 556s | 24 | 3763958 | 3762162 | 313 25710 | 0 | 0 825.50/825.78 c 558s | 24 | 3776967 | 3775162 | 313 25781 | 0 | 0 827.50/827.79 c 560s | 24 | 3789867 | 3788062 | 313 25852 | 0 | 0 829.60/829.81 c 562s | 24 | 3802674 | 3800862 | 313 25923 | 0 | 0 831.60/831.81 c 564s | 24 | 3815374 | 3813562 | 313 25991 | 0 | 0 833.60/833.81 c 566s | 24 | 3828273 | 3826462 | 313 26060 | 0 | 0 835.59/835.83 c 568s | 24 | 3841588 | 3839762 | 313 26132 | 0 | 0 837.60/837.83 c 570s | 24 | 3855179 | 3853362 | 313 26206 | 0 | 0 839.60/839.85 c 572s | 24 | 3868382 | 3866562 | 313 26277 | 0 | 0 841.60/841.85 c 574s | 24 | 3881391 | 3879562 | 313 26347 | 0 | 0 843.61/843.85 c 576s | 24 | 3894696 | 3892862 | 313 26419 | 0 | 0 845.60/845.86 c 578s | 24 | 3907696 | 3905862 | 313 26490 | 0 | 0 847.60/847.87 c 580s | 24 | 3921000 | 3919162 | 313 26562 | 0 | 0 849.60/849.88 c 582s | 24 | 3934500 | 3932662 | 313 26636 | 0 | 0 851.60/851.89 c 584s | 24 | 3947810 | 3945962 | 313 26709 | 0 | 0 853.60/853.89 c 586s | 24 | 3961113 | 3959262 | 313 26780 | 0 | 0 855.60/855.90 c 588s | 24 | 3974316 | 3972462 | 313 26852 | 0 | 0 857.70/857.91 c 590s | 24 | 3987621 | 3985762 | 313 26925 | 0 | 0 859.70/859.92 c 592s | 24 | 4000729 | 3998862 | 313 26996 | 0 | 0 861.69/861.93 c 594s | 24 | 4013924 | 4012062 | 313 27068 | 0 | 0 863.69/863.94 c 596s | 24 | 4027036 | 4025162 | 313 27139 | 0 | 0 865.69/865.96 c 598s | 24 | 4040032 | 4038162 | 313 27210 | 0 | 0 867.70/867.97 c 600s | 24 | 4052943 | 4051062 | 313 27280 | 0 | 0 869.69/869.97 c 602s | 24 | 4065648 | 4063762 | 313 27350 | 0 | 0 871.69/871.98 c 604s | 24 | 4078554 | 4076662 | 313 27420 | 0 | 0 873.69/873.99 c 606s | 24 | 4091953 | 4090062 | 313 27493 | 0 | 0 875.79/876.00 c 608s | 24 | 4105059 | 4103162 | 313 27565 | 0 | 0 877.79/878.01 c 610s | 24 | 4118365 | 4116462 | 313 27637 | 0 | 0 879.79/880.01 c 612s | 24 | 4131463 | 4129562 | 313 27710 | 0 | 0 881.79/882.02 c 614s | 24 | 4144769 | 4142862 | 313 27782 | 0 | 0 883.79/884.03 c 616s | 24 | 4157878 | 4155962 | 313 27854 | 0 | 0 885.79/886.03 c 618s | 24 | 4171578 | 4169662 | 313 27929 | 0 | 0 887.78/888.04 c 620s | 24 | 4184579 | 4182662 | 313 28001 | 0 | 0 889.79/890.04 c 622s | 24 | 4197780 | 4195862 | 313 28074 | 0 | 0 891.78/892.05 c 624s | 24 | 4210887 | 4208962 | 313 28146 | 0 | 0 893.78/894.06 c 626s | 24 | 4224290 | 4222362 | 313 28221 | 0 | 0 895.78/896.08 c 628s | 24 | 4237600 | 4235662 | 313 28294 | 0 | 0 897.79/898.09 c 630s | 24 | 4250697 | 4248762 | 313 28366 | 0 | 0 899.79/900.09 c 632s | 24 | 4264002 | 4262062 | 313 28440 | 0 | 0 901.80/902.10 c 634s | 24 | 4277504 | 4275562 | 313 28514 | 0 | 0 903.89/904.10 c 636s | 24 | 4290815 | 4288862 | 313 28588 | 0 | 0 905.89/906.11 c 638s | 24 | 4304017 | 4302062 | 313 28661 | 0 | 0 907.89/908.12 c 640s | 24 | 4317321 | 4315362 | 313 28735 | 0 | 0 909.89/910.12 c 642s | 24 | 4330130 | 4328162 | 313 28806 | 0 | 0 911.89/912.13 c 644s | 24 | 4343436 | 4341462 | 313 28880 | 0 | 0 913.90/914.13 c 646s | 24 | 4356540 | 4354562 | 313 28952 | 0 | 0 915.89/916.15 c 648s | 24 | 4369742 | 4367762 | 313 29025 | 0 | 0 917.89/918.16 c 650s | 24 | 4382746 | 4380762 | 313 29098 | 0 | 0 919.89/920.17 c 652s | 24 | 4396154 | 4394162 | 313 29173 | 0 | 0 921.89/922.18 c 654s | 24 | 4409454 | 4407462 | 313 29247 | 0 | 0 923.89/924.19 c 656s | 24 | 4422664 | 4420662 | 313 29320 | 0 | 0 925.89/926.20 c 658s | 24 | 4435968 | 4433962 | 313 29394 | 0 | 0 927.99/928.20 c 660s | 24 | 4449174 | 4447162 | 313 29468 | 0 | 0 929.99/930.21 c 662s | 24 | 4462781 | 4460762 | 313 29546 | 0 | 0 931.99/932.21 c 664s | 24 | 4476692 | 4474662 | 313 29623 | 0 | 0 933.98/934.22 c 666s | 24 | 4490095 | 4488062 | 313 29698 | 0 | 0 935.99/936.23 c 668s | 24 | 4503193 | 4501162 | 313 29770 | 0 | 0 937.98/938.23 c 670s | 24 | 4516001 | 4513962 | 313 29839 | 0 | 0 939.98/940.24 c 672s | 24 | 4528109 | 4526062 | 313 29905 | 0 | 0 941.98/942.24 c 674s | 24 | 4540409 | 4538362 | 313 29972 | 0 | 0 943.98/944.26 c 676s | 24 | 4553011 | 4550962 | 313 30041 | 0 | 0 945.98/946.27 c 678s | 24 | 4565409 | 4563362 | 313 30109 | 0 | 0 947.99/948.28 c 680s | 24 | 4578113 | 4576062 | 313 30179 | 0 | 0 949.98/950.29 c 682s | 24 | 4590619 | 4588562 | 313 30247 | 0 | 0 951.98/952.29 c 684s | 24 | 4603319 | 4601262 | 313 30318 | 0 | 0 953.98/954.29 c 686s | 24 | 4616024 | 4613962 | 313 30389 | 0 | 0 956.08/956.31 c 688s | 24 | 4628626 | 4626562 | 313 30458 | 0 | 0 958.08/958.32 c 690s | 24 | 4641231 | 4639162 | 313 30527 | 0 | 0 960.09/960.33 c 692s | 24 | 4653632 | 4651562 | 313 30595 | 0 | 0 962.08/962.34 c 694s | 24 | 4666342 | 4664262 | 313 30665 | 0 | 0 964.08/964.35 c 696s | 24 | 4679043 | 4676962 | 313 30735 | 0 | 0 966.08/966.35 c 698s | 24 | 4691843 | 4689762 | 313 30805 | 0 | 0 968.08/968.35 c 700s | 24 | 4704553 | 4702462 | 313 30876 | 0 | 0 970.08/970.36 c 702s | 24 | 4717761 | 4715662 | 313 30949 | 0 | 0 972.08/972.38 c 704s | 24 | 4730565 | 4728462 | 313 31020 | 0 | 0 974.08/974.39 c 706s | 24 | 4743279 | 4741162 | 313 31091 | 0 | 0 976.18/976.40 c 708s | 24 | 4755987 | 4753862 | 313 31160 | 0 | 0 978.18/978.41 c 710s | 24 | 4768486 | 4766362 | 313 31229 | 0 | 0 980.17/980.42 c 712s | 24 | 4781187 | 4779062 | 313 31299 | 0 | 0 982.18/982.42 c 714s | 24 | 4793893 | 4791762 | 313 31369 | 0 | 0 984.17/984.44 c 716s | 24 | 4807096 | 4804962 | 313 31443 | 0 | 0 986.17/986.44 c 718s | 24 | 4820596 | 4818462 | 313 31519 | 0 | 0 988.17/988.45 c 720s | 24 | 4833602 | 4831462 | 313 31590 | 0 | 0 990.17/990.45 c 722s | 24 | 4846612 | 4844462 | 313 31662 | 0 | 0 992.17/992.46 c 724s | 24 | 4859620 | 4857462 | 313 31733 | 0 | 0 994.18/994.47 c 726s | 24 | 4872924 | 4870762 | 313 31807 | 0 | 0 996.17/996.47 c 728s | 24 | 4886135 | 4883962 | 313 31880 | 0 | 0 998.17/998.48 c 730s | 24 | 4899344 | 4897162 | 313 31953 | 0 | 0 1000.17/1000.49 c 732s | 24 | 4912945 | 4910762 | 313 32028 | 0 | 0 1002.17/1002.49 c 734s | 24 | 4926247 | 4924062 | 313 32102 | 0 | 0 1004.18/1004.49 c 736s | 24 | 4939652 | 4937462 | 313 32177 | 0 | 0 1006.17/1006.50 c 738s | 24 | 4952656 | 4950462 | 313 32249 | 0 | 0 1008.27/1008.51 c 740s | 24 | 4965559 | 4963362 | 313 32320 | 0 | 0 1010.27/1010.51 c 742s | 24 | 4978762 | 4976562 | 313 32393 | 0 | 0 1012.27/1012.52 c 744s | 24 | 4991568 | 4989362 | 313 32464 | 0 | 0 1014.27/1014.52 c 746s | 24 | 5004478 | 5002262 | 313 32535 | 0 | 0 1016.27/1016.52 c 748s | 24 | 5017183 | 5014962 | 313 32604 | 0 | 0 1018.26/1018.53 c 750s | 24 | 5029988 | 5027762 | 313 32674 | 0 | 0 1020.26/1020.54 c 752s | 24 | 5042794 | 5040562 | 345 32739 | 0 | 0 1022.26/1022.55 c 754s | 24 | 5055404 | 5053162 | 345 32802 | 0 | 0 1024.16/1024.40 c 756s | 25 | 5067351 | 5065098 | 345 32863 | 0 | 0 1026.07/1026.40 c 758s | 25 | 5080276 | 5077998 | 345 32927 | 0 | 0 1028.17/1028.41 c 760s | 25 | 5093176 | 5090898 | 345 32992 | 0 | 0 1030.17/1030.42 c 762s | 25 | 5105978 | 5103698 | 345 33056 | 0 | 0 1032.17/1032.42 c 764s | 25 | 5118783 | 5116498 | 345 33120 | 0 | 0 1034.17/1034.42 c 766s | 25 | 5131686 | 5129398 | 345 33186 | 0 | 0 1036.17/1036.43 c 768s | 25 | 5144601 | 5142298 | 345 33251 | 0 | 0 1038.18/1038.45 c 770s | 25 | 5157497 | 5155198 | 345 33316 | 0 | 0 1040.17/1040.46 c 772s | 25 | 5170399 | 5168098 | 345 33381 | 0 | 0 1042.17/1042.46 c 774s | 25 | 5183614 | 5181298 | 345 33447 | 0 | 0 1044.17/1044.47 c 776s | 25 | 5196609 | 5194298 | 345 33513 | 0 | 0 1046.17/1046.47 c 778s | 25 | 5209613 | 5207298 | 345 33579 | 0 | 0 1048.18/1048.47 c 780s | 25 | 5222416 | 5220098 | 345 33643 | 0 | 0 1050.17/1050.47 c 782s | 25 | 5235020 | 5232698 | 345 33707 | 0 | 0 1052.17/1052.48 c 784s | 25 | 5247724 | 5245398 | 345 33771 | 0 | 0 1054.17/1054.49 c 786s | 25 | 5260229 | 5257898 | 345 33835 | 0 | 0 1056.17/1056.50 c 788s | 25 | 5272632 | 5270298 | 345 33898 | 0 | 0 1058.27/1058.50 c 790s | 25 | 5285542 | 5283198 | 345 33963 | 0 | 0 1060.27/1060.51 c 792s | 25 | 5298538 | 5296198 | 345 34028 | 0 | 0 1062.27/1062.52 c 794s | 25 | 5311749 | 5309398 | 345 34095 | 0 | 0 1064.26/1064.52 c 796s | 25 | 5324552 | 5322198 | 345 34159 | 0 | 0 1066.26/1066.52 c 798s | 25 | 5337358 | 5334998 | 345 34223 | 0 | 0 1068.26/1068.53 c 800s | 25 | 5350263 | 5347898 | 345 34288 | 0 | 0 1070.26/1070.53 c 802s | 25 | 5363168 | 5360798 | 345 34353 | 0 | 0 1072.27/1072.54 c 804s | 25 | 5376074 | 5373698 | 345 34418 | 0 | 0 1074.26/1074.54 c 806s | 25 | 5389183 | 5386798 | 345 34485 | 0 | 0 1076.26/1076.55 c 808s | 25 | 5402487 | 5400098 | 345 34553 | 0 | 0 1078.26/1078.57 c 810s | 25 | 5415685 | 5413298 | 345 34620 | 0 | 0 1080.26/1080.57 c 812s | 25 | 5428494 | 5426098 | 345 34684 | 0 | 0 1082.27/1082.57 c 814s | 25 | 5441499 | 5439098 | 345 34750 | 0 | 0 1084.26/1084.58 c 816s | 25 | 5454399 | 5451998 | 345 34816 | 0 | 0 1086.26/1086.59 c 819s | 25 | 5467601 | 5465198 | 345 34883 | 0 | 0 1088.26/1088.59 c 821s | 25 | 5480603 | 5478198 | 345 34950 | 0 | 0 1090.36/1090.61 c 823s | 25 | 5493716 | 5491298 | 345 35017 | 0 | 0 1092.36/1092.62 c 825s | 25 | 5506622 | 5504198 | 345 35083 | 0 | 0 1094.37/1094.62 c 827s | 25 | 5519424 | 5516998 | 345 35148 | 0 | 0 1096.36/1096.62 c 829s | 25 | 5532529 | 5530098 | 345 35215 | 0 | 0 1098.36/1098.62 c 831s | 25 | 5545729 | 5543298 | 345 35283 | 0 | 0 1100.36/1100.64 c 833s | 25 | 5559337 | 5556898 | 345 35353 | 0 | 0 1102.36/1102.64 c 835s | 25 | 5572639 | 5570198 | 345 35421 | 0 | 0 1104.36/1104.65 c 837s | 25 | 5585753 | 5583298 | 345 35489 | 0 | 0 1106.36/1106.66 c 839s | 25 | 5599056 | 5596598 | 345 35557 | 0 | 0 1108.36/1108.67 c 841s | 25 | 5612162 | 5609698 | 345 35624 | 0 | 0 1110.36/1110.67 c 843s | 25 | 5625768 | 5623298 | 345 35695 | 0 | 0 1112.36/1112.68 c 845s | 25 | 5638970 | 5636498 | 345 35763 | 0 | 0 1114.36/1114.69 c 847s | 25 | 5651779 | 5649298 | 345 35827 | 0 | 0 1116.36/1116.69 c 849s | 25 | 5664183 | 5661698 | 345 35889 | 0 | 0 1118.46/1118.70 c 851s | 25 | 5676585 | 5674098 | 345 35950 | 0 | 0 1120.45/1120.71 c 853s | 25 | 5689094 | 5686598 | 345 36013 | 0 | 0 1122.45/1122.72 c 855s | 25 | 5701798 | 5699298 | 345 36076 | 0 | 0 1124.45/1124.73 c 857s | 25 | 5714619 | 5712098 | 345 36141 | 0 | 0 1126.45/1126.73 c 859s | 25 | 5727629 | 5725098 | 345 36206 | 0 | 0 1128.46/1128.75 c 861s | 25 | 5740234 | 5737698 | 345 36269 | 0 | 0 1130.45/1130.76 c 863s | 25 | 5752840 | 5750298 | 345 36332 | 0 | 0 1132.45/1132.77 c 865s | 25 | 5765339 | 5762798 | 345 36395 | 0 | 0 1134.45/1134.78 c 867s | 25 | 5777944 | 5775398 | 345 36459 | 0 | 0 1136.45/1136.79 c 869s | 25 | 5790549 | 5787998 | 345 36521 | 0 | 0 1138.45/1138.79 c 871s | 25 | 5802849 | 5800298 | 345 36583 | 0 | 0 1140.46/1140.79 c 873s | 25 | 5815146 | 5812598 | 345 36644 | 0 | 0 1142.55/1142.80 c 875s | 25 | 5827649 | 5825098 | 345 36707 | 0 | 0 1144.55/1144.81 c 877s | 25 | 5840154 | 5837598 | 345 36769 | 0 | 0 1146.55/1146.83 c 879s | 25 | 5852858 | 5850298 | 345 36833 | 0 | 0 1148.55/1148.83 c 881s | 25 | 5865566 | 5862998 | 345 36897 | 0 | 0 1150.55/1150.84 c 883s | 25 | 5878359 | 5875798 | 345 36961 | 0 | 0 1152.55/1152.84 c 885s | 25 | 5890867 | 5888298 | 345 37024 | 0 | 0 1154.55/1154.85 c 887s | 25 | 5903576 | 5900998 | 345 37087 | 0 | 0 1156.55/1156.86 c 889s | 25 | 5915976 | 5913398 | 345 37149 | 0 | 0 1158.55/1158.87 c 891s | 25 | 5928382 | 5925798 | 345 37211 | 0 | 0 1160.55/1160.88 c 893s | 25 | 5941285 | 5938698 | 345 37275 | 0 | 0 1162.55/1162.89 c 895s | 25 | 5953987 | 5951398 | 345 37339 | 0 | 0 1164.55/1164.89 c 897s | 25 | 5966688 | 5964098 | 345 37403 | 0 | 0 1166.64/1166.90 c 899s | 25 | 5979588 | 5976998 | 345 37468 | 0 | 0 1168.64/1168.90 c 901s | 25 | 5992293 | 5989698 | 345 37532 | 0 | 0 1170.64/1170.91 c 903s | 25 | 6005001 | 6002398 | 345 37595 | 0 | 0 1172.64/1172.93 c 905s | 25 | 6017699 | 6015098 | 345 37659 | 0 | 0 1174.65/1174.94 c 907s | 25 | 6030405 | 6027798 | 345 37723 | 0 | 0 1176.64/1176.95 c 909s | 25 | 6043411 | 6040798 | 345 37789 | 0 | 0 1178.65/1178.96 c 911s | 25 | 6056110 | 6053498 | 345 37853 | 0 | 0 1180.65/1180.96 c 913s | 25 | 6069117 | 6066498 | 345 37918 | 0 | 0 1182.65/1182.96 c 915s | 25 | 6081923 | 6079298 | 345 37983 | 0 | 0 1184.65/1184.97 c 917s | 25 | 6094329 | 6091698 | 345 38045 | 0 | 0 1186.65/1186.98 c 919s | 25 | 6107034 | 6104398 | 345 38109 | 0 | 0 1188.64/1188.99 c 921s | 25 | 6120039 | 6117398 | 345 38175 | 0 | 0 1190.74/1191.01 c 923s | 25 | 6132747 | 6130098 | 345 38240 | 0 | 0 1192.74/1193.01 c 925s | 25 | 6145354 | 6142698 | 345 38304 | 0 | 0 1194.74/1195.02 c 927s | 25 | 6158060 | 6155398 | 345 38368 | 0 | 0 1196.74/1197.04 c 929s | 25 | 6170759 | 6168098 | 345 38432 | 0 | 0 1198.75/1199.05 c 931s | 25 | 6183468 | 6180798 | 345 38496 | 0 | 0 1200.74/1201.06 c 933s | 25 | 6196069 | 6193398 | 345 38559 | 0 | 0 1202.74/1203.06 c 935s | 25 | 6208572 | 6205898 | 345 38622 | 0 | 0 1204.74/1205.08 c 937s | 25 | 6221272 | 6218598 | 345 38687 | 0 | 0 1206.74/1207.08 c 939s | 25 | 6233683 | 6230998 | 345 38750 | 0 | 0 1208.75/1209.09 c 941s | 25 | 6246187 | 6243498 | 345 38814 | 0 | 0 1210.74/1211.10 c 943s | 25 | 6258691 | 6255998 | 345 38877 | 0 | 0 1212.84/1213.10 c 945s | 25 | 6271291 | 6268598 | 345 38941 | 0 | 0 1214.84/1215.11 c 947s | 25 | 6284096 | 6281398 | 345 39007 | 0 | 0 1216.84/1217.11 c 949s | 25 | 6296610 | 6293898 | 345 39071 | 0 | 0 1218.84/1219.12 c 951s | 25 | 6309310 | 6306598 | 345 39134 | 0 | 0 1220.84/1221.12 c 953s | 25 | 6322220 | 6319498 | 345 39200 | 0 | 0 1222.84/1223.13 c 955s | 25 | 6335025 | 6332298 | 345 39265 | 0 | 0 1224.84/1225.14 c 957s | 25 | 6347831 | 6345098 | 345 39330 | 0 | 0 1226.84/1227.15 c 959s | 25 | 6360751 | 6357998 | 345 39396 | 0 | 0 1228.83/1229.15 c 961s | 25 | 6373852 | 6371098 | 345 39463 | 0 | 0 1230.83/1231.16 c 963s | 25 | 6386553 | 6383798 | 345 39528 | 0 | 0 1232.84/1233.16 c 965s | 25 | 6399353 | 6396598 | 345 39593 | 0 | 0 1234.83/1235.17 c 967s | 25 | 6412456 | 6409698 | 345 39659 | 0 | 0 1236.83/1237.18 c 969s | 25 | 6425554 | 6422798 | 345 39726 | 0 | 0 1238.83/1239.19 c 971s | 25 | 6438567 | 6435798 | 345 39791 | 0 | 0 1240.93/1241.20 c 973s | 25 | 6451571 | 6448798 | 345 39857 | 0 | 0 1242.93/1243.21 c 975s | 25 | 6464376 | 6461598 | 345 39923 | 0 | 0 1244.94/1245.21 c 977s | 25 | 6477379 | 6474598 | 345 39989 | 0 | 0 1246.93/1247.22 c 979s | 25 | 6490182 | 6487398 | 345 40054 | 0 | 0 1248.93/1249.22 c 981s | 25 | 6503381 | 6500598 | 345 40121 | 0 | 0 1250.94/1251.23 c 983s | 25 | 6516599 | 6513798 | 345 40188 | 0 | 0 1252.94/1253.24 c 985s | 25 | 6529988 | 6527198 | 345 40255 | 0 | 0 1254.94/1255.24 c 987s | 25 | 6542987 | 6540198 | 345 40320 | 0 | 0 1256.94/1257.26 c 989s | 25 | 6556095 | 6553298 | 345 40385 | 0 | 0 1258.94/1259.27 c 991s | 25 | 6569109 | 6566298 | 345 40450 | 0 | 0 1260.94/1261.28 c 993s | 25 | 6581924 | 6579098 | 345 40514 | 0 | 0 1262.94/1263.28 c 995s | 25 | 6594918 | 6592098 | 345 40579 | 0 | 0 1265.04/1265.30 c 997s | 25 | 6608219 | 6605398 | 345 40646 | 0 | 0 1267.04/1267.31 c 999s | 25 | 6620926 | 6618098 | 345 40710 | 0 | 0 1269.03/1269.32 c 1001s | 25 | 6633730 | 6630898 | 345 40774 | 0 | 0 1271.03/1271.33 c 1003s | 25 | 6646639 | 6643798 | 345 40840 | 0 | 0 1273.03/1273.34 c 1005s | 25 | 6659341 | 6656498 | 345 40903 | 0 | 0 1275.03/1275.34 c 1007s | 25 | 6671635 | 6668798 | 345 40965 | 0 | 0 1277.03/1277.35 c 1009s | 25 | 6684046 | 6681198 | 345 41027 | 0 | 0 1279.04/1279.36 c 1011s | 25 | 6696645 | 6693798 | 345 41091 | 0 | 0 1281.03/1281.37 c 1013s | 25 | 6709147 | 6706298 | 345 41154 | 0 | 0 1283.03/1283.38 c 1015s | 25 | 6721749 | 6718898 | 345 41217 | 0 | 0 1285.03/1285.39 c 1017s | 25 | 6734548 | 6731698 | 345 41282 | 0 | 0 1287.13/1287.40 c 1019s | 25 | 6747753 | 6744898 | 345 41350 | 0 | 0 1289.13/1289.41 c 1021s | 25 | 6760656 | 6757798 | 345 41415 | 0 | 0 1291.14/1291.42 c 1023s | 25 | 6773556 | 6770698 | 345 41479 | 0 | 0 1293.13/1293.42 c 1025s | 25 | 6786359 | 6783498 | 345 41543 | 0 | 0 1295.13/1295.43 c 1027s | 25 | 6799063 | 6796198 | 345 41608 | 0 | 0 1297.13/1297.44 c 1029s | 25 | 6811566 | 6808698 | 345 41671 | 0 | 0 1299.13/1299.45 c 1031s | 25 | 6823870 | 6820998 | 345 41733 | 0 | 0 1301.13/1301.45 c 1033s | 25 | 6836272 | 6833398 | 345 41796 | 0 | 0 1303.13/1303.46 c 1035s | 25 | 6848769 | 6845898 | 345 41860 | 0 | 0 1305.13/1305.47 c 1037s | 25 | 6861376 | 6858498 | 345 41924 | 0 | 0 1307.13/1307.47 c 1039s | 25 | 6873885 | 6870998 | 345 41987 | 0 | 0 1309.13/1309.47 c 1041s | 25 | 6886689 | 6883798 | 345 42051 | 0 | 0 1311.13/1311.48 c 1043s | 25 | 6899590 | 6896698 | 345 42117 | 0 | 0 1313.13/1313.49 c 1045s | 25 | 6912798 | 6909898 | 345 42183 | 0 | 0 1315.12/1315.49 c 1047s | 25 | 6925793 | 6922898 | 345 42250 | 0 | 0 1317.22/1317.50 c 1049s | 25 | 6938694 | 6935798 | 345 42315 | 0 | 0 1319.22/1319.52 c 1051s | 25 | 6951792 | 6948898 | 345 42382 | 0 | 0 1321.22/1321.53 c 1053s | 25 | 6964795 | 6961898 | 345 42448 | 0 | 0 1323.22/1323.55 c 1055s | 25 | 6977695 | 6974798 | 345 42514 | 0 | 0 1325.23/1325.55 c 1057s | 25 | 6990298 | 6987398 | 345 42578 | 0 | 0 1327.22/1327.56 c 1059s | 25 | 7003004 | 7000098 | 345 42642 | 0 | 0 1329.22/1329.57 c 1061s | 25 | 7015605 | 7012698 | 345 42705 | 0 | 0 1331.22/1331.58 c 1063s | 25 | 7028315 | 7025398 | 345 42770 | 0 | 0 1333.23/1333.58 c 1065s | 25 | 7040919 | 7037998 | 345 42833 | 0 | 0 1335.23/1335.58 c 1067s | 25 | 7053919 | 7050998 | 345 42900 | 0 | 0 1337.22/1337.59 c 1069s | 25 | 7067119 | 7064198 | 345 42967 | 0 | 0 1339.22/1339.59 c 1072s | 25 | 7081135 | 7078198 | 345 43038 | 0 | 0 1341.32/1341.60 c 1074s | 25 | 7094433 | 7091498 | 345 43105 | 0 | 0 1343.32/1343.60 c 1076s | 25 | 7107737 | 7104798 | 345 43174 | 0 | 0 1345.32/1345.60 c 1078s | 25 | 7120942 | 7117998 | 345 43242 | 0 | 0 1347.33/1347.61 c 1080s | 25 | 7133954 | 7130998 | 345 43308 | 0 | 0 1349.32/1349.62 c 1082s | 25 | 7146855 | 7143898 | 345 43373 | 0 | 0 1351.32/1351.64 c 1084s | 25 | 7159859 | 7156898 | 345 43439 | 0 | 0 1353.32/1353.64 c 1086s | 25 | 7172659 | 7169698 | 345 43505 | 0 | 0 1355.31/1355.64 c 1088s | 25 | 7185661 | 7182698 | 345 43572 | 0 | 0 1357.31/1357.65 c 1090s | 25 | 7198367 | 7195398 | 345 43636 | 0 | 0 1359.32/1359.66 c 1092s | 25 | 7211369 | 7208398 | 345 43703 | 0 | 0 1361.31/1361.66 c 1094s | 25 | 7224478 | 7221498 | 345 43770 | 0 | 0 1363.31/1363.67 c 1096s | 25 | 7237682 | 7234698 | 345 43838 | 0 | 0 1365.31/1365.68 c 1098s | 25 | 7250687 | 7247698 | 345 43904 | 0 | 0 1367.32/1367.68 c 1100s | 25 | 7263695 | 7260698 | 345 43969 | 0 | 0 1369.33/1369.69 c 1102s | 25 | 7276796 | 7273798 | 345 44036 | 0 | 0 1371.32/1371.69 c 1104s | 25 | 7289395 | 7286398 | 345 44099 | 0 | 0 1373.32/1373.69 c 1106s | 25 | 7301991 | 7298998 | 345 44163 | 0 | 0 1375.42/1375.70 c 1108s | 25 | 7314892 | 7311898 | 345 44228 | 0 | 0 1377.42/1377.71 c 1110s | 25 | 7327696 | 7324698 | 345 44293 | 0 | 0 1379.42/1379.73 c 1112s | 25 | 7340496 | 7337498 | 345 44358 | 0 | 0 1381.42/1381.73 c 1114s | 25 | 7353092 | 7350098 | 345 44422 | 0 | 0 1383.42/1383.74 c 1116s | 25 | 7365399 | 7362398 | 345 44484 | 0 | 0 1385.42/1385.75 c 1118s | 25 | 7378200 | 7375198 | 345 44549 | 0 | 0 1387.41/1387.75 c 1120s | 25 | 7391300 | 7388298 | 345 44615 | 0 | 0 1389.41/1389.76 c 1122s | 25 | 7404405 | 7401398 | 345 44682 | 0 | 0 1391.41/1391.76 c 1124s | 25 | 7417607 | 7414598 | 345 44749 | 0 | 0 1393.42/1393.78 c 1126s | 25 | 7430912 | 7427898 | 345 44817 | 0 | 0 1395.41/1395.78 c 1128s | 25 | 7444112 | 7441098 | 345 44885 | 0 | 0 1397.41/1397.79 c 1130s | 25 | 7457513 | 7454498 | 345 44954 | 0 | 0 1399.41/1399.79 c 1132s | 25 | 7471012 | 7467998 | 345 45023 | 0 | 0 1401.51/1401.80 c 1134s | 25 | 7484526 | 7481498 | 345 45093 | 0 | 0 1403.51/1403.81 c 1136s | 25 | 7497521 | 7494498 | 345 45158 | 0 | 0 1405.52/1405.81 c 1138s | 25 | 7510825 | 7507798 | 345 45226 | 0 | 0 1407.51/1407.82 c 1140s | 25 | 7524352 | 7521298 | 345 45293 | 0 | 0 1409.51/1409.83 c 1142s | 25 | 7537656 | 7534598 | 345 45359 | 0 | 0 1411.51/1411.83 c 1144s | 25 | 7550753 | 7547698 | 380 45422 | 0 | 0 1413.51/1413.84 c 1146s | 25 | 7563660 | 7560598 | 380 45481 | 0 | 0 1415.51/1415.85 c 1148s | 25 | 7576558 | 7573498 | 380 45539 | 0 | 0 1417.51/1417.86 c 1150s | 25 | 7589562 | 7586498 | 380 45599 | 0 | 0 1419.31/1419.63 c 1152s | 26 | 7600814 | 7597752 | 380 45650 | 0 | 0 1421.31/1421.64 c 1154s | 26 | 7613233 | 7610152 | 380 45706 | 0 | 0 1423.31/1423.65 c 1156s | 26 | 7625535 | 7622452 | 380 45762 | 0 | 0 1425.31/1425.66 c 1158s | 26 | 7637936 | 7634852 | 380 45818 | 0 | 0 1427.30/1427.68 c 1160s | 26 | 7650240 | 7647152 | 380 45875 | 0 | 0 1429.30/1429.69 c 1162s | 26 | 7662744 | 7659652 | 380 45932 | 0 | 0 1431.40/1431.70 c 1164s | 26 | 7675645 | 7672552 | 380 45992 | 0 | 0 1433.40/1433.71 c 1166s | 26 | 7688449 | 7685352 | 380 46051 | 0 | 0 1435.40/1435.71 c 1168s | 26 | 7701351 | 7698252 | 380 46111 | 0 | 0 1437.41/1437.72 c 1170s | 26 | 7714158 | 7711052 | 380 46170 | 0 | 0 1439.40/1439.72 c 1172s | 26 | 7727058 | 7723952 | 380 46229 | 0 | 0 1441.40/1441.73 c 1174s | 26 | 7739763 | 7736652 | 380 46288 | 0 | 0 1443.40/1443.74 c 1176s | 26 | 7752674 | 7749552 | 380 46348 | 0 | 0 1445.40/1445.75 c 1178s | 26 | 7765682 | 7762552 | 380 46407 | 0 | 0 1447.41/1447.76 c 1180s | 26 | 7778379 | 7775252 | 380 46466 | 0 | 0 1449.40/1449.77 c 1182s | 26 | 7791283 | 7788152 | 380 46525 | 0 | 0 1451.40/1451.77 c 1184s | 26 | 7804190 | 7801052 | 380 46584 | 0 | 0 1453.40/1453.78 c 1186s | 26 | 7817195 | 7814052 | 380 46644 | 0 | 0 1455.40/1455.79 c 1188s | 26 | 7830195 | 7827052 | 380 46704 | 0 | 0 1457.40/1457.80 c 1190s | 26 | 7843104 | 7839952 | 380 46764 | 0 | 0 1459.40/1459.80 c 1192s | 26 | 7855905 | 7852752 | 380 46823 | 0 | 0 1461.50/1461.81 c 1194s | 26 | 7868707 | 7865552 | 380 46882 | 0 | 0 1463.50/1463.82 c 1196s | 26 | 7881708 | 7878552 | 380 46943 | 0 | 0 1465.50/1465.83 c 1198s | 26 | 7894713 | 7891552 | 380 47003 | 0 | 0 1467.50/1467.84 c 1200s | 26 | 7907620 | 7904452 | 380 47063 | 0 | 0 1469.50/1469.84 c 1202s | 26 | 7920627 | 7917452 | 380 47124 | 0 | 0 1471.50/1471.86 c 1204s | 26 | 7933734 | 7930552 | 380 47185 | 0 | 0 1473.50/1473.87 c 1206s | 26 | 7946639 | 7943452 | 380 47245 | 0 | 0 1475.50/1475.88 c 1208s | 26 | 7959547 | 7956352 | 380 47305 | 0 | 0 1477.50/1477.89 c 1210s | 26 | 7972654 | 7969452 | 380 47367 | 0 | 0 1479.59/1479.91 c 1212s | 26 | 7985557 | 7982352 | 380 47426 | 0 | 0 1481.59/1481.92 c 1214s | 26 | 7998455 | 7995252 | 380 47485 | 0 | 0 1483.60/1483.93 c 1216s | 26 | 8011456 | 8008252 | 380 47545 | 0 | 0 1485.59/1485.94 c 1218s | 26 | 8024655 | 8021452 | 380 47605 | 0 | 0 1487.60/1487.94 c 1220s | 26 | 8038058 | 8034852 | 380 47667 | 0 | 0 1489.60/1489.95 c 1222s | 26 | 8051268 | 8048052 | 380 47728 | 0 | 0 1491.60/1491.95 c 1224s | 26 | 8064164 | 8060952 | 380 47788 | 0 | 0 1493.61/1493.96 c 1226s | 26 | 8077069 | 8073852 | 380 47847 | 0 | 0 1495.60/1495.96 c 1228s | 26 | 8090077 | 8086852 | 380 47907 | 0 | 0 1497.60/1497.98 c 1230s | 26 | 8103184 | 8099952 | 380 47967 | 0 | 0 1499.60/1499.99 c 1232s | 26 | 8116185 | 8112952 | 380 48027 | 0 | 0 1501.70/1502.00 c 1234s | 26 | 8129391 | 8126152 | 380 48089 | 0 | 0 1503.70/1504.00 c 1236s | 26 | 8141890 | 8138652 | 380 48146 | 0 | 0 1505.70/1506.01 c 1238s | 26 | 8154595 | 8151352 | 380 48205 | 0 | 0 1507.70/1508.01 c 1240s | 26 | 8167198 | 8163952 | 380 48263 | 0 | 0 1509.70/1510.02 c 1242s | 26 | 8180096 | 8176852 | 380 48322 | 0 | 0 1511.69/1512.02 c 1244s | 26 | 8193504 | 8190252 | 380 48384 | 0 | 0 1513.69/1514.03 c 1246s | 26 | 8206903 | 8203652 | 380 48446 | 0 | 0 1515.69/1516.03 c 1248s | 26 | 8220107 | 8216852 | 380 48507 | 0 | 0 1517.70/1518.05 c 1250s | 26 | 8233606 | 8230352 | 380 48569 | 0 | 0 1519.69/1520.06 c 1252s | 26 | 8246908 | 8243652 | 380 48631 | 0 | 0 1521.69/1522.07 c 1254s | 26 | 8260405 | 8257152 | 380 48693 | 0 | 0 1523.69/1524.08 c 1256s | 26 | 8273905 | 8270652 | 380 48756 | 0 | 0 1525.69/1526.08 c 1258s | 26 | 8287211 | 8283952 | 380 48818 | 0 | 0 1527.70/1528.09 c 1260s | 26 | 8300713 | 8297452 | 380 48881 | 0 | 0 1529.69/1530.10 c 1262s | 26 | 8314218 | 8310952 | 380 48944 | 0 | 0 1531.79/1532.11 c 1264s | 26 | 8327418 | 8324152 | 380 49005 | 0 | 0 1533.79/1534.11 c 1266s | 26 | 8340924 | 8337652 | 380 49068 | 0 | 0 1535.79/1536.12 c 1268s | 26 | 8354328 | 8351052 | 380 49131 | 0 | 0 1537.79/1538.13 c 1270s | 26 | 8368125 | 8364852 | 380 49196 | 0 | 0 1539.79/1540.13 c 1272s | 26 | 8381634 | 8378352 | 380 49259 | 0 | 0 1541.79/1542.13 c 1274s | 26 | 8395233 | 8391952 | 380 49324 | 0 | 0 1543.79/1544.14 c 1276s | 26 | 8408935 | 8405652 | 380 49388 | 0 | 0 1545.79/1546.15 c 1278s | 26 | 8422854 | 8419552 | 380 49454 | 0 | 0 1547.78/1548.16 c 1280s | 26 | 8436246 | 8432952 | 380 49516 | 0 | 0 1549.79/1550.16 c 1282s | 26 | 8449446 | 8446152 | 380 49577 | 0 | 0 1551.80/1552.18 c 1284s | 26 | 8462750 | 8459452 | 380 49638 | 0 | 0 1553.79/1554.18 c 1286s | 26 | 8475852 | 8472552 | 380 49699 | 0 | 0 1555.79/1556.19 c 1288s | 26 | 8488859 | 8485552 | 380 49759 | 0 | 0 1557.79/1558.19 c 1290s | 26 | 8502063 | 8498752 | 380 49821 | 0 | 0 1559.89/1560.20 c 1292s | 26 | 8515562 | 8512252 | 380 49884 | 0 | 0 1561.89/1562.21 c 1294s | 26 | 8529063 | 8525752 | 380 49947 | 0 | 0 1563.90/1564.21 c 1296s | 26 | 8541965 | 8538652 | 380 50007 | 0 | 0 1565.89/1566.23 c 1298s | 26 | 8554968 | 8551652 | 380 50067 | 0 | 0 1567.89/1568.24 c 1300s | 26 | 8567969 | 8564652 | 380 50128 | 0 | 0 1569.89/1570.25 c 1302s | 26 | 8580773 | 8577452 | 380 50188 | 0 | 0 1571.89/1572.26 c 1304s | 26 | 8593977 | 8590652 | 380 50250 | 0 | 0 1573.89/1574.27 c 1306s | 26 | 8606982 | 8603652 | 380 50311 | 0 | 0 1575.89/1576.27 c 1308s | 26 | 8620384 | 8617052 | 380 50375 | 0 | 0 1577.89/1578.27 c 1310s | 26 | 8633383 | 8630052 | 380 50435 | 0 | 0 1579.89/1580.28 c 1312s | 26 | 8646193 | 8642852 | 380 50495 | 0 | 0 1581.88/1582.28 c 1314s | 26 | 8659285 | 8655952 | 380 50556 | 0 | 0 1583.88/1584.30 c 1316s | 26 | 8672388 | 8669052 | 380 50617 | 0 | 0 1585.99/1586.31 c 1318s | 26 | 8685591 | 8682252 | 380 50679 | 0 | 0 1587.98/1588.32 c 1320s | 26 | 8698894 | 8695552 | 380 50741 | 0 | 0 1589.98/1590.32 c 1322s | 26 | 8712205 | 8708852 | 380 50803 | 0 | 0 1591.98/1592.33 c 1324s | 26 | 8725603 | 8722252 | 380 50866 | 0 | 0 1593.98/1594.33 c 1326s | 26 | 8739005 | 8735652 | 380 50929 | 0 | 0 1595.98/1596.33 c 1328s | 26 | 8752605 | 8749252 | 380 50993 | 0 | 0 1597.99/1598.34 c 1330s | 26 | 8766113 | 8762752 | 380 51057 | 0 | 0 1599.98/1600.35 c 1332s | 26 | 8779023 | 8775652 | 380 51117 | 0 | 0 1601.98/1602.35 c 1334s | 26 | 8791927 | 8788552 | 380 51177 | 0 | 0 1603.98/1604.36 c 1336s | 26 | 8804832 | 8801452 | 380 51237 | 0 | 0 1605.98/1606.37 c 1338s | 26 | 8818038 | 8814652 | 380 51299 | 0 | 0 1607.98/1608.38 c 1340s | 26 | 8831036 | 8827652 | 380 51360 | 0 | 0 1609.98/1610.40 c 1342s | 26 | 8844250 | 8840852 | 380 51422 | 0 | 0 1612.07/1612.41 c 1344s | 26 | 8857356 | 8853952 | 380 51483 | 0 | 0 1614.08/1614.42 c 1346s | 26 | 8870655 | 8867252 | 380 51546 | 0 | 0 1616.08/1616.42 c 1348s | 26 | 8884055 | 8880652 | 380 51609 | 0 | 0 1618.08/1618.43 c 1350s | 26 | 8897361 | 8893952 | 380 51672 | 0 | 0 1620.09/1620.44 c 1352s | 26 | 8910463 | 8907052 | 380 51733 | 0 | 0 1622.08/1622.45 c 1354s | 26 | 8923467 | 8920052 | 380 51794 | 0 | 0 1624.08/1624.46 c 1356s | 26 | 8936571 | 8933152 | 380 51855 | 0 | 0 1626.08/1626.46 c 1358s | 26 | 8949679 | 8946252 | 380 51917 | 0 | 0 1628.08/1628.47 c 1360s | 26 | 8962982 | 8959552 | 380 51979 | 0 | 0 1630.08/1630.47 c 1362s | 26 | 8976282 | 8972852 | 380 52042 | 0 | 0 1632.09/1632.48 c 1364s | 26 | 8988999 | 8985552 | 380 52100 | 0 | 0 1634.08/1634.49 c 1366s | 26 | 9001603 | 8998152 | 380 52158 | 0 | 0 1636.18/1636.51 c 1368s | 26 | 9014202 | 9010752 | 380 52215 | 0 | 0 1638.17/1638.52 c 1370s | 26 | 9027021 | 9023552 | 380 52274 | 0 | 0 1640.17/1640.53 c 1372s | 26 | 9039722 | 9036252 | 380 52333 | 0 | 0 1642.17/1642.53 c 1374s | 26 | 9052423 | 9048952 | 380 52391 | 0 | 0 1644.18/1644.54 c 1376s | 26 | 9065234 | 9061752 | 380 52451 | 0 | 0 1646.17/1646.55 c 1378s | 26 | 9078043 | 9074552 | 380 52510 | 0 | 0 1648.17/1648.55 c 1380s | 26 | 9091047 | 9087552 | 380 52571 | 0 | 0 1650.17/1650.56 c 1382s | 26 | 9104153 | 9100652 | 380 52632 | 0 | 0 1652.17/1652.56 c 1384s | 26 | 9116865 | 9113352 | 380 52690 | 0 | 0 1654.18/1654.56 c 1386s | 26 | 9129762 | 9126252 | 380 52749 | 0 | 0 1656.17/1656.57 c 1388s | 26 | 9142861 | 9139352 | 380 52809 | 0 | 0 1658.17/1658.57 c 1390s | 26 | 9155878 | 9152352 | 380 52869 | 0 | 0 1660.17/1660.58 c 1392s | 26 | 9169081 | 9165552 | 380 52930 | 0 | 0 1662.17/1662.59 c 1395s | 26 | 9182388 | 9178852 | 380 52992 | 0 | 0 1664.17/1664.59 c 1397s | 26 | 9195791 | 9192252 | 380 53054 | 0 | 0 1666.18/1666.60 c 1399s | 26 | 9209200 | 9205652 | 380 53116 | 0 | 0 1668.27/1668.62 c 1401s | 26 | 9222597 | 9219052 | 380 53178 | 0 | 0 1670.27/1670.63 c 1403s | 26 | 9235798 | 9232252 | 380 53239 | 0 | 0 1672.27/1672.64 c 1405s | 26 | 9248905 | 9245352 | 380 53299 | 0 | 0 1674.27/1674.65 c 1407s | 26 | 9261903 | 9258352 | 380 53359 | 0 | 0 1676.26/1676.65 c 1409s | 26 | 9274814 | 9271252 | 380 53419 | 0 | 0 1678.27/1678.66 c 1411s | 26 | 9287811 | 9284252 | 380 53479 | 0 | 0 1680.26/1680.67 c 1413s | 26 | 9301023 | 9297452 | 380 53540 | 0 | 0 1682.26/1682.67 c 1415s | 26 | 9313930 | 9310352 | 380 53600 | 0 | 0 1684.26/1684.69 c 1417s | 26 | 9327142 | 9323552 | 380 53662 | 0 | 0 1686.26/1686.69 c 1419s | 26 | 9340153 | 9336552 | 380 53722 | 0 | 0 1688.36/1688.70 c 1421s | 26 | 9353251 | 9349652 | 380 53784 | 0 | 0 1690.37/1690.71 c 1423s | 26 | 9366153 | 9362552 | 380 53844 | 0 | 0 1692.36/1692.72 c 1425s | 26 | 9379159 | 9375552 | 380 53904 | 0 | 0 1694.36/1694.72 c 1427s | 26 | 9392369 | 9388752 | 380 53966 | 0 | 0 1696.36/1696.73 c 1429s | 26 | 9405374 | 9401752 | 380 54027 | 0 | 0 1698.36/1698.74 c 1431s | 26 | 9418477 | 9414852 | 380 54088 | 0 | 0 1700.38/1700.74 c 1433s | 26 | 9431578 | 9427952 | 380 54149 | 0 | 0 1702.37/1702.74 c 1435s | 26 | 9444681 | 9441052 | 380 54210 | 0 | 0 1704.37/1704.75 c 1437s | 26 | 9458081 | 9454452 | 380 54273 | 0 | 0 1706.37/1706.76 c 1439s | 26 | 9471192 | 9467552 | 380 54334 | 0 | 0 1708.37/1708.78 c 1441s | 26 | 9484491 | 9480852 | 380 54397 | 0 | 0 1710.37/1710.79 c 1443s | 26 | 9497898 | 9494252 | 380 54460 | 0 | 0 1712.37/1712.79 c 1445s | 26 | 9511397 | 9507752 | 380 54524 | 0 | 0 1714.47/1714.80 c 1447s | 26 | 9524906 | 9521252 | 380 54586 | 0 | 0 1716.46/1716.81 c 1449s | 26 | 9538207 | 9534552 | 380 54647 | 0 | 0 1718.46/1718.82 c 1451s | 26 | 9551709 | 9548052 | 380 54710 | 0 | 0 1720.46/1720.83 c 1453s | 26 | 9565413 | 9561752 | 380 54773 | 0 | 0 1722.46/1722.83 c 1455s | 26 | 9578018 | 9574352 | 380 54831 | 0 | 0 1724.47/1724.83 c 1457s | 26 | 9590820 | 9587152 | 380 54891 | 0 | 0 1726.46/1726.84 c 1459s | 26 | 9603925 | 9600252 | 380 54951 | 0 | 0 1728.46/1728.85 c 1461s | 26 | 9616832 | 9613152 | 380 55011 | 0 | 0 1730.46/1730.86 c 1463s | 26 | 9629634 | 9625952 | 380 55070 | 0 | 0 1732.46/1732.87 c 1465s | 26 | 9642642 | 9638952 | 380 55131 | 0 | 0 1734.47/1734.88 c 1467s | 26 | 9655341 | 9651652 | 380 55190 | 0 | 0 1736.46/1736.89 c 1469s | 26 | 9668447 | 9664752 | 380 55251 | 0 | 0 1738.46/1738.89 c 1471s | 26 | 9681343 | 9677652 | 380 55310 | 0 | 0 1740.56/1740.90 c 1473s | 26 | 9694343 | 9690652 | 380 55371 | 0 | 0 1742.56/1742.90 c 1475s | 26 | 9707354 | 9703652 | 380 55431 | 0 | 0 1744.56/1744.91 c 1477s | 26 | 9720358 | 9716652 | 380 55491 | 0 | 0 1746.57/1746.92 c 1479s | 26 | 9733260 | 9729552 | 380 55551 | 0 | 0 1748.56/1748.93 c 1481s | 26 | 9746365 | 9742652 | 380 55612 | 0 | 0 1750.56/1750.94 c 1483s | 26 | 9759764 | 9756052 | 380 55675 | 0 | 0 1752.56/1752.94 c 1485s | 26 | 9773466 | 9769752 | 380 55739 | 0 | 0 1754.55/1754.95 c 1487s | 26 | 9787068 | 9783352 | 380 55803 | 0 | 0 1756.55/1756.96 c 1489s | 26 | 9800770 | 9797052 | 380 55868 | 0 | 0 1758.56/1758.96 c 1491s | 26 | 9814373 | 9810652 | 380 55932 | 0 | 0 1760.55/1760.97 c 1493s | 26 | 9827876 | 9824152 | 380 55994 | 0 | 0 1762.55/1762.98 c 1495s | 26 | 9841287 | 9837552 | 380 56056 | 0 | 0 1764.56/1764.98 c 1497s | 26 | 9854592 | 9850852 | 380 56118 | 0 | 0 1766.56/1766.99 c 1499s | 26 | 9867893 | 9864152 | 380 56179 | 0 | 0 1768.56/1768.99 c 1501s | 26 | 9881390 | 9877652 | 380 56242 | 0 | 0 1770.66/1771.00 c 1503s | 26 | 9894998 | 9891252 | 380 56305 | 0 | 0 1772.66/1773.01 c 1505s | 26 | 9908697 | 9904952 | 380 56370 | 0 | 0 1774.66/1775.03 c 1507s | 26 | 9922503 | 9918752 | 380 56435 | 0 | 0 1776.66/1777.03 c 1509s | 26 | 9935808 | 9932052 | 380 56496 | 0 | 0 1778.66/1779.04 c 1511s | 26 | 9949211 | 9945452 | 380 56559 | 0 | 0 1780.66/1781.05 c 1513s | 26 | 9962716 | 9958952 | 380 56622 | 0 | 0 1782.65/1783.05 c 1515s | 26 | 9975820 | 9972052 | 380 56683 | 0 | 0 1784.65/1785.05 c 1517s | 26 | 9988922 | 9985152 | 380 56744 | 0 | 0 1786.65/1787.07 c 1519s | 26 | 10002425 | 9998652 | 380 56807 | 0 | 0 1788.65/1789.07 c 1521s | 26 | 10015830 | 10012052 | 380 56870 | 0 | 0 1790.65/1791.07 c 1523s | 26 | 10029333 | 10025552 | 380 56933 | 0 | 0 1792.66/1793.09 c 1525s | 26 | 10042835 | 10039052 | 380 56996 | 0 | 0 1794.65/1795.09 c 1527s | 26 | 10056339 | 10052552 | 380 57060 | 0 | 0 1796.65/1797.09 c 1529s | 26 | 10070041 | 10066252 | 380 57124 | 0 | 0 1798.75/1799.10 c 1531s | 26 | 10083740 | 10079952 | 380 57189 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4078591-1465238629/watcher-4078591-1465238629 -o /tmp/evaluation-result-4078591-1465238629/solver-4078591-1465238629 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078591-1465238629.opb pid=3272 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.20 2.20 2.18 4/179 3275 /proc/meminfo: memFree=29177196/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=726596 CPUtime=0 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 2711 0 0 0 0 0 0 0 20 0 4 0 105796018 744034304 3073 33554432000 4194304 16246674 140733858550944 140733858550368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 182161 3081 442 2943 0 179055 0 [pid=3275/tid=3276] ppid=3272 vsize=744004 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 761860096 3143 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=748100 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 766054400 3159 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=752196 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105796018 770248704 3175 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100161 s] /proc/loadavg: 2.20 2.20 2.18 4/179 3275 /proc/meminfo: memFree=29177196/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 26919 0 0 0 6 3 0 0 20 0 4 0 105796018 1247350784 27272 33554432000 4194304 16246674 140733858550944 140733858550368 12449399 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 304529 27284 602 2943 0 301423 0 [pid=3275/tid=3276] ppid=3272 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 1247350784 27293 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 1247350784 27302 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105796018 1247350784 27311 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200507 s] /proc/loadavg: 2.20 2.20 2.18 4/179 3275 /proc/meminfo: memFree=29177196/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 50150 0 0 0 13 6 0 0 20 0 4 0 105796018 1247350784 50502 33554432000 4194304 16246674 140733858550944 140733858550368 12429797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 304529 50508 602 2943 0 301423 0 [pid=3275/tid=3276] ppid=3272 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 1247350784 50512 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 1247350784 50516 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105796018 1247350784 50520 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.30047 s] /proc/loadavg: 2.20 2.20 2.18 4/179 3275 /proc/meminfo: memFree=29177196/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 76712 0 0 0 20 9 0 0 20 0 4 0 105796018 1247350784 77064 33554432000 4194304 16246674 140733858550944 140733858550368 12653060 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 304529 77073 602 2943 0 301423 0 [pid=3275/tid=3276] ppid=3272 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 1247350784 77079 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 1247350784 77084 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105796018 1247350784 77090 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700401 s] /proc/loadavg: 2.20 2.20 2.18 4/179 3275 /proc/meminfo: memFree=29177196/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 163810 0 0 0 49 20 0 0 20 0 4 0 105796018 1247350784 164163 33554432000 4194304 16246674 140733858550944 140733858532864 12371341 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 304529 164174 602 2943 0 301423 0 [pid=3275/tid=3276] ppid=3272 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 1247350784 164181 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 1247350784 164189 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105796018 1247350784 164195 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.20 2.20 2.18 4/183 3279 /proc/meminfo: memFree=28158936/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=1371716 CPUtime=1.5 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 283998 0 0 0 114 36 0 0 20 0 4 0 105796018 1404637184 284306 33554432000 4194304 16246674 140733858550944 140733858550256 12449269 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 342929 284306 822 2943 0 339823 0 [pid=3275/tid=3276] ppid=3272 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 1404637184 284306 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 1404637184 284306 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 1404637184 284306 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 1371716 [startup+3.10042 s] /proc/loadavg: 2.19 2.20 2.18 4/183 3279 /proc/meminfo: memFree=28040516/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=1371716 CPUtime=3.1 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 284028 0 0 0 274 36 0 0 20 0 4 0 105796018 1404637184 284336 33554432000 4194304 16246674 140733858550944 140733858550256 12656008 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 342929 284336 822 2943 0 339823 0 [pid=3275/tid=3276] ppid=3272 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 1404637184 284336 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 1404637184 284336 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 1404637184 284336 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 1371716 [startup+6.30042 s] /proc/loadavg: 2.19 2.20 2.18 3/183 3279 /proc/meminfo: memFree=28040540/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=1371716 CPUtime=6.3 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 284028 0 0 0 594 36 0 0 20 0 4 0 105796018 1404637184 284336 33554432000 4194304 16246674 140733858550944 140733858550256 12653098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 342929 284336 822 2943 0 339823 0 [pid=3275/tid=3276] ppid=3272 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 1404637184 284336 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 1404637184 284336 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 1404637184 284336 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 1371716 [startup+12.7004 s] /proc/loadavg: 2.16 2.19 2.18 3/183 3279 /proc/meminfo: memFree=27480580/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=1930820 CPUtime=12.69 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 423804 0 0 0 1214 55 0 0 20 0 4 0 105796018 1977159680 424112 33554432000 4194304 16246674 140733858550944 140733858550040 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 482705 424112 822 2943 0 479599 0 [pid=3275/tid=3276] ppid=3272 vsize=1930820 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 1977159680 424112 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=1930820 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 1977159680 424112 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=1930820 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 1977159680 424112 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1930820 [startup+25.5005 s] /proc/loadavg: 2.13 2.19 2.18 3/183 3279 /proc/meminfo: memFree=26560820/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=2848324 CPUtime=25.49 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 653181 0 0 0 2462 87 0 0 20 0 4 0 105796018 2916683776 653749 33554432000 4194304 16246674 140733858550944 140733858550120 4220894 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 712081 653749 822 2943 0 708975 0 [pid=3275/tid=3276] ppid=3272 vsize=2848324 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 2916683776 653749 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=2848324 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 2916683776 653749 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=2848324 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 2916683776 653749 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 2848324 [startup+51.1004 s] /proc/loadavg: 2.29 2.22 2.19 3/183 3279 /proc/meminfo: memFree=26316096/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=3095108 CPUtime=51.09 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 714877 0 0 0 5013 96 0 0 20 0 4 0 105796018 3169390592 715445 33554432000 4194304 16246674 140733858550944 140733858550040 4206864 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 773777 715445 822 2943 0 770671 0 [pid=3275/tid=3276] ppid=3272 vsize=3095108 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 3169390592 715445 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=3095108 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 3169390592 715445 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=3095108 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 3169390592 715445 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 3095108 [startup+102.3 s] /proc/loadavg: 2.34 2.24 2.19 3/183 3280 /proc/meminfo: memFree=26278748/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=3130948 CPUtime=102.28 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 723837 0 0 0 10128 100 0 0 20 0 4 0 105796018 3206090752 724405 33554432000 4194304 16246674 140733858550944 140733858550040 4206991 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 782737 724405 822 2943 0 779631 0 [pid=3275/tid=3276] ppid=3272 vsize=3130948 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 3206090752 724405 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=3130948 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 3206090752 724405 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=3130948 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 3206090752 724405 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 3130948 ################ # More data... # ################ /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1242.03 Current children cumulated vsize (KiB) 4315716 [startup+1302.3 s] /proc/loadavg: 2.50 2.37 2.26 3/183 3430 /proc/meminfo: memFree=25133644/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=4315716 CPUtime=1302.03 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 2958089 0 0 0 129691 512 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 140733858533944 5974204 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 1078929 1020668 890 2943 0 1075823 0 [pid=3275/tid=3276] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1302.03 Current children cumulated vsize (KiB) 4315716 [startup+1362.3 s] /proc/loadavg: 2.26 2.33 2.25 3/183 3431 /proc/meminfo: memFree=25133740/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=4315716 CPUtime=1362.01 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 2958089 0 0 0 135688 513 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 140733858532864 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 1078929 1020668 890 2943 0 1075823 0 [pid=3275/tid=3276] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 4315716 [startup+1422.3 s] /proc/loadavg: 2.37 2.34 2.26 3/183 3432 /proc/meminfo: memFree=25133864/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=4315716 CPUtime=1422.01 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 2958089 0 0 0 141687 514 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 140733858532864 5711784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 1078929 1020668 890 2943 0 1075823 0 [pid=3275/tid=3276] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 4315716 [startup+1482.3 s] /proc/loadavg: 2.34 2.34 2.27 3/183 3433 /proc/meminfo: memFree=25133512/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=4315716 CPUtime=1481.99 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 2958089 0 0 0 147685 514 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 140733858533944 6021624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 1078929 1020668 890 2943 0 1075823 0 [pid=3275/tid=3276] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.99 Current children cumulated vsize (KiB) 4315716 [startup+1542.31 s] /proc/loadavg: 2.33 2.32 2.27 3/183 3435 /proc/meminfo: memFree=25133216/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=4315716 CPUtime=1541.99 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 2958089 0 0 0 153684 515 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 140733858532864 13780568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 1078929 1020668 890 2943 0 1075823 0 [pid=3275/tid=3276] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.99 Current children cumulated vsize (KiB) 4315716 [startup+1602.3 s] /proc/loadavg: 2.25 2.30 2.26 3/184 3439 /proc/meminfo: memFree=25133156/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=4315716 CPUtime=1601.98 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 2958089 0 0 0 159682 516 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 140733858532864 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 1078929 1020668 890 2943 0 1075823 0 [pid=3275/tid=3276] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 4315716 [startup+1662.3 s] /proc/loadavg: 2.37 2.31 2.27 3/183 3440 /proc/meminfo: memFree=25133320/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=4315716 CPUtime=1661.97 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 2958089 0 0 0 165680 517 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 140733858532864 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 1078929 1020668 890 2943 0 1075823 0 [pid=3275/tid=3276] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 4315716 [startup+1722.3 s] /proc/loadavg: 2.45 2.34 2.28 4/183 3441 /proc/meminfo: memFree=25132916/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=4315716 CPUtime=1721.96 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 2958089 0 0 0 171678 518 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 140733858532864 5600224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 1078929 1020668 890 2943 0 1075823 0 [pid=3275/tid=3276] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 4315716 [startup+1782.3 s] /proc/loadavg: 2.23 2.30 2.27 3/183 3442 /proc/meminfo: memFree=25132024/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=4315716 CPUtime=1781.95 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 2958089 0 0 0 177676 519 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 140733858533944 5545752 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 1078929 1020668 890 2943 0 1075823 0 [pid=3275/tid=3276] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 4315716 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.25 2.30 2.27 3/182 3442 /proc/meminfo: memFree=25132124/32872528 swapFree=16384/1696552 [pid=3275] ppid=3272 vsize=4315716 CPUtime=1800.05 cores=0,2,4,6 /proc/3275/stat : 3275 (toysat) R 3272 3275 1166 0 -1 4202496 2958089 0 0 0 179486 519 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 140733858532864 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3275/statm: 1078929 1020668 890 2943 0 1075823 0 [pid=3275/tid=3276] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3276/stat : 3276 (toysat) S 3272 3275 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139732007759088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3275/tid=3277] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3277/stat : 3277 (toysat) S 3272 3275 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731929115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3275/tid=3278] ppid=3272 vsize=4315716 CPUtime=0 cores=0,2,4,6 /proc/3275/task/3278/stat : 3278 (toysat) S 3272 3275 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105796018 4419293184 1020668 33554432000 4194304 16246674 140733858550944 139731918642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 4315716 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 3275 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.49 CPU time (s): 1800.14 CPU user time (s): 1794.87 CPU system time (s): 5.2732 CPU usage (%): 99.9809 Max. virtual memory (cumulated for all children) (KiB): 12067396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.87 system time used= 5.2732 maximum resident set size= 11834344 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2958089 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= 260 involuntary context switches= 1839 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.71328 second user time and 6.80396 second system time The end
Begin job on node125 at 2016-06-06 20:43:50 IDJOB=4078591 IDBENCH=2558 IDSOLVER=2542 FILE ID=node125/4078591-1465238629 RUNJOBID= node125-1465224138-1182 PBS_JOBID= 19843237 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078591-1465238629/watcher-4078591-1465238629 -o /tmp/evaluation-result-4078591-1465238629/solver-4078591-1465238629 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078591-1465238629.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 65ff8d8fa0c74cfadd531eacdf92ff06 RANDOM SEED=51074982 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29177980 kB Buffers: 36528 kB Cached: 127420 kB SwapCached: 2016 kB Active: 1227120 kB Inactive: 63468 kB Active(anon): 1127528 kB Inactive(anon): 1380 kB Active(file): 99592 kB Inactive(file): 62088 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 16348 kB Writeback: 0 kB AnonPages: 2822128 kB Mapped: 10796 kB Shmem: 0 kB Slab: 567936 kB SReclaimable: 11876 kB SUnreclaim: 556060 kB KernelStack: 1456 kB PageTables: 9628 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2966940 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2791424 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= 71712 MiB End job on node125 at 2016-06-06 21:13:50