| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.17 | 1800.63 |
| Name | normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww3.opb |
| MD5SUM | c67056006c43da82eed6e7cbb40287a1 |
| 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 | 0.695894 |
| 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 | 68 |
| 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 | 68 |
| Maximum length of a constraint | 68 |
| 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 | 58925135 |
| Number of bits of the biggest number in a constraint | 26 |
| Biggest sum of numbers in a constraint | 568217345 |
| 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:25+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-4078586-1465238605.opb"] 0.00/0.01 c use --random-gen="2621104517 2972245053 1509778682 2949652306 1514503264 1265320292 347566250 208257548 3001431111 4198959437 3051808742 3031189680 245045002 840881897 1617181271 27298833 3772389845 1996970929 1320417379 3841268087 2394231033 3922265073 675451460 1118171408 2058647431 91569748 501414405 3656725072 485827796 2193134414 1539435580 1505063944 382893876 2289880183 891364163 1313226168 3576746123 3566915483 525965440 2921709598 4068098220 2579846593 2956379803 3316517447 3198958766 338288747 2159682231 2738846348 3824601126 2580009459 4186920849 2898798707 2790352089 3137521812 1600612942 3882688042 2363923563 24095862 2302484837 445355967 78388494 3452012834 1876750335 1478990753 3761040101 640739347 2869122631 4137930346 2335900752 2565605717 3759220501 2009746074 1404217874 3870328867 2290891762 2891667520 1052283593 571658182 1894971656 860303691 23836467 176017087 2871791972 826694892 3215852982 2325718504 4124420447 3033125912 2974900156 301836375 904503235 3279834274 883215966 170672357 120583885 3883528537 3343070726 2880124932 1274742911 3762706574 2899071311 1153338608 3299933051 3786206095 3537629345 1330121102 1824502334 1350734559 1296205430 4136169079 1934593064 2341632968 925149533 3859419561 2619671669 2276792070 1114004531 84564408 3817491743 263192828 3940464344 1139753592 2042632286 304461211 550893822 3369395362 1528747064 2841504915 2144583088 1275437654 859734397 2847531611 989710857 1056710314 2863855651 1030907565 2641002859 809726577 865572462 1246486255 2088467642 3052960149 528471045 4238782273 965275923 745189487 177895433 2402731873 296961385 3802758505 3782102036 1348648855 612584593 2146522428 1035305807 471925237 1045852095 1462189921 1697354878 4060029662 2892917045 3151419115 2128491587 632556900 3701362693 4186404063 104712800 3413920829 2741564612 506521005 3906121383 1771768716 1593839460 3901897526 581625421 4198358092 538274429 2612792065 1524909547 659147626 112411754 2659871906 485129536 3159183958 1127216613 2238609579 1940319750 2414212491 4179368816 3800780412 3927804242 1736843615 3758033299 4058989044 519715984 1936590507 3807788653 910974231 665427267 1634016143 532856501 1166518172 2604043645 3883861671 1119858315 3892813339 1666861168 1316506443 1454068847 1725739521 1415075442 3706243562 154199949 291449708 2655871752 2854505895 332672016 1513571860 1230571101 3793512434 2953201902 2669754627 3840997183 413380155 2525860888 1493107584 596093479 2442677128 2806978718 1054433071 2943994612 978579458 1888423862 653302909 838099867 1990053280 3409567868 70869965 1752297610 1432311819 1026080211 4258977965 1322199451 1604607534 1822301190 563911843 119151 974808875 1788116503 1157554576 348954910 234010666 3213981651 1798701287 1130234605 2312556413 255 362436" option to reproduce the execution 0.00/0.01 c #vars 68 0.00/0.01 c #constraints 2 327.43/327.56 c Solving starts ... 327.43/327.56 c ============================[ Search Statistics ]============================ 327.43/327.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 327.43/327.56 c | | | | Limit GC | Var | Constra 327.43/327.56 c ============================================================================= 327.43/327.56 c 0.0s | 0 | 0 | 0 | 23 0 | 0 | 0 327.43/327.57 c 0.0s | 1 | 117 | 100 | 23 1 | 0 | 0 327.43/327.59 c 0.0s | 2 | 282 | 250 | 26 5 | 0 | 0 327.53/327.62 c 0.1s | 3 | 517 | 475 | 29 11 | 0 | 0 327.53/327.66 c 0.1s | 4 | 871 | 813 | 32 20 | 0 | 0 327.63/327.72 c 0.2s | 5 | 1391 | 1320 | 36 32 | 0 | 0 327.73/327.80 c 0.2s | 6 | 2165 | 2081 | 44 48 | 0 | 0 327.85/327.93 c 0.4s | 7 | 3319 | 3223 | 49 72 | 0 | 0 328.04/328.13 c 0.6s | 8 | 5043 | 4936 | 54 106 | 0 | 0 328.33/328.42 c 0.9s | 9 | 7622 | 7506 | 60 156 | 0 | 0 328.74/328.86 c 1.3s | 10 | 11484 | 11361 | 66 226 | 0 | 0 329.44/329.52 c 2.0s | 11 | 17277 | 17144 | 73 327 | 0 | 0 330.43/330.50 c 2.9s | 12 | 25966 | 25819 | 81 471 | 0 | 0 331.83/331.97 c 4.4s | 13 | 38995 | 38832 | 90 675 | 0 | 0 333.84/333.97 c 6.4s | 13 | 56710 | 56532 | 90 938 | 0 | 0 334.04/334.18 c 6.6s | 14 | 58567 | 58352 | 100 965 | 0 | 0 336.03/336.18 c 8.6s | 14 | 75066 | 74652 | 100 1186 | 0 | 0 337.64/337.79 c 10.2s | 15 | 88123 | 87632 | 111 1364 | 0 | 0 339.64/339.79 c 12.2s | 15 | 104420 | 103832 | 111 1568 | 0 | 0 341.64/341.79 c 14.2s | 15 | 120366 | 119732 | 111 1770 | 0 | 0 343.13/343.30 c 15.7s | 16 | 132186 | 131552 | 123 1918 | 0 | 0 345.23/345.31 c 17.7s | 16 | 147326 | 146652 | 123 2095 | 0 | 0 347.23/347.32 c 19.8s | 16 | 163041 | 162352 | 123 2281 | 0 | 0 349.23/349.33 c 21.8s | 16 | 178455 | 177752 | 123 2464 | 0 | 0 351.24/351.34 c 23.8s | 16 | 193764 | 193052 | 123 2648 | 0 | 0 351.73/351.89 c 24.3s | 17 | 198172 | 197432 | 136 2699 | 0 | 0 353.83/353.91 c 26.3s | 17 | 213105 | 212332 | 136 2863 | 0 | 0 355.84/355.91 c 28.3s | 17 | 227705 | 226932 | 136 3027 | 0 | 0 357.83/357.91 c 30.4s | 17 | 242410 | 241632 | 136 3196 | 0 | 0 359.84/359.92 c 32.4s | 17 | 257119 | 256332 | 136 3360 | 0 | 0 361.83/361.93 c 34.4s | 17 | 272051 | 271232 | 136 3530 | 0 | 0 363.83/363.93 c 36.4s | 17 | 286875 | 286032 | 136 3696 | 0 | 0 365.24/365.33 c 37.8s | 18 | 297099 | 296252 | 150 3809 | 0 | 0 367.23/367.34 c 39.8s | 18 | 312339 | 311452 | 150 3961 | 0 | 0 369.23/369.34 c 41.8s | 18 | 327349 | 326452 | 150 4114 | 0 | 0 371.23/371.34 c 43.8s | 18 | 342262 | 341352 | 150 4266 | 0 | 0 373.23/373.35 c 45.8s | 18 | 357269 | 356352 | 150 4418 | 0 | 0 375.24/375.36 c 47.8s | 18 | 372390 | 371452 | 150 4574 | 0 | 0 377.23/377.37 c 49.8s | 18 | 387426 | 386452 | 150 4729 | 0 | 0 379.23/379.38 c 51.8s | 18 | 402476 | 401452 | 150 4884 | 0 | 0 381.23/381.38 c 53.8s | 18 | 417499 | 416452 | 150 5038 | 0 | 0 383.23/383.39 c 55.8s | 18 | 432515 | 431452 | 150 5192 | 0 | 0 385.04/385.13 c 57.6s | 19 | 445561 | 444482 | 165 5323 | 0 | 0 387.03/387.13 c 59.6s | 19 | 459820 | 458682 | 165 5458 | 0 | 0 389.02/389.13 c 61.6s | 19 | 473987 | 472782 | 165 5594 | 0 | 0 391.02/391.13 c 63.6s | 19 | 487856 | 486582 | 165 5728 | 0 | 0 393.03/393.15 c 65.6s | 19 | 498068 | 496782 | 165 5826 | 0 | 0 395.04/395.15 c 67.6s | 19 | 512460 | 511082 | 165 5964 | 0 | 0 397.03/397.16 c 69.6s | 19 | 526706 | 525282 | 165 6101 | 0 | 0 399.03/399.16 c 71.6s | 19 | 540752 | 539282 | 165 6236 | 0 | 0 401.03/401.16 c 73.6s | 19 | 555009 | 553482 | 165 6374 | 0 | 0 403.03/403.17 c 75.6s | 19 | 569236 | 567682 | 165 6510 | 0 | 0 405.03/405.17 c 77.6s | 19 | 583095 | 581482 | 165 6644 | 0 | 0 407.04/407.18 c 79.6s | 19 | 597142 | 595482 | 165 6781 | 0 | 0 409.02/409.18 c 81.6s | 19 | 611178 | 609482 | 165 6920 | 0 | 0 411.02/411.18 c 83.6s | 19 | 625110 | 623382 | 165 7057 | 0 | 0 413.02/413.19 c 85.6s | 19 | 639032 | 637282 | 165 7196 | 0 | 0 415.12/415.20 c 87.6s | 19 | 653168 | 651382 | 165 7334 | 0 | 0 417.13/417.21 c 89.7s | 19 | 667681 | 665782 | 182 7472 | 0 | 0 417.23/417.36 c 89.8s | 20 | 668726 | 666827 | 182 7481 | 0 | 0 419.24/419.37 c 91.8s | 20 | 683566 | 681627 | 182 7609 | 0 | 0 421.22/421.38 c 93.8s | 20 | 698488 | 696527 | 182 7739 | 0 | 0 423.22/423.38 c 95.8s | 20 | 713487 | 711527 | 182 7870 | 0 | 0 425.22/425.38 c 97.8s | 20 | 728484 | 726527 | 182 8001 | 0 | 0 427.22/427.39 c 99.8s | 20 | 743390 | 741427 | 182 8130 | 0 | 0 429.32/429.40 c 101s | 20 | 758489 | 756527 | 182 8263 | 0 | 0 431.33/431.41 c 103s | 20 | 773490 | 771527 | 182 8395 | 0 | 0 433.32/433.42 c 105s | 20 | 788288 | 786327 | 182 8525 | 0 | 0 435.32/435.43 c 107s | 20 | 802787 | 800827 | 182 8652 | 0 | 0 437.32/437.43 c 109s | 20 | 817586 | 815627 | 182 8781 | 0 | 0 439.32/439.44 c 111s | 20 | 832669 | 830627 | 182 8915 | 0 | 0 441.32/441.45 c 113s | 20 | 847799 | 845727 | 182 9051 | 0 | 0 443.34/443.45 c 115s | 20 | 862628 | 860527 | 182 9185 | 0 | 0 445.32/445.45 c 117s | 20 | 877425 | 875327 | 182 9318 | 0 | 0 447.32/447.45 c 119s | 20 | 891934 | 889827 | 182 9446 | 0 | 0 449.32/449.46 c 121s | 20 | 906257 | 904127 | 182 9572 | 0 | 0 451.32/451.46 c 123s | 20 | 920678 | 918527 | 182 9699 | 0 | 0 453.33/453.47 c 125s | 20 | 935002 | 932827 | 182 9826 | 0 | 0 455.32/455.47 c 127s | 20 | 949122 | 946927 | 182 9951 | 0 | 0 457.32/457.47 c 129s | 20 | 963347 | 961127 | 182 10078 | 0 | 0 459.32/459.48 c 131s | 20 | 977657 | 975427 | 182 10204 | 0 | 0 461.31/461.49 c 133s | 20 | 991869 | 989627 | 182 10330 | 0 | 0 462.91/463.00 c 135s | 21 | 1002594 | 1000345 | 201 10421 | 0 | 0 464.91/465.00 c 137s | 21 | 1016923 | 1014645 | 201 10536 | 0 | 0 466.91/467.01 c 139s | 21 | 1031358 | 1029045 | 201 10652 | 0 | 0 468.92/469.02 c 141s | 21 | 1045863 | 1043545 | 201 10770 | 0 | 0 470.93/471.03 c 143s | 21 | 1060494 | 1058145 | 201 10889 | 0 | 0 472.92/473.04 c 145s | 21 | 1075128 | 1072745 | 201 11008 | 0 | 0 474.92/475.05 c 147s | 21 | 1089659 | 1087245 | 201 11125 | 0 | 0 476.92/477.06 c 149s | 21 | 1104071 | 1101645 | 201 11243 | 0 | 0 478.91/479.06 c 151s | 21 | 1118692 | 1116245 | 201 11363 | 0 | 0 480.91/481.06 c 153s | 21 | 1133394 | 1130945 | 201 11482 | 0 | 0 482.92/483.07 c 155s | 21 | 1147906 | 1145445 | 201 11601 | 0 | 0 484.91/485.07 c 157s | 21 | 1162110 | 1159645 | 201 11717 | 0 | 0 486.91/487.08 c 159s | 21 | 1176405 | 1173945 | 201 11832 | 0 | 0 488.91/489.09 c 161s | 21 | 1190710 | 1188245 | 201 11948 | 0 | 0 490.91/491.09 c 163s | 21 | 1205208 | 1202745 | 201 12066 | 0 | 0 493.02/493.10 c 165s | 21 | 1220081 | 1217545 | 201 12187 | 0 | 0 495.03/495.11 c 167s | 21 | 1234824 | 1232245 | 201 12309 | 0 | 0 497.02/497.12 c 169s | 21 | 1249745 | 1247145 | 201 12434 | 0 | 0 499.01/499.12 c 171s | 21 | 1264156 | 1261545 | 201 12551 | 0 | 0 501.01/501.13 c 173s | 21 | 1278965 | 1276345 | 201 12674 | 0 | 0 503.01/503.14 c 175s | 21 | 1293692 | 1291045 | 201 12796 | 0 | 0 505.02/505.15 c 177s | 21 | 1308649 | 1305945 | 201 12921 | 0 | 0 507.01/507.15 c 179s | 21 | 1323470 | 1320745 | 201 13044 | 0 | 0 509.01/509.16 c 181s | 21 | 1338072 | 1335345 | 201 13166 | 0 | 0 511.01/511.16 c 183s | 21 | 1352784 | 1350045 | 201 13289 | 0 | 0 513.00/513.17 c 185s | 21 | 1367003 | 1364245 | 201 13405 | 0 | 0 515.01/515.18 c 187s | 21 | 1381433 | 1378645 | 201 13522 | 0 | 0 517.02/517.19 c 189s | 21 | 1395972 | 1393145 | 201 13641 | 0 | 0 519.01/519.19 c 191s | 21 | 1410472 | 1407645 | 201 13759 | 0 | 0 521.11/521.20 c 193s | 21 | 1425135 | 1422245 | 201 13879 | 0 | 0 523.11/523.20 c 195s | 21 | 1439455 | 1436545 | 201 13996 | 0 | 0 525.11/525.20 c 197s | 21 | 1453688 | 1450745 | 201 14112 | 0 | 0 527.11/527.21 c 199s | 21 | 1468417 | 1465445 | 201 14232 | 0 | 0 529.11/529.21 c 201s | 21 | 1483055 | 1480045 | 201 14352 | 0 | 0 531.11/531.22 c 203s | 21 | 1497561 | 1494545 | 222 14469 | 0 | 0 531.91/532.08 c 204s | 22 | 1503636 | 1500622 | 222 14515 | 0 | 0 533.91/534.09 c 206s | 22 | 1518170 | 1515122 | 222 14622 | 0 | 0 536.01/536.10 c 208s | 22 | 1532866 | 1529822 | 222 14732 | 0 | 0 537.92/538.10 c 210s | 22 | 1547268 | 1544222 | 222 14839 | 0 | 0 540.01/540.11 c 212s | 22 | 1561566 | 1558522 | 222 14947 | 0 | 0 542.01/542.12 c 214s | 22 | 1575968 | 1572922 | 222 15054 | 0 | 0 544.01/544.13 c 216s | 22 | 1590375 | 1587322 | 222 15162 | 0 | 0 546.00/546.14 c 218s | 22 | 1604587 | 1601522 | 222 15268 | 0 | 0 548.00/548.15 c 220s | 22 | 1618792 | 1615722 | 222 15374 | 0 | 0 550.01/550.15 c 222s | 22 | 1632994 | 1629922 | 222 15480 | 0 | 0 552.00/552.15 c 224s | 22 | 1647097 | 1644022 | 222 15587 | 0 | 0 554.00/554.16 c 226s | 22 | 1661500 | 1658422 | 222 15695 | 0 | 0 556.00/556.17 c 228s | 22 | 1675903 | 1672822 | 222 15803 | 0 | 0 558.00/558.18 c 230s | 22 | 1690300 | 1687222 | 222 15911 | 0 | 0 560.02/560.18 c 232s | 22 | 1704705 | 1701622 | 222 16021 | 0 | 0 562.01/562.18 c 234s | 22 | 1719009 | 1715922 | 222 16128 | 0 | 0 564.11/564.20 c 236s | 22 | 1733312 | 1730222 | 222 16234 | 0 | 0 566.10/566.21 c 238s | 22 | 1747518 | 1744422 | 222 16341 | 0 | 0 568.10/568.22 c 240s | 22 | 1761725 | 1758622 | 222 16447 | 0 | 0 570.10/570.22 c 242s | 22 | 1775925 | 1772822 | 222 16553 | 0 | 0 572.11/572.23 c 244s | 22 | 1790028 | 1786922 | 222 16660 | 0 | 0 574.10/574.24 c 246s | 22 | 1804436 | 1801322 | 222 16768 | 0 | 0 576.10/576.25 c 248s | 22 | 1818738 | 1815622 | 222 16875 | 0 | 0 578.10/578.26 c 250s | 22 | 1833144 | 1830022 | 222 16984 | 0 | 0 580.10/580.27 c 252s | 22 | 1847447 | 1844322 | 222 17092 | 0 | 0 582.10/582.29 c 254s | 22 | 1861747 | 1858622 | 222 17200 | 0 | 0 584.11/584.30 c 256s | 22 | 1875850 | 1872722 | 222 17308 | 0 | 0 586.20/586.30 c 258s | 22 | 1889957 | 1886822 | 222 17414 | 0 | 0 588.20/588.32 c 260s | 22 | 1904066 | 1900922 | 222 17520 | 0 | 0 590.20/590.33 c 262s | 22 | 1917968 | 1914822 | 222 17625 | 0 | 0 592.19/592.34 c 264s | 22 | 1931877 | 1928722 | 222 17730 | 0 | 0 594.19/594.35 c 266s | 22 | 1945788 | 1942622 | 222 17835 | 0 | 0 596.21/596.35 c 268s | 22 | 1959693 | 1956522 | 222 17942 | 0 | 0 598.20/598.36 c 270s | 22 | 1974000 | 1970822 | 222 18050 | 0 | 0 600.20/600.36 c 272s | 22 | 1988204 | 1985022 | 222 18158 | 0 | 0 602.20/602.37 c 274s | 22 | 2002502 | 1999322 | 222 18266 | 0 | 0 604.20/604.39 c 276s | 22 | 2016905 | 2013722 | 222 18376 | 0 | 0 606.21/606.40 c 278s | 22 | 2031311 | 2028122 | 222 18485 | 0 | 0 608.20/608.40 c 280s | 22 | 2045418 | 2042222 | 222 18593 | 0 | 0 610.30/610.40 c 282s | 22 | 2059623 | 2056422 | 222 18698 | 0 | 0 612.29/612.41 c 284s | 22 | 2073934 | 2070722 | 222 18806 | 0 | 0 614.29/614.42 c 286s | 22 | 2087837 | 2084622 | 222 18910 | 0 | 0 616.29/616.42 c 288s | 22 | 2101757 | 2098522 | 222 19014 | 0 | 0 618.30/618.43 c 290s | 22 | 2115873 | 2112622 | 222 19121 | 0 | 0 620.29/620.44 c 292s | 22 | 2130181 | 2126922 | 222 19229 | 0 | 0 622.29/622.45 c 294s | 22 | 2144377 | 2141122 | 222 19336 | 0 | 0 624.29/624.46 c 296s | 22 | 2158482 | 2155222 | 222 19443 | 0 | 0 626.29/626.47 c 298s | 22 | 2172491 | 2169222 | 222 19549 | 0 | 0 628.30/628.48 c 300s | 22 | 2186391 | 2183122 | 222 19655 | 0 | 0 630.31/630.48 c 302s | 22 | 2200407 | 2197122 | 222 19761 | 0 | 0 632.29/632.48 c 304s | 22 | 2214414 | 2211122 | 222 19868 | 0 | 0 634.29/634.49 c 306s | 22 | 2228523 | 2225222 | 222 19976 | 0 | 0 636.29/636.49 c 308s | 22 | 2242637 | 2239322 | 245 20079 | 0 | 0 638.00/638.19 c 310s | 23 | 2254363 | 2251038 | 245 20161 | 0 | 0 640.09/640.20 c 312s | 23 | 2268198 | 2264838 | 245 20255 | 0 | 0 642.09/642.20 c 314s | 23 | 2282024 | 2278638 | 245 20350 | 0 | 0 644.09/644.21 c 316s | 23 | 2296046 | 2292638 | 245 20446 | 0 | 0 646.09/646.21 c 318s | 23 | 2309955 | 2306538 | 245 20542 | 0 | 0 648.09/648.22 c 320s | 23 | 2323967 | 2320538 | 245 20638 | 0 | 0 650.10/650.23 c 322s | 23 | 2337880 | 2334438 | 245 20735 | 0 | 0 652.09/652.23 c 324s | 23 | 2351702 | 2348238 | 245 20830 | 0 | 0 654.09/654.24 c 326s | 23 | 2365521 | 2362038 | 245 20926 | 0 | 0 656.09/656.25 c 328s | 23 | 2379427 | 2375938 | 245 21022 | 0 | 0 658.09/658.25 c 330s | 23 | 2393329 | 2389838 | 245 21119 | 0 | 0 660.10/660.25 c 332s | 23 | 2407372 | 2403838 | 245 21216 | 0 | 0 662.08/662.26 c 334s | 23 | 2421472 | 2417938 | 245 21313 | 0 | 0 664.08/664.27 c 336s | 23 | 2435576 | 2432038 | 245 21410 | 0 | 0 666.08/666.28 c 338s | 23 | 2449287 | 2445738 | 245 21505 | 0 | 0 668.08/668.28 c 340s | 23 | 2463181 | 2459638 | 245 21600 | 0 | 0 670.08/670.29 c 342s | 23 | 2477292 | 2473738 | 245 21698 | 0 | 0 672.09/672.29 c 344s | 23 | 2491098 | 2487538 | 245 21794 | 0 | 0 674.18/674.30 c 346s | 23 | 2505003 | 2501438 | 245 21890 | 0 | 0 676.19/676.32 c 348s | 23 | 2518923 | 2515338 | 245 21986 | 0 | 0 678.19/678.32 c 350s | 23 | 2532737 | 2529138 | 245 22082 | 0 | 0 680.19/680.33 c 352s | 23 | 2546672 | 2543038 | 245 22180 | 0 | 0 682.19/682.35 c 354s | 23 | 2560915 | 2557238 | 245 22278 | 0 | 0 684.20/684.35 c 356s | 23 | 2574839 | 2571138 | 245 22376 | 0 | 0 686.19/686.35 c 358s | 23 | 2588456 | 2584738 | 245 22471 | 0 | 0 688.18/688.36 c 360s | 23 | 2602373 | 2598638 | 245 22567 | 0 | 0 690.18/690.37 c 362s | 23 | 2615984 | 2612238 | 245 22661 | 0 | 0 692.18/692.37 c 364s | 23 | 2629785 | 2626038 | 245 22755 | 0 | 0 694.19/694.37 c 366s | 23 | 2643385 | 2639638 | 245 22849 | 0 | 0 696.18/696.38 c 368s | 23 | 2657096 | 2653338 | 245 22944 | 0 | 0 698.18/698.39 c 370s | 23 | 2670608 | 2666838 | 245 23038 | 0 | 0 700.18/700.39 c 372s | 23 | 2684123 | 2680338 | 245 23131 | 0 | 0 702.29/702.40 c 374s | 23 | 2697739 | 2693938 | 245 23226 | 0 | 0 704.28/704.40 c 376s | 23 | 2711451 | 2707638 | 245 23321 | 0 | 0 706.19/706.40 c 378s | 23 | 2725055 | 2721238 | 245 23416 | 0 | 0 708.28/708.40 c 380s | 23 | 2738669 | 2734838 | 245 23510 | 0 | 0 710.28/710.42 c 382s | 23 | 2752279 | 2748438 | 245 23605 | 0 | 0 712.28/712.43 c 384s | 23 | 2765798 | 2761938 | 245 23700 | 0 | 0 714.28/714.44 c 386s | 23 | 2779699 | 2775838 | 245 23796 | 0 | 0 716.28/716.44 c 388s | 23 | 2793508 | 2789638 | 245 23891 | 0 | 0 718.28/718.45 c 390s | 23 | 2807446 | 2803538 | 245 23988 | 0 | 0 720.27/720.46 c 392s | 23 | 2821361 | 2817438 | 245 24084 | 0 | 0 722.27/722.46 c 394s | 23 | 2835060 | 2831138 | 245 24180 | 0 | 0 724.27/724.46 c 396s | 23 | 2848670 | 2844738 | 245 24275 | 0 | 0 726.27/726.46 c 398s | 23 | 2862283 | 2858338 | 245 24369 | 0 | 0 728.28/728.48 c 400s | 23 | 2876000 | 2872038 | 245 24465 | 0 | 0 730.27/730.48 c 402s | 23 | 2889720 | 2885738 | 245 24561 | 0 | 0 732.27/732.48 c 404s | 23 | 2903441 | 2899438 | 245 24657 | 0 | 0 734.28/734.49 c 406s | 23 | 2916945 | 2912938 | 245 24752 | 0 | 0 736.37/736.50 c 408s | 23 | 2930658 | 2926638 | 245 24848 | 0 | 0 738.37/738.50 c 410s | 23 | 2944063 | 2940038 | 245 24941 | 0 | 0 740.38/740.51 c 412s | 23 | 2957767 | 2953738 | 245 25037 | 0 | 0 742.37/742.52 c 414s | 23 | 2971473 | 2967438 | 245 25133 | 0 | 0 744.36/744.53 c 416s | 23 | 2985070 | 2981038 | 245 25228 | 0 | 0 746.36/746.54 c 418s | 23 | 2999086 | 2995038 | 245 25326 | 0 | 0 748.36/748.55 c 420s | 23 | 3012900 | 3008838 | 245 25423 | 0 | 0 750.36/750.56 c 423s | 23 | 3026520 | 3022438 | 245 25519 | 0 | 0 752.37/752.57 c 425s | 23 | 3039928 | 3035838 | 245 25613 | 0 | 0 754.36/754.57 c 427s | 23 | 3053363 | 3049238 | 245 25708 | 0 | 0 756.37/756.58 c 429s | 23 | 3067092 | 3062938 | 245 25805 | 0 | 0 758.37/758.59 c 431s | 23 | 3081111 | 3076938 | 245 25903 | 0 | 0 760.47/760.60 c 433s | 23 | 3095815 | 3091638 | 245 26004 | 0 | 0 762.47/762.60 c 435s | 23 | 3110127 | 3105938 | 245 26104 | 0 | 0 764.47/764.61 c 437s | 23 | 3124238 | 3120038 | 245 26202 | 0 | 0 766.46/766.61 c 439s | 23 | 3138255 | 3134038 | 245 26300 | 0 | 0 768.46/768.61 c 441s | 23 | 3152496 | 3148238 | 245 26399 | 0 | 0 770.46/770.62 c 443s | 23 | 3166509 | 3162238 | 245 26497 | 0 | 0 772.46/772.63 c 445s | 23 | 3180318 | 3176038 | 245 26593 | 0 | 0 774.47/774.64 c 447s | 23 | 3193943 | 3189638 | 245 26688 | 0 | 0 776.45/776.65 c 449s | 23 | 3207666 | 3203338 | 245 26785 | 0 | 0 778.45/778.66 c 451s | 23 | 3221372 | 3217038 | 245 26881 | 0 | 0 780.46/780.66 c 453s | 23 | 3235280 | 3230938 | 245 26978 | 0 | 0 782.46/782.67 c 455s | 23 | 3249001 | 3244638 | 245 27074 | 0 | 0 784.46/784.67 c 457s | 23 | 3262730 | 3258338 | 245 27171 | 0 | 0 786.47/786.68 c 459s | 23 | 3276441 | 3272038 | 245 27267 | 0 | 0 788.46/788.68 c 461s | 23 | 3290165 | 3285738 | 245 27362 | 0 | 0 790.45/790.69 c 463s | 23 | 3304014 | 3299538 | 245 27459 | 0 | 0 792.45/792.69 c 465s | 23 | 3317822 | 3313238 | 245 27556 | 0 | 0 794.55/794.70 c 467s | 23 | 3331551 | 3326938 | 245 27652 | 0 | 0 796.55/796.72 c 469s | 23 | 3345198 | 3340538 | 245 27749 | 0 | 0 798.56/798.72 c 471s | 23 | 3358833 | 3354138 | 270 27844 | 0 | 0 800.55/800.73 c 473s | 23 | 3372333 | 3367638 | 270 27930 | 0 | 0 801.86/802.09 c 474s | 24 | 3381361 | 3376662 | 270 27988 | 0 | 0 803.95/804.10 c 476s | 24 | 3395120 | 3390362 | 270 28075 | 0 | 0 805.95/806.11 c 478s | 24 | 3408948 | 3404162 | 270 28162 | 0 | 0 807.95/808.12 c 480s | 24 | 3422472 | 3417662 | 270 28247 | 0 | 0 809.95/810.13 c 482s | 24 | 3435893 | 3431062 | 270 28333 | 0 | 0 811.95/812.15 c 484s | 24 | 3449537 | 3444662 | 270 28419 | 0 | 0 813.96/814.15 c 486s | 24 | 3463048 | 3458162 | 270 28504 | 0 | 0 815.94/816.16 c 488s | 24 | 3476459 | 3471562 | 270 28590 | 0 | 0 817.94/818.16 c 490s | 24 | 3489681 | 3484762 | 270 28674 | 0 | 0 819.94/820.16 c 492s | 24 | 3502710 | 3497762 | 270 28756 | 0 | 0 821.94/822.16 c 494s | 24 | 3516017 | 3511062 | 270 28841 | 0 | 0 823.95/824.18 c 496s | 24 | 3529468 | 3524462 | 270 28926 | 0 | 0 825.94/826.19 c 498s | 24 | 3543285 | 3538262 | 270 29014 | 0 | 0 828.04/828.20 c 500s | 24 | 3556831 | 3551762 | 270 29100 | 0 | 0 830.04/830.21 c 502s | 24 | 3570484 | 3565362 | 270 29188 | 0 | 0 832.04/832.22 c 504s | 24 | 3583923 | 3578762 | 270 29274 | 0 | 0 834.04/834.22 c 506s | 24 | 3597536 | 3592362 | 270 29360 | 0 | 0 836.05/836.24 c 508s | 24 | 3611244 | 3606062 | 270 29447 | 0 | 0 838.04/838.24 c 510s | 24 | 3624842 | 3619662 | 270 29533 | 0 | 0 840.04/840.25 c 512s | 24 | 3638356 | 3633162 | 270 29619 | 0 | 0 842.04/842.25 c 514s | 24 | 3651781 | 3646562 | 270 29704 | 0 | 0 844.04/844.25 c 516s | 24 | 3665234 | 3659962 | 270 29790 | 0 | 0 846.04/846.25 c 518s | 24 | 3678579 | 3673262 | 270 29875 | 0 | 0 848.04/848.26 c 520s | 24 | 3691898 | 3686562 | 270 29960 | 0 | 0 850.03/850.26 c 522s | 24 | 3705425 | 3700062 | 270 30046 | 0 | 0 852.03/852.27 c 524s | 24 | 3718857 | 3713462 | 270 30132 | 0 | 0 854.03/854.28 c 526s | 24 | 3732372 | 3726962 | 270 30218 | 0 | 0 856.03/856.29 c 528s | 24 | 3745978 | 3740562 | 270 30305 | 0 | 0 858.12/858.30 c 530s | 24 | 3759598 | 3754162 | 270 30393 | 0 | 0 860.13/860.31 c 532s | 24 | 3773245 | 3767762 | 270 30480 | 0 | 0 862.12/862.33 c 534s | 24 | 3786875 | 3781362 | 270 30569 | 0 | 0 864.12/864.34 c 536s | 24 | 3800516 | 3794962 | 270 30657 | 0 | 0 866.12/866.34 c 538s | 24 | 3814217 | 3808662 | 270 30744 | 0 | 0 868.12/868.34 c 540s | 24 | 3828025 | 3822462 | 270 30831 | 0 | 0 870.13/870.35 c 542s | 24 | 3841629 | 3836062 | 270 30918 | 0 | 0 872.12/872.35 c 544s | 24 | 3855152 | 3849562 | 270 31004 | 0 | 0 874.12/874.35 c 546s | 24 | 3868751 | 3863162 | 270 31091 | 0 | 0 876.12/876.36 c 548s | 24 | 3882352 | 3876762 | 270 31178 | 0 | 0 878.12/878.37 c 550s | 24 | 3895759 | 3890162 | 270 31264 | 0 | 0 880.12/880.37 c 552s | 24 | 3909165 | 3903562 | 270 31349 | 0 | 0 882.13/882.38 c 554s | 24 | 3922594 | 3916962 | 270 31435 | 0 | 0 884.12/884.38 c 556s | 24 | 3936031 | 3930362 | 270 31520 | 0 | 0 886.12/886.39 c 558s | 24 | 3949458 | 3943762 | 270 31606 | 0 | 0 888.11/888.39 c 560s | 24 | 3962784 | 3957062 | 270 31692 | 0 | 0 890.21/890.40 c 562s | 24 | 3976222 | 3970462 | 270 31778 | 0 | 0 892.21/892.41 c 564s | 24 | 3989836 | 3984062 | 270 31866 | 0 | 0 894.22/894.42 c 566s | 24 | 4003462 | 3997662 | 270 31954 | 0 | 0 896.21/896.44 c 568s | 24 | 4017170 | 4011362 | 270 32041 | 0 | 0 898.20/898.44 c 570s | 24 | 4030779 | 4024962 | 270 32128 | 0 | 0 900.20/900.45 c 572s | 24 | 4044477 | 4038662 | 270 32215 | 0 | 0 902.20/902.45 c 574s | 24 | 4058189 | 4052362 | 270 32303 | 0 | 0 904.21/904.46 c 576s | 24 | 4071822 | 4065962 | 270 32390 | 0 | 0 906.20/906.46 c 578s | 24 | 4085260 | 4079362 | 270 32476 | 0 | 0 908.19/908.47 c 580s | 24 | 4098883 | 4092962 | 270 32563 | 0 | 0 910.19/910.48 c 582s | 24 | 4112319 | 4106362 | 270 32650 | 0 | 0 912.19/912.48 c 584s | 24 | 4125629 | 4119662 | 270 32736 | 0 | 0 914.19/914.49 c 586s | 24 | 4138948 | 4132962 | 270 32822 | 0 | 0 916.20/916.49 c 588s | 24 | 4152187 | 4146162 | 270 32908 | 0 | 0 918.19/918.50 c 590s | 24 | 4165618 | 4159562 | 270 32994 | 0 | 0 920.29/920.50 c 592s | 24 | 4179032 | 4172962 | 270 33081 | 0 | 0 922.29/922.50 c 594s | 24 | 4192568 | 4186462 | 270 33168 | 0 | 0 924.30/924.50 c 596s | 24 | 4205989 | 4199862 | 270 33255 | 0 | 0 926.29/926.51 c 598s | 24 | 4219594 | 4213462 | 270 33342 | 0 | 0 928.30/928.52 c 600s | 24 | 4233595 | 4227462 | 270 33431 | 0 | 0 930.29/930.53 c 602s | 24 | 4247197 | 4241062 | 270 33518 | 0 | 0 932.29/932.54 c 604s | 24 | 4260397 | 4254262 | 270 33601 | 0 | 0 934.29/934.54 c 606s | 24 | 4273899 | 4267762 | 270 33687 | 0 | 0 936.29/936.55 c 608s | 24 | 4287098 | 4280962 | 270 33771 | 0 | 0 938.29/938.56 c 610s | 24 | 4300408 | 4294262 | 270 33857 | 0 | 0 940.28/940.57 c 613s | 24 | 4313608 | 4307462 | 270 33941 | 0 | 0 942.28/942.58 c 615s | 24 | 4326910 | 4320762 | 270 34026 | 0 | 0 944.28/944.58 c 617s | 24 | 4340212 | 4334062 | 270 34112 | 0 | 0 946.28/946.58 c 619s | 24 | 4353519 | 4347362 | 270 34197 | 0 | 0 948.27/948.59 c 621s | 24 | 4366927 | 4360762 | 270 34282 | 0 | 0 950.28/950.60 c 623s | 24 | 4380333 | 4374162 | 270 34368 | 0 | 0 952.37/952.60 c 625s | 24 | 4393927 | 4387762 | 270 34454 | 0 | 0 954.37/954.62 c 627s | 24 | 4407445 | 4401262 | 270 34541 | 0 | 0 956.37/956.63 c 629s | 24 | 4421155 | 4414962 | 270 34629 | 0 | 0 958.36/958.64 c 631s | 24 | 4434657 | 4428462 | 270 34715 | 0 | 0 960.37/960.65 c 633s | 24 | 4448071 | 4441862 | 270 34801 | 0 | 0 962.38/962.66 c 635s | 24 | 4461475 | 4455262 | 270 34887 | 0 | 0 964.37/964.66 c 637s | 24 | 4474895 | 4468662 | 270 34974 | 0 | 0 966.37/966.67 c 639s | 24 | 4488306 | 4482062 | 270 35059 | 0 | 0 968.37/968.68 c 641s | 24 | 4501515 | 4495262 | 270 35144 | 0 | 0 970.37/970.68 c 643s | 24 | 4514842 | 4508562 | 270 35229 | 0 | 0 972.47/972.70 c 645s | 24 | 4527950 | 4521662 | 270 35314 | 0 | 0 974.48/974.71 c 647s | 24 | 4541169 | 4534862 | 270 35399 | 0 | 0 976.47/976.72 c 649s | 24 | 4554676 | 4548362 | 270 35486 | 0 | 0 978.46/978.73 c 651s | 24 | 4568075 | 4561762 | 270 35572 | 0 | 0 980.46/980.73 c 653s | 24 | 4581397 | 4575062 | 270 35658 | 0 | 0 982.46/982.74 c 655s | 24 | 4594801 | 4588462 | 270 35745 | 0 | 0 984.48/984.75 c 657s | 24 | 4608110 | 4601762 | 270 35831 | 0 | 0 986.47/986.75 c 659s | 24 | 4621323 | 4614962 | 270 35917 | 0 | 0 988.46/988.75 c 661s | 24 | 4634724 | 4628362 | 270 36002 | 0 | 0 990.46/990.76 c 663s | 24 | 4648337 | 4641962 | 270 36090 | 0 | 0 992.46/992.76 c 665s | 24 | 4662038 | 4655662 | 270 36179 | 0 | 0 994.46/994.77 c 667s | 24 | 4675541 | 4669162 | 270 36265 | 0 | 0 996.47/996.78 c 669s | 24 | 4689147 | 4682762 | 270 36354 | 0 | 0 998.46/998.78 c 671s | 24 | 4702655 | 4696262 | 270 36441 | 0 | 0 1000.46/1000.78 c 673s | 24 | 4716256 | 4709862 | 270 36529 | 0 | 0 1002.56/1002.80 c 675s | 24 | 4729857 | 4723462 | 270 36616 | 0 | 0 1004.56/1004.80 c 677s | 24 | 4743162 | 4736762 | 270 36702 | 0 | 0 1006.55/1006.81 c 679s | 24 | 4756463 | 4750062 | 270 36788 | 0 | 0 1008.57/1008.82 c 681s | 24 | 4769585 | 4763162 | 270 36873 | 0 | 0 1010.56/1010.82 c 683s | 24 | 4782815 | 4776362 | 270 36959 | 0 | 0 1012.56/1012.82 c 685s | 24 | 4796125 | 4789662 | 270 37045 | 0 | 0 1014.56/1014.84 c 687s | 24 | 4809443 | 4802962 | 270 37132 | 0 | 0 1016.56/1016.85 c 689s | 24 | 4822949 | 4816462 | 270 37219 | 0 | 0 1018.56/1018.85 c 691s | 24 | 4836354 | 4829862 | 270 37305 | 0 | 0 1020.55/1020.85 c 693s | 24 | 4849759 | 4843262 | 270 37392 | 0 | 0 1022.55/1022.86 c 695s | 24 | 4863273 | 4856762 | 270 37479 | 0 | 0 1024.55/1024.86 c 697s | 24 | 4876674 | 4870162 | 270 37565 | 0 | 0 1026.55/1026.86 c 699s | 24 | 4889901 | 4883362 | 270 37651 | 0 | 0 1028.55/1028.87 c 701s | 24 | 4903109 | 4896562 | 270 37737 | 0 | 0 1030.56/1030.87 c 703s | 24 | 4916229 | 4909662 | 270 37822 | 0 | 0 1032.55/1032.88 c 705s | 24 | 4929437 | 4922862 | 270 37907 | 0 | 0 1034.55/1034.88 c 707s | 24 | 4942751 | 4936162 | 270 37994 | 0 | 0 1036.55/1036.89 c 709s | 24 | 4956162 | 4949562 | 270 38081 | 0 | 0 1038.54/1038.89 c 711s | 24 | 4969367 | 4962762 | 270 38167 | 0 | 0 1040.64/1040.90 c 713s | 24 | 4982690 | 4976062 | 270 38254 | 0 | 0 1042.65/1042.91 c 715s | 24 | 4995896 | 4989262 | 270 38340 | 0 | 0 1044.64/1044.92 c 717s | 24 | 5009005 | 5002362 | 270 38426 | 0 | 0 1046.64/1046.93 c 719s | 24 | 5022540 | 5015862 | 270 38512 | 0 | 0 1048.64/1048.94 c 721s | 24 | 5035875 | 5029162 | 297 38597 | 0 | 0 1050.65/1050.94 c 723s | 24 | 5049092 | 5042362 | 297 38675 | 0 | 0 1052.66/1052.94 c 725s | 24 | 5062213 | 5055462 | 297 38752 | 0 | 0 1054.15/1054.42 c 726s | 25 | 5071855 | 5065098 | 297 38808 | 0 | 0 1056.14/1056.43 c 728s | 25 | 5085109 | 5078298 | 297 38885 | 0 | 0 1058.15/1058.43 c 730s | 25 | 5098221 | 5091398 | 297 38961 | 0 | 0 1060.14/1060.45 c 732s | 25 | 5111525 | 5104698 | 297 39039 | 0 | 0 1062.14/1062.45 c 734s | 25 | 5124864 | 5117998 | 297 39117 | 0 | 0 1064.14/1064.46 c 736s | 25 | 5138300 | 5131398 | 297 39195 | 0 | 0 1066.14/1066.47 c 738s | 25 | 5151831 | 5144898 | 297 39274 | 0 | 0 1068.13/1068.47 c 740s | 25 | 5165047 | 5158098 | 297 39352 | 0 | 0 1070.14/1070.48 c 742s | 25 | 5178346 | 5171398 | 297 39429 | 0 | 0 1072.13/1072.48 c 744s | 25 | 5191687 | 5184698 | 297 39507 | 0 | 0 1074.13/1074.49 c 746s | 25 | 5204628 | 5197598 | 297 39583 | 0 | 0 1076.22/1076.50 c 748s | 25 | 5217235 | 5210198 | 297 39658 | 0 | 0 1078.22/1078.51 c 750s | 25 | 5229946 | 5222898 | 297 39732 | 0 | 0 1080.22/1080.52 c 752s | 25 | 5242852 | 5235798 | 297 39807 | 0 | 0 1082.23/1082.54 c 754s | 25 | 5255687 | 5248598 | 297 39881 | 0 | 0 1084.22/1084.54 c 756s | 25 | 5268412 | 5261298 | 297 39956 | 0 | 0 1086.22/1086.55 c 758s | 25 | 5281316 | 5274198 | 297 40032 | 0 | 0 1088.22/1088.56 c 760s | 25 | 5294237 | 5287098 | 297 40107 | 0 | 0 1090.22/1090.56 c 763s | 25 | 5306867 | 5299698 | 297 40181 | 0 | 0 1092.23/1092.57 c 765s | 25 | 5319483 | 5312298 | 297 40256 | 0 | 0 1094.22/1094.58 c 767s | 25 | 5332196 | 5324998 | 297 40330 | 0 | 0 1096.22/1096.59 c 769s | 25 | 5345238 | 5337998 | 297 40407 | 0 | 0 1098.21/1098.59 c 771s | 25 | 5358283 | 5350998 | 297 40483 | 0 | 0 1100.31/1100.60 c 773s | 25 | 5371418 | 5364098 | 297 40561 | 0 | 0 1102.31/1102.61 c 775s | 25 | 5384638 | 5377298 | 297 40639 | 0 | 0 1104.32/1104.62 c 777s | 25 | 5397855 | 5390498 | 297 40716 | 0 | 0 1106.31/1106.62 c 779s | 25 | 5411201 | 5403798 | 297 40795 | 0 | 0 1108.31/1108.63 c 781s | 25 | 5424363 | 5416898 | 297 40873 | 0 | 0 1110.30/1110.64 c 783s | 25 | 5437470 | 5429998 | 297 40949 | 0 | 0 1112.30/1112.65 c 785s | 25 | 5450579 | 5443098 | 297 41025 | 0 | 0 1114.30/1114.66 c 787s | 25 | 5463721 | 5456198 | 297 41102 | 0 | 0 1116.31/1116.67 c 789s | 25 | 5476725 | 5469198 | 297 41178 | 0 | 0 1118.30/1118.68 c 791s | 25 | 5489557 | 5481998 | 297 41254 | 0 | 0 1120.40/1120.70 c 793s | 25 | 5502475 | 5494898 | 297 41329 | 0 | 0 1122.41/1122.71 c 795s | 25 | 5515493 | 5507898 | 297 41406 | 0 | 0 1124.41/1124.72 c 797s | 25 | 5528412 | 5520798 | 297 41482 | 0 | 0 1126.40/1126.73 c 799s | 25 | 5541431 | 5533798 | 297 41559 | 0 | 0 1128.41/1128.73 c 801s | 25 | 5554348 | 5546698 | 297 41635 | 0 | 0 1130.40/1130.75 c 803s | 25 | 5567376 | 5559698 | 297 41712 | 0 | 0 1132.40/1132.76 c 805s | 25 | 5580295 | 5572598 | 297 41788 | 0 | 0 1134.39/1134.76 c 807s | 25 | 5593216 | 5585498 | 297 41864 | 0 | 0 1136.39/1136.77 c 809s | 25 | 5606138 | 5598398 | 297 41941 | 0 | 0 1138.40/1138.78 c 811s | 25 | 5618965 | 5611198 | 297 42017 | 0 | 0 1140.39/1140.79 c 813s | 25 | 5631890 | 5624098 | 297 42093 | 0 | 0 1142.49/1142.81 c 815s | 25 | 5644806 | 5636998 | 297 42168 | 0 | 0 1144.49/1144.81 c 817s | 25 | 5657626 | 5649798 | 297 42244 | 0 | 0 1146.49/1146.81 c 819s | 25 | 5670357 | 5662498 | 297 42319 | 0 | 0 1148.49/1148.82 c 821s | 25 | 5683284 | 5675398 | 297 42395 | 0 | 0 1150.51/1150.82 c 823s | 25 | 5696294 | 5688398 | 297 42472 | 0 | 0 1152.49/1152.84 c 825s | 25 | 5709451 | 5701498 | 297 42549 | 0 | 0 1154.49/1154.84 c 827s | 25 | 5722271 | 5714298 | 297 42626 | 0 | 0 1156.49/1156.85 c 829s | 25 | 5735175 | 5727198 | 297 42702 | 0 | 0 1158.49/1158.86 c 831s | 25 | 5748093 | 5740098 | 297 42778 | 0 | 0 1160.49/1160.86 c 833s | 25 | 5761129 | 5753098 | 297 42855 | 0 | 0 1162.50/1162.86 c 835s | 25 | 5774191 | 5766098 | 297 42933 | 0 | 0 1164.49/1164.88 c 837s | 25 | 5787199 | 5779098 | 297 43010 | 0 | 0 1166.49/1166.88 c 839s | 25 | 5800307 | 5792198 | 297 43088 | 0 | 0 1168.48/1168.89 c 841s | 25 | 5813218 | 5805098 | 297 43164 | 0 | 0 1170.58/1170.90 c 843s | 25 | 5826359 | 5818198 | 297 43242 | 0 | 0 1172.58/1172.91 c 845s | 25 | 5839963 | 5831798 | 297 43321 | 0 | 0 1174.59/1174.91 c 847s | 25 | 5853565 | 5845398 | 297 43401 | 0 | 0 1176.59/1176.92 c 849s | 25 | 5867066 | 5858898 | 297 43480 | 0 | 0 1178.58/1178.92 c 851s | 25 | 5880467 | 5872298 | 297 43559 | 0 | 0 1180.58/1180.93 c 853s | 25 | 5893981 | 5885798 | 297 43638 | 0 | 0 1182.58/1182.94 c 855s | 25 | 5907385 | 5899198 | 297 43716 | 0 | 0 1184.59/1184.94 c 857s | 25 | 5920885 | 5912698 | 297 43795 | 0 | 0 1186.58/1186.95 c 859s | 25 | 5934298 | 5926098 | 297 43874 | 0 | 0 1188.57/1188.97 c 861s | 25 | 5947605 | 5939398 | 297 43952 | 0 | 0 1190.57/1190.98 c 863s | 25 | 5960704 | 5952498 | 297 44029 | 0 | 0 1192.57/1192.98 c 865s | 25 | 5974209 | 5965998 | 297 44109 | 0 | 0 1194.57/1194.99 c 867s | 25 | 5987508 | 5979298 | 297 44187 | 0 | 0 1196.58/1197.00 c 869s | 25 | 6000811 | 5992598 | 297 44266 | 0 | 0 1198.66/1199.01 c 871s | 25 | 6014315 | 6006098 | 297 44346 | 0 | 0 1200.66/1201.01 c 873s | 25 | 6027617 | 6019398 | 297 44425 | 0 | 0 1202.66/1203.01 c 875s | 25 | 6041021 | 6032798 | 297 44505 | 0 | 0 1204.66/1205.02 c 877s | 25 | 6054525 | 6046298 | 297 44585 | 0 | 0 1206.66/1207.03 c 879s | 25 | 6067825 | 6059598 | 297 44665 | 0 | 0 1208.67/1209.03 c 881s | 25 | 6080930 | 6072698 | 297 44742 | 0 | 0 1210.66/1211.04 c 883s | 25 | 6094143 | 6085898 | 297 44819 | 0 | 0 1212.66/1213.05 c 885s | 25 | 6107345 | 6099098 | 297 44896 | 0 | 0 1214.66/1215.06 c 887s | 25 | 6120448 | 6112198 | 297 44974 | 0 | 0 1216.66/1217.06 c 889s | 25 | 6133448 | 6125198 | 297 45050 | 0 | 0 1218.66/1219.08 c 891s | 25 | 6146361 | 6138098 | 297 45126 | 0 | 0 1220.65/1221.09 c 893s | 25 | 6159464 | 6151198 | 297 45204 | 0 | 0 1222.75/1223.11 c 895s | 25 | 6172265 | 6163998 | 297 45279 | 0 | 0 1224.75/1225.12 c 897s | 25 | 6185068 | 6176798 | 297 45355 | 0 | 0 1226.75/1227.13 c 899s | 25 | 6197879 | 6189598 | 297 45430 | 0 | 0 1228.74/1229.14 c 901s | 25 | 6210880 | 6202598 | 297 45507 | 0 | 0 1230.76/1231.14 c 903s | 25 | 6223778 | 6215498 | 297 45583 | 0 | 0 1232.75/1233.15 c 905s | 25 | 6236483 | 6228198 | 297 45658 | 0 | 0 1234.75/1235.16 c 907s | 25 | 6249187 | 6240898 | 297 45734 | 0 | 0 1236.75/1237.17 c 909s | 25 | 6261989 | 6253698 | 297 45810 | 0 | 0 1238.75/1239.18 c 911s | 25 | 6274796 | 6266498 | 297 45886 | 0 | 0 1240.75/1241.18 c 913s | 25 | 6287408 | 6279098 | 297 45960 | 0 | 0 1242.76/1243.18 c 915s | 25 | 6299913 | 6291598 | 297 46034 | 0 | 0 1244.74/1245.20 c 917s | 25 | 6312313 | 6303998 | 297 46108 | 0 | 0 1246.84/1247.21 c 919s | 25 | 6324619 | 6316298 | 297 46181 | 0 | 0 1248.84/1249.21 c 921s | 25 | 6336928 | 6328598 | 297 46253 | 0 | 0 1250.84/1251.22 c 923s | 25 | 6349227 | 6340898 | 297 46327 | 0 | 0 1252.84/1253.23 c 925s | 25 | 6361632 | 6353298 | 297 46401 | 0 | 0 1254.85/1255.24 c 927s | 25 | 6374144 | 6365798 | 297 46475 | 0 | 0 1256.84/1257.24 c 929s | 25 | 6386656 | 6378298 | 297 46549 | 0 | 0 1258.83/1259.25 c 931s | 25 | 6399055 | 6390698 | 297 46623 | 0 | 0 1260.83/1261.25 c 933s | 25 | 6411567 | 6403198 | 297 46697 | 0 | 0 1262.83/1263.25 c 935s | 25 | 6423979 | 6415598 | 297 46771 | 0 | 0 1264.85/1265.26 c 937s | 25 | 6436397 | 6427998 | 297 46845 | 0 | 0 1266.84/1267.28 c 939s | 25 | 6448905 | 6440498 | 297 46920 | 0 | 0 1268.84/1269.29 c 941s | 25 | 6461315 | 6452898 | 297 46994 | 0 | 0 1270.83/1271.29 c 943s | 25 | 6474021 | 6465598 | 297 47069 | 0 | 0 1272.93/1273.30 c 945s | 25 | 6486830 | 6478398 | 297 47145 | 0 | 0 1274.93/1275.31 c 947s | 25 | 6499641 | 6491198 | 297 47221 | 0 | 0 1276.94/1277.32 c 949s | 25 | 6512339 | 6503898 | 297 47297 | 0 | 0 1278.93/1279.33 c 951s | 25 | 6525146 | 6516698 | 297 47373 | 0 | 0 1280.93/1281.34 c 953s | 25 | 6537952 | 6529498 | 297 47450 | 0 | 0 1282.93/1283.35 c 955s | 25 | 6550862 | 6542398 | 297 47527 | 0 | 0 1284.93/1285.36 c 957s | 25 | 6563565 | 6555098 | 297 47603 | 0 | 0 1286.93/1287.36 c 959s | 25 | 6576073 | 6567598 | 297 47677 | 0 | 0 1288.93/1289.37 c 961s | 25 | 6588884 | 6580398 | 297 47754 | 0 | 0 1290.92/1291.38 c 963s | 25 | 6601587 | 6593098 | 297 47830 | 0 | 0 1292.92/1293.39 c 965s | 25 | 6614191 | 6605698 | 297 47906 | 0 | 0 1294.92/1295.40 c 967s | 25 | 6627200 | 6618698 | 297 47982 | 0 | 0 1297.02/1297.40 c 969s | 25 | 6640119 | 6631598 | 297 48057 | 0 | 0 1299.01/1299.41 c 971s | 25 | 6652934 | 6644398 | 297 48132 | 0 | 0 1301.02/1301.42 c 973s | 25 | 6665745 | 6657198 | 297 48208 | 0 | 0 1303.01/1303.42 c 975s | 25 | 6678455 | 6669898 | 297 48282 | 0 | 0 1305.01/1305.44 c 977s | 25 | 6691174 | 6682598 | 297 48357 | 0 | 0 1307.01/1307.45 c 979s | 25 | 6703903 | 6695298 | 297 48432 | 0 | 0 1309.01/1309.46 c 981s | 25 | 6716429 | 6707798 | 297 48506 | 0 | 0 1311.02/1311.46 c 983s | 25 | 6728836 | 6720198 | 297 48578 | 0 | 0 1313.01/1313.47 c 985s | 25 | 6741449 | 6732798 | 297 48652 | 0 | 0 1315.00/1315.48 c 987s | 25 | 6754078 | 6745398 | 297 48726 | 0 | 0 1317.01/1317.49 c 989s | 25 | 6766624 | 6757898 | 297 48800 | 0 | 0 1319.01/1319.49 c 991s | 25 | 6778938 | 6770198 | 297 48872 | 0 | 0 1321.11/1321.50 c 993s | 25 | 6791363 | 6782598 | 297 48945 | 0 | 0 1323.12/1323.51 c 995s | 25 | 6804084 | 6795298 | 297 49021 | 0 | 0 1325.11/1325.52 c 997s | 25 | 6816919 | 6808098 | 297 49097 | 0 | 0 1327.11/1327.52 c 999s | 25 | 6830058 | 6821198 | 297 49174 | 0 | 0 1329.11/1329.53 c 1001s | 25 | 6842974 | 6834098 | 297 49249 | 0 | 0 1331.11/1331.53 c 1003s | 25 | 6855793 | 6846898 | 297 49325 | 0 | 0 1333.11/1333.55 c 1005s | 25 | 6868892 | 6859998 | 297 49402 | 0 | 0 1335.11/1335.56 c 1008s | 25 | 6881797 | 6872898 | 297 49478 | 0 | 0 1337.10/1337.57 c 1010s | 25 | 6894608 | 6885698 | 297 49553 | 0 | 0 1339.10/1339.57 c 1012s | 25 | 6907513 | 6898598 | 297 49629 | 0 | 0 1341.10/1341.57 c 1014s | 25 | 6920317 | 6911398 | 297 49705 | 0 | 0 1343.10/1343.58 c 1016s | 25 | 6933126 | 6924198 | 297 49781 | 0 | 0 1345.11/1345.59 c 1018s | 25 | 6946036 | 6937098 | 297 49857 | 0 | 0 1347.10/1347.59 c 1020s | 25 | 6958853 | 6949898 | 297 49933 | 0 | 0 1349.20/1349.60 c 1022s | 25 | 6971566 | 6962598 | 297 50009 | 0 | 0 1351.20/1351.62 c 1024s | 25 | 6984287 | 6975298 | 297 50085 | 0 | 0 1353.20/1353.62 c 1026s | 25 | 6996807 | 6987798 | 297 50159 | 0 | 0 1355.20/1355.63 c 1028s | 25 | 7009419 | 7000398 | 297 50235 | 0 | 0 1357.21/1357.64 c 1030s | 25 | 7022048 | 7012998 | 297 50310 | 0 | 0 1359.20/1359.65 c 1032s | 25 | 7034676 | 7025598 | 297 50384 | 0 | 0 1361.21/1361.65 c 1034s | 25 | 7047209 | 7038098 | 297 50457 | 0 | 0 1363.20/1363.65 c 1036s | 25 | 7059725 | 7050598 | 297 50531 | 0 | 0 1365.20/1365.66 c 1038s | 25 | 7072256 | 7063098 | 297 50605 | 0 | 0 1367.20/1367.67 c 1040s | 25 | 7084956 | 7075798 | 297 50680 | 0 | 0 1369.21/1369.68 c 1042s | 25 | 7097462 | 7088298 | 297 50753 | 0 | 0 1371.20/1371.68 c 1044s | 25 | 7109869 | 7100698 | 297 50826 | 0 | 0 1373.20/1373.68 c 1046s | 25 | 7122376 | 7113198 | 297 50900 | 0 | 0 1375.20/1375.69 c 1048s | 25 | 7135086 | 7125898 | 297 50975 | 0 | 0 1377.30/1377.70 c 1050s | 25 | 7147802 | 7138598 | 297 51051 | 0 | 0 1379.30/1379.71 c 1052s | 25 | 7160423 | 7151198 | 297 51126 | 0 | 0 1381.31/1381.71 c 1054s | 25 | 7172772 | 7163498 | 297 51199 | 0 | 0 1383.30/1383.71 c 1056s | 25 | 7184887 | 7175598 | 297 51270 | 0 | 0 1385.30/1385.72 c 1058s | 25 | 7197311 | 7187998 | 297 51344 | 0 | 0 1387.30/1387.72 c 1060s | 25 | 7209526 | 7200198 | 297 51417 | 0 | 0 1389.30/1389.73 c 1062s | 25 | 7221935 | 7212598 | 297 51491 | 0 | 0 1391.31/1391.75 c 1064s | 25 | 7234262 | 7224898 | 297 51563 | 0 | 0 1393.30/1393.76 c 1066s | 25 | 7246572 | 7237198 | 297 51636 | 0 | 0 1395.30/1395.77 c 1068s | 25 | 7259011 | 7249598 | 297 51710 | 0 | 0 1397.30/1397.77 c 1070s | 25 | 7271435 | 7261998 | 297 51784 | 0 | 0 1399.30/1399.77 c 1072s | 25 | 7283963 | 7274498 | 297 51858 | 0 | 0 1401.29/1401.79 c 1074s | 25 | 7296488 | 7286998 | 297 51933 | 0 | 0 1403.30/1403.79 c 1076s | 25 | 7308916 | 7299398 | 297 52007 | 0 | 0 1405.39/1405.80 c 1078s | 25 | 7321436 | 7311898 | 297 52081 | 0 | 0 1407.39/1407.80 c 1080s | 25 | 7333958 | 7324398 | 297 52156 | 0 | 0 1409.39/1409.81 c 1082s | 25 | 7346402 | 7336798 | 297 52230 | 0 | 0 1411.39/1411.81 c 1084s | 25 | 7358704 | 7349098 | 297 52303 | 0 | 0 1413.39/1413.81 c 1086s | 25 | 7371407 | 7361798 | 297 52378 | 0 | 0 1415.40/1415.82 c 1088s | 25 | 7383716 | 7374098 | 297 52451 | 0 | 0 1417.39/1417.84 c 1090s | 25 | 7396134 | 7386498 | 297 52525 | 0 | 0 1419.39/1419.85 c 1092s | 25 | 7408562 | 7398898 | 297 52599 | 0 | 0 1421.39/1421.86 c 1094s | 25 | 7421074 | 7411398 | 297 52673 | 0 | 0 1423.39/1423.86 c 1096s | 25 | 7434086 | 7424398 | 297 52750 | 0 | 0 1425.40/1425.87 c 1098s | 25 | 7446992 | 7437298 | 297 52826 | 0 | 0 1427.39/1427.88 c 1100s | 25 | 7460199 | 7450498 | 297 52903 | 0 | 0 1429.39/1429.89 c 1102s | 25 | 7472916 | 7463198 | 297 52978 | 0 | 0 1431.49/1431.91 c 1104s | 25 | 7485863 | 7476098 | 297 53054 | 0 | 0 1433.49/1433.91 c 1106s | 25 | 7498978 | 7489198 | 297 53131 | 0 | 0 1435.49/1435.92 c 1108s | 25 | 7512018 | 7502198 | 297 53209 | 0 | 0 1437.50/1437.93 c 1110s | 25 | 7524715 | 7514898 | 297 53284 | 0 | 0 1439.49/1439.93 c 1112s | 25 | 7536929 | 7527098 | 297 53356 | 0 | 0 1441.49/1441.95 c 1114s | 25 | 7548941 | 7539098 | 297 53428 | 0 | 0 1443.49/1443.95 c 1116s | 25 | 7561043 | 7551198 | 327 53496 | 0 | 0 1445.49/1445.96 c 1118s | 25 | 7573278 | 7563398 | 327 53562 | 0 | 0 1447.49/1447.98 c 1120s | 25 | 7585407 | 7575498 | 327 53628 | 0 | 0 1449.50/1449.98 c 1122s | 25 | 7597407 | 7587498 | 327 53693 | 0 | 0 1451.19/1451.68 c 1124s | 26 | 7607666 | 7597752 | 327 53749 | 0 | 0 1453.29/1453.70 c 1126s | 26 | 7619798 | 7609852 | 327 53814 | 0 | 0 1455.29/1455.71 c 1128s | 26 | 7632001 | 7622052 | 327 53879 | 0 | 0 1457.30/1457.72 c 1130s | 26 | 7644605 | 7634652 | 327 53947 | 0 | 0 1459.29/1459.73 c 1132s | 26 | 7657314 | 7647352 | 327 54016 | 0 | 0 1461.29/1461.74 c 1134s | 26 | 7670014 | 7660052 | 327 54085 | 0 | 0 1463.29/1463.75 c 1136s | 26 | 7682640 | 7672652 | 327 54153 | 0 | 0 1465.29/1465.75 c 1138s | 26 | 7695273 | 7685252 | 327 54221 | 0 | 0 1467.29/1467.75 c 1140s | 26 | 7707791 | 7697752 | 327 54288 | 0 | 0 1469.30/1469.76 c 1142s | 26 | 7720505 | 7710452 | 327 54357 | 0 | 0 1471.29/1471.76 c 1144s | 26 | 7733129 | 7723052 | 327 54425 | 0 | 0 1473.28/1473.77 c 1146s | 26 | 7745659 | 7735552 | 327 54493 | 0 | 0 1475.28/1475.78 c 1148s | 26 | 7758171 | 7748052 | 327 54561 | 0 | 0 1477.28/1477.78 c 1150s | 26 | 7770475 | 7760352 | 327 54628 | 0 | 0 1479.38/1479.80 c 1152s | 26 | 7782895 | 7772752 | 327 54695 | 0 | 0 1481.28/1481.80 c 1154s | 26 | 7795300 | 7785152 | 327 54762 | 0 | 0 1483.38/1483.81 c 1156s | 26 | 7807729 | 7797552 | 327 54830 | 0 | 0 1485.38/1485.82 c 1158s | 26 | 7819945 | 7809752 | 327 54896 | 0 | 0 1487.38/1487.82 c 1160s | 26 | 7832246 | 7822052 | 327 54963 | 0 | 0 1489.38/1489.82 c 1162s | 26 | 7844661 | 7834452 | 327 55031 | 0 | 0 1491.39/1491.84 c 1164s | 26 | 7856768 | 7846552 | 327 55097 | 0 | 0 1493.38/1493.85 c 1166s | 26 | 7868968 | 7858752 | 327 55164 | 0 | 0 1495.38/1495.87 c 1168s | 26 | 7881189 | 7870952 | 327 55230 | 0 | 0 1497.38/1497.87 c 1170s | 26 | 7893315 | 7883052 | 327 55295 | 0 | 0 1499.38/1499.88 c 1172s | 26 | 7905540 | 7895252 | 327 55361 | 0 | 0 1501.37/1501.89 c 1174s | 26 | 7917665 | 7907352 | 327 55426 | 0 | 0 1503.39/1503.90 c 1176s | 26 | 7929798 | 7919452 | 327 55491 | 0 | 0 1505.48/1505.91 c 1178s | 26 | 7941829 | 7931452 | 327 55556 | 0 | 0 1507.48/1507.93 c 1180s | 26 | 7954235 | 7943852 | 327 55623 | 0 | 0 1509.48/1509.93 c 1182s | 26 | 7966548 | 7956152 | 327 55689 | 0 | 0 1511.48/1511.95 c 1184s | 26 | 7978547 | 7968152 | 327 55754 | 0 | 0 1513.47/1513.95 c 1186s | 26 | 7990458 | 7980052 | 327 55819 | 0 | 0 1515.48/1515.95 c 1188s | 26 | 8002274 | 7991852 | 327 55883 | 0 | 0 1517.47/1517.97 c 1190s | 26 | 8014684 | 8004252 | 327 55950 | 0 | 0 1519.47/1519.98 c 1192s | 26 | 8027101 | 8016652 | 327 56017 | 0 | 0 1521.47/1521.99 c 1194s | 26 | 8039616 | 8029152 | 327 56084 | 0 | 0 1523.47/1523.99 c 1196s | 26 | 8052249 | 8041752 | 327 56152 | 0 | 0 1525.58/1526.00 c 1198s | 26 | 8064668 | 8054152 | 327 56219 | 0 | 0 1527.59/1528.01 c 1200s | 26 | 8076979 | 8066452 | 327 56286 | 0 | 0 1529.58/1530.01 c 1202s | 26 | 8089414 | 8078852 | 327 56353 | 0 | 0 1531.58/1532.02 c 1204s | 26 | 8101724 | 8091152 | 327 56420 | 0 | 0 1533.58/1534.03 c 1206s | 26 | 8114142 | 8103552 | 327 56487 | 0 | 0 1535.58/1536.03 c 1208s | 26 | 8126465 | 8115852 | 327 56554 | 0 | 0 1537.59/1538.05 c 1210s | 26 | 8138769 | 8128152 | 327 56622 | 0 | 0 1539.57/1540.06 c 1212s | 26 | 8151395 | 8140752 | 327 56690 | 0 | 0 1541.57/1542.06 c 1214s | 26 | 8164199 | 8153552 | 327 56759 | 0 | 0 1543.57/1544.08 c 1216s | 26 | 8176909 | 8166252 | 327 56827 | 0 | 0 1545.57/1546.09 c 1218s | 26 | 8189509 | 8178852 | 327 56896 | 0 | 0 1547.57/1548.09 c 1220s | 26 | 8201907 | 8191252 | 327 56963 | 0 | 0 1549.58/1550.10 c 1222s | 26 | 8214423 | 8203752 | 327 57031 | 0 | 0 1551.67/1552.11 c 1224s | 26 | 8226933 | 8216252 | 327 57099 | 0 | 0 1553.67/1554.12 c 1226s | 26 | 8239238 | 8228552 | 327 57166 | 0 | 0 1555.67/1556.13 c 1228s | 26 | 8251568 | 8240852 | 327 57233 | 0 | 0 1557.67/1558.14 c 1230s | 26 | 8264089 | 8253352 | 327 57301 | 0 | 0 1559.67/1560.15 c 1232s | 26 | 8276318 | 8265552 | 327 57368 | 0 | 0 1561.68/1562.15 c 1234s | 26 | 8288730 | 8277952 | 327 57435 | 0 | 0 1563.67/1564.16 c 1236s | 26 | 8301145 | 8290352 | 327 57502 | 0 | 0 1565.67/1566.17 c 1238s | 26 | 8313551 | 8302752 | 327 57570 | 0 | 0 1567.67/1568.19 c 1240s | 26 | 8326060 | 8315252 | 327 57637 | 0 | 0 1569.77/1570.20 c 1242s | 26 | 8338374 | 8327552 | 327 57705 | 0 | 0 1571.77/1572.22 c 1244s | 26 | 8350685 | 8339852 | 327 57772 | 0 | 0 1573.78/1574.22 c 1246s | 26 | 8362999 | 8352152 | 327 57839 | 0 | 0 1575.77/1576.23 c 1248s | 26 | 8375508 | 8364652 | 327 57907 | 0 | 0 1577.77/1578.24 c 1250s | 26 | 8388124 | 8377252 | 327 57976 | 0 | 0 1579.77/1580.25 c 1252s | 26 | 8400743 | 8389852 | 327 58045 | 0 | 0 1581.77/1582.26 c 1254s | 26 | 8413163 | 8402252 | 327 58113 | 0 | 0 1583.78/1584.27 c 1256s | 26 | 8425677 | 8414752 | 327 58180 | 0 | 0 1585.77/1586.28 c 1258s | 26 | 8438186 | 8427252 | 327 58247 | 0 | 0 1587.77/1588.29 c 1260s | 26 | 8450492 | 8439552 | 327 58313 | 0 | 0 1589.87/1590.30 c 1262s | 26 | 8463002 | 8452052 | 327 58380 | 0 | 0 1591.87/1592.31 c 1264s | 26 | 8475439 | 8464452 | 327 58447 | 0 | 0 1593.87/1594.32 c 1266s | 26 | 8487665 | 8476652 | 327 58513 | 0 | 0 1595.87/1596.32 c 1268s | 26 | 8499986 | 8488952 | 327 58579 | 0 | 0 1597.86/1598.33 c 1270s | 26 | 8512315 | 8501252 | 327 58646 | 0 | 0 1599.86/1600.34 c 1272s | 26 | 8524514 | 8513452 | 327 58712 | 0 | 0 1601.86/1602.35 c 1274s | 26 | 8536731 | 8525652 | 327 58778 | 0 | 0 1603.86/1604.35 c 1276s | 26 | 8549038 | 8537952 | 327 58844 | 0 | 0 1605.87/1606.37 c 1278s | 26 | 8561437 | 8550352 | 327 58911 | 0 | 0 1607.88/1608.38 c 1280s | 26 | 8573851 | 8562752 | 327 58978 | 0 | 0 1609.87/1610.38 c 1282s | 26 | 8586158 | 8575052 | 327 59044 | 0 | 0 1611.87/1612.38 c 1284s | 26 | 8598363 | 8587252 | 327 59110 | 0 | 0 1613.87/1614.39 c 1286s | 26 | 8610575 | 8599452 | 327 59176 | 0 | 0 1615.87/1616.39 c 1288s | 26 | 8622885 | 8611752 | 327 59243 | 0 | 0 1617.97/1618.40 c 1290s | 26 | 8635095 | 8623952 | 327 59309 | 0 | 0 1619.87/1620.41 c 1292s | 26 | 8647308 | 8636152 | 327 59375 | 0 | 0 1621.96/1622.42 c 1294s | 26 | 8659752 | 8648552 | 327 59443 | 0 | 0 1623.96/1624.43 c 1296s | 26 | 8672074 | 8660852 | 327 59510 | 0 | 0 1625.96/1626.44 c 1298s | 26 | 8684395 | 8673152 | 327 59577 | 0 | 0 1627.96/1628.45 c 1300s | 26 | 8696602 | 8685352 | 327 59642 | 0 | 0 1629.97/1630.46 c 1302s | 26 | 8708817 | 8697552 | 327 59708 | 0 | 0 1631.96/1632.46 c 1304s | 26 | 8721134 | 8709852 | 327 59775 | 0 | 0 1633.96/1634.47 c 1306s | 26 | 8733537 | 8722252 | 327 59842 | 0 | 0 1635.96/1636.48 c 1308s | 26 | 8745847 | 8734552 | 327 59909 | 0 | 0 1637.96/1638.49 c 1310s | 26 | 8758255 | 8746952 | 327 59976 | 0 | 0 1640.06/1640.50 c 1312s | 26 | 8770684 | 8759352 | 327 60043 | 0 | 0 1642.07/1642.51 c 1314s | 26 | 8783010 | 8771652 | 327 60110 | 0 | 0 1644.05/1644.51 c 1316s | 26 | 8795537 | 8784152 | 327 60178 | 0 | 0 1646.05/1646.52 c 1318s | 26 | 8807950 | 8796552 | 327 60245 | 0 | 0 1648.05/1648.53 c 1320s | 26 | 8820457 | 8809052 | 327 60314 | 0 | 0 1650.05/1650.54 c 1322s | 26 | 8833160 | 8821752 | 327 60382 | 0 | 0 1652.06/1652.54 c 1324s | 26 | 8845666 | 8834252 | 327 60450 | 0 | 0 1654.07/1654.54 c 1326s | 26 | 8857976 | 8846552 | 327 60517 | 0 | 0 1656.06/1656.55 c 1328s | 26 | 8870084 | 8858652 | 327 60583 | 0 | 0 1658.06/1658.55 c 1330s | 26 | 8882380 | 8870952 | 327 60650 | 0 | 0 1660.06/1660.57 c 1333s | 26 | 8894786 | 8883352 | 327 60718 | 0 | 0 1662.06/1662.57 c 1335s | 26 | 8906893 | 8895452 | 327 60783 | 0 | 0 1664.07/1664.59 c 1337s | 26 | 8919321 | 8907852 | 327 60851 | 0 | 0 1666.06/1666.59 c 1339s | 26 | 8931633 | 8920152 | 327 60919 | 0 | 0 1668.16/1668.60 c 1341s | 26 | 8943963 | 8932452 | 327 60987 | 0 | 0 1670.16/1670.61 c 1343s | 26 | 8956380 | 8944852 | 327 61054 | 0 | 0 1672.15/1672.62 c 1345s | 26 | 8969080 | 8957552 | 327 61122 | 0 | 0 1674.15/1674.63 c 1347s | 26 | 8981897 | 8970352 | 327 61191 | 0 | 0 1676.16/1676.65 c 1349s | 26 | 8994401 | 8982852 | 327 61259 | 0 | 0 1678.15/1678.65 c 1351s | 26 | 9006821 | 8995252 | 327 61326 | 0 | 0 1680.15/1680.65 c 1353s | 26 | 9019423 | 9007852 | 327 61395 | 0 | 0 1682.15/1682.65 c 1355s | 26 | 9032329 | 9020752 | 327 61465 | 0 | 0 1684.15/1684.66 c 1357s | 26 | 9045134 | 9033552 | 327 61534 | 0 | 0 1686.15/1686.68 c 1359s | 26 | 9057741 | 9046152 | 327 61603 | 0 | 0 1688.16/1688.68 c 1361s | 26 | 9070267 | 9058652 | 327 61671 | 0 | 0 1690.15/1690.69 c 1363s | 26 | 9082682 | 9071052 | 327 61739 | 0 | 0 1692.25/1692.70 c 1365s | 26 | 9095392 | 9083752 | 327 61807 | 0 | 0 1694.25/1694.72 c 1367s | 26 | 9108197 | 9096552 | 327 61877 | 0 | 0 1696.25/1696.72 c 1369s | 26 | 9120802 | 9109152 | 327 61945 | 0 | 0 1698.25/1698.73 c 1371s | 26 | 9133325 | 9121652 | 327 62014 | 0 | 0 1700.26/1700.74 c 1373s | 26 | 9145945 | 9134252 | 327 62083 | 0 | 0 1702.25/1702.75 c 1375s | 26 | 9158557 | 9146852 | 327 62151 | 0 | 0 1704.25/1704.75 c 1377s | 26 | 9171163 | 9159452 | 327 62220 | 0 | 0 1706.25/1706.75 c 1379s | 26 | 9183678 | 9171952 | 327 62289 | 0 | 0 1708.25/1708.76 c 1381s | 26 | 9196404 | 9184652 | 327 62358 | 0 | 0 1710.26/1710.77 c 1383s | 26 | 9209037 | 9197252 | 327 62427 | 0 | 0 1712.25/1712.77 c 1385s | 26 | 9221453 | 9209652 | 327 62495 | 0 | 0 1714.25/1714.78 c 1387s | 26 | 9233974 | 9222152 | 327 62563 | 0 | 0 1716.25/1716.78 c 1389s | 26 | 9246397 | 9234552 | 327 62630 | 0 | 0 1718.25/1718.79 c 1391s | 26 | 9258999 | 9247152 | 327 62698 | 0 | 0 1720.25/1720.79 c 1393s | 26 | 9271425 | 9259552 | 327 62766 | 0 | 0 1722.26/1722.79 c 1395s | 26 | 9283839 | 9271952 | 327 62834 | 0 | 0 1724.34/1724.80 c 1397s | 26 | 9296342 | 9284452 | 327 62902 | 0 | 0 1726.34/1726.81 c 1399s | 26 | 9308947 | 9297052 | 327 62970 | 0 | 0 1728.34/1728.82 c 1401s | 26 | 9321456 | 9309552 | 327 63039 | 0 | 0 1730.34/1730.83 c 1403s | 26 | 9334151 | 9322252 | 327 63108 | 0 | 0 1732.34/1732.84 c 1405s | 26 | 9346778 | 9334852 | 327 63177 | 0 | 0 1734.35/1734.85 c 1407s | 26 | 9359482 | 9347552 | 327 63246 | 0 | 0 1736.34/1736.86 c 1409s | 26 | 9371997 | 9360052 | 327 63314 | 0 | 0 1738.34/1738.86 c 1411s | 26 | 9384409 | 9372452 | 327 63382 | 0 | 0 1740.34/1740.86 c 1413s | 26 | 9396934 | 9384952 | 327 63451 | 0 | 0 1742.34/1742.87 c 1415s | 26 | 9409438 | 9397452 | 327 63519 | 0 | 0 1744.35/1744.88 c 1417s | 26 | 9421950 | 9409952 | 327 63588 | 0 | 0 1746.35/1746.89 c 1419s | 26 | 9434379 | 9422352 | 327 63655 | 0 | 0 1748.35/1748.90 c 1421s | 26 | 9446922 | 9434852 | 327 63724 | 0 | 0 1750.44/1750.91 c 1423s | 26 | 9459422 | 9447352 | 327 63793 | 0 | 0 1752.44/1752.92 c 1425s | 26 | 9471733 | 9459652 | 327 63861 | 0 | 0 1754.44/1754.93 c 1427s | 26 | 9484244 | 9472152 | 327 63929 | 0 | 0 1756.45/1756.94 c 1429s | 26 | 9496851 | 9484752 | 327 63997 | 0 | 0 1758.44/1758.95 c 1431s | 26 | 9509460 | 9497352 | 327 64065 | 0 | 0 1760.44/1760.95 c 1433s | 26 | 9521870 | 9509752 | 327 64131 | 0 | 0 1762.44/1762.96 c 1435s | 26 | 9534376 | 9522252 | 327 64199 | 0 | 0 1764.44/1764.97 c 1437s | 26 | 9546979 | 9534852 | 327 64267 | 0 | 0 1766.44/1766.97 c 1439s | 26 | 9559584 | 9547452 | 327 64335 | 0 | 0 1768.45/1768.98 c 1441s | 26 | 9571991 | 9559852 | 327 64402 | 0 | 0 1770.44/1770.99 c 1443s | 26 | 9584602 | 9572452 | 327 64470 | 0 | 0 1772.54/1773.01 c 1445s | 26 | 9597313 | 9585152 | 327 64539 | 0 | 0 1774.54/1775.01 c 1447s | 26 | 9610126 | 9597952 | 327 64609 | 0 | 0 1776.54/1777.02 c 1449s | 26 | 9622742 | 9610552 | 327 64677 | 0 | 0 1778.54/1779.04 c 1451s | 26 | 9635356 | 9623152 | 327 64745 | 0 | 0 1780.55/1781.04 c 1453s | 26 | 9648067 | 9635852 | 327 64814 | 0 | 0 1782.53/1783.06 c 1455s | 26 | 9660472 | 9648252 | 327 64882 | 0 | 0 1784.53/1785.07 c 1457s | 26 | 9672877 | 9660652 | 327 64949 | 0 | 0 1786.53/1787.08 c 1459s | 26 | 9685375 | 9673152 | 327 65017 | 0 | 0 1788.63/1789.10 c 1461s | 26 | 9697684 | 9685452 | 327 65083 | 0 | 0 1790.63/1791.10 c 1463s | 26 | 9709993 | 9697752 | 327 65150 | 0 | 0 1792.53/1793.10 c 1465s | 26 | 9722194 | 9709952 | 327 65217 | 0 | 0 1794.63/1795.11 c 1467s | 26 | 9734395 | 9722152 | 327 65283 | 0 | 0 1796.63/1797.11 c 1469s | 26 | 9746597 | 9734352 | 327 65350 | 0 | 0 1798.63/1799.12 c 1471s | 26 | 9759100 | 9746852 | 327 65417 | 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-4078586-1465238605/watcher-4078586-1465238605 -o /tmp/evaluation-result-4078586-1465238605/solver-4078586-1465238605 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078586-1465238605.opb pid=31506 running on 8 cores: 4-7,12-15 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.17 2.09 3/261 31509 /proc/meminfo: memFree=28402772/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=1172924 CPUtime=0 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 4455 0 0 0 0 0 0 0 20 0 4 0 105702475 1201074176 4306 33554432000 4194304 16246674 140736667220384 140736667219808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 294255 4321 441 2943 0 291149 0 [pid=31509/tid=31510] ppid=31506 vsize=1203644 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 1232531456 4423 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=1207740 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 1236725760 4442 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=1211836 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105702475 1240920064 4458 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 [startup+0.100193 s] /proc/loadavg: 2.20 2.17 2.09 3/261 31509 /proc/meminfo: memFree=28402772/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=1218116 CPUtime=0.09 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 27100 0 0 0 6 3 0 0 20 0 4 0 105702475 1247350784 26941 33554432000 4194304 16246674 140736667220384 140736667219808 12449273 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 304529 26955 601 2943 0 301423 0 [pid=31509/tid=31510] ppid=31506 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 1247350784 26964 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 1247350784 26974 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105702475 1247350784 26983 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200545 s] /proc/loadavg: 2.20 2.17 2.09 3/261 31509 /proc/meminfo: memFree=28402772/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=1218116 CPUtime=0.19 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 53958 0 0 0 13 6 0 0 20 0 4 0 105702475 1247350784 53799 33554432000 4194304 16246674 140736667220384 140736667219808 12449399 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 304529 53814 601 2943 0 301423 0 [pid=31509/tid=31510] ppid=31506 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 1247350784 53823 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 1247350784 53833 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105702475 1247350784 53842 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300488 s] /proc/loadavg: 2.20 2.17 2.09 3/261 31509 /proc/meminfo: memFree=28402772/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=1218116 CPUtime=0.29 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 76789 0 0 0 20 9 0 0 20 0 4 0 105702475 1247350784 76631 33554432000 4194304 16246674 140736667220384 140736667219808 13007928 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 304529 76648 601 2943 0 301423 0 [pid=31509/tid=31510] ppid=31506 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 1247350784 76657 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 1247350784 76666 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105702475 1247350784 76675 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700405 s] /proc/loadavg: 2.20 2.17 2.09 3/261 31509 /proc/meminfo: memFree=28402772/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=1218116 CPUtime=0.68 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 183514 0 0 0 46 22 0 0 20 0 4 0 105702475 1247350784 183356 33554432000 4194304 16246674 140736667220384 140736667219808 12654121 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 304529 183372 601 2943 0 301423 0 [pid=31509/tid=31510] ppid=31506 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 1247350784 183381 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 1247350784 183390 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=1218116 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105702475 1247350784 183399 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.20 2.17 2.09 3/265 31513 /proc/meminfo: memFree=27388528/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=1393220 CPUtime=1.49 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 289206 0 0 0 114 35 0 0 20 0 4 0 105702475 1426657280 289003 33554432000 4194304 16246674 140736667220384 140736667219696 12652957 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 348305 289003 821 2943 0 345199 0 [pid=31509/tid=31510] ppid=31506 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 1426657280 289003 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 1426657280 289003 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 1426657280 289003 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1393220 [startup+3.10041 s] /proc/loadavg: 2.26 2.18 2.09 3/265 31513 /proc/meminfo: memFree=27245556/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=1393220 CPUtime=3.09 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 289402 0 0 0 274 35 0 0 20 0 4 0 105702475 1426657280 289199 33554432000 4194304 16246674 140736667220384 140736667202304 4220897 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 348305 289199 821 2943 0 345199 0 [pid=31509/tid=31510] ppid=31506 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 1426657280 289199 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 1426657280 289199 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 1426657280 289199 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1393220 [startup+6.30042 s] /proc/loadavg: 2.26 2.18 2.09 3/265 31513 /proc/meminfo: memFree=27245704/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=1393220 CPUtime=6.29 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 289402 0 0 0 594 35 0 0 20 0 4 0 105702475 1426657280 289199 33554432000 4194304 16246674 140736667220384 140736667202304 12422926 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 348305 289199 821 2943 0 345199 0 [pid=31509/tid=31510] ppid=31506 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 1426657280 289199 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 1426657280 289199 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 1426657280 289199 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1393220 [startup+12.7004 s] /proc/loadavg: 2.22 2.18 2.09 3/265 31513 /proc/meminfo: memFree=26191832/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=2444868 CPUtime=12.69 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 552314 0 0 0 1195 74 0 0 20 0 4 0 105702475 2503544832 552111 33554432000 4194304 16246674 140736667220384 140736667219480 14628944 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 611217 552111 821 2943 0 608111 0 [pid=31509/tid=31510] ppid=31506 vsize=2444868 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 2503544832 552111 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=2444868 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 2503544832 552111 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=2444868 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 2503544832 552111 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 2444868 [startup+25.5108 s] /proc/loadavg: 2.19 2.17 2.09 3/265 31513 /proc/meminfo: memFree=23837692/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=4794948 CPUtime=25.5 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 1139836 0 0 0 2394 156 0 0 20 0 4 0 105702475 4910026752 1139633 33554432000 4194304 16246674 140736667220384 140736667219480 4220912 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 1198737 1139633 822 2943 0 1195631 0 [pid=31509/tid=31510] ppid=31506 vsize=4794948 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 4910026752 1139633 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=4794948 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 4910026752 1139633 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=4794948 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 4910026752 1139633 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 4794948 [startup+51.1004 s] /proc/loadavg: 2.12 2.16 2.09 3/265 31513 /proc/meminfo: memFree=22762440/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=5868100 CPUtime=51.08 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 1408124 0 0 0 4905 203 0 0 20 0 4 0 105702475 6008934400 1407921 33554432000 4194304 16246674 140736667220384 140736667219480 15015658 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 1467025 1407921 822 2943 0 1463919 0 [pid=31509/tid=31510] ppid=31506 vsize=5868100 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 6008934400 1407921 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=5868100 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 6008934400 1407921 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=5868100 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 6008934400 1407921 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 5868100 [startup+102.3 s] /proc/loadavg: 2.12 2.15 2.09 3/265 31515 /proc/meminfo: memFree=20582132/32872528 swapFree=9200/9200 [pid=31509] ppid=31506 vsize=8044100 CPUtime=102.28 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 1952126 0 0 0 9935 293 0 0 20 0 4 0 105702475 8237158400 1951923 33554432000 4194304 16246674 140736667220384 140736667218176 4225141 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 2011025 1951923 822 2943 0 2007919 0 [pid=31509/tid=31510] ppid=31506 vsize=8044100 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 8237158400 1951923 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=8044100 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 8237158400 1951923 33554432000 4194304 16246674 140736667220384 140132746238992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=8044100 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 8237158400 1951923 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 8044100 ################ # More data... # ################ /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 4164164 [startup+1362.3 s] /proc/loadavg: 2.16 2.07 2.05 3/265 31618 /proc/meminfo: memFree=25490340/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=4164164 CPUtime=1361.9 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 2931668 0 0 0 135567 623 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140736667202304 12477716 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 1041041 982267 889 2943 0 1037935 0 [pid=31509/tid=31510] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 4164164 [startup+1422.3 s] /proc/loadavg: 2.16 2.09 2.06 3/265 31619 /proc/meminfo: memFree=25490992/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=4164164 CPUtime=1421.89 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 2931668 0 0 0 141566 623 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140736667202304 5822484 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 1041041 982267 889 2943 0 1037935 0 [pid=31509/tid=31510] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 4164164 [startup+1482.3 s] /proc/loadavg: 2.06 2.07 2.05 3/265 31620 /proc/meminfo: memFree=25490896/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=4164164 CPUtime=1481.88 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 2931668 0 0 0 147564 624 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140736667202304 12477948 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 1041041 982267 889 2943 0 1037935 0 [pid=31509/tid=31510] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 4164164 [startup+1542.3 s] /proc/loadavg: 2.02 2.05 2.04 3/265 31621 /proc/meminfo: memFree=25490920/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=4164164 CPUtime=1541.88 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 2931668 0 0 0 153562 626 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140736667202304 5822252 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 1041041 982267 889 2943 0 1037935 0 [pid=31509/tid=31510] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 4164164 [startup+1602.3 s] /proc/loadavg: 2.01 2.04 2.04 3/265 31625 /proc/meminfo: memFree=25490192/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=4164164 CPUtime=1601.86 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 2931668 0 0 0 159559 627 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140736667202304 5711326 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 1041041 982267 889 2943 0 1037935 0 [pid=31509/tid=31510] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 4164164 [startup+1662.31 s] /proc/loadavg: 2.17 2.08 2.05 3/265 31627 /proc/meminfo: memFree=25490872/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=4164164 CPUtime=1661.87 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 2931668 0 0 0 165558 629 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140736667202304 5545984 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 1041041 982267 889 2943 0 1037935 0 [pid=31509/tid=31510] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 4164164 [startup+1722.3 s] /proc/loadavg: 2.25 2.12 2.06 3/265 31628 /proc/meminfo: memFree=25491140/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=4164164 CPUtime=1721.85 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 2931668 0 0 0 171555 630 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140736667202304 5721388 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 1041041 982267 889 2943 0 1037935 0 [pid=31509/tid=31510] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 4164164 [startup+1782.3 s] /proc/loadavg: 2.19 2.12 2.07 3/265 31629 /proc/meminfo: memFree=25490552/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=4164164 CPUtime=1781.84 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 2931668 0 0 0 177553 631 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140736667202304 5711439 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 1041041 982267 889 2943 0 1037935 0 [pid=31509/tid=31510] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 4164164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.15 2.12 2.07 3/265 31629 /proc/meminfo: memFree=25490644/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=4164164 CPUtime=1800.03 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) R 31506 31509 25889 0 -1 4202496 2931668 0 0 0 179372 631 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140736667202304 5546098 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 1041041 982267 889 2943 0 1037935 0 [pid=31509/tid=31510] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31510/stat : 31510 (toysat) S 31506 31509 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132756729072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) S 31506 31509 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132746239216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=31509/tid=31512] ppid=31506 vsize=4164164 CPUtime=0 cores=4-7,12-15 /proc/31509/task/31512/stat : 31512 (toysat) S 31506 31509 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105702475 4264103936 982267 33554432000 4194304 16246674 140736667220384 140132735765680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 4164164 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 31509 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.15 2.12 2.07 3/265 31629 /proc/meminfo: memFree=25490644/32872528 swapFree=9196/9196 [pid=31509] ppid=31506 vsize=0 CPUtime=1800.14 cores=4-7,12-15 /proc/31509/stat : 31509 (toysat) Z 31506 31509 25889 0 -1 4203532 2931668 0 0 0 179373 641 0 0 20 0 2 0 105702475 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/31509/statm: 0 0 0 0 0 0 0 [pid=31509/tid=31511] ppid=31506 vsize=0 CPUtime=0.09 cores=4-7,12-15 /proc/31509/task/31511/stat : 31511 (toysat) R 31506 31509 25889 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 105702475 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.63 CPU time (s): 1800.17 CPU user time (s): 1793.73 CPU system time (s): 6.43802 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 11230788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.73 system time used= 6.43802 maximum resident set size= 10994664 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2931668 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= 412 involuntary context switches= 1828 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.65384 second user time and 10.6704 second system time The end
Begin job on node132 at 2016-06-06 20:43:25 IDJOB=4078586 IDBENCH=2557 IDSOLVER=2542 FILE ID=node132/4078586-1465238605 RUNJOBID= node132-1465216787-25906 PBS_JOBID= 19843203 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-cuww3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078586-1465238605/watcher-4078586-1465238605 -o /tmp/evaluation-result-4078586-1465238605/solver-4078586-1465238605 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078586-1465238605.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= c67056006c43da82eed6e7cbb40287a1 RANDOM SEED=235089650 node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28402864 kB Buffers: 39928 kB Cached: 97040 kB SwapCached: 3224 kB Active: 3667808 kB Inactive: 73596 kB Active(anon): 3603744 kB Inactive(anon): 3236 kB Active(file): 64064 kB Inactive(file): 70360 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67094528 kB Dirty: 16420 kB Writeback: 0 kB AnonPages: 3613476 kB Mapped: 10816 kB Shmem: 0 kB Slab: 573288 kB SReclaimable: 13516 kB SUnreclaim: 559772 kB KernelStack: 2288 kB PageTables: 11240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3755144 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 1134592 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node132 at 2016-06-06 21:13:25