Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | OPTIMUM | 1779.18 | 1779.69 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo |
| MD5SUM | 8d28474a5cb37d0277ef3e3fb6ddbee0 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 7 |
| Best CPU time to get the best result obtained on this benchmark | 0.576912 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 400 |
| Total number of constraints | 60 |
| Number of soft constraints | 60 |
| Number of constraints which are clauses | 40 |
| Number of constraints which are cardinality constraints (but not clauses) | 20 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 20 |
| Top cost | 2653 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 2652 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| 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-16T17:11:37+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","--wbo","--search=bcd2","HOME/instance-4093625-1466089896.wbo"] 0.00/0.01 c use --random-gen="1530701264 1172062809 3411970100 593148955 2480104622 3516663022 3960346484 2212999783 964711258 139141832 651370521 3240634670 575217046 175988827 1829020612 3818271708 3947164475 2719550001 1673893976 4284861337 123390177 1758446757 403144579 3393231603 3046265348 4096632039 268042711 1166329798 207422399 4069704358 1180319381 888424377 168247691 1249243567 1878992367 63355788 2114573167 2017268948 3708451989 3110247726 2824638136 4123338222 614240241 2396454216 554862556 178224011 3880369657 2887589179 1912223404 4055791910 1550489356 2895715994 2335463072 3624235006 1104895186 3257674401 1347917167 3526489177 32665554 2161326193 271039553 248528656 672808986 2676787633 2744134323 3802417736 1622540414 1825139266 1680860434 834890321 3380579905 3830228295 858758552 3412386823 1116718187 2465984201 1404496324 2952475319 689777281 2399198669 1922417581 2841785625 498630944 2328734204 233314348 3891849879 3940398674 897388049 119643345 46673978 2995052352 4148324718 2891182136 2491111552 1319005090 191873902 3817173728 3940746957 1649127617 1539508040 2096789410 4194657206 651453973 1662708799 1123058875 2578421314 1284545182 3131786610 633660182 2794027513 2228780793 1043608611 3522518235 1612604845 3965091360 3733426274 3497702876 3448989766 214225108 2121082923 689252695 1728737729 2716777336 2045725185 691940565 4112172062 1426818133 3229359737 1413478691 1972681938 606553623 1548771557 418344697 1090772878 1835202932 2786824622 1463787874 2461480928 2238241890 2202103618 2227564665 3660382856 3510097039 2741211146 4133347124 31514186 1590222527 3910524489 2186197598 3821643438 3127759636 2858872999 2116481364 670930501 2025569723 3321726923 2868713612 3194155780 4053089176 774298770 49708379 1565887207 2576632727 2068151475 3418445475 726904358 3223958754 4162441839 2335906634 1285739845 1962059949 3547178557 4067245679 1475521642 555451825 2889585332 4248192360 2448501162 1571666040 3060074730 3629831875 101678077 2639421160 2164243730 4056367468 3895786854 3965335068 1312409864 1903613928 2773092187 4230478553 4045284936 904230931 335713159 1582447657 419245401 2450533703 3905459473 2853543371 320316113 2320697863 1782362265 3540702733 1204090156 1551778393 566171936 1473851314 457332203 744503112 2866074139 910796701 1740362101 106949338 2814814723 3258101244 3832164752 1796019945 2051009201 2049543760 1149593713 1853604364 3401706041 2011028330 2915230771 1042234434 2747335336 2873875697 945874671 1593827262 1342325733 270907313 1683991955 1409141636 1033574587 4012174131 3692081217 1454287998 2891199270 1402914307 2510111429 97851097 1972697036 1909173731 737423893 343228232 3691463461 3974378115 3870447002 2162204082 3212904139 1453919764 1602487016 2919929908 3167510618 2354220778 2080140033 255 362436" option to reproduce the execution 0.00/0.02 c #vars 400 0.00/0.02 c #constraints 60 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 173 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 80 | 0 | 173 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 80 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 o 1662 0.00/0.03 c BCD2: updating upper bound: 2652 -> 1661 0.00/0.03 c BCD2: 0 <= obj <= 1661 0.00/0.03 c BCD2: #cores=0, #unrelaxed=60, #relaxed=0, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 173 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 180 | 100 | 173 0 | 0 | 0 0.00/0.07 c 0.0s | 2 | 736 | 250 | 191 0 | 0 | 0 0.09/0.11 c 0.1s | 3 | 1319 | 475 | 211 1 | 0 | 0 0.09/0.19 c 0.2s | 4 | 1833 | 813 | 233 3 | 0 | 0 0.29/0.32 c 0.3s | 5 | 2573 | 1320 | 257 6 | 0 | 0 0.49/0.51 c 0.5s | 6 | 3702 | 2081 | 312 9 | 0 | 0 0.69/0.79 c 0.8s | 7 | 5340 | 3223 | 344 14 | 0 | 0 1.09/1.14 c 1.1s | 8 | 7562 | 4936 | 379 22 | 0 | 0 1.59/1.60 c 1.6s | 9 | 10750 | 7506 | 417 32 | 0 | 0 2.30/2.31 c 2.3s | 10 | 15328 | 11361 | 459 46 | 0 | 0 3.30/3.39 c 3.4s | 11 | 22071 | 17144 | 505 66 | 0 | 0 4.99/5.03 c 5.0s | 12 | 32146 | 25819 | 556 93 | 0 | 0 6.99/7.04 c 7.0s | 12 | 43066 | 34819 | 556 119 | 0 | 0 7.89/7.92 c 7.9s | 13 | 47834 | 38832 | 612 131 | 0 | 0 9.90/9.93 c 9.9s | 13 | 59127 | 47832 | 612 155 | 0 | 0 11.89/11.95 c 11.9s | 13 | 69697 | 57032 | 612 179 | 0 | 0 12.20/12.25 c 12.2s | 14 | 71236 | 58352 | 674 183 | 0 | 0 14.19/14.26 c 14.2s | 14 | 82360 | 67352 | 674 205 | 0 | 0 16.19/16.26 c 16.2s | 14 | 93146 | 75852 | 674 226 | 0 | 0 18.19/18.28 c 18.3s | 14 | 104171 | 85052 | 674 248 | 0 | 0 18.80/18.89 c 18.9s | 15 | 107162 | 87632 | 742 254 | 0 | 0 20.79/20.90 c 20.9s | 15 | 119505 | 96932 | 742 275 | 0 | 0 22.89/22.91 c 22.9s | 15 | 130209 | 106032 | 742 296 | 0 | 0 24.89/24.91 c 24.9s | 15 | 141090 | 115132 | 742 316 | 0 | 0 26.89/26.92 c 26.9s | 15 | 153719 | 125332 | 742 340 | 0 | 0 28.19/28.28 c 28.2s | 16 | 161561 | 131552 | 817 354 | 0 | 0 30.18/30.28 c 30.3s | 16 | 171091 | 139652 | 817 371 | 0 | 0 32.18/32.29 c 32.3s | 16 | 180734 | 147652 | 817 388 | 0 | 0 34.28/34.30 c 34.3s | 16 | 191070 | 156252 | 817 406 | 0 | 0 36.29/36.33 c 36.3s | 16 | 200641 | 164752 | 817 423 | 0 | 0 38.28/38.34 c 38.3s | 16 | 209930 | 172852 | 817 440 | 0 | 0 40.28/40.37 c 40.3s | 16 | 220171 | 181652 | 817 459 | 0 | 0 42.28/42.39 c 42.4s | 16 | 229385 | 189552 | 817 475 | 0 | 0 44.38/44.40 c 44.4s | 16 | 238079 | 197152 | 899 491 | 0 | 0 44.38/44.48 c 44.4s | 17 | 238405 | 197432 | 899 492 | 0 | 0 46.38/46.48 c 46.4s | 17 | 247367 | 205032 | 899 506 | 0 | 0 48.39/48.49 c 48.5s | 17 | 256623 | 213032 | 899 522 | 0 | 0 50.49/50.51 c 50.5s | 17 | 265882 | 221132 | 899 537 | 0 | 0 52.49/52.53 c 52.5s | 17 | 274838 | 228832 | 899 552 | 0 | 0 54.48/54.55 c 54.5s | 17 | 283707 | 236432 | 899 567 | 0 | 0 56.48/56.56 c 56.5s | 17 | 293277 | 244732 | 899 583 | 0 | 0 58.48/58.59 c 58.6s | 17 | 301784 | 252232 | 899 597 | 0 | 0 60.49/60.59 c 60.6s | 17 | 310521 | 259732 | 899 611 | 0 | 0 62.58/62.61 c 62.6s | 17 | 319491 | 267632 | 899 627 | 0 | 0 64.58/64.62 c 64.6s | 17 | 328416 | 275432 | 899 642 | 0 | 0 66.58/66.63 c 66.6s | 17 | 337414 | 283232 | 899 656 | 0 | 0 68.58/68.64 c 68.6s | 17 | 346494 | 291232 | 899 672 | 0 | 0 69.88/69.91 c 69.9s | 18 | 352070 | 296252 | 989 681 | 0 | 0 71.88/71.91 c 71.9s | 18 | 361149 | 304052 | 989 695 | 0 | 0 73.88/73.92 c 73.9s | 18 | 369891 | 311652 | 989 708 | 0 | 0 75.88/75.94 c 75.9s | 18 | 378954 | 319452 | 989 722 | 0 | 0 77.88/77.95 c 77.9s | 18 | 388159 | 327352 | 989 736 | 0 | 0 79.87/79.95 c 79.9s | 18 | 396515 | 334752 | 989 749 | 0 | 0 81.87/81.96 c 81.9s | 18 | 404863 | 342152 | 989 762 | 0 | 0 83.87/83.98 c 84.0s | 18 | 413855 | 349952 | 989 776 | 0 | 0 85.98/86.00 c 86.0s | 18 | 422740 | 357652 | 989 789 | 0 | 0 87.99/88.01 c 88.0s | 18 | 430867 | 364852 | 989 802 | 0 | 0 89.98/90.04 c 90.0s | 18 | 439057 | 372152 | 989 815 | 0 | 0 91.98/92.04 c 92.0s | 18 | 448151 | 380052 | 989 828 | 0 | 0 93.98/94.05 c 94.0s | 18 | 456951 | 387852 | 989 842 | 0 | 0 95.98/96.07 c 96.0s | 18 | 465539 | 395452 | 989 855 | 0 | 0 97.99/98.08 c 98.1s | 18 | 474014 | 402952 | 989 868 | 0 | 0 99.98/100.09 c 100s | 18 | 482806 | 410852 | 989 882 | 0 | 0 102.08/102.10 c 102s | 18 | 492086 | 419152 | 989 897 | 0 | 0 104.08/104.12 c 104s | 18 | 499889 | 426052 | 989 909 | 0 | 0 106.08/106.14 c 106s | 18 | 508742 | 433652 | 989 922 | 0 | 0 108.08/108.15 c 108s | 18 | 516985 | 440652 | 989 935 | 0 | 0 109.08/109.17 c 109s | 19 | 521336 | 444482 | 1088 941 | 0 | 0 111.08/111.20 c 111s | 19 | 530242 | 451882 | 1088 953 | 0 | 0 113.17/113.20 c 113s | 19 | 538749 | 459182 | 1088 965 | 0 | 0 115.17/115.23 c 115s | 19 | 547373 | 466782 | 1088 978 | 0 | 0 117.17/117.23 c 117s | 19 | 556604 | 474782 | 1088 990 | 0 | 0 119.17/119.26 c 119s | 19 | 565628 | 482582 | 1088 1003 | 0 | 0 121.17/121.28 c 121s | 19 | 574630 | 490282 | 1088 1016 | 0 | 0 123.18/123.30 c 123s | 19 | 583336 | 497782 | 1088 1028 | 0 | 0 125.27/125.31 c 125s | 19 | 591453 | 504882 | 1088 1040 | 0 | 0 127.27/127.32 c 127s | 19 | 600629 | 512682 | 1088 1052 | 0 | 0 129.27/129.33 c 129s | 19 | 608661 | 519882 | 1088 1064 | 0 | 0 131.27/131.34 c 131s | 19 | 616374 | 526682 | 1088 1075 | 0 | 0 133.27/133.34 c 133s | 19 | 624929 | 533982 | 1088 1087 | 0 | 0 135.27/135.34 c 135s | 19 | 632768 | 540982 | 1088 1098 | 0 | 0 137.27/137.36 c 137s | 19 | 640709 | 547982 | 1088 1110 | 0 | 0 139.27/139.38 c 139s | 19 | 648628 | 554982 | 1088 1121 | 0 | 0 141.27/141.38 c 141s | 19 | 656772 | 562182 | 1088 1132 | 0 | 0 143.37/143.41 c 143s | 19 | 665049 | 569482 | 1088 1144 | 0 | 0 145.36/145.42 c 145s | 19 | 673544 | 577082 | 1088 1156 | 0 | 0 147.37/147.43 c 147s | 19 | 681818 | 584382 | 1088 1168 | 0 | 0 149.36/149.45 c 149s | 19 | 689585 | 591282 | 1088 1179 | 0 | 0 151.36/151.45 c 151s | 19 | 697124 | 597882 | 1088 1190 | 0 | 0 153.36/153.46 c 153s | 19 | 705363 | 604982 | 1088 1202 | 0 | 0 155.36/155.48 c 155s | 19 | 714038 | 612382 | 1088 1214 | 0 | 0 157.37/157.49 c 157s | 19 | 722489 | 619282 | 1088 1225 | 0 | 0 159.36/159.49 c 159s | 19 | 730847 | 626082 | 1088 1236 | 0 | 0 161.46/161.51 c 161s | 19 | 738440 | 632682 | 1088 1247 | 0 | 0 163.46/163.53 c 163s | 19 | 745675 | 638982 | 1088 1257 | 0 | 0 165.46/165.54 c 165s | 19 | 752414 | 644982 | 1088 1267 | 0 | 0 167.46/167.55 c 167s | 19 | 760696 | 652182 | 1088 1279 | 0 | 0 169.47/169.56 c 169s | 19 | 768548 | 659182 | 1088 1290 | 0 | 0 171.47/171.57 c 171s | 19 | 776257 | 665882 | 1197 1301 | 0 | 0 171.77/171.83 c 171s | 20 | 777307 | 666827 | 1197 1302 | 0 | 0 173.78/173.84 c 173s | 20 | 787532 | 674627 | 1197 1314 | 0 | 0 175.77/175.87 c 175s | 20 | 796987 | 682427 | 1197 1326 | 0 | 0 177.77/177.89 c 177s | 20 | 806243 | 690527 | 1197 1338 | 0 | 0 179.87/179.92 c 179s | 20 | 815385 | 698327 | 1197 1349 | 0 | 0 181.87/181.93 c 181s | 20 | 823678 | 705627 | 1197 1360 | 0 | 0 183.87/183.95 c 183s | 20 | 830946 | 712027 | 1197 1370 | 0 | 0 185.87/185.98 c 185s | 20 | 839341 | 719327 | 1197 1381 | 0 | 0 187.86/187.98 c 187s | 20 | 848358 | 727127 | 1197 1392 | 0 | 0 189.86/189.99 c 189s | 20 | 857861 | 735327 | 1197 1404 | 0 | 0 191.96/192.02 c 191s | 20 | 867265 | 743527 | 1197 1417 | 0 | 0 193.96/194.04 c 194s | 20 | 875613 | 750927 | 1197 1428 | 0 | 0 195.96/196.06 c 196s | 20 | 883161 | 757727 | 1197 1438 | 0 | 0 197.97/198.07 c 198s | 20 | 890654 | 764327 | 1197 1448 | 0 | 0 200.06/200.10 c 200s | 20 | 898241 | 771027 | 1197 1458 | 0 | 0 202.06/202.10 c 202s | 20 | 905260 | 777427 | 1197 1467 | 0 | 0 204.06/204.10 c 204s | 20 | 912484 | 783827 | 1197 1477 | 0 | 0 206.06/206.11 c 206s | 20 | 919405 | 790027 | 1197 1486 | 0 | 0 208.06/208.11 c 208s | 20 | 926340 | 796327 | 1197 1495 | 0 | 0 210.07/210.11 c 210s | 20 | 933223 | 802427 | 1197 1504 | 0 | 0 212.06/212.14 c 212s | 20 | 940505 | 808927 | 1197 1514 | 0 | 0 214.06/214.17 c 214s | 20 | 947072 | 814827 | 1197 1522 | 0 | 0 216.06/216.19 c 216s | 20 | 954675 | 821427 | 1197 1532 | 0 | 0 218.15/218.21 c 218s | 20 | 961434 | 827327 | 1197 1541 | 0 | 0 220.15/220.22 c 220s | 20 | 968438 | 833527 | 1197 1550 | 0 | 0 222.16/222.24 c 222s | 20 | 975740 | 839927 | 1197 1560 | 0 | 0 224.15/224.27 c 224s | 20 | 983173 | 846527 | 1197 1570 | 0 | 0 226.25/226.30 c 226s | 20 | 990324 | 852827 | 1197 1579 | 0 | 0 228.25/228.32 c 228s | 20 | 997313 | 859027 | 1197 1588 | 0 | 0 230.25/230.32 c 230s | 20 | 1004535 | 865527 | 1197 1598 | 0 | 0 232.26/232.34 c 232s | 20 | 1011985 | 872227 | 1197 1608 | 0 | 0 234.27/234.35 c 234s | 20 | 1019765 | 879127 | 1197 1618 | 0 | 0 236.26/236.36 c 236s | 20 | 1027591 | 885927 | 1197 1628 | 0 | 0 238.26/238.38 c 238s | 20 | 1035767 | 893027 | 1197 1639 | 0 | 0 240.26/240.38 c 240s | 20 | 1043746 | 899927 | 1197 1649 | 0 | 0 242.25/242.39 c 242s | 20 | 1052226 | 907327 | 1197 1660 | 0 | 0 244.35/244.40 c 244s | 20 | 1060545 | 914727 | 1197 1671 | 0 | 0 246.36/246.42 c 246s | 20 | 1069227 | 922227 | 1197 1683 | 0 | 0 248.35/248.43 c 248s | 20 | 1077365 | 929327 | 1197 1693 | 0 | 0 250.35/250.46 c 250s | 20 | 1084624 | 935827 | 1197 1703 | 0 | 0 252.35/252.47 c 252s | 20 | 1092285 | 942327 | 1197 1713 | 0 | 0 254.35/254.48 c 254s | 20 | 1099982 | 949027 | 1197 1723 | 0 | 0 256.45/256.50 c 256s | 20 | 1107625 | 955727 | 1197 1733 | 0 | 0 258.45/258.51 c 258s | 20 | 1114460 | 961827 | 1197 1742 | 0 | 0 260.46/260.53 c 260s | 20 | 1121576 | 968027 | 1197 1751 | 0 | 0 262.45/262.54 c 262s | 20 | 1128747 | 974427 | 1197 1761 | 0 | 0 264.45/264.56 c 264s | 20 | 1136433 | 981127 | 1197 1771 | 0 | 0 266.45/266.57 c 266s | 20 | 1143949 | 987727 | 1197 1780 | 0 | 0 268.46/268.58 c 268s | 20 | 1151886 | 994627 | 1317 1791 | 0 | 0 270.15/270.25 c 270s | 21 | 1158401 | 1000345 | 1317 1798 | 0 | 0 272.15/272.27 c 272s | 21 | 1166996 | 1007945 | 1317 1809 | 0 | 0 274.25/274.30 c 274s | 21 | 1175764 | 1015645 | 1317 1819 | 0 | 0 276.25/276.32 c 276s | 21 | 1184378 | 1023045 | 1317 1829 | 0 | 0 278.26/278.33 c 278s | 21 | 1193416 | 1030845 | 1317 1840 | 0 | 0 280.25/280.35 c 280s | 21 | 1201479 | 1037945 | 1317 1850 | 0 | 0 282.25/282.36 c 282s | 21 | 1209830 | 1045245 | 1317 1860 | 0 | 0 284.25/284.36 c 284s | 21 | 1218500 | 1052845 | 1317 1870 | 0 | 0 286.25/286.38 c 286s | 21 | 1227112 | 1060345 | 1317 1881 | 0 | 0 288.25/288.39 c 288s | 21 | 1235594 | 1067745 | 1317 1891 | 0 | 0 290.35/290.40 c 290s | 21 | 1244085 | 1075145 | 1317 1901 | 0 | 0 292.35/292.44 c 292s | 21 | 1252169 | 1082245 | 1317 1911 | 0 | 0 294.35/294.45 c 294s | 21 | 1260660 | 1089645 | 1317 1921 | 0 | 0 296.35/296.48 c 296s | 21 | 1269483 | 1097445 | 1317 1931 | 0 | 0 298.35/298.48 c 298s | 21 | 1277724 | 1104545 | 1317 1941 | 0 | 0 300.35/300.49 c 300s | 21 | 1286697 | 1112045 | 1317 1951 | 0 | 0 302.34/302.50 c 302s | 21 | 1294680 | 1118945 | 1317 1961 | 0 | 0 304.44/304.50 c 304s | 21 | 1302318 | 1125645 | 1317 1970 | 0 | 0 306.44/306.50 c 306s | 21 | 1309789 | 1132245 | 1317 1979 | 0 | 0 308.44/308.53 c 308s | 21 | 1316791 | 1138545 | 1317 1988 | 0 | 0 310.44/310.53 c 310s | 21 | 1324706 | 1145445 | 1317 1997 | 0 | 0 312.45/312.54 c 312s | 21 | 1332813 | 1152445 | 1317 2007 | 0 | 0 314.44/314.54 c 314s | 21 | 1340197 | 1159145 | 1317 2016 | 0 | 0 316.44/316.55 c 316s | 21 | 1348023 | 1166045 | 1317 2026 | 0 | 0 318.44/318.58 c 318s | 21 | 1356110 | 1173145 | 1317 2035 | 0 | 0 320.44/320.58 c 320s | 21 | 1364265 | 1180345 | 1317 2045 | 0 | 0 322.44/322.58 c 322s | 21 | 1371985 | 1187145 | 1317 2054 | 0 | 0 324.55/324.61 c 324s | 21 | 1379392 | 1193645 | 1317 2063 | 0 | 0 326.54/326.61 c 326s | 21 | 1386707 | 1200045 | 1317 2072 | 0 | 0 328.54/328.62 c 328s | 21 | 1394351 | 1206745 | 1317 2081 | 0 | 0 330.54/330.62 c 330s | 21 | 1402027 | 1213645 | 1317 2091 | 0 | 0 332.54/332.65 c 332s | 21 | 1409861 | 1220645 | 1317 2101 | 0 | 0 334.54/334.67 c 334s | 21 | 1417443 | 1227345 | 1317 2110 | 0 | 0 336.54/336.67 c 336s | 21 | 1424818 | 1233845 | 1317 2119 | 0 | 0 338.54/338.68 c 338s | 21 | 1431608 | 1239845 | 1317 2127 | 0 | 0 340.53/340.69 c 340s | 21 | 1439713 | 1246745 | 1317 2136 | 0 | 0 342.53/342.69 c 342s | 21 | 1447640 | 1253745 | 1317 2146 | 0 | 0 344.63/344.71 c 344s | 21 | 1455327 | 1260545 | 1317 2155 | 0 | 0 346.63/346.71 c 346s | 21 | 1463792 | 1267845 | 1317 2165 | 0 | 0 348.64/348.73 c 348s | 21 | 1471894 | 1274945 | 1317 2175 | 0 | 0 350.64/350.74 c 350s | 21 | 1479577 | 1281645 | 1317 2184 | 0 | 0 352.64/352.77 c 352s | 21 | 1487383 | 1288445 | 1317 2193 | 0 | 0 354.64/354.79 c 354s | 21 | 1494472 | 1294645 | 1317 2202 | 0 | 0 356.74/356.82 c 356s | 21 | 1501846 | 1301145 | 1317 2211 | 0 | 0 358.74/358.85 c 358s | 21 | 1509427 | 1307745 | 1317 2220 | 0 | 0 360.75/360.87 c 360s | 21 | 1516831 | 1314145 | 1317 2229 | 0 | 0 362.74/362.88 c 362s | 21 | 1523256 | 1319845 | 1317 2237 | 0 | 0 364.84/364.90 c 364s | 21 | 1529868 | 1325645 | 1317 2245 | 0 | 0 366.84/366.92 c 366s | 21 | 1537683 | 1332445 | 1317 2254 | 0 | 0 368.84/368.92 c 368s | 21 | 1545716 | 1339645 | 1317 2264 | 0 | 0 370.84/370.93 c 370s | 21 | 1553326 | 1346445 | 1317 2273 | 0 | 0 372.84/372.94 c 372s | 21 | 1560392 | 1352845 | 1317 2282 | 0 | 0 374.84/374.94 c 374s | 21 | 1568306 | 1359945 | 1317 2292 | 0 | 0 376.84/376.96 c 376s | 21 | 1575706 | 1366645 | 1317 2301 | 0 | 0 378.83/378.98 c 378s | 21 | 1583425 | 1373645 | 1317 2310 | 0 | 0 380.93/381.00 c 380s | 21 | 1591485 | 1380845 | 1317 2320 | 0 | 0 382.93/383.03 c 382s | 21 | 1599196 | 1387745 | 1317 2329 | 0 | 0 384.94/385.05 c 385s | 21 | 1606678 | 1394445 | 1317 2339 | 0 | 0 386.93/387.06 c 387s | 21 | 1613878 | 1400945 | 1317 2347 | 0 | 0 388.93/389.07 c 389s | 21 | 1621416 | 1407745 | 1317 2357 | 0 | 0 390.93/391.08 c 391s | 21 | 1629015 | 1414545 | 1317 2366 | 0 | 0 392.93/393.08 c 393s | 21 | 1636710 | 1421445 | 1317 2375 | 0 | 0 394.93/395.09 c 395s | 21 | 1644662 | 1428545 | 1317 2385 | 0 | 0 397.03/397.12 c 397s | 21 | 1653165 | 1435845 | 1317 2395 | 0 | 0 399.03/399.12 c 399s | 21 | 1661609 | 1443045 | 1317 2405 | 0 | 0 401.03/401.15 c 401s | 21 | 1670033 | 1450045 | 1317 2414 | 0 | 0 403.02/403.15 c 403s | 21 | 1677969 | 1456745 | 1317 2424 | 0 | 0 405.02/405.16 c 405s | 21 | 1685527 | 1463345 | 1317 2433 | 0 | 0 407.03/407.18 c 407s | 21 | 1693051 | 1470045 | 1317 2442 | 0 | 0 409.02/409.19 c 409s | 21 | 1700371 | 1476545 | 1317 2451 | 0 | 0 411.12/411.20 c 411s | 21 | 1707710 | 1483145 | 1317 2460 | 0 | 0 413.12/413.20 c 413s | 21 | 1715054 | 1489745 | 1317 2469 | 0 | 0 415.13/415.23 c 415s | 21 | 1722596 | 1496445 | 1449 2477 | 0 | 0 416.33/416.46 c 416s | 22 | 1727379 | 1500622 | 1449 2482 | 0 | 0 418.33/418.47 c 418s | 22 | 1736587 | 1508022 | 1449 2492 | 0 | 0 420.33/420.47 c 420s | 22 | 1744990 | 1515122 | 1449 2501 | 0 | 0 422.34/422.49 c 422s | 22 | 1753767 | 1522422 | 1449 2510 | 0 | 0 424.33/424.49 c 424s | 22 | 1761865 | 1529522 | 1449 2519 | 0 | 0 426.43/426.51 c 426s | 22 | 1769903 | 1536522 | 1449 2528 | 0 | 0 428.43/428.54 c 428s | 22 | 1777305 | 1542922 | 1449 2536 | 0 | 0 430.43/430.57 c 430s | 22 | 1784907 | 1549522 | 1449 2544 | 0 | 0 432.43/432.57 c 432s | 22 | 1792636 | 1556122 | 1449 2552 | 0 | 0 434.44/434.60 c 434s | 22 | 1800599 | 1563022 | 1449 2561 | 0 | 0 436.53/436.63 c 436s | 22 | 1809230 | 1570222 | 1449 2570 | 0 | 0 438.53/438.64 c 438s | 22 | 1817210 | 1576922 | 1449 2579 | 0 | 0 440.53/440.64 c 440s | 22 | 1825201 | 1583922 | 1449 2587 | 0 | 0 442.53/442.66 c 442s | 22 | 1833313 | 1590922 | 1449 2596 | 0 | 0 444.53/444.68 c 444s | 22 | 1841093 | 1597722 | 1449 2605 | 0 | 0 446.63/446.71 c 446s | 22 | 1848961 | 1604622 | 1449 2613 | 0 | 0 448.63/448.74 c 448s | 22 | 1857598 | 1611922 | 1449 2622 | 0 | 0 450.63/450.74 c 450s | 22 | 1865182 | 1618422 | 1449 2631 | 0 | 0 452.62/452.77 c 452s | 22 | 1873001 | 1625022 | 1449 2639 | 0 | 0 454.62/454.78 c 454s | 22 | 1879824 | 1631122 | 1449 2647 | 0 | 0 456.62/456.79 c 456s | 22 | 1887298 | 1637722 | 1449 2655 | 0 | 0 458.73/458.81 c 458s | 22 | 1894794 | 1644122 | 1449 2663 | 0 | 0 460.72/460.82 c 460s | 22 | 1902047 | 1650522 | 1449 2671 | 0 | 0 462.72/462.82 c 462s | 22 | 1909419 | 1657022 | 1449 2679 | 0 | 0 464.72/464.83 c 464s | 22 | 1917056 | 1663522 | 1449 2687 | 0 | 0 466.72/466.84 c 466s | 22 | 1924377 | 1669922 | 1449 2695 | 0 | 0 468.72/468.85 c 468s | 22 | 1932179 | 1676622 | 1449 2704 | 0 | 0 470.72/470.85 c 470s | 22 | 1939853 | 1683222 | 1449 2712 | 0 | 0 472.72/472.87 c 472s | 22 | 1947000 | 1689322 | 1449 2720 | 0 | 0 474.81/474.91 c 474s | 22 | 1954241 | 1695522 | 1449 2728 | 0 | 0 476.81/476.93 c 476s | 22 | 1961217 | 1701522 | 1449 2735 | 0 | 0 478.81/478.93 c 478s | 22 | 1967712 | 1707222 | 1449 2742 | 0 | 0 480.81/480.95 c 480s | 22 | 1975335 | 1713822 | 1449 2751 | 0 | 0 482.82/482.96 c 482s | 22 | 1982759 | 1720222 | 1449 2759 | 0 | 0 484.81/484.98 c 484s | 22 | 1990483 | 1726822 | 1449 2767 | 0 | 0 486.82/486.99 c 486s | 22 | 1998468 | 1733822 | 1449 2776 | 0 | 0 488.92/489.00 c 488s | 22 | 2006215 | 1740722 | 1449 2784 | 0 | 0 490.92/491.02 c 490s | 22 | 2013590 | 1747322 | 1449 2793 | 0 | 0 492.92/493.02 c 492s | 22 | 2020528 | 1753622 | 1449 2800 | 0 | 0 494.93/495.03 c 495s | 22 | 2026841 | 1759322 | 1449 2807 | 0 | 0 496.92/497.03 c 497s | 22 | 2032872 | 1764822 | 1449 2814 | 0 | 0 498.92/499.04 c 499s | 22 | 2039737 | 1771022 | 1449 2822 | 0 | 0 500.92/501.06 c 501s | 22 | 2046268 | 1777022 | 1449 2830 | 0 | 0 502.92/503.07 c 503s | 22 | 2053099 | 1783122 | 1449 2837 | 0 | 0 504.92/505.09 c 505s | 22 | 2059704 | 1789022 | 1449 2845 | 0 | 0 506.92/507.10 c 507s | 22 | 2066105 | 1794822 | 1449 2852 | 0 | 0 509.02/509.12 c 509s | 22 | 2073044 | 1800922 | 1449 2859 | 0 | 0 511.02/511.12 c 511s | 22 | 2079365 | 1806622 | 1449 2866 | 0 | 0 513.02/513.13 c 513s | 22 | 2085649 | 1812322 | 1449 2874 | 0 | 0 515.01/515.15 c 515s | 22 | 2091720 | 1817922 | 1449 2881 | 0 | 0 517.02/517.19 c 517s | 22 | 2097848 | 1823422 | 1449 2887 | 0 | 0 519.01/519.19 c 519s | 22 | 2104007 | 1828822 | 1449 2894 | 0 | 0 521.11/521.20 c 521s | 22 | 2110444 | 1834422 | 1449 2901 | 0 | 0 523.11/523.21 c 523s | 22 | 2116676 | 1839922 | 1449 2908 | 0 | 0 525.11/525.22 c 525s | 22 | 2122502 | 1845222 | 1449 2915 | 0 | 0 527.11/527.22 c 527s | 22 | 2128624 | 1850722 | 1449 2921 | 0 | 0 529.12/529.24 c 529s | 22 | 2135453 | 1856722 | 1449 2929 | 0 | 0 531.11/531.28 c 531s | 22 | 2142326 | 1862822 | 1449 2937 | 0 | 0 533.21/533.30 c 533s | 22 | 2149150 | 1868822 | 1449 2944 | 0 | 0 535.21/535.33 c 535s | 22 | 2155607 | 1874622 | 1449 2951 | 0 | 0 537.21/537.33 c 537s | 22 | 2162823 | 1880522 | 1449 2959 | 0 | 0 539.21/539.35 c 539s | 22 | 2169936 | 1886322 | 1449 2966 | 0 | 0 541.21/541.36 c 541s | 22 | 2176059 | 1891622 | 1449 2973 | 0 | 0 543.20/543.38 c 543s | 22 | 2182676 | 1897322 | 1449 2980 | 0 | 0 545.30/545.40 c 545s | 22 | 2190065 | 1903722 | 1449 2988 | 0 | 0 547.30/547.41 c 547s | 22 | 2197384 | 1910222 | 1449 2996 | 0 | 0 549.30/549.44 c 549s | 22 | 2205733 | 1917322 | 1449 3005 | 0 | 0 551.30/551.45 c 551s | 22 | 2214319 | 1924722 | 1449 3014 | 0 | 0 553.31/553.47 c 553s | 22 | 2221887 | 1931522 | 1449 3023 | 0 | 0 555.30/555.49 c 555s | 22 | 2229035 | 1937922 | 1449 3031 | 0 | 0 557.40/557.50 c 557s | 22 | 2236889 | 1944822 | 1449 3039 | 0 | 0 559.41/559.52 c 559s | 22 | 2244216 | 1951322 | 1449 3047 | 0 | 0 561.41/561.53 c 561s | 22 | 2251487 | 1957822 | 1449 3056 | 0 | 0 563.41/563.55 c 563s | 22 | 2258804 | 1964322 | 1449 3064 | 0 | 0 565.42/565.55 c 565s | 22 | 2266027 | 1970722 | 1449 3072 | 0 | 0 567.41/567.58 c 567s | 22 | 2272824 | 1976722 | 1449 3079 | 0 | 0 569.41/569.59 c 569s | 22 | 2279704 | 1982922 | 1449 3087 | 0 | 0 571.51/571.62 c 571s | 22 | 2287372 | 1989822 | 1449 3096 | 0 | 0 573.51/573.64 c 573s | 22 | 2294995 | 1996522 | 1449 3104 | 0 | 0 575.51/575.66 c 575s | 22 | 2301552 | 2002422 | 1449 3112 | 0 | 0 577.51/577.68 c 577s | 22 | 2308617 | 2008822 | 1449 3120 | 0 | 0 579.61/579.72 c 579s | 22 | 2315455 | 2015022 | 1449 3127 | 0 | 0 581.60/581.74 c 581s | 22 | 2323049 | 2021722 | 1449 3136 | 0 | 0 583.60/583.74 c 583s | 22 | 2330047 | 2028022 | 1449 3144 | 0 | 0 585.60/585.77 c 585s | 22 | 2336979 | 2034222 | 1449 3151 | 0 | 0 587.60/587.79 c 587s | 22 | 2343339 | 2039922 | 1449 3158 | 0 | 0 589.70/589.80 c 589s | 22 | 2349722 | 2045522 | 1449 3165 | 0 | 0 591.60/591.80 c 591s | 22 | 2356883 | 2051922 | 1449 3173 | 0 | 0 593.70/593.83 c 593s | 22 | 2363798 | 2058122 | 1449 3181 | 0 | 0 595.70/595.86 c 595s | 22 | 2370456 | 2064022 | 1449 3189 | 0 | 0 597.70/597.86 c 597s | 22 | 2377062 | 2069922 | 1449 3196 | 0 | 0 599.70/599.89 c 599s | 22 | 2383122 | 2075422 | 1449 3203 | 0 | 0 601.71/601.89 c 601s | 22 | 2389805 | 2081422 | 1449 3210 | 0 | 0 603.81/603.92 c 603s | 22 | 2396062 | 2087022 | 1449 3217 | 0 | 0 605.80/605.92 c 605s | 22 | 2402868 | 2093022 | 1449 3225 | 0 | 0 607.80/607.93 c 607s | 22 | 2409739 | 2099222 | 1449 3233 | 0 | 0 609.80/609.95 c 609s | 22 | 2416650 | 2105422 | 1449 3241 | 0 | 0 611.80/611.98 c 611s | 22 | 2423354 | 2111422 | 1449 3248 | 0 | 0 613.80/613.99 c 613s | 22 | 2430343 | 2117722 | 1449 3256 | 0 | 0 615.80/616.00 c 615s | 22 | 2437709 | 2124222 | 1449 3264 | 0 | 0 617.90/618.03 c 618s | 22 | 2445745 | 2131422 | 1449 3273 | 0 | 0 619.90/620.04 c 620s | 22 | 2453013 | 2137922 | 1449 3281 | 0 | 0 621.90/622.05 c 622s | 22 | 2460479 | 2144722 | 1449 3290 | 0 | 0 623.90/624.08 c 624s | 22 | 2468133 | 2151522 | 1449 3298 | 0 | 0 625.90/626.09 c 626s | 22 | 2476089 | 2158422 | 1449 3307 | 0 | 0 628.00/628.11 c 628s | 22 | 2483907 | 2165322 | 1449 3316 | 0 | 0 629.99/630.11 c 630s | 22 | 2491633 | 2172222 | 1449 3324 | 0 | 0 631.99/632.14 c 632s | 22 | 2499147 | 2178822 | 1449 3333 | 0 | 0 633.99/634.14 c 634s | 22 | 2506262 | 2185222 | 1449 3341 | 0 | 0 635.99/636.16 c 636s | 22 | 2513169 | 2191322 | 1449 3348 | 0 | 0 638.00/638.17 c 638s | 22 | 2520352 | 2197722 | 1449 3356 | 0 | 0 639.99/640.19 c 640s | 22 | 2527349 | 2204022 | 1449 3364 | 0 | 0 642.09/642.21 c 642s | 22 | 2534468 | 2210322 | 1449 3372 | 0 | 0 644.09/644.22 c 644s | 22 | 2541611 | 2216822 | 1449 3380 | 0 | 0 646.09/646.24 c 646s | 22 | 2548600 | 2223122 | 1449 3388 | 0 | 0 648.09/648.25 c 648s | 22 | 2555436 | 2229222 | 1449 3396 | 0 | 0 650.09/650.26 c 650s | 22 | 2562845 | 2235722 | 1594 3404 | 0 | 0 652.09/652.28 c 652s | 22 | 2569785 | 2241822 | 1594 3411 | 0 | 0 654.10/654.29 c 654s | 22 | 2577369 | 2248522 | 1594 3419 | 0 | 0 654.90/655.05 c 655s | 23 | 2580189 | 2251038 | 1594 3421 | 0 | 0 656.89/657.07 c 657s | 23 | 2589697 | 2258538 | 1594 3430 | 0 | 0 658.99/659.11 c 659s | 23 | 2599189 | 2265838 | 1594 3438 | 0 | 0 661.00/661.12 c 661s | 23 | 2607221 | 2272738 | 1594 3446 | 0 | 0 662.99/663.12 c 663s | 23 | 2614729 | 2279338 | 1594 3454 | 0 | 0 664.99/665.13 c 665s | 23 | 2622725 | 2285838 | 1594 3461 | 0 | 0 666.99/667.14 c 667s | 23 | 2630070 | 2292238 | 1594 3469 | 0 | 0 668.99/669.16 c 669s | 23 | 2637850 | 2298838 | 1594 3476 | 0 | 0 671.00/671.16 c 671s | 23 | 2644526 | 2304738 | 1594 3483 | 0 | 0 672.99/673.16 c 673s | 23 | 2651450 | 2310838 | 1594 3490 | 0 | 0 674.99/675.18 c 675s | 23 | 2658823 | 2317338 | 1594 3498 | 0 | 0 676.99/677.19 c 677s | 23 | 2666167 | 2323738 | 1594 3505 | 0 | 0 679.09/679.20 c 679s | 23 | 2673772 | 2330438 | 1594 3513 | 0 | 0 681.09/681.22 c 681s | 23 | 2681103 | 2336938 | 1594 3520 | 0 | 0 683.09/683.24 c 683s | 23 | 2687984 | 2343038 | 1594 3527 | 0 | 0 685.09/685.27 c 685s | 23 | 2695923 | 2349838 | 1594 3535 | 0 | 0 687.09/687.28 c 687s | 23 | 2703231 | 2356138 | 1594 3542 | 0 | 0 689.18/689.30 c 689s | 23 | 2710649 | 2362538 | 1594 3550 | 0 | 0 691.18/691.32 c 691s | 23 | 2718073 | 2369038 | 1594 3557 | 0 | 0 693.18/693.33 c 693s | 23 | 2725374 | 2375438 | 1594 3564 | 0 | 0 695.19/695.33 c 695s | 23 | 2732629 | 2381738 | 1594 3572 | 0 | 0 697.18/697.34 c 697s | 23 | 2739597 | 2387938 | 1594 3579 | 0 | 0 699.18/699.35 c 699s | 23 | 2746817 | 2394238 | 1594 3586 | 0 | 0 701.18/701.37 c 701s | 23 | 2754154 | 2400638 | 1594 3593 | 0 | 0 703.18/703.38 c 703s | 23 | 2761190 | 2406738 | 1594 3600 | 0 | 0 705.28/705.40 c 705s | 23 | 2768182 | 2412838 | 1594 3607 | 0 | 0 707.29/707.41 c 707s | 23 | 2774671 | 2418538 | 1594 3614 | 0 | 0 709.28/709.43 c 709s | 23 | 2780412 | 2423638 | 1594 3620 | 0 | 0 711.28/711.44 c 711s | 23 | 2786380 | 2428838 | 1594 3626 | 0 | 0 713.28/713.44 c 713s | 23 | 2792711 | 2434438 | 1594 3632 | 0 | 0 715.28/715.45 c 715s | 23 | 2799118 | 2440138 | 1594 3639 | 0 | 0 717.28/717.46 c 717s | 23 | 2805616 | 2445838 | 1594 3646 | 0 | 0 719.29/719.47 c 719s | 23 | 2813207 | 2452538 | 1594 3653 | 0 | 0 721.28/721.48 c 721s | 23 | 2820563 | 2459038 | 1594 3661 | 0 | 0 723.38/723.52 c 723s | 23 | 2828035 | 2465638 | 1594 3668 | 0 | 0 725.38/725.54 c 725s | 23 | 2835178 | 2471938 | 1594 3676 | 0 | 0 727.38/727.55 c 727s | 23 | 2841285 | 2477438 | 1594 3682 | 0 | 0 729.38/729.55 c 729s | 23 | 2848811 | 2483838 | 1594 3689 | 0 | 0 731.38/731.58 c 731s | 23 | 2855482 | 2489738 | 1594 3696 | 0 | 0 733.48/733.60 c 733s | 23 | 2862228 | 2495638 | 1594 3703 | 0 | 0 735.47/735.61 c 735s | 23 | 2868879 | 2501438 | 1594 3710 | 0 | 0 737.47/737.61 c 737s | 23 | 2875683 | 2507038 | 1594 3716 | 0 | 0 739.47/739.65 c 739s | 23 | 2882712 | 2513038 | 1594 3723 | 0 | 0 741.47/741.66 c 741s | 23 | 2889185 | 2518738 | 1594 3730 | 0 | 0 743.48/743.66 c 743s | 23 | 2896194 | 2524838 | 1594 3737 | 0 | 0 745.47/745.67 c 745s | 23 | 2903621 | 2531438 | 1594 3744 | 0 | 0 747.47/747.68 c 747s | 23 | 2911238 | 2538138 | 1594 3752 | 0 | 0 749.57/749.71 c 749s | 23 | 2918995 | 2545138 | 1594 3760 | 0 | 0 751.56/751.71 c 751s | 23 | 2926538 | 2551838 | 1594 3768 | 0 | 0 753.56/753.73 c 753s | 23 | 2933618 | 2558138 | 1594 3775 | 0 | 0 755.57/755.74 c 755s | 23 | 2940409 | 2564238 | 1594 3782 | 0 | 0 757.56/757.74 c 757s | 23 | 2946897 | 2570138 | 1594 3789 | 0 | 0 759.56/759.76 c 759s | 23 | 2953335 | 2576038 | 1594 3795 | 0 | 0 761.56/761.77 c 761s | 23 | 2959590 | 2581738 | 1594 3802 | 0 | 0 763.66/763.81 c 763s | 23 | 2965437 | 2587138 | 1594 3808 | 0 | 0 765.65/765.84 c 765s | 23 | 2971718 | 2592838 | 1594 3815 | 0 | 0 767.67/767.86 c 767s | 23 | 2978301 | 2598838 | 1594 3822 | 0 | 0 769.66/769.87 c 769s | 23 | 2984335 | 2604338 | 1594 3828 | 0 | 0 771.76/771.90 c 771s | 23 | 2991362 | 2610638 | 1594 3835 | 0 | 0 773.76/773.93 c 773s | 23 | 2997572 | 2616238 | 1594 3842 | 0 | 0 775.75/775.96 c 775s | 23 | 3004105 | 2622038 | 1594 3848 | 0 | 0 777.75/777.99 c 777s | 23 | 3011015 | 2628138 | 1594 3855 | 0 | 0 779.86/780.01 c 779s | 23 | 3017188 | 2633738 | 1594 3862 | 0 | 0 781.85/782.03 c 782s | 23 | 3023381 | 2639438 | 1594 3868 | 0 | 0 783.85/784.05 c 784s | 23 | 3030186 | 2645538 | 1594 3875 | 0 | 0 785.85/786.07 c 786s | 23 | 3036946 | 2651438 | 1594 3882 | 0 | 0 787.85/788.08 c 788s | 23 | 3043752 | 2657438 | 1594 3889 | 0 | 0 789.85/790.08 c 790s | 23 | 3050292 | 2663238 | 1594 3895 | 0 | 0 791.85/792.08 c 792s | 23 | 3057195 | 2669238 | 1594 3902 | 0 | 0 793.95/794.10 c 794s | 23 | 3064241 | 2675438 | 1594 3910 | 0 | 0 795.94/796.14 c 796s | 23 | 3072222 | 2682338 | 1594 3918 | 0 | 0 797.94/798.15 c 798s | 23 | 3079334 | 2688638 | 1594 3925 | 0 | 0 799.94/800.15 c 800s | 23 | 3086350 | 2695038 | 1594 3932 | 0 | 0 801.94/802.16 c 802s | 23 | 3093441 | 2701338 | 1594 3939 | 0 | 0 803.95/804.18 c 804s | 23 | 3100185 | 2707438 | 1594 3946 | 0 | 0 805.94/806.19 c 806s | 23 | 3107142 | 2713638 | 1594 3953 | 0 | 0 808.04/808.20 c 808s | 23 | 3113697 | 2719538 | 1594 3960 | 0 | 0 810.03/810.22 c 810s | 23 | 3120695 | 2725838 | 1594 3967 | 0 | 0 812.03/812.22 c 812s | 23 | 3127436 | 2731938 | 1594 3974 | 0 | 0 814.03/814.23 c 814s | 23 | 3133949 | 2737838 | 1594 3981 | 0 | 0 816.04/816.25 c 816s | 23 | 3140852 | 2744138 | 1594 3988 | 0 | 0 818.03/818.28 c 818s | 23 | 3147769 | 2750238 | 1594 3996 | 0 | 0 820.13/820.32 c 820s | 23 | 3154505 | 2756238 | 1594 4002 | 0 | 0 822.13/822.33 c 822s | 23 | 3161134 | 2762138 | 1594 4009 | 0 | 0 824.13/824.33 c 824s | 23 | 3168042 | 2768238 | 1594 4016 | 0 | 0 826.12/826.34 c 826s | 23 | 3174541 | 2774038 | 1594 4023 | 0 | 0 828.13/828.35 c 828s | 23 | 3181650 | 2780338 | 1594 4030 | 0 | 0 830.12/830.36 c 830s | 23 | 3188530 | 2786538 | 1594 4037 | 0 | 0 832.12/832.37 c 832s | 23 | 3195780 | 2793038 | 1594 4045 | 0 | 0 834.12/834.39 c 834s | 23 | 3202593 | 2799138 | 1594 4052 | 0 | 0 836.13/836.39 c 836s | 23 | 3209736 | 2805538 | 1594 4059 | 0 | 0 838.23/838.41 c 838s | 23 | 3217188 | 2812238 | 1594 4067 | 0 | 0 840.23/840.44 c 840s | 23 | 3224699 | 2818938 | 1594 4075 | 0 | 0 842.23/842.46 c 842s | 23 | 3231576 | 2825138 | 1594 4082 | 0 | 0 844.23/844.46 c 844s | 23 | 3238762 | 2831438 | 1594 4089 | 0 | 0 846.22/846.48 c 846s | 23 | 3246029 | 2837938 | 1594 4096 | 0 | 0 848.32/848.51 c 848s | 23 | 3253650 | 2844738 | 1594 4104 | 0 | 0 850.32/850.53 c 850s | 23 | 3261012 | 2851338 | 1594 4112 | 0 | 0 852.33/852.54 c 852s | 23 | 3268572 | 2858038 | 1594 4119 | 0 | 0 854.32/854.56 c 854s | 23 | 3275935 | 2864638 | 1594 4127 | 0 | 0 856.31/856.56 c 856s | 23 | 3283965 | 2871338 | 1594 4135 | 0 | 0 858.31/858.57 c 858s | 23 | 3291597 | 2878138 | 1594 4143 | 0 | 0 860.31/860.58 c 860s | 23 | 3299475 | 2884938 | 1594 4151 | 0 | 0 862.41/862.60 c 862s | 23 | 3306940 | 2891438 | 1594 4158 | 0 | 0 864.42/864.61 c 864s | 23 | 3314388 | 2897838 | 1594 4166 | 0 | 0 866.40/866.62 c 866s | 23 | 3321850 | 2904338 | 1594 4173 | 0 | 0 868.40/868.62 c 868s | 23 | 3329587 | 2911038 | 1594 4181 | 0 | 0 870.40/870.63 c 870s | 23 | 3336598 | 2917238 | 1594 4188 | 0 | 0 872.40/872.65 c 872s | 23 | 3343341 | 2923238 | 1594 4195 | 0 | 0 874.41/874.66 c 874s | 23 | 3350067 | 2929138 | 1594 4202 | 0 | 0 876.40/876.67 c 876s | 23 | 3357242 | 2935438 | 1594 4209 | 0 | 0 878.40/878.68 c 878s | 23 | 3364846 | 2942038 | 1594 4217 | 0 | 0 880.50/880.70 c 880s | 23 | 3372323 | 2948638 | 1594 4224 | 0 | 0 882.50/882.71 c 882s | 23 | 3379690 | 2955138 | 1594 4232 | 0 | 0 884.50/884.73 c 884s | 23 | 3386973 | 2961538 | 1594 4239 | 0 | 0 886.50/886.74 c 886s | 23 | 3394129 | 2967938 | 1594 4246 | 0 | 0 888.49/888.74 c 888s | 23 | 3401433 | 2974438 | 1594 4254 | 0 | 0 890.49/890.75 c 890s | 23 | 3407718 | 2980138 | 1594 4260 | 0 | 0 892.49/892.76 c 892s | 23 | 3414364 | 2986038 | 1594 4267 | 0 | 0 894.49/894.77 c 894s | 23 | 3421102 | 2991938 | 1594 4274 | 0 | 0 896.49/896.78 c 896s | 23 | 3428110 | 2998138 | 1594 4281 | 0 | 0 898.50/898.78 c 898s | 23 | 3435114 | 3004338 | 1594 4288 | 0 | 0 900.59/900.81 c 900s | 23 | 3442374 | 3010838 | 1594 4296 | 0 | 0 902.59/902.83 c 902s | 23 | 3449693 | 3017238 | 1594 4303 | 0 | 0 904.59/904.86 c 904s | 23 | 3457459 | 3023938 | 1594 4311 | 0 | 0 906.58/906.88 c 906s | 23 | 3464824 | 3030338 | 1594 4318 | 0 | 0 908.68/908.90 c 908s | 23 | 3471977 | 3036738 | 1594 4326 | 0 | 0 910.69/910.92 c 910s | 23 | 3479445 | 3043438 | 1594 4333 | 0 | 0 912.68/912.93 c 912s | 23 | 3486674 | 3049938 | 1594 4341 | 0 | 0 914.68/914.94 c 914s | 23 | 3494120 | 3056738 | 1594 4349 | 0 | 0 916.68/916.96 c 916s | 23 | 3501729 | 3063538 | 1594 4357 | 0 | 0 918.68/918.97 c 918s | 23 | 3508913 | 3070038 | 1594 4364 | 0 | 0 920.68/920.99 c 920s | 23 | 3516246 | 3076538 | 1594 4372 | 0 | 0 922.68/923.00 c 922s | 23 | 3523832 | 3083338 | 1594 4379 | 0 | 0 924.77/925.01 c 924s | 23 | 3531118 | 3089838 | 1594 4387 | 0 | 0 926.77/927.02 c 926s | 23 | 3538317 | 3096138 | 1594 4394 | 0 | 0 928.77/929.04 c 929s | 23 | 3546123 | 3103138 | 1594 4402 | 0 | 0 930.77/931.06 c 931s | 23 | 3553382 | 3109638 | 1594 4410 | 0 | 0 932.77/933.09 c 933s | 23 | 3560558 | 3116138 | 1594 4417 | 0 | 0 934.77/935.09 c 935s | 23 | 3568096 | 3122738 | 1594 4425 | 0 | 0 936.86/937.13 c 937s | 23 | 3575515 | 3129338 | 1594 4433 | 0 | 0 938.86/939.14 c 939s | 23 | 3583181 | 3136138 | 1594 4440 | 0 | 0 940.86/941.17 c 941s | 23 | 3590683 | 3142738 | 1594 4448 | 0 | 0 942.86/943.18 c 943s | 23 | 3597950 | 3149138 | 1594 4456 | 0 | 0 944.96/945.20 c 945s | 23 | 3605177 | 3155538 | 1594 4463 | 0 | 0 946.97/947.23 c 947s | 23 | 3611825 | 3161438 | 1594 4470 | 0 | 0 948.96/949.26 c 949s | 23 | 3617951 | 3166838 | 1594 4476 | 0 | 0 950.96/951.28 c 951s | 23 | 3624377 | 3172538 | 1594 4483 | 0 | 0 952.96/953.28 c 953s | 23 | 3630468 | 3177938 | 1594 4489 | 0 | 0 955.05/955.30 c 955s | 23 | 3637167 | 3183838 | 1594 4496 | 0 | 0 957.05/957.32 c 957s | 23 | 3643495 | 3189538 | 1594 4502 | 0 | 0 959.06/959.32 c 959s | 23 | 3650320 | 3195438 | 1594 4509 | 0 | 0 961.05/961.32 c 961s | 23 | 3656880 | 3201238 | 1594 4516 | 0 | 0 963.05/963.33 c 963s | 23 | 3663323 | 3206838 | 1594 4522 | 0 | 0 965.05/965.33 c 965s | 23 | 3670181 | 3212738 | 1594 4529 | 0 | 0 967.05/967.35 c 967s | 23 | 3676983 | 3218638 | 1594 4536 | 0 | 0 969.05/969.38 c 969s | 23 | 3683157 | 3224138 | 1594 4542 | 0 | 0 971.15/971.41 c 971s | 23 | 3689539 | 3229738 | 1594 4549 | 0 | 0 973.15/973.45 c 973s | 23 | 3695819 | 3235338 | 1594 4555 | 0 | 0 975.14/975.45 c 975s | 23 | 3702333 | 3241138 | 1594 4562 | 0 | 0 977.14/977.46 c 977s | 23 | 3708905 | 3247038 | 1594 4569 | 0 | 0 979.14/979.48 c 979s | 23 | 3715316 | 3252738 | 1594 4576 | 0 | 0 981.24/981.51 c 981s | 23 | 3722609 | 3259238 | 1594 4583 | 0 | 0 983.26/983.54 c 983s | 23 | 3729378 | 3265338 | 1594 4590 | 0 | 0 985.24/985.55 c 985s | 23 | 3735836 | 3271138 | 1594 4597 | 0 | 0 987.24/987.58 c 987s | 23 | 3742220 | 3276938 | 1594 4604 | 0 | 0 989.24/989.58 c 989s | 23 | 3748724 | 3282638 | 1594 4610 | 0 | 0 991.34/991.60 c 991s | 23 | 3755276 | 3288538 | 1594 4617 | 0 | 0 993.34/993.60 c 993s | 23 | 3762189 | 3294638 | 1594 4624 | 0 | 0 995.34/995.63 c 995s | 23 | 3770428 | 3301738 | 1594 4632 | 0 | 0 997.34/997.64 c 997s | 23 | 3778635 | 3308938 | 1594 4641 | 0 | 0 999.34/999.66 c 999s | 23 | 3786306 | 3315738 | 1594 4648 | 0 | 0 1001.33/1001.67 c 1001s | 23 | 3793870 | 3322438 | 1594 4656 | 0 | 0 1003.33/1003.68 c 1003s | 23 | 3801624 | 3329338 | 1594 4664 | 0 | 0 1005.43/1005.70 c 1005s | 23 | 3809769 | 3336538 | 1594 4672 | 0 | 0 1007.44/1007.72 c 1007s | 23 | 3817716 | 3343538 | 1594 4680 | 0 | 0 1009.43/1009.73 c 1009s | 23 | 3825476 | 3350438 | 1594 4688 | 0 | 0 1011.43/1011.74 c 1011s | 23 | 3833272 | 3357338 | 1754 4696 | 0 | 0 1013.43/1013.75 c 1013s | 23 | 3840578 | 3363938 | 1754 4703 | 0 | 0 1015.42/1015.77 c 1015s | 23 | 3848462 | 3370738 | 1754 4710 | 0 | 0 1017.12/1017.50 c 1017s | 24 | 3855131 | 3376662 | 1754 4716 | 0 | 0 1019.22/1019.53 c 1019s | 24 | 3863455 | 3383662 | 1754 4724 | 0 | 0 1021.22/1021.55 c 1021s | 24 | 3870284 | 3389762 | 1754 4730 | 0 | 0 1023.22/1023.56 c 1023s | 24 | 3877351 | 3395962 | 1754 4737 | 0 | 0 1025.21/1025.59 c 1025s | 24 | 3884217 | 3402062 | 1754 4743 | 0 | 0 1027.31/1027.61 c 1027s | 24 | 3891863 | 3408862 | 1754 4750 | 0 | 0 1029.32/1029.61 c 1029s | 24 | 3898993 | 3415162 | 1754 4757 | 0 | 0 1031.31/1031.64 c 1031s | 24 | 3906305 | 3421662 | 1754 4764 | 0 | 0 1033.31/1033.65 c 1033s | 24 | 3913487 | 3428062 | 1754 4770 | 0 | 0 1035.30/1035.68 c 1035s | 24 | 3921283 | 3434762 | 1754 4778 | 0 | 0 1037.30/1037.69 c 1037s | 24 | 3928648 | 3441262 | 1754 4784 | 0 | 0 1039.40/1039.71 c 1039s | 24 | 3935974 | 3447762 | 1754 4791 | 0 | 0 1041.41/1041.72 c 1041s | 24 | 3942593 | 3453662 | 1754 4797 | 0 | 0 1043.40/1043.73 c 1043s | 24 | 3949437 | 3459662 | 1754 4804 | 0 | 0 1045.40/1045.73 c 1045s | 24 | 3956182 | 3465562 | 1754 4810 | 0 | 0 1047.40/1047.75 c 1047s | 24 | 3963163 | 3471662 | 1754 4816 | 0 | 0 1049.40/1049.78 c 1049s | 24 | 3970349 | 3477962 | 1754 4823 | 0 | 0 1051.50/1051.82 c 1051s | 24 | 3977758 | 3484462 | 1754 4830 | 0 | 0 1053.51/1053.84 c 1053s | 24 | 3984348 | 3490362 | 1754 4836 | 0 | 0 1055.50/1055.85 c 1055s | 24 | 3991266 | 3496262 | 1754 4843 | 0 | 0 1057.50/1057.88 c 1057s | 24 | 3998145 | 3502162 | 1754 4849 | 0 | 0 1059.59/1059.90 c 1059s | 24 | 4005145 | 3507962 | 1754 4855 | 0 | 0 1061.59/1061.91 c 1061s | 24 | 4012411 | 3514262 | 1754 4862 | 0 | 0 1063.59/1063.93 c 1063s | 24 | 4019573 | 3520562 | 1754 4868 | 0 | 0 1065.60/1065.95 c 1065s | 24 | 4026525 | 3526762 | 1754 4875 | 0 | 0 1067.59/1067.95 c 1067s | 24 | 4033608 | 3532962 | 1754 4881 | 0 | 0 1069.59/1069.97 c 1069s | 24 | 4041041 | 3539362 | 1754 4888 | 0 | 0 1071.59/1071.98 c 1071s | 24 | 4047634 | 3545148 | 1754 4895 | 0 | 0 1071.59/1071.98 c #cpu_time = 1069.052s 1071.59/1071.98 c #wall_clock_time = 1071.950s 1071.59/1071.98 c #decision = 4047634 1071.59/1071.98 c #random_decision = 15846 1071.59/1071.98 c #conflict = 3545148 1071.59/1071.98 c #restart = 24 1071.59/1071.98 c BCD2: found a new core of size 30: cost of the new core is >=6 1071.59/1071.98 c lower bound updated to 6 1071.59/1071.98 c BCD2: 6 <= obj <= 1661 1071.59/1071.98 c BCD2: #cores=1, #unrelaxed=30, #relaxed=30, #hardened=0 1071.59/1071.98 c BCD2: #sat=1 #unsat=2 bias=2/3 1071.59/1071.98 c Solving starts ... 1071.59/1071.98 c ============================[ Search Statistics ]============================ 1071.59/1071.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1071.59/1071.98 c | | | | Limit GC | Var | Constra 1071.59/1071.98 c ============================================================================= 1071.59/1071.98 c 0.0s | 0 | 0 | 0 | 1754 0 | 0 | 0 1071.69/1072.00 c 0.0s | 1 | 282 | 100 | 1754 0 | 0 | 0 1071.69/1072.02 c 0.0s | 2 | 569 | 250 | 1754 0 | 0 | 0 1071.69/1072.07 c 0.1s | 3 | 1007 | 475 | 1754 0 | 0 | 0 1071.79/1072.15 c 0.2s | 4 | 1565 | 813 | 1754 0 | 0 | 0 1071.99/1072.30 c 0.3s | 5 | 2409 | 1320 | 1754 1 | 0 | 0 1072.20/1072.53 c 0.6s | 6 | 3538 | 2081 | 1754 2 | 0 | 0 1072.49/1072.87 c 0.9s | 7 | 4962 | 3223 | 1754 3 | 0 | 0 1072.99/1073.38 c 1.4s | 8 | 7103 | 4936 | 1754 5 | 0 | 0 1073.79/1074.16 c 2.2s | 9 | 10197 | 7506 | 1754 8 | 0 | 0 1074.99/1075.38 c 3.4s | 10 | 14803 | 11361 | 1754 12 | 0 | 0 1076.79/1077.12 c 5.1s | 11 | 21749 | 17144 | 1754 18 | 0 | 0 1078.79/1079.15 c 7.2s | 11 | 30725 | 24744 | 1754 26 | 0 | 0 1079.09/1079.48 c 7.5s | 12 | 31966 | 25819 | 1754 27 | 0 | 0 1081.18/1081.52 c 9.5s | 12 | 40037 | 32619 | 1754 35 | 0 | 0 1083.19/1083.51 c 11.5s | 13 | 46990 | 38832 | 1754 41 | 0 | 0 1085.18/1085.54 c 13.6s | 13 | 54979 | 45532 | 1754 48 | 0 | 0 1087.18/1087.57 c 15.6s | 13 | 63055 | 52532 | 1754 56 | 0 | 0 1088.98/1089.34 c 17.4s | 14 | 69652 | 58352 | 1754 62 | 0 | 0 1090.99/1091.34 c 19.4s | 14 | 77854 | 65452 | 1754 70 | 0 | 0 1092.98/1093.35 c 21.4s | 14 | 85357 | 72152 | 1754 77 | 0 | 0 1094.97/1095.37 c 23.4s | 14 | 93011 | 78852 | 1754 84 | 0 | 0 1096.98/1097.39 c 25.4s | 14 | 100664 | 85652 | 1754 92 | 0 | 0 1097.59/1097.97 c 26.0s | 15 | 102918 | 87632 | 1754 94 | 0 | 0 1099.58/1099.97 c 28.0s | 15 | 110922 | 94632 | 1754 101 | 0 | 0 1101.58/1101.99 c 30.0s | 15 | 119219 | 101932 | 1754 109 | 0 | 0 1103.58/1103.99 c 32.0s | 15 | 127681 | 109332 | 1754 117 | 0 | 0 1105.67/1106.00 c 34.0s | 15 | 135960 | 116732 | 1754 125 | 0 | 0 1107.67/1108.02 c 36.0s | 15 | 143995 | 123832 | 1754 133 | 0 | 0 1109.68/1110.03 c 38.0s | 15 | 151971 | 130932 | 1754 140 | 0 | 0 1109.87/1110.20 c 38.2s | 16 | 152645 | 131552 | 1754 141 | 0 | 0 1111.88/1112.23 c 40.2s | 16 | 160791 | 138652 | 1754 148 | 0 | 0 1113.87/1114.23 c 42.3s | 16 | 168250 | 145252 | 1754 156 | 0 | 0 1115.87/1116.25 c 44.3s | 16 | 176166 | 152252 | 1754 163 | 0 | 0 1117.87/1118.25 c 46.3s | 16 | 183344 | 158752 | 1754 170 | 0 | 0 1119.87/1120.26 c 48.3s | 16 | 190924 | 165452 | 1754 177 | 0 | 0 1121.87/1122.29 c 50.3s | 16 | 198338 | 171952 | 1754 184 | 0 | 0 1123.97/1124.31 c 52.3s | 16 | 205355 | 178152 | 1754 191 | 0 | 0 1125.96/1126.33 c 54.4s | 16 | 212376 | 184352 | 1754 198 | 0 | 0 1127.96/1128.34 c 56.4s | 16 | 219451 | 190552 | 1754 204 | 0 | 0 1129.96/1130.36 c 58.4s | 16 | 226636 | 196752 | 1754 211 | 0 | 0 1130.16/1130.57 c 58.6s | 17 | 227418 | 197432 | 1754 212 | 0 | 0 1132.16/1132.58 c 60.6s | 17 | 234930 | 203832 | 1754 219 | 0 | 0 1134.26/1134.60 c 62.6s | 17 | 242091 | 210032 | 1754 226 | 0 | 0 1136.25/1136.61 c 64.6s | 17 | 248950 | 215932 | 1754 232 | 0 | 0 1138.26/1138.63 c 66.6s | 17 | 255655 | 221932 | 1754 238 | 0 | 0 1140.25/1140.63 c 68.7s | 17 | 262681 | 228032 | 1754 245 | 0 | 0 1142.25/1142.64 c 70.7s | 17 | 269870 | 234132 | 1754 251 | 0 | 0 1144.25/1144.66 c 72.7s | 17 | 277523 | 240832 | 1754 259 | 0 | 0 1146.25/1146.67 c 74.7s | 17 | 284584 | 247232 | 1754 265 | 0 | 0 1148.25/1148.68 c 76.7s | 17 | 292259 | 253932 | 1754 272 | 0 | 0 1150.35/1150.71 c 78.7s | 17 | 299101 | 260032 | 1754 279 | 0 | 0 1152.35/1152.73 c 80.8s | 17 | 305664 | 265832 | 1754 285 | 0 | 0 1154.35/1154.74 c 82.8s | 17 | 312161 | 271532 | 1754 291 | 0 | 0 1156.34/1156.76 c 84.8s | 17 | 318132 | 276932 | 1754 297 | 0 | 0 1158.34/1158.76 c 86.8s | 17 | 323516 | 281832 | 1754 302 | 0 | 0 1160.34/1160.78 c 88.8s | 17 | 330261 | 287932 | 1754 309 | 0 | 0 1162.35/1162.80 c 90.8s | 17 | 337085 | 294032 | 1754 315 | 0 | 0 1163.24/1163.60 c 91.6s | 18 | 339556 | 296252 | 1754 318 | 0 | 0 1165.23/1165.64 c 93.7s | 18 | 347088 | 302752 | 1754 325 | 0 | 0 1167.23/1167.66 c 95.7s | 18 | 354107 | 308952 | 1754 331 | 0 | 0 1169.23/1169.67 c 97.7s | 18 | 362038 | 315852 | 1754 339 | 0 | 0 1171.33/1171.71 c 99.7s | 18 | 369748 | 322752 | 1754 346 | 0 | 0 1173.34/1173.72 c 101s | 18 | 377160 | 329252 | 1754 353 | 0 | 0 1175.33/1175.73 c 103s | 18 | 384150 | 335252 | 1754 359 | 0 | 0 1177.34/1177.75 c 105s | 18 | 391666 | 341652 | 1754 366 | 0 | 0 1179.34/1179.76 c 107s | 18 | 398691 | 347852 | 1754 373 | 0 | 0 1181.34/1181.77 c 109s | 18 | 405954 | 354152 | 1754 380 | 0 | 0 1183.44/1183.80 c 111s | 18 | 413070 | 360252 | 1754 386 | 0 | 0 1185.33/1185.80 c 113s | 18 | 420480 | 366452 | 1754 393 | 0 | 0 1187.43/1187.83 c 115s | 18 | 427733 | 372452 | 1754 399 | 0 | 0 1189.43/1189.84 c 117s | 18 | 435248 | 378752 | 1754 406 | 0 | 0 1191.43/1191.85 c 119s | 18 | 442363 | 384752 | 1754 412 | 0 | 0 1193.43/1193.86 c 121s | 18 | 450142 | 391052 | 1754 419 | 0 | 0 1195.43/1195.90 c 123s | 18 | 457805 | 397552 | 1754 426 | 0 | 0 1197.53/1197.92 c 125s | 18 | 465046 | 403852 | 1754 433 | 0 | 0 1199.53/1199.92 c 127s | 18 | 472076 | 409952 | 1754 440 | 0 | 0 1201.52/1201.93 c 129s | 18 | 479557 | 416252 | 1754 446 | 0 | 0 1203.52/1203.95 c 131s | 18 | 487321 | 423052 | 1754 454 | 0 | 0 1205.52/1205.96 c 133s | 18 | 494921 | 429752 | 1754 461 | 0 | 0 1207.52/1207.97 c 135s | 18 | 502211 | 435952 | 1754 467 | 0 | 0 1209.52/1209.99 c 138s | 18 | 509831 | 442352 | 1754 474 | 0 | 0 1210.22/1210.63 c 138s | 19 | 512316 | 444482 | 1754 477 | 0 | 0 1212.22/1212.64 c 140s | 19 | 519559 | 450782 | 1754 483 | 0 | 0 1214.22/1214.66 c 142s | 19 | 526553 | 456982 | 1754 490 | 0 | 0 1216.22/1216.66 c 144s | 19 | 534046 | 463582 | 1754 497 | 0 | 0 1218.21/1218.68 c 146s | 19 | 541916 | 470482 | 1754 504 | 0 | 0 1220.31/1220.70 c 148s | 19 | 549947 | 477582 | 1754 512 | 0 | 0 1222.31/1222.71 c 150s | 19 | 557837 | 484582 | 1754 520 | 0 | 0 1224.31/1224.72 c 152s | 19 | 565360 | 491382 | 1754 527 | 0 | 0 1226.30/1226.73 c 154s | 19 | 573361 | 498482 | 1754 535 | 0 | 0 1228.32/1228.76 c 156s | 19 | 581564 | 505682 | 1754 542 | 0 | 0 1230.31/1230.78 c 158s | 19 | 589200 | 512582 | 1754 550 | 0 | 0 1232.41/1232.80 c 160s | 19 | 597861 | 520082 | 1754 558 | 0 | 0 1234.41/1234.83 c 162s | 19 | 606227 | 527482 | 1754 566 | 0 | 0 1236.40/1236.85 c 164s | 19 | 614046 | 534482 | 1754 573 | 0 | 0 1238.40/1238.87 c 166s | 19 | 621711 | 541282 | 1754 580 | 0 | 0 1240.41/1240.89 c 168s | 19 | 629214 | 548082 | 1754 588 | 0 | 0 1242.40/1242.89 c 170s | 19 | 637162 | 555082 | 1754 595 | 0 | 0 1244.50/1244.92 c 172s | 19 | 645343 | 562382 | 1754 603 | 0 | 0 1246.50/1246.94 c 174s | 19 | 653476 | 569382 | 1754 610 | 0 | 0 1248.50/1248.94 c 176s | 19 | 661705 | 576482 | 1754 618 | 0 | 0 1250.50/1250.95 c 178s | 19 | 669984 | 583782 | 1754 626 | 0 | 0 1252.50/1252.96 c 180s | 19 | 678101 | 590782 | 1754 633 | 0 | 0 1254.50/1254.97 c 182s | 19 | 685988 | 597782 | 1754 641 | 0 | 0 1256.49/1256.99 c 185s | 19 | 693876 | 604882 | 1754 648 | 0 | 0 1258.49/1258.99 c 187s | 19 | 701519 | 611682 | 1754 656 | 0 | 0 1260.59/1261.00 c 189s | 19 | 709353 | 618582 | 1754 663 | 0 | 0 1262.59/1263.03 c 191s | 19 | 716792 | 625182 | 1754 670 | 0 | 0 1264.60/1265.03 c 193s | 19 | 723980 | 631482 | 1754 677 | 0 | 0 1266.58/1267.04 c 195s | 19 | 731203 | 637782 | 1754 683 | 0 | 0 1268.58/1269.07 c 197s | 19 | 738785 | 644482 | 1754 691 | 0 | 0 1270.58/1271.07 c 199s | 19 | 746178 | 650982 | 1754 698 | 0 | 0 1272.58/1273.09 c 201s | 19 | 753282 | 657182 | 1754 704 | 0 | 0 1274.68/1275.11 c 203s | 19 | 760064 | 663282 | 1754 711 | 0 | 0 1275.69/1276.18 c 204s | 20 | 764048 | 666827 | 1754 715 | 0 | 0 1277.68/1278.19 c 206s | 20 | 772077 | 673527 | 1754 722 | 0 | 0 1279.78/1280.20 c 208s | 20 | 779715 | 680227 | 1754 729 | 0 | 0 1281.78/1282.21 c 210s | 20 | 787378 | 686927 | 1754 736 | 0 | 0 1283.78/1284.22 c 212s | 20 | 795547 | 693927 | 1754 744 | 0 | 0 1285.78/1286.22 c 214s | 20 | 802015 | 699527 | 1754 750 | 0 | 0 1287.78/1288.23 c 216s | 20 | 809415 | 705927 | 1754 757 | 0 | 0 1289.78/1290.23 c 218s | 20 | 816045 | 711827 | 1754 763 | 0 | 0 1291.77/1292.24 c 220s | 20 | 822502 | 717527 | 1754 769 | 0 | 0 1293.77/1294.24 c 222s | 20 | 829149 | 723327 | 1754 776 | 0 | 0 1295.77/1296.26 c 224s | 20 | 836513 | 729827 | 1754 783 | 0 | 0 1297.77/1298.28 c 226s | 20 | 844123 | 736327 | 1754 790 | 0 | 0 1299.87/1300.31 c 228s | 20 | 851237 | 742627 | 1754 796 | 0 | 0 1301.87/1302.34 c 230s | 20 | 858160 | 748727 | 1754 803 | 0 | 0 1303.87/1304.35 c 232s | 20 | 865057 | 754827 | 1754 809 | 0 | 0 1305.86/1306.38 c 234s | 20 | 871862 | 760927 | 1754 816 | 0 | 0 1307.86/1308.38 c 236s | 20 | 878586 | 766927 | 1754 822 | 0 | 0 1309.96/1310.41 c 238s | 20 | 885378 | 773027 | 1754 829 | 0 | 0 1311.97/1312.41 c 240s | 20 | 891819 | 778827 | 1754 835 | 0 | 0 1313.96/1314.43 c 242s | 20 | 898717 | 785027 | 1754 842 | 0 | 0 1315.96/1316.46 c 244s | 20 | 905937 | 791527 | 1754 849 | 0 | 0 1317.95/1318.47 c 246s | 20 | 912938 | 797727 | 1754 855 | 0 | 0 1319.96/1320.48 c 248s | 20 | 920283 | 804227 | 1754 862 | 0 | 0 1322.06/1322.50 c 250s | 20 | 927729 | 810827 | 1754 869 | 0 | 0 1324.07/1324.53 c 252s | 20 | 935050 | 817327 | 1754 876 | 0 | 0 1326.06/1326.55 c 254s | 20 | 942545 | 823927 | 1754 883 | 0 | 0 1328.06/1328.55 c 256s | 20 | 950036 | 830627 | 1754 890 | 0 | 0 1330.05/1330.57 c 258s | 20 | 957824 | 837527 | 1754 898 | 0 | 0 1332.05/1332.59 c 260s | 20 | 965978 | 844827 | 1754 906 | 0 | 0 1334.15/1334.62 c 262s | 20 | 974289 | 852227 | 1754 913 | 0 | 0 1336.16/1336.62 c 264s | 20 | 981973 | 859127 | 1754 921 | 0 | 0 1338.15/1338.64 c 266s | 20 | 989803 | 865927 | 1754 928 | 0 | 0 1340.15/1340.64 c 268s | 20 | 997273 | 872527 | 1754 935 | 0 | 0 1342.15/1342.65 c 270s | 20 | 1004858 | 879327 | 1754 942 | 0 | 0 1344.15/1344.67 c 272s | 20 | 1012495 | 886127 | 1754 950 | 0 | 0 1346.15/1346.69 c 274s | 20 | 1020308 | 892927 | 1754 957 | 0 | 0 1348.25/1348.72 c 276s | 20 | 1027871 | 899727 | 1754 964 | 0 | 0 1350.24/1350.75 c 278s | 20 | 1035342 | 906327 | 1754 971 | 0 | 0 1352.24/1352.76 c 280s | 20 | 1043190 | 913327 | 1754 979 | 0 | 0 1354.24/1354.76 c 282s | 20 | 1049906 | 919327 | 1754 985 | 0 | 0 1356.24/1356.79 c 284s | 20 | 1057044 | 925727 | 1754 992 | 0 | 0 1358.34/1358.81 c 286s | 20 | 1063883 | 931927 | 1754 999 | 0 | 0 1360.35/1360.81 c 288s | 20 | 1070889 | 938127 | 1754 1005 | 0 | 0 1362.34/1362.83 c 290s | 20 | 1077946 | 944427 | 1754 1012 | 0 | 0 1364.34/1364.86 c 292s | 20 | 1084475 | 950327 | 1754 1019 | 0 | 0 1366.34/1366.88 c 294s | 20 | 1091221 | 956327 | 1754 1025 | 0 | 0 1368.44/1368.90 c 296s | 20 | 1097791 | 962127 | 1754 1031 | 0 | 0 1370.43/1370.94 c 298s | 20 | 1104333 | 968027 | 1754 1038 | 0 | 0 1372.44/1372.94 c 300s | 20 | 1110883 | 973827 | 1754 1044 | 0 | 0 1374.43/1374.98 c 302s | 20 | 1117496 | 979627 | 1754 1050 | 0 | 0 1376.43/1376.99 c 305s | 20 | 1124369 | 985727 | 1754 1057 | 0 | 0 1378.53/1379.01 c 307s | 20 | 1131519 | 992027 | 1754 1063 | 0 | 0 1380.53/1381.04 c 309s | 20 | 1138519 | 998327 | 1754 1070 | 0 | 0 1381.14/1381.61 c 309s | 21 | 1140779 | 1000345 | 1754 1072 | 0 | 0 1383.13/1383.64 c 311s | 21 | 1148550 | 1007045 | 1754 1079 | 0 | 0 1385.13/1385.66 c 313s | 21 | 1156488 | 1014045 | 1754 1087 | 0 | 0 1387.13/1387.69 c 315s | 21 | 1163996 | 1020745 | 1754 1094 | 0 | 0 1389.13/1389.69 c 317s | 21 | 1171542 | 1027545 | 1754 1101 | 0 | 0 1391.23/1391.71 c 319s | 21 | 1180107 | 1035145 | 1754 1110 | 0 | 0 1393.24/1393.72 c 321s | 21 | 1187656 | 1042045 | 1754 1117 | 0 | 0 1395.23/1395.73 c 323s | 21 | 1195613 | 1049045 | 1754 1125 | 0 | 0 1397.23/1397.74 c 325s | 21 | 1203208 | 1055845 | 1754 1132 | 0 | 0 1399.23/1399.78 c 327s | 21 | 1210851 | 1062645 | 1754 1139 | 0 | 0 1401.33/1401.81 c 329s | 21 | 1218365 | 1069345 | 1754 1146 | 0 | 0 1403.33/1403.83 c 331s | 21 | 1225819 | 1076045 | 1754 1154 | 0 | 0 1405.33/1405.84 c 333s | 21 | 1233575 | 1082945 | 1754 1161 | 0 | 0 1407.33/1407.86 c 335s | 21 | 1241158 | 1089645 | 1754 1168 | 0 | 0 1409.32/1409.86 c 337s | 21 | 1248820 | 1096445 | 1754 1176 | 0 | 0 1411.32/1411.88 c 339s | 21 | 1256083 | 1102945 | 1754 1183 | 0 | 0 1413.32/1413.88 c 341s | 21 | 1263256 | 1109345 | 1754 1190 | 0 | 0 1415.42/1415.90 c 343s | 21 | 1271224 | 1116445 | 1754 1197 | 0 | 0 1417.43/1417.92 c 345s | 21 | 1279436 | 1123645 | 1754 1205 | 0 | 0 1419.42/1419.94 c 347s | 21 | 1286558 | 1130045 | 1754 1212 | 0 | 0 1421.42/1421.96 c 349s | 21 | 1294226 | 1136545 | 1754 1219 | 0 | 0 1423.42/1423.97 c 351s | 21 | 1301328 | 1142845 | 1754 1226 | 0 | 0 1425.52/1426.00 c 354s | 21 | 1309363 | 1149945 | 1754 1233 | 0 | 0 1427.52/1428.00 c 356s | 21 | 1316712 | 1156445 | 1754 1240 | 0 | 0 1429.53/1430.00 c 358s | 21 | 1323932 | 1162945 | 1754 1247 | 0 | 0 1431.52/1432.01 c 360s | 21 | 1331176 | 1169545 | 1754 1254 | 0 | 0 1433.52/1434.03 c 362s | 21 | 1338360 | 1176045 | 1754 1261 | 0 | 0 1435.52/1436.05 c 364s | 21 | 1345413 | 1182445 | 1754 1268 | 0 | 0 1437.52/1438.07 c 366s | 21 | 1352513 | 1188745 | 1754 1275 | 0 | 0 1439.53/1440.09 c 368s | 21 | 1359575 | 1195045 | 1754 1281 | 0 | 0 1441.63/1442.12 c 370s | 21 | 1366705 | 1201445 | 1754 1288 | 0 | 0 1443.62/1444.13 c 372s | 21 | 1374247 | 1208045 | 1754 1295 | 0 | 0 1445.62/1446.15 c 374s | 21 | 1381338 | 1214345 | 1754 1302 | 0 | 0 1447.62/1448.15 c 376s | 21 | 1388362 | 1220645 | 1754 1309 | 0 | 0 1449.62/1450.15 c 378s | 21 | 1395683 | 1227145 | 1754 1316 | 0 | 0 1451.62/1452.15 c 380s | 21 | 1402628 | 1233345 | 1754 1322 | 0 | 0 1453.62/1454.16 c 382s | 21 | 1409675 | 1239645 | 1754 1329 | 0 | 0 1455.62/1456.19 c 384s | 21 | 1416349 | 1245645 | 1754 1335 | 0 | 0 1457.72/1458.20 c 386s | 21 | 1423088 | 1251645 | 1754 1342 | 0 | 0 1459.72/1460.22 c 388s | 21 | 1429967 | 1257645 | 1754 1348 | 0 | 0 1461.71/1462.22 c 390s | 21 | 1436823 | 1263745 | 1754 1355 | 0 | 0 1463.73/1464.25 c 392s | 21 | 1444081 | 1270245 | 1754 1362 | 0 | 0 1465.72/1466.26 c 394s | 21 | 1450851 | 1276245 | 1754 1368 | 0 | 0 1467.72/1468.26 c 396s | 21 | 1457911 | 1282445 | 1754 1375 | 0 | 0 1469.72/1470.28 c 398s | 21 | 1465319 | 1288945 | 1754 1382 | 0 | 0 1471.82/1472.30 c 400s | 21 | 1471991 | 1294745 | 1754 1388 | 0 | 0 1473.82/1474.31 c 402s | 21 | 1478498 | 1300645 | 1754 1394 | 0 | 0 1475.83/1476.33 c 404s | 21 | 1486064 | 1307045 | 1754 1401 | 0 | 0 1477.82/1478.35 c 406s | 21 | 1492511 | 1312745 | 1754 1407 | 0 | 0 1479.82/1480.35 c 408s | 21 | 1499580 | 1318945 | 1754 1414 | 0 | 0 1481.82/1482.36 c 410s | 21 | 1506195 | 1324845 | 1754 1420 | 0 | 0 1483.82/1484.39 c 412s | 21 | 1512538 | 1330545 | 1754 1427 | 0 | 0 1485.92/1486.40 c 414s | 21 | 1518939 | 1336345 | 1754 1433 | 0 | 0 1487.92/1488.42 c 416s | 21 | 1525670 | 1342345 | 1754 1439 | 0 | 0 1489.92/1490.46 c 418s | 21 | 1532143 | 1348145 | 1754 1446 | 0 | 0 1491.92/1492.46 c 420s | 21 | 1539289 | 1354445 | 1754 1452 | 0 | 0 1493.92/1494.47 c 422s | 21 | 1546079 | 1360445 | 1754 1459 | 0 | 0 1495.92/1496.47 c 424s | 21 | 1552319 | 1366045 | 1754 1465 | 0 | 0 1497.92/1498.49 c 426s | 21 | 1558594 | 1371645 | 1754 1471 | 0 | 0 1500.02/1500.51 c 428s | 21 | 1564825 | 1377345 | 1754 1477 | 0 | 0 1502.01/1502.54 c 430s | 21 | 1571504 | 1383445 | 1754 1484 | 0 | 0 1504.01/1504.57 c 432s | 21 | 1578240 | 1389445 | 1754 1490 | 0 | 0 1506.01/1506.59 c 434s | 21 | 1585055 | 1395545 | 1754 1497 | 0 | 0 1508.11/1508.60 c 436s | 21 | 1591907 | 1401645 | 1754 1503 | 0 | 0 1510.11/1510.63 c 438s | 21 | 1598819 | 1407645 | 1754 1510 | 0 | 0 1512.12/1512.65 c 440s | 21 | 1606055 | 1414045 | 1754 1517 | 0 | 0 1514.11/1514.67 c 442s | 21 | 1613343 | 1420445 | 1754 1523 | 0 | 0 1516.11/1516.67 c 444s | 21 | 1620480 | 1426745 | 1754 1530 | 0 | 0 1518.21/1518.70 c 446s | 21 | 1627453 | 1432745 | 1754 1537 | 0 | 0 1520.21/1520.72 c 448s | 21 | 1634489 | 1438945 | 1754 1543 | 0 | 0 1522.21/1522.75 c 450s | 21 | 1642042 | 1445445 | 1754 1550 | 0 | 0 1524.22/1524.76 c 452s | 21 | 1648754 | 1451345 | 1754 1557 | 0 | 0 1526.21/1526.78 c 454s | 21 | 1655414 | 1457245 | 1754 1563 | 0 | 0 1528.21/1528.79 c 456s | 21 | 1661881 | 1463045 | 1754 1569 | 0 | 0 1530.21/1530.79 c 458s | 21 | 1668844 | 1469145 | 1754 1576 | 0 | 0 1532.31/1532.82 c 460s | 21 | 1675786 | 1475245 | 1754 1582 | 0 | 0 1534.31/1534.84 c 462s | 21 | 1682239 | 1480945 | 1754 1588 | 0 | 0 1536.31/1536.84 c 464s | 21 | 1688598 | 1486445 | 1930 1594 | 0 | 0 1538.31/1538.85 c 466s | 21 | 1695161 | 1492245 | 1930 1600 | 0 | 0 1540.30/1540.85 c 468s | 21 | 1701508 | 1497945 | 1930 1605 | 0 | 0 1541.20/1541.72 c 469s | 22 | 1704498 | 1500622 | 1930 1608 | 0 | 0 1543.20/1543.72 c 471s | 22 | 1712523 | 1507022 | 1930 1614 | 0 | 0 1545.20/1545.74 c 473s | 22 | 1720206 | 1513522 | 1930 1621 | 0 | 0 1547.21/1547.75 c 475s | 22 | 1727675 | 1520122 | 1930 1627 | 0 | 0 1549.20/1549.77 c 477s | 22 | 1735251 | 1526622 | 1930 1633 | 0 | 0 1551.21/1551.79 c 479s | 22 | 1742430 | 1532722 | 1930 1639 | 0 | 0 1553.21/1553.79 c 481s | 22 | 1749771 | 1538822 | 1930 1645 | 0 | 0 1555.31/1555.82 c 483s | 22 | 1757318 | 1545122 | 1930 1652 | 0 | 0 1557.31/1557.83 c 485s | 22 | 1765052 | 1551722 | 1930 1658 | 0 | 0 1559.32/1559.85 c 487s | 22 | 1772314 | 1558122 | 1930 1664 | 0 | 0 1561.31/1561.87 c 489s | 22 | 1779421 | 1564322 | 1930 1670 | 0 | 0 1563.31/1563.88 c 491s | 22 | 1787066 | 1571022 | 1930 1677 | 0 | 0 1565.41/1565.91 c 493s | 22 | 1794454 | 1577522 | 1930 1683 | 0 | 0 1567.41/1567.93 c 495s | 22 | 1801298 | 1583422 | 1930 1689 | 0 | 0 1569.41/1569.93 c 497s | 22 | 1808120 | 1589322 | 1930 1695 | 0 | 0 1571.41/1571.97 c 499s | 22 | 1814424 | 1595022 | 1930 1700 | 0 | 0 1573.40/1573.98 c 502s | 22 | 1821631 | 1601222 | 1930 1706 | 0 | 0 1575.50/1576.00 c 504s | 22 | 1828647 | 1607222 | 1930 1712 | 0 | 0 1577.50/1578.01 c 506s | 22 | 1835226 | 1613022 | 1930 1718 | 0 | 0 1579.50/1580.02 c 508s | 22 | 1842746 | 1619522 | 1930 1724 | 0 | 0 1581.50/1582.04 c 510s | 22 | 1849821 | 1625822 | 1930 1730 | 0 | 0 1583.51/1584.05 c 512s | 22 | 1857719 | 1632722 | 1930 1737 | 0 | 0 1585.50/1586.07 c 514s | 22 | 1865202 | 1639422 | 1930 1744 | 0 | 0 1587.60/1588.10 c 516s | 22 | 1872688 | 1645922 | 1930 1750 | 0 | 0 1589.60/1590.13 c 518s | 22 | 1879972 | 1652322 | 1930 1756 | 0 | 0 1591.60/1592.13 c 520s | 22 | 1887004 | 1658422 | 1930 1762 | 0 | 0 1593.60/1594.14 c 522s | 22 | 1894336 | 1664922 | 1930 1769 | 0 | 0 1595.61/1596.16 c 524s | 22 | 1902296 | 1671922 | 1930 1776 | 0 | 0 1597.60/1598.16 c 526s | 22 | 1909473 | 1678222 | 1930 1782 | 0 | 0 1599.60/1600.19 c 528s | 22 | 1916306 | 1684122 | 1930 1788 | 0 | 0 1601.70/1602.22 c 530s | 22 | 1923072 | 1690022 | 1930 1793 | 0 | 0 1603.70/1604.26 c 532s | 22 | 1929583 | 1695722 | 1930 1799 | 0 | 0 1605.70/1606.28 c 534s | 22 | 1936314 | 1701622 | 1930 1805 | 0 | 0 1607.71/1608.28 c 536s | 22 | 1943548 | 1708022 | 1930 1811 | 0 | 0 1609.70/1610.29 c 538s | 22 | 1950982 | 1714622 | 1930 1817 | 0 | 0 1611.80/1612.31 c 540s | 22 | 1957744 | 1720722 | 1930 1823 | 0 | 0 1613.80/1614.34 c 542s | 22 | 1963474 | 1725822 | 1930 1828 | 0 | 0 1615.80/1616.37 c 544s | 22 | 1970189 | 1731722 | 1930 1834 | 0 | 0 1617.80/1618.39 c 546s | 22 | 1976717 | 1737522 | 1930 1840 | 0 | 0 1619.90/1620.42 c 548s | 22 | 1983632 | 1743722 | 1930 1846 | 0 | 0 1621.90/1622.42 c 550s | 22 | 1990007 | 1749422 | 1930 1851 | 0 | 0 1623.90/1624.43 c 552s | 22 | 1996738 | 1755222 | 1930 1857 | 0 | 0 1625.90/1626.46 c 554s | 22 | 2003632 | 1761222 | 1930 1863 | 0 | 0 1627.90/1628.47 c 556s | 22 | 2010409 | 1767222 | 1930 1869 | 0 | 0 1629.90/1630.48 c 558s | 22 | 2016968 | 1773122 | 1930 1875 | 0 | 0 1632.00/1632.51 c 560s | 22 | 2023849 | 1779222 | 1930 1881 | 0 | 0 1633.99/1634.51 c 562s | 22 | 2029895 | 1784722 | 1930 1886 | 0 | 0 1635.99/1636.53 c 564s | 22 | 2036626 | 1790722 | 1930 1892 | 0 | 0 1637.99/1638.54 c 566s | 22 | 2042797 | 1796222 | 1930 1897 | 0 | 0 1639.99/1640.55 c 568s | 22 | 2049570 | 1802322 | 1930 1903 | 0 | 0 1641.99/1642.57 c 570s | 22 | 2056228 | 1808222 | 1930 1909 | 0 | 0 1644.00/1644.59 c 572s | 22 | 2062715 | 1814122 | 1930 1915 | 0 | 0 1646.09/1646.64 c 574s | 22 | 2069018 | 1819822 | 1930 1920 | 0 | 0 1648.09/1648.64 c 576s | 22 | 2075397 | 1825522 | 1930 1926 | 0 | 0 1650.09/1650.65 c 578s | 22 | 2081569 | 1831122 | 1930 1931 | 0 | 0 1652.09/1652.65 c 580s | 22 | 2089139 | 1837622 | 1930 1938 | 0 | 0 1654.09/1654.69 c 582s | 22 | 2096269 | 1843722 | 1930 1944 | 0 | 0 1656.20/1656.71 c 584s | 22 | 2103972 | 1850422 | 1930 1950 | 0 | 0 1658.19/1658.74 c 586s | 22 | 2111416 | 1857022 | 1930 1957 | 0 | 0 1660.19/1660.75 c 588s | 22 | 2118458 | 1863322 | 1930 1963 | 0 | 0 1662.19/1662.75 c 590s | 22 | 2125454 | 1869622 | 1930 1969 | 0 | 0 1664.19/1664.78 c 592s | 22 | 2132528 | 1875722 | 1930 1975 | 0 | 0 1666.29/1666.80 c 594s | 22 | 2139018 | 1881522 | 1930 1981 | 0 | 0 1668.30/1668.83 c 596s | 22 | 2145533 | 1887322 | 1930 1987 | 0 | 0 1670.29/1670.85 c 598s | 22 | 2152028 | 1893022 | 1930 1992 | 0 | 0 1672.29/1672.87 c 600s | 22 | 2158828 | 1898822 | 1930 1998 | 0 | 0 1674.29/1674.88 c 602s | 22 | 2165179 | 1904322 | 1930 2003 | 0 | 0 1676.39/1676.91 c 604s | 22 | 2172212 | 1910422 | 1930 2009 | 0 | 0 1678.39/1678.92 c 606s | 22 | 2179077 | 1916422 | 1930 2015 | 0 | 0 1680.39/1680.93 c 608s | 22 | 2185343 | 1921922 | 1930 2021 | 0 | 0 1682.38/1682.95 c 610s | 22 | 2192375 | 1928022 | 1930 2027 | 0 | 0 1684.38/1684.97 c 612s | 22 | 2199322 | 1934122 | 1930 2033 | 0 | 0 1686.38/1687.00 c 615s | 22 | 2206017 | 1939822 | 1930 2038 | 0 | 0 1688.48/1689.00 c 617s | 22 | 2212445 | 1945322 | 1930 2044 | 0 | 0 1690.48/1691.00 c 619s | 22 | 2219040 | 1951022 | 1930 2049 | 0 | 0 1692.49/1693.04 c 621s | 22 | 2226428 | 1957522 | 1930 2056 | 0 | 0 1694.48/1695.05 c 623s | 22 | 2233556 | 1964022 | 1930 2062 | 0 | 0 1696.48/1697.06 c 625s | 22 | 2241113 | 1970822 | 1930 2069 | 0 | 0 1698.48/1699.07 c 627s | 22 | 2248701 | 1977622 | 1930 2075 | 0 | 0 1700.48/1701.09 c 629s | 22 | 2256589 | 1984622 | 1930 2082 | 0 | 0 1702.59/1703.12 c 631s | 22 | 2263659 | 1990922 | 1930 2088 | 0 | 0 1704.59/1705.13 c 633s | 22 | 2270512 | 1997022 | 1930 2094 | 0 | 0 1706.59/1707.16 c 635s | 22 | 2277258 | 2003022 | 1930 2100 | 0 | 0 1708.59/1709.18 c 637s | 22 | 2284234 | 2009222 | 1930 2106 | 0 | 0 1710.69/1711.20 c 639s | 22 | 2291255 | 2015422 | 1930 2112 | 0 | 0 1712.68/1713.21 c 641s | 22 | 2298515 | 2021922 | 1930 2119 | 0 | 0 1714.68/1715.25 c 643s | 22 | 2305059 | 2027822 | 1930 2124 | 0 | 0 1716.69/1717.25 c 645s | 22 | 2311692 | 2033822 | 1930 2130 | 0 | 0 1718.68/1719.25 c 647s | 22 | 2318754 | 2039822 | 1930 2136 | 0 | 0 1720.68/1721.26 c 649s | 22 | 2325702 | 2045922 | 1930 2142 | 0 | 0 1722.68/1723.26 c 651s | 22 | 2332552 | 2051922 | 1930 2148 | 0 | 0 1724.68/1725.27 c 653s | 22 | 2339743 | 2058222 | 1930 2154 | 0 | 0 1726.68/1727.28 c 655s | 22 | 2346384 | 2064222 | 1930 2160 | 0 | 0 1728.79/1729.31 c 657s | 22 | 2353237 | 2070322 | 1930 2166 | 0 | 0 1730.78/1731.34 c 659s | 22 | 2359686 | 2076122 | 1930 2172 | 0 | 0 1732.78/1733.35 c 661s | 22 | 2366007 | 2081722 | 1930 2177 | 0 | 0 1734.78/1735.37 c 663s | 22 | 2372402 | 2087422 | 1930 2183 | 0 | 0 1736.78/1737.39 c 665s | 22 | 2378741 | 2093122 | 1930 2189 | 0 | 0 1738.87/1739.40 c 667s | 22 | 2386475 | 2099822 | 1930 2195 | 0 | 0 1740.88/1741.42 c 669s | 22 | 2393372 | 2106022 | 1930 2201 | 0 | 0 1742.87/1743.45 c 671s | 22 | 2399825 | 2111722 | 1930 2207 | 0 | 0 1744.87/1745.45 c 673s | 22 | 2406142 | 2117322 | 1930 2212 | 0 | 0 1746.87/1747.49 c 675s | 22 | 2413155 | 2123422 | 1930 2218 | 0 | 0 1748.97/1749.51 c 677s | 22 | 2420216 | 2129522 | 1930 2224 | 0 | 0 1750.97/1751.51 c 679s | 22 | 2426701 | 2135322 | 1930 2230 | 0 | 0 1752.98/1753.54 c 681s | 22 | 2433773 | 2141422 | 1930 2236 | 0 | 0 1754.97/1755.57 c 683s | 22 | 2440673 | 2147522 | 1930 2242 | 0 | 0 1757.07/1757.60 c 685s | 22 | 2447355 | 2153522 | 1930 2248 | 0 | 0 1759.07/1759.62 c 687s | 22 | 2454377 | 2159822 | 1930 2254 | 0 | 0 1761.08/1761.63 c 689s | 22 | 2461139 | 2165822 | 1930 2260 | 0 | 0 1763.08/1763.66 c 691s | 22 | 2468328 | 2172122 | 1930 2266 | 0 | 0 1765.08/1765.68 c 693s | 22 | 2475279 | 2178222 | 1930 2272 | 0 | 0 1767.08/1767.68 c 695s | 22 | 2482415 | 2184522 | 1930 2279 | 0 | 0 1769.18/1769.71 c 697s | 22 | 2489615 | 2190922 | 1930 2285 | 0 | 0 1771.18/1771.75 c 699s | 22 | 2497325 | 2197622 | 1930 2292 | 0 | 0 1773.18/1773.78 c 701s | 22 | 2504569 | 2204122 | 1930 2298 | 0 | 0 1775.17/1775.79 c 703s | 22 | 2511822 | 2210622 | 1930 2304 | 0 | 0 1777.27/1777.82 c 705s | 22 | 2518977 | 2217022 | 1930 2311 | 0 | 0 1779.07/1779.62 c 707s | 22 | 2524890 | 2222266 | 1930 2316 | 0 | 0 1779.07/1779.62 c #cpu_time = 705.691s 1779.07/1779.62 c #wall_clock_time = 707.639s 1779.07/1779.62 c #decision = 2524890 1779.07/1779.62 c #random_decision = 10818 1779.07/1779.62 c #conflict = 2222266 1779.07/1779.62 c #restart = 22 1779.07/1779.62 c BCD2: found a new core of size 30: cost of the new core is >=1 1779.07/1779.62 c lower bound updated to 7 1779.07/1779.62 c BCD2: 7 <= obj <= 1661 1779.07/1779.62 c BCD2: #cores=2, #unrelaxed=0, #relaxed=60, #hardened=0 1779.07/1779.62 c BCD2: #sat=1 #unsat=3 bias=3/4 1779.07/1779.62 c Solving starts ... 1779.07/1779.62 c ============================[ Search Statistics ]============================ 1779.07/1779.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1779.07/1779.62 c | | | | Limit GC | Var | Constra 1779.07/1779.62 c ============================================================================= 1779.07/1779.62 c 0.0s | 0 | 0 | 0 | 1930 0 | 0 | 0 1779.07/1779.63 c 0.0s | 0 | 285 | 0 | 1930 0 | 0 | 0 1779.07/1779.63 c #cpu_time = 0.006s 1779.07/1779.63 c #wall_clock_time = 0.006s 1779.07/1779.63 c #decision = 285 1779.07/1779.63 c #random_decision = 2 1779.07/1779.63 c #conflict = 0 1779.07/1779.63 c #restart = 0 1779.07/1779.63 o 127 1779.07/1779.63 c BCD2: updating upper bound: 1661 -> 126 1779.07/1779.63 c BCD2: 7 <= obj <= 126 1779.07/1779.63 c BCD2: #cores=2, #unrelaxed=0, #relaxed=60, #hardened=0 1779.07/1779.63 c BCD2: #sat=2 #unsat=3 bias=3/5 1779.07/1779.63 c Solving starts ... 1779.07/1779.63 c ============================[ Search Statistics ]============================ 1779.07/1779.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1779.07/1779.63 c | | | | Limit GC | Var | Constra 1779.07/1779.63 c ============================================================================= 1779.07/1779.63 c 0.0s | 0 | 0 | 0 | 1930 0 | 0 | 1 1779.07/1779.65 c 0.0s | 1 | 190 | 100 | 1930 0 | 0 | 1 1779.07/1779.68 c 0.1s | 1 | 356 | 111 | 1930 0 | 0 | 1 1779.07/1779.68 c #cpu_time = 0.050s 1779.07/1779.68 c #wall_clock_time = 0.050s 1779.07/1779.68 c #decision = 356 1779.07/1779.68 c #random_decision = 1 1779.07/1779.68 c #conflict = 111 1779.07/1779.68 c #restart = 1 1779.07/1779.68 o 39 1779.07/1779.68 c BCD2: hardening fixes 34 literals 1779.07/1779.68 c BCD2: updating upper bound: 126 -> 38 1779.07/1779.68 c BCD2: 7 <= obj <= 38 1779.07/1779.68 c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=34 1779.07/1779.68 c BCD2: #sat=3 #unsat=3 bias=3/6 1779.07/1779.68 c Solving starts ... 1779.07/1779.68 c ============================[ Search Statistics ]============================ 1779.07/1779.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1779.07/1779.68 c | | | | Limit GC | Var | Constra 1779.07/1779.68 c ============================================================================= 1779.07/1779.68 c 0.0s | 0 | 0 | 0 | 1930 0 | 34 | 2 1779.07/1779.69 c 0.0s | 0 | 135 | 0 | 1930 0 | 34 | 5 1779.07/1779.69 c #cpu_time = 0.006s 1779.07/1779.69 c #wall_clock_time = 0.006s 1779.07/1779.69 c #decision = 135 1779.07/1779.69 c #random_decision = 0 1779.07/1779.69 c #conflict = 0 1779.07/1779.69 c #restart = 0 1779.07/1779.69 o 7 1779.07/1779.69 s OPTIMUM FOUND 1779.07/1779.69 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 1779.07/1779.69 v x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 1779.07/1779.69 v -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 1779.07/1779.69 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 1779.07/1779.69 v x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 1779.07/1779.69 v -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 1779.07/1779.69 v x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 1779.07/1779.69 v -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 1779.07/1779.69 v -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 1779.07/1779.69 v x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1779.07/1779.69 v x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 1779.07/1779.69 v x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 1779.07/1779.69 v -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 1779.07/1779.69 v -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 1779.07/1779.69 v x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1779.07/1779.69 v -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 1779.07/1779.69 v -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 1779.07/1779.69 v -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 1779.07/1779.69 v x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1779.07/1779.69 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 1779.07/1779.69 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 1779.07/1779.69 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 1779.07/1779.69 v x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1779.07/1779.69 v x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 1779.07/1779.69 v -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 1779.07/1779.69 v -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 1779.07/1779.69 v -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 1779.07/1779.69 v -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 1779.07/1779.69 v -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 1779.07/1779.69 v x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 1779.07/1779.69 v -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 1779.07/1779.69 v -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 1779.07/1779.69 v -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 1779.07/1779.69 v -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 1779.07/1779.69 v -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 1779.07/1779.69 v -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 1779.07/1779.69 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 1779.07/1779.69 v -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 1779.07/1779.69 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 1779.07/1779.69 v -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 1779.07/1779.69 c total CPU time = 1774.841s 1779.07/1779.69 c total wall clock time = 1779.689s
OK 7
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-4093625-1466089896/watcher-4093625-1466089896 -o /tmp/evaluation-result-4093625-1466089896/solver-4093625-1466089896 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466075236-16167 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093625-1466089896.wbo pid=17678 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.21 2.24 2.25 4/181 17681 /proc/meminfo: memFree=29246300/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=790972 CPUtime=0 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 2963 0 0 0 0 0 0 0 20 0 4 0 11035585 809955328 2814 33554432000 4194304 16246674 140737475184704 140737475184128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 198255 2824 441 2943 0 195149 0 [pid=17681/tid=17682] ppid=17678 vsize=808380 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 827781120 2884 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=812476 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 831975424 2900 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=817596 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11035585 837218304 2917 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100215 s] /proc/loadavg: 2.21 2.24 2.25 4/181 17681 /proc/meminfo: memFree=29246300/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 26245 0 0 0 6 3 0 0 20 0 4 0 11035585 1247350784 26082 33554432000 4194304 16246674 140737475184704 140737475184128 12478189 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 304529 26094 813 2943 0 301423 0 [pid=17681/tid=17682] ppid=17678 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1247350784 26102 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1247350784 26110 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11035585 1247350784 26115 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200481 s] /proc/loadavg: 2.21 2.24 2.25 4/181 17681 /proc/meminfo: memFree=29246300/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 50637 0 0 0 12 7 0 0 20 0 4 0 11035585 1247350784 50473 33554432000 4194304 16246674 140737475184704 140737475184128 5532301 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 304529 50490 813 2943 0 301423 0 [pid=17681/tid=17682] ppid=17678 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1247350784 50500 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1247350784 50510 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11035585 1247350784 50520 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.30048 s] /proc/loadavg: 2.21 2.24 2.25 4/181 17681 /proc/meminfo: memFree=29246300/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 75045 0 0 0 19 10 0 0 20 0 4 0 11035585 1247350784 74882 33554432000 4194304 16246674 140737475184704 140737475184128 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 304529 74898 813 2943 0 301423 0 [pid=17681/tid=17682] ppid=17678 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1247350784 74908 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1247350784 74917 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11035585 1247350784 74925 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.70042 s] /proc/loadavg: 2.21 2.24 2.25 4/181 17681 /proc/meminfo: memFree=29246300/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 176967 0 0 0 44 25 0 0 20 0 4 0 11035585 1247350784 176803 33554432000 4194304 16246674 140737475184704 140737475184128 5515837 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 304529 176812 815 2943 0 301423 0 [pid=17681/tid=17682] ppid=17678 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1247350784 176817 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1247350784 176823 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11035585 1247350784 176836 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50043 s] /proc/loadavg: 2.21 2.24 2.25 4/185 17685 /proc/meminfo: memFree=28265288/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1219140 CPUtime=1.49 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 245783 0 0 0 115 34 0 0 20 0 4 0 11035585 1248399360 245597 33554432000 4194304 16246674 140737475184704 140737475184016 12477921 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 304785 245597 875 2943 0 301679 0 [pid=17681/tid=17682] ppid=17678 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1248399360 245597 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1248399360 245597 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1248399360 245597 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10044 s] /proc/loadavg: 2.27 2.25 2.26 4/185 17685 /proc/meminfo: memFree=28177992/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 267513 0 0 0 271 38 0 0 20 0 4 0 11035585 1337528320 267327 33554432000 4194304 16246674 140737475184704 140737475167704 5545708 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 326545 267327 875 2943 0 323439 0 [pid=17681/tid=17682] ppid=17678 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1337528320 267327 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1337528320 267327 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1337528320 267327 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30043 s] /proc/loadavg: 2.27 2.25 2.26 4/185 17685 /proc/meminfo: memFree=28177252/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 267584 0 0 0 591 38 0 0 20 0 4 0 11035585 1337528320 267398 33554432000 4194304 16246674 140737475184704 140737475167704 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 326545 267398 875 2943 0 323439 0 [pid=17681/tid=17682] ppid=17678 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1337528320 267398 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1337528320 267398 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1337528320 267398 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.31 2.26 2.26 3/185 17685 /proc/meminfo: memFree=28176780/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 267585 0 0 0 1231 38 0 0 20 0 4 0 11035585 1337528320 267399 33554432000 4194304 16246674 140737475184704 140737475167704 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 326545 267399 875 2943 0 323439 0 [pid=17681/tid=17682] ppid=17678 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1337528320 267399 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1337528320 267399 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1337528320 267399 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.34 2.27 2.26 3/185 17685 /proc/meminfo: memFree=28176244/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1306180 CPUtime=25.49 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 267586 0 0 0 2511 38 0 0 20 0 4 0 11035585 1337528320 267400 33554432000 4194304 16246674 140737475184704 140737475167704 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 326545 267400 876 2943 0 323439 0 [pid=17681/tid=17682] ppid=17678 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1337528320 267400 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1337528320 267400 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1337528320 267400 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.31 2.26 2.26 3/185 17685 /proc/meminfo: memFree=28175716/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1307204 CPUtime=51.09 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 267719 0 0 0 5070 39 0 0 20 0 4 0 11035585 1338576896 267533 33554432000 4194304 16246674 140737475184704 140737475167704 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 326801 267533 876 2943 0 323695 0 [pid=17681/tid=17682] ppid=17678 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1338576896 267533 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1338576896 267533 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1338576896 267533 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1307204 [startup+102.3 s] /proc/loadavg: 2.30 2.26 2.26 4/185 17686 /proc/meminfo: memFree=28174732/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1307204 CPUtime=102.28 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 267878 0 0 0 10188 40 0 0 20 0 4 0 11035585 1338576896 267692 33554432000 4194304 16246674 140737475184704 140737475166592 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 326801 267692 876 2943 0 323695 0 [pid=17681/tid=17682] ppid=17678 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1338576896 267692 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1338576896 267692 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1338576896 267692 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1307204 ################ # More data... # ################ /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 269427 0 0 0 160121 59 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140737475167704 12875579 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 327825 269030 886 2943 0 324719 0 [pid=17681/tid=17682] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1311300 [startup+1662.3 s] /proc/loadavg: 2.23 2.25 2.21 3/185 17772 /proc/meminfo: memFree=28180388/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1311300 CPUtime=1661.79 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 269427 0 0 0 166120 59 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140737475166592 5546219 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 327825 269030 886 2943 0 324719 0 [pid=17681/tid=17682] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1311300 [startup+1722.3 s] /proc/loadavg: 2.31 2.27 2.22 3/186 17776 /proc/meminfo: memFree=28172208/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1311300 CPUtime=1721.78 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 269427 0 0 0 172118 60 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140737475166592 6022182 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 327825 269030 886 2943 0 324719 0 [pid=17681/tid=17682] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1311300 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 17681 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1740.8 s] /proc/loadavg: 2.22 2.25 2.21 4/186 17776 /proc/meminfo: memFree=28172088/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1311300 CPUtime=1740.27 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 269427 0 0 0 173967 60 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140737475167704 13191456 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 327825 269030 886 2943 0 324719 0 [pid=17681/tid=17682] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1740.27 Current children cumulated vsize (KiB) 1311300 [startup+1766.4 s] /proc/loadavg: 2.23 2.24 2.21 3/185 17777 /proc/meminfo: memFree=28170356/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1311300 CPUtime=1765.88 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 269427 0 0 0 176527 61 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140737475166592 5711636 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 327825 269030 886 2943 0 324719 0 [pid=17681/tid=17682] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1765.88 Current children cumulated vsize (KiB) 1311300 [startup+1772.8 s] /proc/loadavg: 2.19 2.23 2.21 4/185 17777 /proc/meminfo: memFree=28170232/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1311300 CPUtime=1772.28 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 269427 0 0 0 177167 61 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140737475166592 6075581 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 327825 269030 886 2943 0 324719 0 [pid=17681/tid=17682] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1772.28 Current children cumulated vsize (KiB) 1311300 [startup+1776 s] /proc/loadavg: 2.19 2.23 2.21 3/185 17777 /proc/meminfo: memFree=28170356/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1311300 CPUtime=1775.47 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 269427 0 0 0 177486 61 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140737475166592 13943668 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 327825 269030 886 2943 0 324719 0 [pid=17681/tid=17682] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1775.47 Current children cumulated vsize (KiB) 1311300 [startup+1777.6 s] /proc/loadavg: 2.18 2.23 2.21 3/185 17777 /proc/meminfo: memFree=28170356/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1311300 CPUtime=1777.08 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 269427 0 0 0 177647 61 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140737475167704 13963936 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 327825 269030 886 2943 0 324719 0 [pid=17681/tid=17682] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1777.08 Current children cumulated vsize (KiB) 1311300 [startup+1778.4 s] /proc/loadavg: 2.18 2.23 2.21 3/185 17777 /proc/meminfo: memFree=28170356/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1311300 CPUtime=1777.87 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 269427 0 0 0 177726 61 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140737475167696 5822548 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 327825 269030 886 2943 0 324719 0 [pid=17681/tid=17682] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1777.87 Current children cumulated vsize (KiB) 1311300 [startup+1779.2 s] /proc/loadavg: 2.18 2.23 2.21 3/185 17777 /proc/meminfo: memFree=28170356/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1311300 CPUtime=1778.67 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 269427 0 0 0 177806 61 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140737475166592 13006808 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 327825 269030 886 2943 0 324719 0 [pid=17681/tid=17682] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1778.67 Current children cumulated vsize (KiB) 1311300 [startup+1779.6 s] /proc/loadavg: 2.18 2.23 2.21 3/185 17777 /proc/meminfo: memFree=28170356/32872528 swapFree=1504664/1684536 [pid=17681] ppid=17678 vsize=1311300 CPUtime=1779.07 cores=1,3,5,7 /proc/17681/stat : 17681 (toysat) R 17678 17681 12407 0 -1 4202496 269427 0 0 0 177846 61 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140737475166592 5711369 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17681/statm: 327825 269030 886 2943 0 324719 0 [pid=17681/tid=17682] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17682/stat : 17682 (toysat) S 17678 17681 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502243454192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17681/tid=17683] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17683/stat : 17683 (toysat) S 17678 17681 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502232964336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17681/tid=17684] ppid=17678 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17681/task/17684/stat : 17684 (toysat) S 17678 17681 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11035585 1342771200 269030 33554432000 4194304 16246674 140737475184704 140502222490800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1779.07 Current children cumulated vsize (KiB) 1311300 Child status: 0 Real time (s): 1779.69 CPU time (s): 1779.18 CPU user time (s): 1778.56 CPU system time (s): 0.617906 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 1311300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.56 system time used= 0.617906 maximum resident set size= 1076132 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269432 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= 488 involuntary context switches= 1874 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.52031 second user time and 6.90095 second system time The end
Begin job on node135 at 2016-06-16 17:11:37 IDJOB=4093625 IDBENCH=79151 IDSOLVER=2553 FILE ID=node135/4093625-1466089896 RUNJOBID= node135-1466075236-16167 PBS_JOBID= 19904004 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093625-1466089896/watcher-4093625-1466089896 -o /tmp/evaluation-result-4093625-1466089896/solver-4093625-1466089896 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466075236-16167 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093625-1466089896.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8d28474a5cb37d0277ef3e3fb6ddbee0 RANDOM SEED=1540479293 node135.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.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 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.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29246828 kB Buffers: 40496 kB Cached: 110188 kB SwapCached: 2268 kB Active: 1167736 kB Inactive: 70848 kB Active(anon): 1088968 kB Inactive(anon): 1496 kB Active(file): 78768 kB Inactive(file): 69352 kB Unevictable: 1684536 kB Mlocked: 1504664 kB SwapTotal: 67108856 kB SwapFree: 67099248 kB Dirty: 16340 kB Writeback: 0 kB AnonPages: 2771392 kB Mapped: 10624 kB Shmem: 0 kB Slab: 567220 kB SReclaimable: 11416 kB SUnreclaim: 555804 kB KernelStack: 1472 kB PageTables: 9716 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2914880 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 182272 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node135 at 2016-06-16 17:41:16