0.00/0.00 c Outputting solution to console
0.00/0.04 c Using 32 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3400697-1306345238.cnf'
0.00/0.06 c -- header says num vars: 1430
0.00/0.06 c -- header says num clauses: 79453
6.65/0.63 c -- clauses added: 0 learnts, 79453 normals, 0 xors
6.65/0.63 c -- vars added 1430
6.65/0.63 c Parsing time: 0.07 s
6.65/0.63 c N st 0 0 1430 77095 2358 0 236162 0 no data no data
43.96/1.88 c asymm cl-useful: 0/13154/77095 lits-rem:0 time: 1.25
47.01/1.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 157 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.06
48.75/2.08 c Replacing 157 vars Replaced 35026 lits Time: 0.04 s
51.89/2.57 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
51.89/2.58 c bin-w-bin subsume rem 0 bins time: 0.01 s
52.84/2.64 c subs with bin: 3572 lits-rem: 0 v-fix: 0 time: 0.02 s
52.84/2.67 c Subs w/ non-existent bins: 3330 l-rem: 0 v-fix: 0 done: 1273 time: 0.02 s
52.84/2.69 c Removed useless bin: 0 fixed: 0 props: 0.70M time: 0.01 s
63.99/3.17 c lits-rem: 0 cl-subs: 0 v-elim: 379 v-fix: 0 time: 0.32 s
63.99/3.17 c Finding binary XORs T: 0.00 s found: 0
66.94/3.22 c Finding non-binary XORs: 0.04 s (found: 0, avg size: nan)
66.94/3.22 c calculated reachability. Time: 0.00
66.94/3.22 c Calc default polars - time: 0.00 s pos: 486 undec: 603 neg: 341
66.94/3.22 c =========================================================================================
66.94/3.22 c types(t): F = full restart, N = normal restart
66.94/3.22 c types(t): S = simplification begin/end, E = solution found
66.94/3.22 c restart types(rt): st = static, dy = dynamic
66.94/3.22 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
66.94/3.22 c B st 0 0 894 69747 2157 0 214007 0 no data no data
89.27/3.99 c N dy 10 4230 894 69747 2157 4167 214007 302978 13.74 14.54
105.87/4.43 c N dy 19 8789 894 69747 2157 8639 214007 561014 11.97 12.62
118.00/4.89 c N dy 45 12880 894 69747 2157 12702 214007 811971 12.51 13.30
152.82/5.91 c N dy 59 17720 894 69747 2157 17295 214007 948152 12.30 12.95
181.53/6.85 c N dy 65 22602 894 69747 2157 12179 214007 388919 11.76 12.39
194.33/7.26 c F st 67 25000 894 69747 2157 14387 214007 423957 11.59 9.14
203.92/7.51 c N st 71 27031 894 69747 2157 16348 214007 488787 11.59 no data
214.14/7.88 c S st 73 30001 894 69747 2157 19262 214007 646564 11.59 no data
216.70/7.96 c S st 73 30503 894 69747 2157 19762 214007 669261 11.59 no data
216.70/7.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
219.89/8.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.0M T: 0.05
219.89/8.04 c blocked clauses removed: 0 vars: 0 tried: 894 T: 0.00 s
219.89/8.04 c bin-w-bin subsume rem 0 bins time: 0.00 s
219.89/8.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
219.89/8.06 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
219.89/8.06 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.00 s
219.89/8.09 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
226.29/8.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.13 s
270.95/9.67 c lits-rem: 523 cl-subs: 3662 v-elim: 0 v-fix: 0 time: 1.40 s
284.36/10.03 c asymm cl-useful: 0/2990/69747 lits-rem:0 time: 0.35
284.36/10.04 c calculated reachability. Time: 0.00
284.36/10.04 c N dy 73 30503 894 69747 2157 16100 214007 612828 11.59 no data
309.31/10.87 c N dy 80 38375 894 69747 2157 23789 214007 1026629 11.10 11.72
331.68/11.52 c N dy 97 43109 894 69747 2157 28413 214007 1270899 11.25 11.91
344.47/11.95 c S st 113 45755 894 69747 2157 16048 214007 597105 11.41 no data
347.66/12.04 c S st 113 46259 894 69747 2157 16549 214007 620084 11.41 no data
347.66/12.05 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
347.66/12.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.2M T: 0.06
351.47/12.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
351.47/12.13 c bin-w-bin subsume rem 0 bins time: 0.00 s
351.47/12.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
351.47/12.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
351.47/12.15 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.01 s
351.47/12.17 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
357.23/12.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.13 s
369.98/12.70 c lits-rem: 46 cl-subs: 162 v-elim: 0 v-fix: 0 time: 0.35 s
369.98/12.71 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
369.98/12.74 c vivif2 -- cl tried 16387 cl shrink 2481 lits rem 18502 time: 0.03
379.55/13.09 c asymm cl-useful: 0/3874/69747 lits-rem:0 time: 0.35
379.55/13.10 c calculated reachability. Time: 0.00
379.55/13.10 c N dy 113 46259 894 69747 2157 16387 214007 598575 11.41 no data
398.70/13.69 c N dy 147 50333 894 69747 2157 20436 214007 837679 11.65 15.86
421.71/14.39 c N dy 174 55049 894 69747 2157 25128 214007 1155657 11.84 12.66
443.43/15.06 c N dy 194 59147 894 69747 2157 29119 214007 1374533 11.89 18.74
475.42/16.07 c N dy 207 64985 894 69747 2157 34822 214007 1645423 11.78 12.47
497.70/16.80 c N dy 231 69389 894 69747 2157 20853 214007 738630 11.87 10.17
497.70/16.80 c S st 231 69389 894 69747 2157 20853 214007 738630 11.87 10.17
500.90/16.89 c S st 231 69894 894 69747 2157 21358 214007 761081 11.87 no data
500.90/16.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
504.07/16.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.4M T: 0.06
504.07/16.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
504.07/16.98 c bin-w-bin subsume rem 0 bins time: 0.00 s
504.07/16.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
504.07/16.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
504.07/17.00 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.01 s
507.27/17.02 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
513.66/17.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.14 s
527.06/17.66 c lits-rem: 28 cl-subs: 122 v-elim: 0 v-fix: 0 time: 0.43 s
527.06/17.66 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
527.06/17.69 c vivif2 -- cl tried 21236 cl shrink 1354 lits rem 7586 time: 0.02
539.20/18.04 c asymm cl-useful: 0/2781/69747 lits-rem:0 time: 0.35
539.20/18.05 c calculated reachability. Time: 0.00
539.20/18.05 c N dy 231 69894 894 69747 2157 21236 214007 750955 11.87 no data
558.40/18.70 c N dy 259 74360 894 69747 2157 25649 214007 1002969 11.97 12.62
587.14/19.56 c N dy 295 79167 894 69747 2157 30415 214007 1308761 12.16 27.15
622.29/20.66 c N dy 326 84983 894 69747 2157 36129 214007 1636952 12.29 13.05
638.28/21.14 c F st 339 87503 894 69747 2157 38625 214007 1786804 12.35 12.88
657.44/21.79 c N st 344 90804 894 69747 2157 21366 214007 710692 12.35 no data
706.02/23.28 c N dy 351 96913 894 69747 2157 27100 214007 839425 12.26 13.01
746.93/24.53 c N dy 366 103899 894 69747 2157 33868 214007 1130186 12.22 12.88
753.33/24.71 c S st 374 104841 894 69747 2157 34801 214007 1189030 12.25 no data
756.53/24.84 c S st 374 105345 894 69747 2157 35303 214007 1210863 12.25 no data
756.53/24.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
759.73/24.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.9M T: 0.10
759.73/24.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
759.73/24.97 c bin-w-bin subsume rem 0 bins time: 0.00 s
759.73/24.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
759.73/24.98 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
759.73/24.99 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.00 s
762.92/25.03 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
773.13/25.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.29 s
836.41/27.36 c lits-rem: 568 cl-subs: 2505 v-elim: 0 v-fix: 0 time: 1.96 s
836.41/27.37 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
839.61/27.42 c vivif2 -- cl tried 32798 cl shrink 3558 lits rem 23820 time: 0.05
849.18/27.76 c asymm cl-useful: 0/2758/69747 lits-rem:0 time: 0.35
849.18/27.77 c calculated reachability. Time: 0.00
849.18/27.77 c N dy 374 105345 894 69747 2157 32798 214007 1146881 12.25 no data
897.11/29.30 c N dy 423 112930 894 69747 2157 40283 214007 1608122 12.46 13.16
945.06/30.80 c N dy 481 120172 894 69747 2157 25564 214007 940208 12.69 18.57
993.00/32.25 c N dy 512 128393 894 69747 2157 33662 214007 1402188 12.71 13.43
1040.89/33.78 c N dy 526 136640 894 69747 2157 41727 214007 1841536 12.58 15.83
1095.22/35.50 c N dy 557 145370 894 69747 2157 27070 214007 890564 12.55 13.31
1155.98/37.32 c N dy 599 155366 894 69747 2157 36907 214007 1441842 12.59 13.32
1168.75/37.74 c S st 604 158017 894 69747 2157 39475 214007 1570699 12.55 8.88
1175.15/37.90 c S st 604 158519 894 69747 2157 39976 214007 1594747 12.55 no data
1175.15/37.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1178.35/38.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.6M T: 0.13
1178.35/38.06 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1178.35/38.07 c bin-w-bin subsume rem 0 bins time: 0.01 s
1178.35/38.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1178.35/38.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
1178.35/38.09 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.00 s
1181.47/38.13 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
1198.08/38.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.44 s
1290.16/41.57 c lits-rem: 155 cl-subs: 492 v-elim: 0 v-fix: 0 time: 2.89 s
1290.16/41.58 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
1293.35/41.64 c vivif2 -- cl tried 39484 cl shrink 5498 lits rem 40713 time: 0.07
1303.57/41.98 c asymm cl-useful: 0/2742/69747 lits-rem:0 time: 0.33
1303.57/41.98 c calculated reachability. Time: 0.00
1303.57/41.98 c N dy 604 158519 894 69747 2157 39484 214007 1543528 12.55 no data
1379.56/44.37 c N dy 664 168717 894 69747 2157 25164 214007 771039 12.66 16.97
1440.94/46.25 c N dy 700 179829 894 69747 2157 36044 214007 1343992 12.62 13.32
1517.01/48.62 c N dy 748 191621 894 69747 2157 47702 214007 2026955 12.64 13.31
1600.14/51.28 c N dy 828 203888 894 69747 2157 34332 214007 1312737 12.80 13.52
1699.19/54.37 c N dy 858 216940 894 69747 2157 46953 214007 1859081 12.74 20.06
1731.15/55.33 c Finding binary XORs T: 0.00 s found: 0
1801.47/57.52 c N dy 897 231413 894 69747 2224 34622 214007 1249723 12.67 13.34
1836.63/58.70 c S st 917 237778 894 69747 2224 40895 214007 1626810 12.66 no data
1843.03/58.83 c S st 917 238280 894 69747 2224 41397 214007 1649378 12.66 no data
1843.03/58.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1846.23/58.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.8M T: 0.12
1846.23/58.99 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1846.23/58.99 c bin-w-bin subsume rem 67 bins time: 0.00 s
1846.23/59.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1849.42/59.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
1849.42/59.01 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.00 s
1849.42/59.05 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
1866.03/59.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.42 s
1954.91/62.37 c lits-rem: 85 cl-subs: 566 v-elim: 0 v-fix: 0 time: 2.79 s
1954.91/62.37 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
1958.11/62.45 c vivif2 -- cl tried 40831 cl shrink 5572 lits rem 46964 time: 0.07
1968.32/62.79 c asymm cl-useful: 0/2089/69747 lits-rem:0 time: 0.34
1968.32/62.80 c calculated reachability. Time: 0.00
1968.32/62.80 c N dy 917 238280 894 69747 2157 40831 214007 1591352 12.66 no data
2079.51/66.26 c N dy 968 253743 894 69747 2157 28674 214007 875869 12.62 13.31
2191.32/69.77 c N dy 1048 271600 894 69747 2157 46283 214007 1862564 12.69 13.40
2322.87/73.86 c N dy 1114 289929 894 69747 2157 35718 214007 1171148 12.70 13.39
2430.91/77.20 c F st 1174 306251 894 69747 2157 51736 214007 2060002 12.70 9.65
2453.28/77.99 c N st 1179 309549 894 69747 2157 54941 214007 2210336 12.70 no data
2584.33/82.00 c N dy 1218 329527 894 69747 2157 44942 214007 1591332 12.62 13.30
2718.57/86.20 c N dy 1272 349586 894 69747 2157 34303 214007 1072826 12.56 25.30
2766.52/87.79 c S st 1304 357422 894 69747 2157 41945 214007 1470485 12.56 no data
2772.92/87.95 c S st 1304 357925 894 69747 2157 42448 214007 1489651 12.56 no data
2772.92/87.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
2776.70/88.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.8M T: 0.14
2779.93/88.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2779.93/88.13 c bin-w-bin subsume rem 0 bins time: 0.00 s
2779.93/88.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
2779.93/88.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
2779.93/88.15 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.00 s
2779.93/88.19 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
2795.28/88.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.41 s
2871.96/91.00 c lits-rem: 110 cl-subs: 649 v-elim: 0 v-fix: 0 time: 2.30 s
2871.96/91.01 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
2871.96/91.08 c vivif2 -- cl tried 41799 cl shrink 4303 lits rem 37262 time: 0.06
2885.38/91.42 c asymm cl-useful: 0/1388/69747 lits-rem:0 time: 0.34
2885.38/91.43 c calculated reachability. Time: 0.00
2885.38/91.43 c N dy 1304 357925 894 69747 2157 41799 214007 1440278 12.56 no data
3028.49/95.96 c N dy 1352 378027 894 69747 2157 61517 214007 2514916 12.52 13.20
3169.04/100.38 c N dy 1448 399410 894 69747 2157 51241 214007 2071407 12.55 13.31
3347.87/105.92 c N dy 1538 422846 894 69747 2157 41904 214007 1472295 12.56 13.33
3514.69/111.20 c N dy 1621 442870 894 69747 2157 61339 214007 2457573 12.58 20.72
3676.97/116.23 c N dy 1678 463382 894 69747 2157 48006 214007 1641820 12.55 13.22
3843.09/121.41 c N dy 1777 483388 894 69747 2157 67653 214007 2787529 12.60 21.11
3980.50/125.79 c N dy 1835 504048 894 69747 2157 53653 214007 2058357 12.57 13.38
4182.47/132.08 c N dy 1956 524144 894 69747 2157 38161 214007 1208202 12.65 20.22
4261.75/134.57 c S st 1980 536887 894 69747 2157 50607 214007 1934113 12.62 no data
4268.18/134.74 c S st 1980 537390 894 69747 2157 51109 214007 1961800 12.62 no data
4268.18/134.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
4274.53/134.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.4M T: 0.15
4274.53/134.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4274.53/134.92 c bin-w-bin subsume rem 0 bins time: 0.00 s
4274.53/134.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
4274.53/134.94 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
4274.53/134.94 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.00 s
4274.53/134.99 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
4296.90/135.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.54 s
4434.32/139.92 c lits-rem: 47 cl-subs: 792 v-elim: 0 v-fix: 0 time: 4.27 s
4434.32/139.93 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
4437.52/140.02 c vivif2 -- cl tried 50317 cl shrink 6807 lits rem 62794 time: 0.09
4447.11/140.35 c asymm cl-useful: 0/2790/69747 lits-rem:0 time: 0.33
4447.11/140.36 c calculated reachability. Time: 0.00
4447.11/140.36 c N dy 1980 537390 894 69747 2157 50317 214007 1884735 12.62 no data
4609.96/145.49 c N dy 2020 557429 894 69747 2157 69804 214007 2878400 12.56 13.29
4766.52/150.38 c N dy 2111 577494 894 69747 2157 53285 214007 2049497 12.58 13.61
4955.66/156.23 c N dy 2192 597505 894 69747 2157 72861 214007 3087621 12.60 13.28
5131.15/161.73 c N dy 2287 618101 894 69747 2157 55878 214007 2109494 12.62 13.42
5353.81/168.78 c N dy 2393 638859 894 69747 2157 76237 214007 3252125 12.67 13.37
5523.12/174.04 c N dy 2439 659149 894 69747 2157 57542 214007 1912272 12.65 13.34
5724.20/180.35 c N dy 2510 679513 894 69747 2157 77242 214007 2891832 12.65 13.50
5890.39/185.54 c N dy 2564 699593 894 69747 2157 57692 214007 1813795 12.64 21.61
6056.57/190.77 c N dy 2658 719595 894 69747 2157 77373 214007 2979860 12.66 13.71
6220.09/195.88 c N dy 2761 739647 894 69747 2157 57189 214007 2086167 12.68 25.59
6392.09/201.23 c N dy 2825 759779 894 69747 2157 76914 214007 3204902 12.67 13.37
6596.55/207.65 c N dy 2925 780462 894 69747 2157 56063 214007 1873267 12.70 13.38
6810.71/214.36 c N dy 2994 802698 894 69747 2157 77563 214007 2880404 12.70 13.39
6845.83/215.45 c S st 2995 806086 894 69747 2157 80791 214007 3001845 12.69 11.84
6852.85/215.71 c S st 2995 806587 894 69747 2157 81290 214007 3026183 12.69 no data
6856.09/215.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
6861.81/215.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 5.7M T: 0.24
6861.81/215.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6861.81/215.99 c bin-w-bin subsume rem 0 bins time: 0.00 s
6861.81/215.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
6865.01/216.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
6865.01/216.01 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.00 s
6865.01/216.07 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
6903.37/217.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.01 s
7223.03/227.26 c lits-rem: 1329 cl-subs: 6326 v-elim: 0 v-fix: 0 time: 9.98 s
7223.03/227.27 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
7229.41/227.43 c vivif2 -- cl tried 74964 cl shrink 12690 lits rem 105638 time: 0.16
7239.63/227.79 c asymm cl-useful: 0/2009/69747 lits-rem:0 time: 0.35
7239.63/227.80 c calculated reachability. Time: 0.00
7239.63/227.80 c N dy 2995 806587 894 69747 2157 74964 214007 2811053 12.69 no data
7402.00/232.85 c N dy 3046 826765 894 69747 2157 52932 214007 1736686 12.67 13.37
7574.57/238.27 c N dy 3096 846859 894 69747 2157 72529 214007 2724865 12.65 19.36
7775.86/244.51 c N dy 3182 867966 894 69747 2157 50330 214007 1536851 12.66 13.35
8034.74/252.67 c N dy 3295 896828 894 69747 2157 78466 214007 3152010 12.67 13.51
8219.92/258.48 c N dy 3357 917547 894 69747 2157 54871 214007 1714924 12.66 13.33
8408.48/264.38 c N dy 3430 938938 894 69747 2157 75796 214007 2866331 12.65 13.38
8613.64/270.73 c N dy 3504 959157 894 69747 2157 50731 214007 1516328 12.66 13.34
8791.99/276.32 c N dy 3601 979253 894 69747 2157 70418 214007 2630739 12.68 14.21
9009.19/283.12 c N dy 3706 999307 894 69747 2157 90120 214007 3797637 12.71 15.45
9188.06/288.72 c N dy 3750 1019485 894 69747 2157 63521 214007 1962708 12.69 13.41
9373.42/294.54 c N dy 3805 1040185 894 69747 2157 83766 214007 3094941 12.68 13.50
9571.55/300.78 c N dy 3880 1061147 894 69747 2157 57534 214007 1853748 12.69 13.37
9664.83/303.67 c F st 3914 1071876 894 69747 2157 68042 214007 2443690 12.69 8.96
9750.47/306.37 c N dy 3946 1081166 894 69747 2157 77181 214007 3059201 12.70 16.81
10012.48/314.60 c N dy 4023 1103028 894 69747 2157 50457 214007 1303495 12.70 13.37
10185.09/319.95 c N dy 4067 1123047 894 69747 2157 69914 214007 2256748 12.67 13.36
10412.01/327.08 c N dy 4138 1145746 894 69747 2157 92096 214007 3475305 12.67 13.38
10619.45/333.53 c N dy 4170 1170042 894 69747 2157 67006 214007 2230744 12.63 13.43
10833.56/340.25 c N dy 4255 1190833 894 69747 2157 87338 214007 3401266 12.65 13.34
11066.83/347.53 c S st 4361 1209881 894 69747 2157 56271 214007 1688489 12.67 no data
11073.85/347.74 c S st 4361 1210381 894 69747 2157 56771 214007 1711672 12.67 no data
11073.85/347.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
11079.60/347.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.9M T: 0.19
11079.60/347.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
11079.60/347.97 c bin-w-bin subsume rem 0 bins time: 0.00 s
11079.60/347.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
11079.60/347.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
11079.60/347.99 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.00 s
11082.80/348.04 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
11098.79/348.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.41 s
11188.27/351.30 c lits-rem: 24 cl-subs: 303 v-elim: 0 v-fix: 0 time: 2.74 s
11188.27/351.31 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
11188.27/351.38 c vivif2 -- cl tried 56468 cl shrink 3171 lits rem 30235 time: 0.06
11201.06/351.74 c asymm cl-useful: 0/1729/69747 lits-rem:0 time: 0.36
11201.06/351.75 c calculated reachability. Time: 0.00
11201.06/351.75 c N dy 4361 1210381 894 69747 2157 56468 214007 1676242 12.67 no data
11392.84/357.72 c N dy 4467 1230457 894 69747 2157 76190 214007 2878606 12.70 17.20
11629.32/365.10 c N dy 4543 1251145 894 69747 2157 96458 214007 4006104 12.70 13.45
11833.84/371.60 c N dy 4629 1272395 894 69747 2157 66414 214007 2259865 12.71 13.42
12051.07/378.37 c N dy 4732 1292859 894 69747 2157 86482 214007 3423609 12.73 13.63
12332.23/387.21 c N dy 4782 1313853 894 69747 2157 54911 214007 1502236 12.71 13.65
12508.00/392.62 c N dy 4852 1334676 894 69747 2157 75252 214007 2713994 12.72 13.39
12747.70/400.18 c N dy 4872 1355038 894 69747 2157 94590 214007 3388201 12.69 13.37
12958.57/406.77 c N dy 4957 1375852 894 69747 2157 62505 214007 1935341 12.70 13.65
13172.59/413.45 c N dy 5029 1398840 894 69747 2157 84959 214007 3299338 12.69 13.42
13409.10/420.86 c N dy 5091 1418843 894 69747 2157 104333 214007 4265390 12.69 25.52
13604.66/426.96 c N dy 5164 1438899 894 69747 2157 70402 214007 2250865 12.69 15.84
13818.13/433.68 c N dy 5248 1458928 894 69747 2157 89929 214007 3296320 12.70 13.84
14109.01/442.72 c N dy 5359 1479020 894 69747 2157 55025 214007 1436339 12.72 21.63
14329.48/449.68 c N dy 5398 1500710 894 69747 2157 75885 214007 2350176 12.70 13.48
14540.36/456.26 c N dy 5439 1520804 894 69747 2157 95221 214007 3180651 12.68 23.32
14757.72/463.06 c N dy 5495 1542324 894 69747 2157 60953 214007 1739919 12.68 13.47
14946.30/468.99 c N dy 5546 1563581 894 69747 2157 81647 214007 2841041 12.66 13.47
15189.23/476.58 c N dy 5583 1584535 894 69747 2157 102076 214007 3859534 12.65 13.35
15400.03/483.19 c N dy 5637 1604885 894 69747 2157 65491 214007 1928281 12.63 13.63
15605.24/489.58 c N dy 5661 1625159 894 69747 2157 84865 214007 2652984 12.61 13.37
15854.56/497.33 c N dy 5768 1645840 894 69747 2157 105139 214007 3833500 12.62 13.74
16097.46/505.00 c N dy 5870 1665937 894 69747 2157 67481 214007 2066891 12.64 17.50
16361.90/513.26 c N dy 5977 1688187 894 69747 2157 89087 214007 3227285 12.65 13.85
16598.37/520.60 c N dy 6002 1708190 894 69747 2157 108448 214007 4152658 12.63 13.39
16627.78/521.53 c S st 6013 1710381 894 69747 2157 110614 214007 4296551 12.63 no data
16639.93/521.96 c S st 6013 1710884 894 69747 2157 111117 214007 4318998 12.63 no data
16639.93/521.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
16652.72/522.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 7.5M T: 0.40
16655.92/522.40 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
16655.92/522.41 c bin-w-bin subsume rem 0 bins time: 0.00 s
16655.92/522.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
16655.92/522.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
16655.92/522.43 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.00 s
16655.92/522.51 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s
16723.03/524.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.75 s
17330.82/543.60 c lits-rem: 874 cl-subs: 5265 v-elim: 0 v-fix: 0 time: 19.05 s
17333.37/543.61 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
17339.77/543.87 c vivif2 -- cl tried 105852 cl shrink 19363 lits rem 176283 time: 0.26
17352.56/544.23 c asymm cl-useful: 0/843/69747 lits-rem:0 time: 0.36
17352.56/544.24 c calculated reachability. Time: 0.00
17352.56/544.24 c N dy 6013 1710884 894 69747 2157 105852 214007 4045953 12.63 no data
17614.66/552.40 c N dy 6082 1733971 894 69747 2157 70160 214007 2144168 12.62 13.55
17831.99/559.24 c N dy 6158 1753998 894 69747 2157 89676 214007 3180338 12.63 13.53
18058.89/566.36 c N dy 6244 1774077 894 69747 2157 109379 214007 4291453 12.64 13.33
18315.16/574.38 c N dy 6350 1795451 894 69747 2157 70869 214007 2188919 12.65 13.38
18554.25/581.90 c N dy 6439 1815527 894 69747 2157 90397 214007 3198071 12.66 21.66
18854.64/591.29 c N dy 6456 1838106 894 69747 2157 111673 214007 3842366 12.64 13.32
19062.29/597.74 c N dy 6530 1858181 894 69747 2157 71235 214007 2275382 12.64 18.39
19289.24/604.86 c N dy 6629 1878266 894 69747 2157 90901 214007 3452742 12.66 19.74
19545.46/612.87 c N dy 6677 1898925 894 69747 2157 111012 214007 4577340 12.65 13.34
19854.83/622.51 c N dy 6769 1919348 894 69747 2157 69582 214007 2061915 12.66 13.47
20075.32/629.46 c N dy 6863 1939371 894 69747 2157 89163 214007 3239832 12.67 15.14
20389.20/639.28 c N dy 6945 1964423 894 69747 2157 113481 214007 4516003 12.67 13.34
20653.84/647.58 c N dy 7037 1984516 894 69747 2157 70856 214007 2179291 12.68 23.10
20893.40/655.04 c N dy 7108 2006337 894 69747 2157 92013 214007 3249697 12.67 13.49
21171.50/663.77 c N dy 7200 2026868 894 69747 2157 112083 214007 4413057 12.68 13.41
21433.57/671.90 c N dy 7241 2047222 894 69747 2157 68535 214007 1939837 12.67 13.37
21651.49/678.79 c N dy 7334 2067569 894 69747 2157 88467 214007 3166094 12.69 13.38
21932.80/687.61 c N dy 7393 2090065 894 69747 2157 110492 214007 4371661 12.68 13.60
22232.62/696.94 c N dy 7481 2110140 894 69747 2157 65713 214007 1795226 12.69 13.56
22481.91/704.71 c N dy 7563 2133247 894 69747 2157 88272 214007 3040101 12.69 13.43
22746.99/713.03 c N dy 7640 2153320 894 69747 2157 107867 214007 4122358 12.69 20.53
23073.03/723.24 c N dy 7706 2175346 894 69747 2157 129289 214007 5247223 12.69 13.37
23315.92/730.82 c N dy 7796 2196519 894 69747 2157 84712 214007 2919370 12.70 13.60
23498.11/736.55 c S st 7840 2210885 894 69747 2157 98625 214007 3568487 12.69 13.19
23510.91/736.91 c S st 7840 2211389 894 69747 2157 99127 214007 3596274 12.69 no data
23510.91/736.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
23523.68/737.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 7.5M T: 0.37
23523.68/737.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
23523.68/737.33 c bin-w-bin subsume rem 0 bins time: 0.00 s
23523.68/737.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
23523.68/737.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
23523.68/737.36 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.00 s
23526.88/737.43 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s
23571.62/738.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.22 s
23894.24/748.95 c lits-rem: 558 cl-subs: 1749 v-elim: 0 v-fix: 0 time: 10.07 s
23894.24/748.96 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
23901.22/749.17 c vivif2 -- cl tried 97378 cl shrink 13629 lits rem 125228 time: 0.21
23913.41/749.52 c asymm cl-useful: 0/2274/69747 lits-rem:0 time: 0.34
23913.41/749.53 c calculated reachability. Time: 0.00
23913.41/749.53 c N dy 7840 2211389 894 69747 2157 97378 214007 3436555 12.69 no data
24226.62/759.38 c N dy 7965 2231489 894 69747 2157 117128 214007 4645228 12.71 23.11
24523.77/768.67 c N dy 8051 2251896 894 69747 2157 70669 214007 2061095 12.72 13.48
24744.89/775.61 c N dy 8084 2274189 894 69747 2157 92291 214007 3239943 12.71 13.40
25029.34/784.43 c N dy 8121 2295098 894 69747 2157 112554 214007 4250161 12.69 13.39
25345.68/794.37 c N dy 8171 2315607 894 69747 2157 132293 214007 5292644 12.69 13.43
25607.16/802.52 c N dy 8247 2336144 894 69747 2157 85222 214007 2776700 12.69 13.49
25875.65/810.97 c N dy 8322 2356733 894 69747 2157 105332 214007 3886087 12.69 13.40
26186.24/820.63 c N dy 8419 2376778 894 69747 2157 124901 214007 4991779 12.70 13.41
26514.82/830.90 c N dy 8471 2397345 894 69747 2157 76602 214007 2275047 12.70 13.62
26748.69/838.26 c N dy 8550 2417386 894 69747 2157 96131 214007 3385954 12.70 18.89
27144.40/850.68 c N dy 8606 2446735 894 69747 2157 124534 214007 4835694 12.69 13.39
27495.99/861.67 c N dy 8650 2467145 894 69747 2157 75300 214007 2223534 12.68 13.58
27768.20/870.15 c N dy 8739 2487156 894 69747 2157 94868 214007 3294967 12.68 15.54
28106.38/880.73 c N dy 8846 2507244 894 69747 2157 114466 214007 4519071 12.69 13.63
28483.54/892.58 c N dy 8920 2527578 894 69747 2157 134087 214007 5508427 12.70 13.38
28838.33/903.68 c N dy 9016 2551682 894 69747 2157 87642 214007 2884545 12.70 13.45
29116.41/912.34 c N dy 9055 2572765 894 69747 2157 107999 214007 3754322 12.69 13.39
29471.08/923.45 c N dy 9087 2597058 894 69747 2157 131720 214007 4830474 12.67 13.36
29765.08/932.61 c N dy 9127 2617181 894 69747 2157 80028 214007 2191342 12.66 13.62
30027.19/940.81 c N dy 9232 2637564 894 69747 2157 99966 214007 3313671 12.68 13.52
30318.08/949.91 c N dy 9332 2657661 894 69747 2157 119601 214007 4464380 12.69 13.46
30631.26/959.72 c N dy 9383 2679237 894 69747 2157 140617 214007 5615547 12.68 13.37
30918.93/968.76 c N dy 9466 2699447 894 69747 2157 88278 214007 2755733 12.69 13.49
31059.57/973.12 c S st 9506 2711389 894 69747 2157 99888 214007 3449738 12.69 12.10
31069.16/973.47 c S st 9506 2711891 894 69747 2157 100390 214007 3472551 12.69 no data
31069.16/973.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
31081.94/973.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 7.5M T: 0.36
31081.94/973.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
31081.94/973.88 c bin-w-bin subsume rem 0 bins time: 0.00 s
31081.94/973.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
31081.94/973.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
31085.13/973.90 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.00 s
31085.13/973.98 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s
31129.89/975.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.12 s
31407.93/984.07 c lits-rem: 418 cl-subs: 2018 v-elim: 0 v-fix: 0 time: 8.75 s
31407.93/984.08 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
31414.30/984.27 c vivif2 -- cl tried 98372 cl shrink 11836 lits rem 101550 time: 0.19
31427.71/984.64 c asymm cl-useful: 0/1723/69747 lits-rem:0 time: 0.37
31427.71/984.65 c calculated reachability. Time: 0.00
31427.71/984.65 c N dy 9506 2711891 894 69747 2157 98372 214007 3333012 12.69 no data
31685.89/992.78 c N dy 9565 2731927 894 69747 2157 117878 214007 4474140 12.68 20.42
32034.30/1003.62 c N dy 9670 2751971 894 69747 2157 137496 214007 5649048 12.70 17.06
32379.34/1014.43 c N dy 9749 2772068 894 69747 2157 83934 214007 2444196 12.70 16.53
32647.85/1022.83 c N dy 9879 2792220 894 69747 2157 103714 214007 3673477 12.72 13.43
32961.10/1032.62 c N dy 9957 2812308 894 69747 2157 123322 214007 4833830 12.72 15.48
33363.76/1045.25 c N dy 10066 2834574 894 69747 2157 145074 214007 6135719 12.73 13.48
33686.62/1055.30 c N dy 10177 2855849 894 69747 2157 91764 214007 2912880 12.74 13.42
33945.51/1063.43 c N dy 10200 2875909 894 69747 2157 110877 214007 3655556 12.73 18.92
34236.99/1072.56 c N dy 10281 2895935 894 69747 2157 130453 214007 4805779 12.73 16.30
34575.18/1083.16 c N dy 10325 2917176 894 69747 2157 76239 214007 2070194 12.72 13.49
34817.97/1090.74 c N dy 10418 2938371 894 69747 2157 96969 214007 3313246 12.73 13.50
35128.00/1100.42 c N dy 10501 2958394 894 69747 2157 116411 214007 4393981 12.73 20.66
35543.52/1113.48 c N dy 10561 2984289 894 69747 2157 141466 214007 5643134 12.72 13.52
35834.38/1122.53 c N dy 10584 3005290 894 69747 2157 85873 214007 2326580 12.71 13.42
36144.40/1132.22 c N dy 10643 3029422 894 69747 2157 109142 214007 3380497 12.71 13.40
36499.23/1143.31 c N dy 10686 3051427 894 69747 2157 130215 214007 4265577 12.70 13.39
36812.44/1153.16 c N dy 10775 3072710 894 69747 2157 151103 214007 5503730 12.71 13.45
37058.52/1160.89 c N dy 10870 3092780 894 69747 2157 94231 214007 3084781 12.72 15.67
37339.73/1169.65 c N dy 10932 3115017 894 69747 2157 115895 214007 4330455 12.71 13.44
37665.79/1179.80 c N dy 10992 3136631 894 69747 2157 136860 214007 5490751 12.71 13.49
38062.10/1192.28 c N dy 11051 3156634 894 69747 2157 78620 214007 2091103 12.71 13.39
38318.44/1200.27 c N dy 11095 3177754 894 69747 2157 99270 214007 3122871 12.70 13.37
38717.37/1212.72 c N dy 11124 3206972 894 69747 2157 127549 214007 4324115 12.68 13.45
38813.25/1215.73 c S st 11159 3211891 894 69747 2157 132363 214007 4593548 12.69 no data
38826.01/1216.15 c S st 11159 3212392 894 69747 2157 132863 214007 4618577 12.69 no data
38826.01/1216.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
38842.59/1216.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 9.3M T: 0.51
38842.59/1216.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
38845.82/1216.72 c bin-w-bin subsume rem 0 bins time: 0.01 s
38845.82/1216.73 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
38845.82/1216.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
38845.82/1216.74 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.01 s
38848.38/1216.83 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s
38908.95/1218.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.62 s
39487.39/1236.85 c lits-rem: 1939 cl-subs: 3979 v-elim: 0 v-fix: 0 time: 18.08 s
39487.39/1236.86 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
39496.99/1237.17 c vivif2 -- cl tried 128884 cl shrink 21466 lits rem 161094 time: 0.31
39510.37/1237.56 c asymm cl-useful: 0/1445/69747 lits-rem:0 time: 0.39
39510.37/1237.57 c calculated reachability. Time: 0.00
39510.37/1237.57 c N dy 11159 3212392 894 69747 2157 128884 214007 4376265 12.69 no data
39858.16/1248.44 c N dy 11281 3232395 894 69747 2157 148503 214007 5587807 12.70 18.45
40216.80/1259.64 c N dy 11387 3254673 894 69747 2157 91525 214007 2827745 12.72 13.49
40455.75/1267.12 c N dy 11423 3275280 894 69747 2157 111342 214007 3721163 12.71 13.48
40775.96/1277.21 c N dy 11512 3295494 894 69747 2157 130985 214007 4805705 12.71 13.52
41120.52/1287.95 c N dy 11578 3315511 894 69747 2157 150283 214007 5804500 12.71 14.14
41449.66/1298.28 c N dy 11633 3335621 894 69747 2157 90180 214007 2609117 12.71 13.42
41769.28/1308.20 c N dy 11695 3356764 894 69747 2157 110643 214007 3637177 12.71 13.38
42092.12/1318.32 c N dy 11776 3376846 894 69747 2157 130174 214007 4798119 12.71 16.31
42507.65/1331.37 c N dy 11873 3396892 894 69747 2157 149780 214007 5946870 12.71 13.39
42871.97/1342.70 c N dy 11952 3416931 894 69747 2157 88717 214007 2523233 12.71 16.10
43166.63/1352.02 c N dy 12019 3437654 894 69747 2157 108856 214007 3610661 12.72 13.78
43527.10/1363.24 c N dy 12085 3458679 894 69747 2157 129282 214007 4645407 12.71 13.55
43940.10/1376.20 c N dy 12150 3481015 894 69747 2157 151019 214007 5820721 12.71 13.60
44370.91/1389.66 c N dy 12234 3505394 894 69747 2157 93089 214007 2750589 12.71 13.38
44764.08/1401.92 c N dy 12312 3531378 894 69747 2157 118604 214007 4076965 12.71 13.71
45042.09/1410.61 c N dy 12354 3551460 894 69747 2157 138029 214007 5105200 12.70 13.62
45438.40/1423.03 c N dy 12435 3572714 894 69747 2157 158732 214007 6331965 12.70 13.42
45751.65/1432.86 c N dy 12495 3594273 894 69747 2157 96917 214007 2838659 12.70 13.64
46049.52/1442.18 c N dy 12599 3614274 894 69747 2157 116393 214007 3960869 12.71 21.60
46365.95/1452.05 c N dy 12672 3634695 894 69747 2157 136302 214007 5097709 12.71 13.38
46761.69/1464.44 c N dy 12736 3654728 894 69747 2157 155704 214007 6072202 12.71 17.98
47126.05/1475.83 c N dy 12831 3676001 894 69747 2157 92752 214007 2653396 12.71 13.84
47420.72/1485.02 c N dy 12937 3696015 894 69747 2157 112381 214007 3831726 12.72 13.98
47691.84/1493.58 c S st 13003 3712395 894 69747 2157 128424 214007 4758028 12.73 11.58
47705.25/1493.97 c S st 13003 3712895 894 69747 2157 128924 214007 4781298 12.73 no data
47705.25/1494.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
47723.80/1494.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 9.8M T: 0.53
47723.80/1494.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
47723.80/1494.55 c bin-w-bin subsume rem 0 bins time: 0.00 s
47723.80/1494.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
47723.80/1494.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
47723.80/1494.58 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.01 s
47726.99/1494.67 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s
47797.29/1496.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.85 s
48318.33/1513.10 c lits-rem: 219 cl-subs: 1868 v-elim: 0 v-fix: 0 time: 16.27 s
48318.33/1513.11 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
48327.93/1513.41 c vivif2 -- cl tried 127056 cl shrink 19866 lits rem 205433 time: 0.29
48338.13/1513.78 c asymm cl-useful: 0/1111/69747 lits-rem:0 time: 0.36
48338.13/1513.79 c calculated reachability. Time: 0.00
48338.13/1513.79 c N dy 13003 3712895 894 69747 2157 127056 214007 4536676 12.73 no data
48765.80/1527.16 c N dy 13120 3733392 894 69747 2157 147028 214007 5654002 12.74 13.45
49126.95/1538.44 c F st 13196 3751563 894 69747 2157 164575 214007 6547164 12.74 no data
49162.12/1539.51 c N st 13200 3753597 894 69747 2157 166575 214007 6689036 12.74 no data
49456.20/1548.80 c N dy 13298 3774751 894 69747 2157 102585 214007 3247441 12.75 13.50
49785.37/1559.10 c N dy 13420 3795797 894 69747 2157 123191 214007 4591493 12.76 14.02
50133.77/1569.92 c N dy 13517 3815949 894 69747 2157 142921 214007 5764326 12.77 13.51
50526.91/1582.26 c N dy 13597 3836296 894 69747 2157 162747 214007 6855358 12.77 13.54
50901.50/1593.93 c N dy 13687 3856349 894 69747 2157 96473 214007 2784169 12.78 22.39
51210.92/1603.61 c N dy 13752 3878779 894 69747 2157 118230 214007 3913783 12.78 13.68
51520.96/1613.31 c N dy 13837 3898877 894 69747 2157 137849 214007 5093570 12.78 24.10
51898.14/1625.17 c N dy 13907 3918879 894 69747 2157 157255 214007 6075977 12.78 13.54
52288.13/1637.30 c N dy 13982 3938943 894 69747 2157 90124 214007 2426365 12.78 13.73
52554.01/1645.70 c N dy 14076 3959003 894 69747 2157 109752 214007 3613004 12.79 15.24
52857.02/1655.16 c N dy 14139 3979528 894 69747 2157 129643 214007 4710582 12.79 13.60
53237.35/1667.09 c N dy 14200 4000341 894 69747 2157 149821 214007 5761640 12.79 13.52
53643.94/1679.80 c N dy 14276 4021158 894 69747 2157 170070 214007 6889402 12.79 13.54
53995.56/1690.76 c N dy 14345 4041763 894 69747 2157 102456 214007 2933168 12.79 13.49
54356.09/1702.02 c N dy 14416 4061801 894 69747 2157 121667 214007 3763779 12.79 14.50
54723.69/1713.59 c N dy 14470 4082994 894 69747 2157 142176 214007 4737183 12.79 13.47
55094.44/1725.17 c N dy 14519 4105042 894 69747 2157 163462 214007 5872720 12.78 13.64
55462.02/1736.67 c N dy 14572 4125781 894 69747 2157 95458 214007 2587437 12.78 13.48
55759.05/1745.93 c N dy 14654 4147491 894 69747 2157 116618 214007 3768452 12.78 13.52
56062.65/1755.50 c N dy 14724 4167974 894 69747 2157 136603 214007 4901407 12.78 13.55
56462.21/1768.00 c N dy 14836 4188761 894 69747 2157 156848 214007 6132173 12.79 13.50
56811.28/1778.86 c N dy 14906 4208809 894 69747 2157 176467 214007 7416912 12.79 14.11
56909.75/1781.98 c S st 14924 4212895 894 69747 2157 90937 214007 2336363 12.80 12.52
56922.52/1782.32 c S st 14924 4213399 894 69747 2157 91440 214007 2359246 12.80 no data
56922.52/1782.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
56935.28/1782.73 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 6.2M T: 0.37
56935.28/1782.75 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
56935.28/1782.75 c bin-w-bin subsume rem 0 bins time: 0.00 s
56935.28/1782.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
56935.28/1782.77 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
56935.28/1782.77 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.01 s
56938.48/1782.86 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s
56960.83/1783.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.57 s
57031.15/1785.79 c lits-rem: 13 cl-subs: 95 v-elim: 0 v-fix: 0 time: 2.20 s
57034.36/1785.80 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
57034.36/1785.87 c vivif2 -- cl tried 91345 cl shrink 839 lits rem 5718 time: 0.07
57047.16/1786.23 c asymm cl-useful: 0/1061/69747 lits-rem:0 time: 0.35
57047.16/1786.24 c calculated reachability. Time: 0.00
57047.16/1786.24 c N dy 14924 4213399 894 69747 2157 91345 214007 2351609 12.80 no data
57312.44/1794.54 c N dy 14980 4233712 894 69747 2157 111202 214007 3483152 12.79 13.49
57696.02/1806.51 c N dy 15070 4253951 894 69747 2157 130967 214007 4630308 12.80 13.67
58105.16/1819.40 c N dy 15132 4274008 894 69747 2157 150426 214007 5641838 12.80 13.70
58514.31/1832.16 c N dy 15172 4294933 894 69747 2157 170844 214007 6614280 12.79 13.47
58964.95/1846.21 c N dy 15253 4317254 894 69747 2157 101869 214007 2895466 12.80 13.47
59297.40/1856.65 c N dy 15372 4337347 894 69747 2157 121483 214007 4084575 12.81 14.69
59687.26/1868.89 c N dy 15439 4358078 894 69747 2157 141552 214007 5121631 12.81 13.63
60083.58/1881.25 c N dy 15519 4378128 894 69747 2157 161122 214007 6243872 12.81 13.51
60531.07/1895.28 c N dy 15626 4398218 894 69747 2157 180766 214007 7408181 12.82 26.21
60943.39/1908.18 c N dy 15690 4423950 894 69747 2157 114133 214007 3537196 12.81 13.66
61259.83/1918.04 c N dy 15757 4444045 894 69747 2157 133687 214007 4648953 12.81 21.29
61582.65/1928.15 c N dy 15821 4464139 894 69747 2157 153240 214007 5855672 12.81 25.98
61988.58/1940.90 c N dy 15895 4484174 894 69747 2157 172671 214007 6934861 12.81 19.56
62381.65/1953.16 c N dy 15943 4504205 894 69747 2157 99770 214007 2723599 12.81 17.81
62694.89/1962.98 c N dy 16027 4524851 894 69747 2157 119945 214007 3980800 12.81 13.59
63104.66/1975.77 c N dy 16081 4547316 894 69747 2157 141712 214007 5129356 12.81 13.55
63554.72/1989.84 c N dy 16179 4567366 894 69747 2157 161256 214007 6256038 12.82 13.50
64107.71/2007.13 c N dy 16278 4587871 894 69747 2157 181128 214007 7326342 12.82 13.62
64491.25/2019.19 c N dy 16396 4608377 894 69747 2157 107855 214007 3235647 12.83 13.77
64794.92/2028.63 c N dy 16452 4629115 894 69747 2157 128014 214007 4368401 12.83 13.68
65214.26/2041.75 c N dy 16557 4651785 894 69747 2157 150156 214007 5752766 12.83 13.69
65629.18/2054.81 c N dy 16644 4671971 894 69747 2157 169878 214007 6900057 12.84 13.58
66178.95/2071.96 c N dy 16700 4693845 894 69747 2157 96608 214007 2443096 12.83 13.57
66457.03/2080.60 c S st 16769 4713399 894 69747 2157 115581 214007 3510587 12.83 no data
66466.63/2080.99 c S st 16769 4713901 894 69747 2157 116082 214007 3533620 12.83 no data
66469.84/2081.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
66482.60/2081.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 7.6M T: 0.42
66482.60/2081.46 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
66482.60/2081.47 c bin-w-bin subsume rem 0 bins time: 0.00 s
66482.60/2081.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
66482.60/2081.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
66482.60/2081.49 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.01 s
66485.81/2081.58 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s
66527.36/2082.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.01 s
66728.75/2089.12 c lits-rem: 496 cl-subs: 1375 v-elim: 0 v-fix: 0 time: 6.31 s
66728.75/2089.13 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
66735.15/2089.30 c vivif2 -- cl tried 114707 cl shrink 8422 lits rem 74684 time: 0.17
66744.74/2089.65 c asymm cl-useful: 0/2355/69747 lits-rem:0 time: 0.34
66744.74/2089.66 c calculated reachability. Time: 0.00
66744.74/2089.66 c N dy 16769 4713901 894 69747 2157 114707 214007 3431594 12.83 no data
67057.93/2099.43 c N dy 16812 4734165 894 69747 2157 134349 214007 4446317 12.83 14.16
67394.21/2109.98 c N dy 16859 4754432 894 69747 2157 154127 214007 5592958 12.82 13.56
67793.15/2122.40 c N dy 16944 4774476 894 69747 2157 173661 214007 6762799 12.83 28.45
68317.27/2138.89 c N dy 17041 4794550 894 69747 2157 97851 214007 2538159 12.83 18.49
68595.15/2147.56 c N dy 17094 4814587 894 69747 2157 117106 214007 3495792 12.83 13.78
68908.41/2157.34 c N dy 17162 4834593 894 69747 2157 136544 214007 4608140 12.83 23.52
69259.83/2168.38 c N dy 17246 4854625 894 69747 2157 156126 214007 5767861 12.83 15.16
69714.30/2182.52 c N dy 17330 4874682 894 69747 2157 175530 214007 6760133 12.84 23.04
70151.39/2196.23 c N dy 17403 4896359 894 69747 2157 100410 214007 2639102 12.84 13.70
70490.14/2206.83 c N dy 17445 4921193 894 69747 2157 124478 214007 3946795 12.83 13.76
70899.27/2219.64 c N dy 17553 4944183 894 69747 2157 146856 214007 5285519 12.84 13.54
71318.02/2232.71 c N dy 17639 4964907 894 69747 2157 167101 214007 6471396 12.84 13.69
71759.09/2246.51 c N dy 17718 4985699 894 69747 2157 187301 214007 7633778 12.84 13.54
72120.09/2257.87 c N dy 17785 5005762 894 69747 2157 109584 214007 3112878 12.84 20.00
72423.74/2267.34 c N dy 17838 5027135 894 69747 2157 130384 214007 4337415 12.84 13.71
72813.68/2279.55 c N dy 17924 5047195 894 69747 2157 149878 214007 5441237 12.84 21.07
73232.41/2292.65 c N dy 18010 5067208 894 69747 2157 169375 214007 6577037 12.85 17.53
73757.05/2309.02 c N dy 18096 5089514 894 69747 2157 191158 214007 7773480 12.85 13.58
74130.41/2320.77 c N dy 18183 5110055 894 69747 2157 113009 214007 3301246 12.85 13.54
74536.31/2333.40 c N dy 18253 5135693 894 69747 2157 137934 214007 4733611 12.85 13.53
74917.34/2345.35 c N dy 18316 5155695 894 69747 2157 157348 214007 5848057 12.85 13.57
75409.57/2360.75 c N dy 18380 5178286 894 69747 2157 179295 214007 7027426 12.85 13.60
75945.89/2377.53 c N dy 18477 5198347 894 69747 2157 99635 214007 2508643 12.85 14.18
76102.53/2382.47 c S st 18515 5213901 894 69747 2157 114549 214007 3235481 12.85 no data
76115.28/2382.90 c S st 18515 5214404 894 69747 2157 115052 214007 3257609 12.85 no data
76118.48/2382.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
76131.27/2383.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 7.5M T: 0.41
76131.27/2383.35 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
76131.27/2383.36 c bin-w-bin subsume rem 0 bins time: 0.01 s
76131.27/2383.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
76131.27/2383.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
76131.27/2383.38 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.00 s
76134.46/2383.47 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s
76166.43/2384.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.79 s
76281.52/2388.10 c lits-rem: 222 cl-subs: 1372 v-elim: 0 v-fix: 0 time: 3.64 s
76281.52/2388.11 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
76288.53/2388.24 c vivif2 -- cl tried 113680 cl shrink 6511 lits rem 51652 time: 0.13
76300.69/2388.61 c asymm cl-useful: 0/1740/69747 lits-rem:0 time: 0.37
76300.69/2388.62 c calculated reachability. Time: 0.00
76300.69/2388.62 c N dy 18515 5214404 894 69747 2157 113680 214007 3181245 12.85 no data
76626.73/2398.81 c N dy 18581 5234501 894 69747 2157 133304 214007 4332374 12.85 13.69
77026.93/2411.36 c N dy 18608 5254781 894 69747 2157 152869 214007 5167710 12.84 13.82
77464.20/2425.07 c N dy 18655 5275579 894 69747 2157 172748 214007 5995209 12.84 13.59
77844.54/2436.94 c N dy 18694 5296280 894 69747 2157 192779 214007 7053025 12.83 13.89
78228.12/2448.96 c N dy 18765 5316450 894 69747 2157 112572 214007 3151701 12.83 13.54
78602.09/2460.71 c N dy 18817 5336478 894 69747 2157 131920 214007 3983845 12.83 18.06
78988.86/2472.80 c N dy 18849 5357254 894 69747 2157 151739 214007 4794796 12.82 13.50
79407.61/2485.83 c N dy 18928 5377351 894 69747 2157 171267 214007 5877698 12.83 13.57
79880.66/2500.68 c N dy 18953 5399365 894 69747 2157 192298 214007 6788982 12.82 13.52
80321.77/2514.48 c N dy 19066 5420735 894 69747 2157 112542 214007 3080876 12.82 13.54
80680.30/2525.71 c N dy 19135 5442465 894 69747 2157 133427 214007 4039354 12.82 13.59
81056.86/2537.45 c N dy 19207 5464896 894 69747 2157 155159 214007 5272190 12.82 13.50
81453.81/2549.85 c N dy 19256 5484951 894 69747 2157 174575 214007 6212001 12.82 13.50
81914.09/2564.29 c N dy 19350 5506180 894 69747 2157 195261 214007 7388136 12.83 13.54
82338.50/2577.60 c N dy 19463 5526485 894 69747 2157 113460 214007 3212102 12.83 13.51
82706.03/2589.10 c N dy 19571 5546562 894 69747 2157 133078 214007 4451728 12.84 19.32
83159.93/2603.23 c N dy 19634 5567133 894 69747 2157 152996 214007 5434891 12.84 13.66
83620.20/2617.63 c N dy 19732 5587268 894 69747 2157 172632 214007 6625876 12.85 13.70
84278.63/2638.26 c N dy 19783 5611554 894 69747 2157 195872 214007 7615451 12.84 13.58
84719.77/2652.07 c N dy 19869 5633007 894 69747 2157 114136 214007 3244612 12.84 13.55
85033.01/2661.83 c N dy 19941 5653047 894 69747 2157 133631 214007 4418527 12.84 18.79
85416.57/2673.89 c N dy 20054 5673147 894 69747 2157 153293 214007 5621847 12.85 16.59
85867.27/2687.90 c N dy 20122 5695218 894 69747 2157 174669 214007 6759832 12.85 13.54
86273.84/2700.65 c S st 20195 5714404 894 69747 2157 193364 214007 7858912 12.85 no data
86295.58/2701.34 c S st 20195 5714908 894 69747 2157 193866 214007 7882115 12.85 no data
86295.58/2701.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
86321.14/2702.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 13.3M T: 0.79
86321.14/2702.19 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
86324.34/2702.20 c bin-w-bin subsume rem 0 bins time: 0.00 s
86324.34/2702.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
86324.34/2702.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
86324.34/2702.22 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.00 s
86327.54/2702.34 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.12 s
86442.55/2705.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.03 s
87708.24/2745.53 c lits-rem: 389 cl-subs: 4435 v-elim: 0 v-fix: 0 time: 39.59 s
87708.24/2745.54 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
87727.42/2746.19 c vivif2 -- cl tried 189431 cl shrink 38868 lits rem 359791 time: 0.64
87740.21/2746.59 c asymm cl-useful: 0/1268/69747 lits-rem:0 time: 0.40
87743.41/2746.61 c calculated reachability. Time: 0.00
87743.41/2746.61 c N dy 20195 5714908 894 69747 2157 189431 214007 7441181 12.85 no data
88299.57/2764.03 c N dy 20282 5735134 894 69747 2157 105267 214007 2647793 12.85 13.62
88686.34/2776.17 c N dy 20391 5756459 894 69747 2157 126108 214007 3913232 12.86 13.63
89105.05/2789.28 c N dy 20456 5777321 894 69747 2157 146301 214007 4991919 12.86 13.61
89540.39/2802.84 c N dy 20505 5797651 894 69747 2157 166052 214007 6073834 12.85 13.53
90028.83/2818.19 c N dy 20606 5817659 894 69747 2157 185617 214007 7216153 12.86 17.52
90578.62/2835.36 c N dy 20732 5837703 894 69747 2157 205232 214007 8479600 12.87 17.54
90968.29/2847.58 c N dy 20793 5858927 894 69747 2157 120876 214007 3489311 12.87 13.57
91395.95/2860.98 c N dy 20889 5881102 894 69747 2157 142448 214007 4794922 12.87 13.67
91843.25/2874.93 c N dy 20957 5902164 894 69747 2157 162999 214007 6028082 12.87 13.68
92367.49/2891.37 c N dy 21044 5923398 894 69747 2157 183623 214007 7268159 12.87 13.56
92961.95/2909.95 c N dy 21128 5943732 894 69747 2157 203314 214007 8335251 12.88 13.87
93402.98/2923.77 c N dy 21230 5963759 894 69747 2157 116835 214007 3291759 12.88 13.62
93723.24/2933.76 c N dy 21278 5983859 894 69747 2157 136256 214007 4181557 12.88 18.80
94080.62/2944.97 c N dy 21338 6004450 894 69747 2157 156317 214007 5239663 12.88 13.76
94480.16/2957.49 c N dy 21449 6024679 894 69747 2157 176102 214007 6474899 12.88 13.81
94946.88/2972.04 c N dy 21500 6045569 894 69747 2157 196290 214007 7405032 12.88 13.66
95432.66/2987.20 c N dy 21578 6065661 894 69747 2157 108845 214007 2746952 12.88 17.76
95886.55/3001.45 c N dy 21682 6092088 894 69747 2157 134500 214007 4212150 12.88 13.61
96293.12/3014.14 c N dy 21740 6112133 894 69747 2157 153964 214007 5240581 12.88 13.71
96826.31/3030.80 c N dy 21804 6135468 894 69747 2157 176374 214007 6305441 12.88 13.67
97239.20/3043.81 c N dy 21845 6155728 894 69747 2157 196013 214007 7386282 12.88 13.56
97875.24/3063.65 c N dy 21898 6177186 894 69747 2157 109074 214007 2676644 12.87 13.58
98293.95/3076.81 c N dy 21987 6198320 894 69747 2157 129538 214007 3742492 12.88 13.62
98645.58/3087.77 c S st 22054 6214909 894 69747 2157 145687 214007 4659448 12.88 no data
98667.31/3088.43 c S st 22054 6215417 894 69747 2157 146195 214007 4681776 12.88 no data
98667.31/3088.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
98689.68/3089.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 8.9M T: 0.66
98689.68/3089.15 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
98689.68/3089.16 c bin-w-bin subsume rem 0 bins time: 0.00 s
98689.68/3089.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
98689.68/3089.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
98689.68/3089.18 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.01 s
98692.88/3089.30 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.12 s
98769.60/3091.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.02 s
99258.60/3106.96 c lits-rem: 843 cl-subs: 2964 v-elim: 0 v-fix: 0 time: 15.33 s
99258.60/3106.97 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
99268.20/3107.26 c vivif2 -- cl tried 143231 cl shrink 14873 lits rem 139022 time: 0.29
99284.16/3107.71 c asymm cl-useful: 0/828/69747 lits-rem:0 time: 0.45
99284.16/3107.72 c calculated reachability. Time: 0.00
99284.16/3107.72 c N dy 22054 6215417 894 69747 2157 143231 214007 4485269 12.88 no data
99744.43/3122.17 c N dy 22122 6236598 894 69747 2157 163795 214007 5567366 12.88 13.68
100239.87/3137.64 c N dy 22191 6256976 894 69747 2157 183476 214007 6555764 12.88 13.63
100735.11/3153.17 c N dy 22228 6277319 894 69747 2157 203076 214007 7547963 12.87 13.70
101310.41/3171.18 c N dy 22347 6297369 894 69747 2157 114096 214007 2942383 12.88 19.24
101672.18/3182.43 c N dy 22441 6317382 894 69747 2157 133645 214007 4164498 12.88 15.64
102077.49/3195.20 c N dy 22521 6338209 894 69747 2157 153959 214007 5366028 12.89 13.57
102512.86/3208.75 c N dy 22593 6358279 894 69747 2157 173537 214007 6564967 12.89 13.60
103065.17/3226.02 c N dy 22658 6379664 894 69747 2157 194223 214007 7619442 12.88 13.66
103646.90/3244.27 c N dy 22723 6400561 894 69747 2157 214318 214007 8622904 12.88 13.64
104055.89/3257.09 c N dy 22816 6420569 894 69747 2157 124173 214007 3547579 12.89 13.57
104436.23/3268.94 c N dy 22882 6440720 894 69747 2157 143722 214007 4533453 12.89 13.67
104838.99/3281.56 c N dy 22979 6461801 894 69747 2157 164119 214007 5652584 12.89 13.66
105286.48/3295.59 c N dy 23054 6481982 894 69747 2157 183537 214007 6658544 12.89 13.59
105775.55/3310.86 c N dy 23115 6502729 894 69747 2157 203709 214007 7806185 12.89 13.57
106338.08/3328.45 c N dy 23222 6523356 894 69747 2157 113151 214007 2806644 12.90 13.62
106692.90/3339.61 c N dy 23295 6547567 894 69747 2157 136665 214007 4142082 12.89 13.70
107136.91/3353.40 c N dy 23362 6570446 894 69747 2157 158822 214007 5298823 12.89 13.64
107523.69/3365.53 c N dy 23413 6590516 894 69747 2157 178246 214007 6291594 12.89 13.64
108009.54/3380.72 c N dy 23468 6612771 894 69747 2157 199785 214007 7463609 12.89 13.59
108498.58/3396.06 c N dy 23515 6634169 894 69747 2157 220450 214007 8545700 12.89 13.69
108882.16/3408.09 c N dy 23567 6654262 894 69747 2157 128345 214007 3587543 12.88 17.80
109329.63/3422.11 c N dy 23690 6675173 894 69747 2157 148799 214007 4831744 12.89 13.58
109790.49/3436.47 c N dy 23772 6695963 894 69747 2157 169023 214007 5990253 12.89 13.60
110256.55/3451.02 c S st 23857 6715417 894 69747 2157 188027 214007 7150185 12.89 11.16
110278.94/3451.77 c S st 23857 6715921 894 69747 2157 188529 214007 7177418 12.89 no data
110282.73/3451.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
110314.10/3452.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 13.7M T: 1.03
110314.10/3452.86 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
110314.10/3452.87 c bin-w-bin subsume rem 0 bins time: 0.00 s
110314.10/3452.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
110314.10/3452.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
110314.10/3452.89 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.01 s
110321.12/3453.03 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.14 s
110445.15/3456.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.51 s
111657.20/3494.85 c lits-rem: 420 cl-subs: 5410 v-elim: 0 v-fix: 0 time: 37.85 s
111657.20/3494.86 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
111675.75/3495.43 c vivif2 -- cl tried 183119 cl shrink 33068 lits rem 308296 time: 0.56
111692.38/3495.93 c asymm cl-useful: 0/563/69747 lits-rem:0 time: 0.50
111692.38/3495.95 c calculated reachability. Time: 0.00
111692.38/3495.95 c N dy 23857 6715921 894 69747 2157 183119 214007 6766480 12.89 no data
112273.45/3514.13 c N dy 23899 6739067 894 69747 2157 205523 214007 7934913 12.89 13.60
112826.38/3531.47 c N dy 23977 6759077 894 69747 2157 224993 214007 9147027 12.89 13.63
113123.66/3540.76 c N dy 24040 6779118 894 69747 2157 131826 214007 3789283 12.89 21.35
113510.41/3552.82 c N dy 24117 6801495 894 69747 2157 153525 214007 4999378 12.89 13.57
113909.97/3565.39 c N dy 24189 6821586 894 69747 2157 173003 214007 6058560 12.89 27.70
114408.62/3580.92 c N dy 24287 6842405 894 69747 2157 193306 214007 7240663 12.90 13.64
114872.12/3595.42 c N dy 24367 6862771 894 69747 2157 213047 214007 8336259 12.90 13.64
115421.86/3612.69 c N dy 24447 6882835 894 69747 2157 118913 214007 2965269 12.90 21.26
115808.64/3624.76 c N dy 24552 6902922 894 69747 2157 138529 214007 4181513 12.91 13.59
116233.73/3638.02 c N dy 24594 6923258 894 69747 2157 158138 214007 5174864 12.90 13.60
116790.59/3655.46 c N dy 24712 6945118 894 69747 2157 179521 214007 6485085 12.91 13.59
117368.45/3673.52 c N dy 24803 6966015 894 69747 2157 199787 214007 7549791 12.91 13.61
118049.26/3694.92 c N dy 24923 6986373 894 69747 2157 219569 214007 8673320 12.92 13.62
118493.58/3708.80 c N dy 24999 7007109 894 69747 2157 125272 214007 3485006 12.92 13.72
118861.79/3720.30 c N dy 25114 7027795 894 69747 2157 145488 214007 4723275 12.93 13.62
119244.70/3732.29 c N dy 25196 7048033 894 69747 2157 165207 214007 5944091 12.93 13.70
119660.26/3745.29 c N dy 25283 7068045 894 69747 2157 184761 214007 7147189 12.93 19.95
120197.87/3762.10 c N dy 25342 7089158 894 69747 2157 205141 214007 8163172 12.93 13.65
120728.47/3778.68 c N dy 25406 7110825 894 69747 2157 226134 214007 9303319 12.93 13.63
121182.35/3792.86 c N dy 25496 7130874 894 69747 2157 130054 214007 3656994 12.93 17.27
121607.49/3806.15 c N dy 25583 7151690 894 69747 2157 150251 214007 4772696 12.93 13.62
122121.48/3822.23 c N dy 25661 7172382 894 69747 2157 170266 214007 5806532 12.94 13.67
122629.73/3838.14 c N dy 25749 7193149 894 69747 2157 190434 214007 7082046 12.94 13.72
123089.98/3852.51 c N dy 25793 7213245 894 69747 2157 209900 214007 8084494 12.94 14.15
123160.30/3854.80 c S st 25807 7215921 894 69747 2157 212518 214007 8252021 12.94 13.41
123189.70/3855.63 c S st 25807 7216422 894 69747 2157 213019 214007 8276840 12.94 no data
123189.70/3855.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
123227.42/3856.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 15.2M T: 1.12
123227.42/3856.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
123227.42/3856.84 c bin-w-bin subsume rem 0 bins time: 0.00 s
123227.42/3856.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
123227.42/3856.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
123227.42/3856.86 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.00 s
123233.83/3857.01 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.15 s
123362.32/3861.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.57 s
124944.44/3910.60 c lits-rem: 1070 cl-subs: 6420 v-elim: 0 v-fix: 0 time: 49.48 s
124944.44/3910.61 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
124969.42/3911.34 c vivif2 -- cl tried 206599 cl shrink 40523 lits rem 369103 time: 0.71
124985.39/3911.87 c asymm cl-useful: 0/534/69747 lits-rem:0 time: 0.53
124985.39/3911.89 c calculated reachability. Time: 0.00
124985.39/3911.89 c N dy 25807 7216422 894 69747 2157 206599 214007 7785969 12.94 no data
125580.55/3930.47 c N dy 25885 7236521 894 69747 2157 226130 214007 8939618 12.94 21.61
126110.52/3947.04 c N dy 26006 7257629 894 69747 2157 130285 214007 3713014 12.94 13.64
126526.67/3960.05 c N dy 26102 7277680 894 69747 2157 149826 214007 4897906 12.95 18.40
127037.49/3976.02 c N dy 26202 7297914 894 69747 2157 169498 214007 6002657 12.95 14.08
127532.89/3991.54 c N dy 26265 7318227 894 69747 2157 189052 214007 7017892 12.95 13.64
128053.89/4007.85 c N dy 26316 7338304 894 69747 2157 208376 214007 8064205 12.95 20.26
128667.65/4027.08 c N dy 26390 7359390 894 69747 2157 228923 214007 9252824 12.95 13.76
129140.68/4041.87 c N dy 26447 7380787 894 69747 2157 132119 214007 3551056 12.95 13.69
129527.45/4053.93 c N dy 26558 7400884 894 69747 2157 151739 214007 4755517 12.95 13.71
129949.18/4067.12 c N dy 26642 7420941 894 69747 2157 171302 214007 5948400 12.95 13.67
130409.46/4081.56 c N dy 26731 7441971 894 69747 2157 191776 214007 7210703 12.96 13.66
130943.24/4098.27 c N dy 26859 7462327 894 69747 2157 211679 214007 8460403 12.96 13.77
131467.45/4114.62 c N dy 26937 7482360 894 69747 2157 231161 214007 9569486 12.97 14.23
131905.94/4128.37 c N dy 27031 7502429 894 69747 2157 132117 214007 3682338 12.97 14.70
132298.52/4140.64 c N dy 27153 7522489 894 69747 2157 151725 214007 4927904 12.97 18.36
132746.02/4154.70 c N dy 27233 7542804 894 69747 2157 171327 214007 5952360 12.98 13.76
133219.08/4169.46 c N dy 27311 7562818 894 69747 2157 190714 214007 6940470 12.98 20.69
133660.16/4183.28 c N dy 27383 7582886 894 69747 2157 210233 214007 8084886 12.98 21.31
134174.78/4199.33 c N dy 27451 7602946 894 69747 2157 229743 214007 9138083 12.98 16.44
134651.64/4214.25 c N dy 27495 7623616 894 69747 2157 130227 214007 3422052 12.97 13.69
135047.41/4226.69 c N dy 27565 7645714 894 69747 2157 151626 214007 4642363 12.97 13.68
135565.84/4242.87 c N dy 27666 7667153 894 69747 2157 172508 214007 5893980 12.98 13.98
136125.22/4260.36 c N dy 27733 7688762 894 69747 2157 193565 214007 7018368 12.98 13.68
136709.50/4278.61 c N dy 27770 7708941 894 69747 2157 212980 214007 8007319 12.97 13.86
136949.20/4286.12 c S st 27786 7716423 894 69747 2157 220140 214007 8305320 12.97 no data
136977.95/4287.06 c S st 27786 7716925 894 69747 2157 220640 214007 8329988 12.97 no data
136981.16/4287.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
137013.11/4288.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 14.3M T: 1.05
137013.11/4288.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
137013.11/4288.19 c bin-w-bin subsume rem 0 bins time: 0.00 s
137013.11/4288.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
137016.33/4288.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
137016.33/4288.21 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.01 s
137019.53/4288.37 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.15 s
137150.55/4292.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.56 s
138828.70/4344.91 c lits-rem: 2128 cl-subs: 7192 v-elim: 0 v-fix: 0 time: 52.45 s
138828.70/4344.92 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
138854.27/4345.70 c vivif2 -- cl tried 213448 cl shrink 39519 lits rem 340117 time: 0.78
138870.88/4346.25 c asymm cl-useful: 0/422/69747 lits-rem:0 time: 0.55
138870.88/4346.27 c calculated reachability. Time: 0.00
138870.88/4346.27 c N dy 27786 7716925 894 69747 2157 213448 214007 7853902 12.97 no data
139557.48/4367.80 c N dy 27845 7738463 894 69747 2157 234087 214007 8823607 12.97 13.67
140004.94/4381.72 c N dy 27941 7758589 894 69747 2157 133646 214007 3760094 12.97 13.70
140375.73/4393.41 c N dy 28033 7779071 894 69747 2157 153591 214007 4960955 12.98 13.66
140801.44/4406.64 c N dy 28118 7799079 894 69747 2157 172996 214007 6098965 12.98 26.30
141283.52/4421.79 c N dy 28237 7819394 894 69747 2157 192848 214007 7349452 12.98 13.69
141833.27/4438.92 c N dy 28328 7839505 894 69747 2157 212424 214007 8456320 12.99 13.69
142517.30/4460.36 c N dy 28439 7864738 894 69747 2157 236888 214007 9907502 12.99 13.68
142987.16/4475.04 c N dy 28506 7884820 894 69747 2157 134961 214007 3656435 12.99 16.29
143434.67/4489.02 c N dy 28580 7907855 894 69747 2157 157395 214007 4961652 12.99 13.74
143939.67/4504.84 c N dy 28661 7927984 894 69747 2157 176933 214007 6074614 12.99 13.89
144391.05/4518.99 c N dy 28696 7947995 894 69747 2157 196424 214007 7213554 12.99 21.89
145020.72/4538.69 c N dy 28769 7968071 894 69747 2157 215780 214007 8226178 12.99 13.81
145684.94/4559.41 c N dy 28818 7988133 894 69747 2157 235175 214007 9150748 12.98 15.30
146228.30/4576.49 c N dy 28918 8008526 894 69747 2157 132808 214007 3578241 12.99 13.75
146704.59/4591.31 c N dy 28980 8030538 894 69747 2157 154026 214007 4635189 12.99 13.79
147209.58/4607.11 c N dy 29039 8051730 894 69747 2157 174187 214007 5517748 12.99 13.80
147721.05/4623.12 c N dy 29119 8072834 894 69747 2157 194752 214007 6668606 12.99 13.71
148181.33/4637.56 c N dy 29199 8092898 894 69747 2157 214149 214007 7769630 12.99 13.72
148740.72/4655.03 c N dy 29260 8112949 894 69747 2157 233557 214007 8793593 12.99 15.68
149364.00/4674.59 c N dy 29322 8133722 894 69747 2157 130703 214007 3369218 12.99 13.73
149789.16/4687.82 c N dy 29423 8153919 894 69747 2157 150412 214007 4574732 12.99 13.68
150303.72/4703.94 c N dy 29505 8174439 894 69747 2157 170350 214007 5718861 12.99 13.76
150757.64/4718.14 c N dy 29558 8194454 894 69747 2157 189796 214007 6826009 12.99 13.70
151371.33/4737.31 c N dy 29642 8214536 894 69747 2157 209371 214007 7985171 12.99 18.97
151412.89/4738.68 c S st 29644 8216927 894 69747 2157 211697 214007 8125336 12.99 10.67
151441.64/4739.59 c S st 29644 8217428 894 69747 2157 212197 214007 8156481 12.99 no data
151444.84/4739.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
151476.81/4740.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 13.3M T: 1.00
151476.81/4740.66 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
151476.81/4740.66 c bin-w-bin subsume rem 0 bins time: 0.00 s
151476.81/4740.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
151476.81/4740.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s
151476.81/4740.69 c Removed useless bin: 0 fixed: 0 props: 0.51M time: 0.01 s
151483.22/4740.84 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.16 s
151614.27/4744.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.59 s
153138.95/4792.72 c lits-rem: 830 cl-subs: 4256 v-elim: 0 v-fix: 0 time: 47.76 s
153142.77/4792.73 c vivif2 -- cl tried 69747 cl shrink 0 lits rem 0 time: 0.01
153164.52/4793.42 c vivif2 -- cl tried 207941 cl shrink 38745 lits rem 342083 time: 0.68
153177.95/4793.89 c asymm cl-useful: 0/963/69747 lits-rem:0 time: 0.46
153177.95/4793.90 c calculated reachability. Time: 0.00
153177.95/4793.90 c N dy 29644 8217428 894 69747 2157 207941 214007 7733710 12.99 no data
153733.45/4811.28 c N dy 29682 8237481 894 69747 2157 227344 214007 8728578 12.99 13.80
154446.88/4833.59 c N dy 29772 8257560 894 69747 2157 246801 214007 9790378 12.99 13.82
154880.92/4847.13 c N dy 29853 8277884 894 69747 2157 142509 214007 4089573 12.99 13.77
155344.39/4861.60 c N dy 29967 8298206 894 69747 2157 162289 214007 5292368 13.00 13.79
155881.44/4878.45 c N dy 30039 8318743 894 69747 2157 182177 214007 6256295 13.00 14.00
156699.66/4904.06 c N dy 30155 8350659 894 69747 2157 213156 214007 8086511 13.00 13.75
157291.61/4922.59 c N dy 30256 8370995 894 69747 2157 232988 214007 9302992 13.00 13.95
157959.64/4943.46 c N dy 30334 8391792 894 69747 2157 127981 214007 3195636 13.00 13.77
158339.39/4955.33 c N dy 30395 8412290 894 69747 2157 147824 214007 4223937 13.00 13.72
158796.50/4969.69 c N dy 30462 8432361 894 69747 2157 167278 214007 5345981 13.00 20.22
159285.55/4984.98 c N dy 30504 8452685 894 69747 2157 186872 214007 6325731 13.00 13.70
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3400697-1306345238/watcher-3400697-1306345238 -o /tmp/evaluation-result-3400697-1306345238/solver-3400697-1306345238 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400697-1306345238.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 28.80 31.23 31.79 1/413 17371
/proc/meminfo: memFree=255130824/264257624 swapFree=67111528/67111528
[pid=17371] ppid=17369 vsize=338000 CPUtime=0.87 cores=0-31
/proc/17371/stat : 17371 (strangenight2-m) R 17369 17371 17229 0 -1 4202496 437 0 0 0 87 0 0 0 24 0 32 0 746010187 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/17371/statm: 84500 377 297 95 0 79482 0
[pid=17371/tid=17372] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17372/stat : 17372 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669100 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17371/tid=17373] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17373/stat : 17373 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669110 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17371/tid=17374] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17374/stat : 17374 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17371/tid=17375] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17375/stat : 17375 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669104 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17371/tid=17376] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17376/stat : 17376 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17371/tid=17377] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17377/stat : 17377 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17371/tid=17378] ppid=17369 vsize=338000 CPUtime=0 cores=0-31
/proc/17371/task/17378/stat : 17378 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17371/tid=17379] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17379/stat : 17379 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17371/tid=17380] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17380/stat : 17380 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669096 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17371/tid=17381] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17381/stat : 17381 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17371/tid=17382] ppid=17369 vsize=338000 CPUtime=0 cores=0-31
/proc/17371/task/17382/stat : 17382 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17371/tid=17383] ppid=17369 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17371/task/17383/stat : 17383 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669100 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17371/tid=17384] ppid=17369 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17371/task/17384/stat : 17384 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17371/tid=17385] ppid=17369 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17371/task/17385/stat : 17385 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17371/tid=17386] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17386/stat : 17386 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17371/tid=17387] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17387/stat : 17387 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669100 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17371/tid=17388] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17388/stat : 17388 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669096 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17371/tid=17389] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17389/stat : 17389 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17371/tid=17390] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17390/stat : 17390 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17371/tid=17391] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17391/stat : 17391 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669110 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17371/tid=17392] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17392/stat : 17392 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17371/tid=17393] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17393/stat : 17393 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17371/tid=17394] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17394/stat : 17394 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17371/tid=17395] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17395/stat : 17395 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17371/tid=17396] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17396/stat : 17396 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669100 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17371/tid=17397] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17397/stat : 17397 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669104 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17371/tid=17398] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17398/stat : 17398 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17371/tid=17399] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17399/stat : 17399 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17371/tid=17400] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17400/stat : 17400 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669096 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17371/tid=17401] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17401/stat : 17401 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669096 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17371/tid=17402] ppid=17369 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17371/task/17402/stat : 17402 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 746010188 346112000 377 268435456000 4194304 4580107 140734525723616 18446744073709551615 47158280669106 0 0 4096 2 0 0 0 -1 29 0 0 0
[startup+0.126845 s]
/proc/loadavg: 28.80 31.23 31.79 1/413 17371
/proc/meminfo: memFree=255130824/264257624 swapFree=67111528/67111528
[pid=17371] ppid=17369 vsize=1524812 CPUtime=2.35 cores=0-31
/proc/17371/stat : 17371 (strangenight2-m) S 17369 17371 17229 0 -1 4202496 13782 0 0 0 117 118 0 0 17 0 32 0 746010187 1561407488 13603 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/17371/statm: 381203 13607 334 95 0 376185 0
[pid=17371/tid=17372] ppid=17369 vsize=1524812 CPUtime=0.06 cores=0-31
/proc/17371/task/17372/stat : 17372 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 395 0 0 0 3 3 0 0 17 0 32 0 746010188 1561407488 13618 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446744071566929504 0 0 -1 1 0 0 0
[pid=17371/tid=17373] ppid=17369 vsize=1524812 CPUtime=0.07 cores=0-31
/proc/17371/task/17373/stat : 17373 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 438 0 0 0 4 3 0 0 17 0 32 0 746010188 1561407488 13621 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17371/tid=17374] ppid=17369 vsize=1524812 CPUtime=0.07 cores=0-31
/proc/17371/task/17374/stat : 17374 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 399 0 0 0 4 3 0 0 17 0 32 0 746010188 1561407488 13627 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604493497441760 0 0 -1 2 0 0 0
[pid=17371/tid=17375] ppid=17369 vsize=1524812 CPUtime=0.06 cores=0-31
/proc/17371/task/17375/stat : 17375 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 434 0 0 0 3 3 0 0 17 0 32 0 746010188 1561407488 13634 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604480073825760 0 0 -1 5 0 0 0
[pid=17371/tid=17376] ppid=17369 vsize=1524812 CPUtime=0.06 cores=0-31
/proc/17371/task/17376/stat : 17376 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 371 0 0 0 3 3 0 0 17 0 32 0 746010188 1561407488 13649 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17371/tid=17377] ppid=17369 vsize=1524812 CPUtime=0.06 cores=0-31
/proc/17371/task/17377/stat : 17377 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 409 0 0 0 3 3 0 0 17 0 32 0 746010188 1561407488 13662 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604505475169760 0 0 -1 3 0 0 0
[pid=17371/tid=17378] ppid=17369 vsize=1524812 CPUtime=0.03 cores=0-31
/proc/17371/task/17378/stat : 17378 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 409 0 0 0 0 3 0 0 17 0 32 0 746010188 1561407488 13662 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604570178715104 0 0 -1 31 0 0 0
[pid=17371/tid=17379] ppid=17369 vsize=1524812 CPUtime=0.06 cores=0-31
/proc/17371/task/17379/stat : 17379 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 442 0 0 0 3 3 0 0 17 0 32 0 746010188 1561407488 13668 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17371/tid=17380] ppid=17369 vsize=1524812 CPUtime=0.07 cores=0-31
/proc/17371/task/17380/stat : 17380 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 402 0 0 0 4 3 0 0 17 0 32 0 746010188 1561407488 13670 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604480944504288 0 0 -1 24 0 0 0
[pid=17371/tid=17381] ppid=17369 vsize=1524812 CPUtime=0.07 cores=0-31
/proc/17371/task/17381/stat : 17381 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 414 0 0 0 3 4 0 0 17 0 32 0 746010188 1561407488 13683 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17371/tid=17382] ppid=17369 vsize=1524812 CPUtime=0.02 cores=0-31
/proc/17371/task/17382/stat : 17382 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 415 0 0 0 0 2 0 0 17 0 32 0 746010188 1561407488 13686 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604478557797856 0 0 -1 30 0 0 0
[pid=17371/tid=17383] ppid=17369 vsize=1524812 CPUtime=0.06 cores=0-31
/proc/17371/task/17383/stat : 17383 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 403 0 0 0 2 4 0 0 17 0 32 0 746010188 1561407488 13720 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17371/tid=17384] ppid=17369 vsize=1524812 CPUtime=0.07 cores=0-31
/proc/17371/task/17384/stat : 17384 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 500 0 0 0 4 3 0 0 17 0 32 0 746010188 1561407488 13726 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17371/tid=17385] ppid=17369 vsize=1524812 CPUtime=0.06 cores=0-31
/proc/17371/task/17385/stat : 17385 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 453 0 0 0 3 3 0 0 17 0 32 0 746010188 1561407488 13730 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17371/tid=17386] ppid=17369 vsize=1524812 CPUtime=0.07 cores=0-31
/proc/17371/task/17386/stat : 17386 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 470 0 0 0 4 3 0 0 17 0 32 0 746010188 1561407488 13730 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604505896836576 0 0 -1 22 0 0 0
[pid=17371/tid=17387] ppid=17369 vsize=1524812 CPUtime=0.07 cores=0-31
/proc/17371/task/17387/stat : 17387 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 401 0 0 0 4 3 0 0 17 0 32 0 746010188 1561407488 13748 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604478206533088 0 0 -1 12 0 0 0
[pid=17371/tid=17388] ppid=17369 vsize=1524812 CPUtime=0.06 cores=0-31
/proc/17371/task/17388/stat : 17388 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 387 0 0 0 3 3 0 0 17 0 32 0 746010188 1561407488 13759 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604481929559520 0 0 -1 9 0 0 0
[pid=17371/tid=17389] ppid=17369 vsize=1524812 CPUtime=0.07 cores=0-31
/proc/17371/task/17389/stat : 17389 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 382 0 0 0 4 3 0 0 17 0 32 0 746010188 1561407488 13784 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604505475169760 0 0 -1 7 0 0 0
[pid=17371/tid=17390] ppid=17369 vsize=1524812 CPUtime=0.08 cores=0-31
/proc/17371/task/17390/stat : 17390 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 435 0 0 0 4 4 0 0 17 0 32 0 746010188 1561407488 13798 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604493497441760 0 0 -1 13 0 0 0
[pid=17371/tid=17391] ppid=17369 vsize=1524812 CPUtime=0.07 cores=0-31
/proc/17371/task/17391/stat : 17391 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 464 0 0 0 3 4 0 0 17 0 32 0 746010188 1561407488 13800 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604481019420128 0 0 -1 10 0 0 0
[pid=17371/tid=17392] ppid=17369 vsize=1524812 CPUtime=0.06 cores=0-31
/proc/17371/task/17392/stat : 17392 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 375 0 0 0 3 3 0 0 17 0 32 0 746010188 1561407488 13818 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446744071566926264 0 0 -1 11 0 0 0
[pid=17371/tid=17393] ppid=17369 vsize=1524812 CPUtime=0.06 cores=0-31
/proc/17371/task/17393/stat : 17393 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 458 0 0 0 3 3 0 0 17 0 32 0 746010188 1561407488 13834 268435456000 4194304 4580107 140734525723616 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17371/tid=17394] ppid=17369 vsize=1524812 CPUtime=0.06 cores=0-31
/proc/17371/task/17394/stat : 17394 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 452 0 0 0 3 3 0 0 17 0 32 0 746010188 1561407488 13843 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604476102385120 0 0 -1 14 0 0 0
[pid=17371/tid=17395] ppid=17369 vsize=1524812 CPUtime=0.07 cores=0-31
/proc/17371/task/17395/stat : 17395 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 441 0 0 0 3 4 0 0 17 0 32 0 746010188 1561407488 13845 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17371/tid=17396] ppid=17369 vsize=1524812 CPUtime=0.07 cores=0-31
/proc/17371/task/17396/stat : 17396 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 401 0 0 0 3 4 0 0 17 0 32 0 746010188 1561407488 13850 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17371/tid=17397] ppid=17369 vsize=1524812 CPUtime=0.06 cores=0-31
/proc/17371/task/17397/stat : 17397 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 429 0 0 0 3 3 0 0 17 0 32 0 746010188 1561407488 13853 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17371/tid=17398] ppid=17369 vsize=1524812 CPUtime=0.07 cores=0-31
/proc/17371/task/17398/stat : 17398 (strangenight2-m) D 17369 17371 17229 0 -1 4202560 439 0 0 0 3 4 0 0 17 0 32 0 746010188 1561407488 13855 268435456000 4194304 4580107 140734525723616 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17371/tid=17399] ppid=17369 vsize=1524812 CPUtime=0.08 cores=0-31
/proc/17371/task/17399/stat : 17399 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 414 0 0 0 4 4 0 0 17 0 32 0 746010188 1561407488 13858 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604480063757792 0 0 -1 25 0 0 0
[pid=17371/tid=17400] ppid=17369 vsize=1524812 CPUtime=0.07 cores=0-31
/proc/17371/task/17400/stat : 17400 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 438 0 0 0 3 4 0 0 17 0 32 0 746010188 1561407488 13869 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604503872658912 0 0 -1 26 0 0 0
[pid=17371/tid=17401] ppid=17369 vsize=1524812 CPUtime=0.06 cores=0-31
/proc/17371/task/17401/stat : 17401 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 371 0 0 0 3 3 0 0 17 0 32 0 746010188 1561407488 13872 268435456000 4194304 4580107 140734525723616 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17371/tid=17402] ppid=17369 vsize=1524812 CPUtime=0.06 cores=0-31
/proc/17371/task/17402/stat : 17402 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 438 0 0 0 3 3 0 0 17 0 32 0 746010188 1561407488 13880 268435456000 4194304 4580107 140734525723616 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 1524812
[startup+0.205837 s]
/proc/loadavg: 28.80 31.23 31.79 1/413 17371
/proc/meminfo: memFree=255130824/264257624 swapFree=67111528/67111528
[pid=17371] ppid=17369 vsize=1530392 CPUtime=3.2 cores=0-31
/proc/17371/stat : 17371 (strangenight2-m) S 17369 17371 17229 0 -1 4202496 21201 0 0 0 156 164 0 0 17 0 32 0 746010187 1567121408 21022 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/17371/statm: 382598 21039 335 95 0 377580 0
[pid=17371/tid=17372] ppid=17369 vsize=1530392 CPUtime=0.1 cores=0-31
/proc/17371/task/17372/stat : 17372 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 694 0 0 0 5 5 0 0 17 0 32 0 746010188 1567121408 21040 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604505863740896 0 0 -1 1 0 0 0
[pid=17371/tid=17373] ppid=17369 vsize=1530392 CPUtime=0.09 cores=0-31
/proc/17371/task/17373/stat : 17373 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 701 0 0 0 5 4 0 0 17 0 32 0 746010188 1567121408 21046 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604493497441760 0 0 -1 8 0 0 0
[pid=17371/tid=17374] ppid=17369 vsize=1530392 CPUtime=0.1 cores=0-31
/proc/17371/task/17374/stat : 17374 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 720 0 0 0 5 5 0 0 17 0 32 0 746010188 1567121408 21061 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604481929559520 0 0 -1 2 0 0 0
[pid=17371/tid=17375] ppid=17369 vsize=1530392 CPUtime=0.09 cores=0-31
/proc/17371/task/17375/stat : 17375 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 571 0 0 0 5 4 0 0 17 0 32 0 746010188 1567121408 21071 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604498344828384 0 0 -1 5 0 0 0
[pid=17371/tid=17376] ppid=17369 vsize=1530392 CPUtime=0.08 cores=0-31
/proc/17371/task/17376/stat : 17376 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 522 0 0 0 4 4 0 0 17 0 32 0 746010188 1567121408 21081 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604503872658912 0 0 -1 6 0 0 0
[pid=17371/tid=17377] ppid=17369 vsize=1530392 CPUtime=0.09 cores=0-31
/proc/17371/task/17377/stat : 17377 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 558 0 0 0 4 5 0 0 17 0 32 0 746010188 1567121408 21081 268435456000 4194304 4580107 140734525723616 18446744073709551615 258650652443 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17371/tid=17378] ppid=17369 vsize=1530392 CPUtime=0.05 cores=0-31
/proc/17371/task/17378/stat : 17378 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 501 0 0 0 1 4 0 0 17 0 32 0 746010188 1567121408 21090 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604479929777632 0 0 -1 31 0 0 0
[pid=17371/tid=17379] ppid=17369 vsize=1530392 CPUtime=0.09 cores=0-31
/proc/17371/task/17379/stat : 17379 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 660 0 0 0 5 4 0 0 17 0 32 0 746010188 1567121408 21108 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604491449187808 0 0 -1 0 0 0 0
[pid=17371/tid=17380] ppid=17369 vsize=1530392 CPUtime=0.1 cores=0-31
/proc/17371/task/17380/stat : 17380 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 690 0 0 0 6 4 0 0 17 0 32 0 746010188 1567121408 21113 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17371/tid=17381] ppid=17369 vsize=1530392 CPUtime=0.09 cores=0-31
/proc/17371/task/17381/stat : 17381 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 633 0 0 0 4 5 0 0 17 0 32 0 746010188 1567121408 21131 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446744071566933864 0 0 -1 20 0 0 0
[pid=17371/tid=17382] ppid=17369 vsize=1530392 CPUtime=0.03 cores=0-31
/proc/17371/task/17382/stat : 17382 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 511 0 0 0 0 3 0 0 17 0 32 0 746010188 1567121408 21132 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604505863740896 0 0 -1 30 0 0 0
[pid=17371/tid=17383] ppid=17369 vsize=1530392 CPUtime=0.07 cores=0-31
/proc/17371/task/17383/stat : 17383 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 527 0 0 0 2 5 0 0 17 0 32 0 746010188 1567121408 21141 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604474855316960 0 0 -1 27 0 0 0
[pid=17371/tid=17384] ppid=17369 vsize=1530392 CPUtime=0.1 cores=0-31
/proc/17371/task/17384/stat : 17384 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 827 0 0 0 5 5 0 0 17 0 32 0 746010188 1567121408 21150 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604476102385120 0 0 -1 4 0 0 0
[pid=17371/tid=17385] ppid=17369 vsize=1530392 CPUtime=0.1 cores=0-31
/proc/17371/task/17385/stat : 17385 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 810 0 0 0 5 5 0 0 17 0 32 0 746010188 1567121408 21156 268435456000 4194304 4580107 140734525723616 18446744073709551615 4489289 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17371/tid=17386] ppid=17369 vsize=1530392 CPUtime=0.1 cores=0-31
/proc/17371/task/17386/stat : 17386 (strangenight2-m) D 17369 17371 17229 0 -1 4202560 759 0 0 0 5 5 0 0 17 0 32 0 746010188 1567121408 21156 268435456000 4194304 4580107 140734525723616 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17371/tid=17387] ppid=17369 vsize=1530464 CPUtime=0.09 cores=0-31
/proc/17371/task/17387/stat : 17387 (strangenight2-m) S 17369 17371 17229 0 -1 4202560 652 0 0 0 5 4 0 0 17 0 32 0 746010188 1567195136 21161 268435456000 4194304 4580107 140734525723616 18446744073709551615 258651060958 0 0 4096 2 18446604487834951136 0 0 -1 12 0 0 0
[pid=17371/tid=17388] ppid=17369 vsize=1530600 CPUtime=0.09 cores=0-31
################
# More data... #
################
/proc/meminfo: memFree=244034980/264257624 swapFree=67111528/67111528
[pid=17371] ppid=17369 vsize=15038552 CPUtime=158563 cores=0-31
/proc/17371/stat : 17371 (strangenight2-m) R 17369 17371 17229 0 -1 4202496 17606610 0 0 0 15845608 10705 0 0 25 0 32 0 746010187 15399477248 2773459 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/17371/statm: 3759638 2773459 378 95 0 3754620 0
[pid=17371/tid=17372] ppid=17369 vsize=15038552 CPUtime=4934.9 cores=0-31
/proc/17371/task/17372/stat : 17372 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 557922 0 0 0 493157 333 0 0 25 0 32 0 746010188 15399477248 2773459 268435456000 4194304 4580107 140734525723616 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17371/tid=17373] ppid=17369 vsize=15038552 CPUtime=4959.54 cores=0-31
/proc/17371/task/17373/stat : 17373 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 550316 0 0 0 495617 337 0 0 25 0 32 0 746010188 15399477248 2773459 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17371/tid=17374] ppid=17369 vsize=15038552 CPUtime=4959.62 cores=0-31
/proc/17371/task/17374/stat : 17374 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 590073 0 0 0 495612 350 0 0 25 0 32 0 746010188 15399477248 2773459 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17371/tid=17375] ppid=17369 vsize=15038552 CPUtime=4959.64 cores=0-31
/proc/17371/task/17375/stat : 17375 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 566862 0 0 0 495607 357 0 0 25 0 32 0 746010188 15399477248 2773459 268435456000 4194304 4580107 140734525723616 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17371/tid=17376] ppid=17369 vsize=15038552 CPUtime=4948.64 cores=0-31
/proc/17371/task/17376/stat : 17376 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 596431 0 0 0 494495 369 0 0 25 0 32 0 746010188 15399477248 2773459 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=17371/tid=17377] ppid=17369 vsize=15038552 CPUtime=4951.16 cores=0-31
/proc/17371/task/17377/stat : 17377 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 630604 0 0 0 494743 373 0 0 25 0 32 0 746010188 15399477248 2773459 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17371/tid=17378] ppid=17369 vsize=15038552 CPUtime=4928.43 cores=0-31
/proc/17371/task/17378/stat : 17378 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 509022 0 0 0 492534 309 0 0 25 0 32 0 746010188 15399477248 2773459 268435456000 4194304 4580107 140734525723616 18446744073709551615 4489289 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17371/tid=17379] ppid=17369 vsize=15038552 CPUtime=4957.26 cores=0-31
/proc/17371/task/17379/stat : 17379 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 506138 0 0 0 495390 336 0 0 25 0 32 0 746010188 15399477248 2773459 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17371/tid=17380] ppid=17369 vsize=15038552 CPUtime=4959.62 cores=0-31
/proc/17371/task/17380/stat : 17380 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 621252 0 0 0 495620 342 0 0 25 0 32 0 746010188 15399477248 2773459 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17371/tid=17381] ppid=17369 vsize=15038552 CPUtime=4958.12 cores=0-31
/proc/17371/task/17381/stat : 17381 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 479697 0 0 0 495521 291 0 0 25 0 32 0 746010188 15399477248 2773459 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17371/tid=17382] ppid=17369 vsize=15038552 CPUtime=4955.89 cores=0-31
/proc/17371/task/17382/stat : 17382 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 567750 0 0 0 495243 346 0 0 25 0 32 0 746010188 15399477248 2773459 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17371/tid=17383] ppid=17369 vsize=15038552 CPUtime=4956.69 cores=0-31
/proc/17371/task/17383/stat : 17383 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 431052 0 0 0 495395 274 0 0 25 0 32 0 746010188 15399477248 2773459 268435456000 4194304 4580107 140734525723616 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17371/tid=17384] ppid=17369 vsize=15038552 CPUtime=4950.15 cores=0-31
/proc/17371/task/17384/stat : 17384 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 529880 0 0 0 494688 327 0 0 25 0 32 0 746010188 15399477248 2773460 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17371/tid=17385] ppid=17369 vsize=15038552 CPUtime=4958.89 cores=0-31
/proc/17371/task/17385/stat : 17385 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 583271 0 0 0 495540 349 0 0 25 0 32 0 746010188 15399477248 2773460 268435456000 4194304 4580107 140734525723616 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17371/tid=17386] ppid=17369 vsize=15038552 CPUtime=4958.93 cores=0-31
/proc/17371/task/17386/stat : 17386 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 536390 0 0 0 495565 328 0 0 25 0 32 0 746010188 15399477248 2773460 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17371/tid=17387] ppid=17369 vsize=15038552 CPUtime=4959.59 cores=0-31
/proc/17371/task/17387/stat : 17387 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 592084 0 0 0 495599 360 0 0 25 0 32 0 746010188 15399477248 2773460 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17371/tid=17388] ppid=17369 vsize=15038552 CPUtime=4953.24 cores=0-31
/proc/17371/task/17388/stat : 17388 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 559373 0 0 0 494981 343 0 0 25 0 32 0 746010188 15399477248 2773460 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17371/tid=17389] ppid=17369 vsize=15038552 CPUtime=4959.4 cores=0-31
/proc/17371/task/17389/stat : 17389 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 533007 0 0 0 495617 323 0 0 25 0 32 0 746010188 15399477248 2773460 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17371/tid=17390] ppid=17369 vsize=15038552 CPUtime=4946.51 cores=0-31
/proc/17371/task/17390/stat : 17390 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 529930 0 0 0 494332 319 0 0 25 0 32 0 746010188 15399477248 2773460 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17371/tid=17391] ppid=17369 vsize=15038552 CPUtime=4958.84 cores=0-31
/proc/17371/task/17391/stat : 17391 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 540085 0 0 0 495556 328 0 0 25 0 32 0 746010188 15399477248 2773460 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17371/tid=17392] ppid=17369 vsize=15038552 CPUtime=4951.9 cores=0-31
/proc/17371/task/17392/stat : 17392 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 544276 0 0 0 494846 344 0 0 25 0 32 0 746010188 15399477248 2773460 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17371/tid=17393] ppid=17369 vsize=15038552 CPUtime=4959.61 cores=0-31
/proc/17371/task/17393/stat : 17393 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 588663 0 0 0 495584 377 0 0 25 0 32 0 746010188 15399477248 2773461 268435456000 4194304 4580107 140734525723616 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17371/tid=17394] ppid=17369 vsize=15038552 CPUtime=4959.76 cores=0-31
/proc/17371/task/17394/stat : 17394 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 588293 0 0 0 495633 343 0 0 25 0 32 0 746010188 15399477248 2773461 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17371/tid=17395] ppid=17369 vsize=15038552 CPUtime=4958.02 cores=0-31
/proc/17371/task/17395/stat : 17395 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 584261 0 0 0 495456 346 0 0 25 0 32 0 746010188 15399477248 2773461 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17371/tid=17396] ppid=17369 vsize=15038552 CPUtime=4959.72 cores=0-31
/proc/17371/task/17396/stat : 17396 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 543152 0 0 0 495636 336 0 0 25 0 32 0 746010188 15399477248 2773461 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17371/tid=17397] ppid=17369 vsize=15038552 CPUtime=4959.39 cores=0-31
/proc/17371/task/17397/stat : 17397 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 599211 0 0 0 495593 346 0 0 25 0 32 0 746010188 15399477248 2773461 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17371/tid=17398] ppid=17369 vsize=15038552 CPUtime=4954.4 cores=0-31
/proc/17371/task/17398/stat : 17398 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 504535 0 0 0 495125 315 0 0 25 0 32 0 746010188 15399477248 2773461 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17371/tid=17399] ppid=17369 vsize=15038552 CPUtime=4957.65 cores=0-31
/proc/17371/task/17399/stat : 17399 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 501243 0 0 0 495454 311 0 0 25 0 32 0 746010188 15399477248 2773461 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17371/tid=17400] ppid=17369 vsize=15038552 CPUtime=4956.71 cores=0-31
/proc/17371/task/17400/stat : 17400 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 520071 0 0 0 495360 311 0 0 25 0 32 0 746010188 15399477248 2773462 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17371/tid=17401] ppid=17369 vsize=15038552 CPUtime=4953.29 cores=0-31
/proc/17371/task/17401/stat : 17401 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 490026 0 0 0 495026 303 0 0 25 0 32 0 746010188 15399477248 2773462 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17371/tid=17402] ppid=17369 vsize=15038552 CPUtime=4957.78 cores=0-31
/proc/17371/task/17402/stat : 17402 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 563587 0 0 0 495446 332 0 0 25 0 32 0 746010188 15399477248 2773462 268435456000 4194304 4580107 140734525723616 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 158563
Current children cumulated vsize (KiB) 15038552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5007.32 s]
/proc/loadavg: 32.15 32.12 32.08 33/445 17558
/proc/meminfo: memFree=243965344/264257624 swapFree=67111528/67111528
[pid=17371] ppid=17369 vsize=14995732 CPUtime=160003 cores=0-31
/proc/17371/stat : 17371 (strangenight2-m) R 17369 17371 17229 0 -1 4202496 17701569 0 0 0 15989510 10774 0 0 25 0 32 0 746010187 15355629568 2790851 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/17371/statm: 3748933 2790851 378 95 0 3743915 0
[pid=17371/tid=17372] ppid=17369 vsize=14995732 CPUtime=4979.93 cores=0-31
/proc/17371/task/17372/stat : 17372 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 559588 0 0 0 497659 334 0 0 25 0 32 0 746010188 15355629568 2790853 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17371/tid=17373] ppid=17369 vsize=14995732 CPUtime=5004.57 cores=0-31
/proc/17371/task/17373/stat : 17373 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 553517 0 0 0 500117 340 0 0 25 0 32 0 746010188 15355629568 2790853 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17371/tid=17374] ppid=17369 vsize=14995732 CPUtime=5004.65 cores=0-31
/proc/17371/task/17374/stat : 17374 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 591574 0 0 0 500114 351 0 0 25 0 32 0 746010188 15355629568 2790853 268435456000 4194304 4580107 140734525723616 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17371/tid=17375] ppid=17369 vsize=14995732 CPUtime=5004.67 cores=0-31
/proc/17371/task/17375/stat : 17375 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 574137 0 0 0 500107 360 0 0 25 0 32 0 746010188 15355629568 2790853 268435456000 4194304 4580107 140734525723616 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17371/tid=17376] ppid=17369 vsize=14995732 CPUtime=4992.39 cores=0-31
/proc/17371/task/17376/stat : 17376 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 599208 0 0 0 498867 372 0 0 25 0 32 0 746010188 15355629568 2790853 268435456000 4194304 4580107 140734525723616 18446744073709551615 4305594 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=17371/tid=17377] ppid=17369 vsize=14995732 CPUtime=4996.18 cores=0-31
/proc/17371/task/17377/stat : 17377 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 633617 0 0 0 499241 377 0 0 25 0 32 0 746010188 15355629568 2790853 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17371/tid=17378] ppid=17369 vsize=14995732 CPUtime=4973.47 cores=0-31
/proc/17371/task/17378/stat : 17378 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 512180 0 0 0 497035 312 0 0 25 0 32 0 746010188 15355629568 2790853 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17371/tid=17379] ppid=17369 vsize=14995732 CPUtime=5002.29 cores=0-31
/proc/17371/task/17379/stat : 17379 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 508742 0 0 0 499891 338 0 0 25 0 32 0 746010188 15355629568 2790853 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17371/tid=17380] ppid=17369 vsize=14995732 CPUtime=5004.66 cores=0-31
/proc/17371/task/17380/stat : 17380 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 628244 0 0 0 500121 345 0 0 25 0 32 0 746010188 15355629568 2790853 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17371/tid=17381] ppid=17369 vsize=14995732 CPUtime=5003.16 cores=0-31
/proc/17371/task/17381/stat : 17381 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 482173 0 0 0 500023 293 0 0 25 0 32 0 746010188 15355629568 2790853 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17371/tid=17382] ppid=17369 vsize=14995732 CPUtime=5000.93 cores=0-31
/proc/17371/task/17382/stat : 17382 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 568292 0 0 0 499746 347 0 0 25 0 32 0 746010188 15355629568 2790854 268435456000 4194304 4580107 140734525723616 18446744073709551615 4318755 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17371/tid=17383] ppid=17369 vsize=14995732 CPUtime=5001.71 cores=0-31
/proc/17371/task/17383/stat : 17383 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 433408 0 0 0 499896 275 0 0 25 0 32 0 746010188 15355629568 2790854 268435456000 4194304 4580107 140734525723616 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17371/tid=17384] ppid=17369 vsize=14995732 CPUtime=4995.18 cores=0-31
/proc/17371/task/17384/stat : 17384 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 530526 0 0 0 499190 328 0 0 25 0 32 0 746010188 15355629568 2790854 268435456000 4194304 4580107 140734525723616 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17371/tid=17385] ppid=17369 vsize=14995732 CPUtime=5003.92 cores=0-31
/proc/17371/task/17385/stat : 17385 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 590459 0 0 0 500040 352 0 0 25 0 32 0 746010188 15355629568 2790854 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17371/tid=17386] ppid=17369 vsize=14995732 CPUtime=5003.95 cores=0-31
/proc/17371/task/17386/stat : 17386 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 543291 0 0 0 500064 331 0 0 25 0 32 0 746010188 15355629568 2790854 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17371/tid=17387] ppid=17369 vsize=14995732 CPUtime=5004.63 cores=0-31
/proc/17371/task/17387/stat : 17387 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 594713 0 0 0 500100 363 0 0 25 0 32 0 746010188 15355629568 2790854 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17371/tid=17388] ppid=17369 vsize=14995732 CPUtime=4998.28 cores=0-31
/proc/17371/task/17388/stat : 17388 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 561721 0 0 0 499482 346 0 0 25 0 32 0 746010188 15355629568 2790854 268435456000 4194304 4580107 140734525723616 18446744073709551615 4305310 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17371/tid=17389] ppid=17369 vsize=14995732 CPUtime=5004.44 cores=0-31
/proc/17371/task/17389/stat : 17389 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 535099 0 0 0 500119 325 0 0 25 0 32 0 746010188 15355629568 2790854 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17371/tid=17390] ppid=17369 vsize=14995732 CPUtime=4991.55 cores=0-31
/proc/17371/task/17390/stat : 17390 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 532774 0 0 0 498834 321 0 0 25 0 32 0 746010188 15355629568 2790854 268435456000 4194304 4580107 140734525723616 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17371/tid=17391] ppid=17369 vsize=14995732 CPUtime=5003.88 cores=0-31
/proc/17371/task/17391/stat : 17391 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 542642 0 0 0 500057 331 0 0 25 0 32 0 746010188 15355629568 2790854 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17371/tid=17392] ppid=17369 vsize=14995732 CPUtime=4996.94 cores=0-31
/proc/17371/task/17392/stat : 17392 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 546335 0 0 0 499348 346 0 0 25 0 32 0 746010188 15355629568 2790854 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17371/tid=17393] ppid=17369 vsize=14995732 CPUtime=5004.65 cores=0-31
/proc/17371/task/17393/stat : 17393 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 591032 0 0 0 500085 380 0 0 25 0 32 0 746010188 15355629568 2790854 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17371/tid=17394] ppid=17369 vsize=14995732 CPUtime=5004.78 cores=0-31
/proc/17371/task/17394/stat : 17394 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 596193 0 0 0 500131 347 0 0 25 0 32 0 746010188 15355629568 2790854 268435456000 4194304 4580107 140734525723616 18446744073709551615 4321096 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17371/tid=17395] ppid=17369 vsize=14995732 CPUtime=5003.05 cores=0-31
/proc/17371/task/17395/stat : 17395 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 584274 0 0 0 499959 346 0 0 25 0 32 0 746010188 15355629568 2790854 268435456000 4194304 4580107 140734525723616 18446744073709551615 4451883 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17371/tid=17396] ppid=17369 vsize=14995732 CPUtime=5004.75 cores=0-31
/proc/17371/task/17396/stat : 17396 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 550907 0 0 0 500134 341 0 0 25 0 32 0 746010188 15355629568 2790855 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17371/tid=17397] ppid=17369 vsize=14995732 CPUtime=5004.43 cores=0-31
/proc/17371/task/17397/stat : 17397 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 601147 0 0 0 500094 349 0 0 25 0 32 0 746010188 15355629568 2790855 268435456000 4194304 4580107 140734525723616 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17371/tid=17398] ppid=17369 vsize=14995732 CPUtime=4999.43 cores=0-31
/proc/17371/task/17398/stat : 17398 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 505742 0 0 0 499627 316 0 0 25 0 32 0 746010188 15355629568 2790855 268435456000 4194304 4580107 140734525723616 18446744073709551615 4413077 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17371/tid=17399] ppid=17369 vsize=14995732 CPUtime=5002.68 cores=0-31
/proc/17371/task/17399/stat : 17399 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 503429 0 0 0 499955 313 0 0 25 0 32 0 746010188 15355629568 2790855 268435456000 4194304 4580107 140734525723616 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17371/tid=17400] ppid=17369 vsize=14995732 CPUtime=5001.74 cores=0-31
/proc/17371/task/17400/stat : 17400 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 520646 0 0 0 499863 311 0 0 25 0 32 0 746010188 15355629568 2790855 268435456000 4194304 4580107 140734525723616 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17371/tid=17401] ppid=17369 vsize=14995732 CPUtime=4998.32 cores=0-31
/proc/17371/task/17401/stat : 17401 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 492258 0 0 0 499527 305 0 0 25 0 32 0 746010188 15355629568 2790855 268435456000 4194304 4580107 140734525723616 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17371/tid=17402] ppid=17369 vsize=14995732 CPUtime=5002.81 cores=0-31
/proc/17371/task/17402/stat : 17402 (strangenight2-m) R 17369 17371 17229 0 -1 4202560 563733 0 0 0 499949 332 0 0 25 0 32 0 746010188 15355629568 2790855 268435456000 4194304 4580107 140734525723616 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 14995732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5007.9 s]
/proc/loadavg: 32.15 32.12 32.08 33/445 17558
/proc/meminfo: memFree=243965344/264257624 swapFree=67111528/67111528
[pid=17371] ppid=17369 vsize=0 CPUtime=160004 cores=0-31
/proc/17371/stat : 17371 (strangenight2-m) Z 17369 17371 17229 0 -1 4203548 17701589 0 0 0 15989532 10829 0 0 25 0 2 0 746010187 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/17371/statm: 0 0 0 0 0 0 0
[pid=17371/tid=17376] ppid=17369 vsize=0 CPUtime=4992.94 cores=0-31
/proc/17371/task/17376/stat : 17376 (strangenight2-m) R 17369 17371 17229 0 -1 4203588 599208 0 0 0 498867 427 0 0 25 0 2 0 746010188 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5008.3 s]
/proc/loadavg: 29.65 31.60 31.91 2/416 17559
/proc/meminfo: memFree=254840344/264257624 swapFree=67111528/67111528
[pid=17371] ppid=17369 vsize=0 CPUtime=160004 cores=0-31
/proc/17371/stat : 17371 (strangenight2-m) Z 17369 17371 17229 0 -1 4203548 17701589 0 0 0 15989532 10870 0 0 25 0 2 0 746010187 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/17371/statm: 0 0 0 0 0 0 0
[pid=17371/tid=17376] ppid=17369 vsize=0 CPUtime=4993.35 cores=0-31
/proc/17371/task/17376/stat : 17376 (strangenight2-m) R 17369 17371 17229 0 -1 4203588 599208 0 0 0 498867 468 0 0 25 0 2 0 746010188 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5008.33
CPU time (s): 160004
CPU user time (s): 159895
CPU system time (s): 108.714
CPU usage (%): 3194.76
Max. virtual memory (cumulated for all children) (KiB): 15469788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159895
system time used= 108.714
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17701589
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= 273332
involuntary context switches= 296855
runsolver used 29.9614 second user time and 111.356 second system time
The end
Begin job on node200 at 2011-05-25 19:40:38
IDJOB=3400697
IDBENCH=71098
IDSOLVER=1886
FILE ID=node200/3400697-1306345238
RUNJOBID= node200-1306345213-17243
PBS_JOBID= 13411799
Free space on /tmp= 62044 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_09_UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400697-1306345238/watcher-3400697-1306345238 -o /tmp/evaluation-result-3400697-1306345238/solver-3400697-1306345238 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400697-1306345238.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 18ad1dee1e9d863458e75a20545ae68a
RANDOM SEED=65945836
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255130972 kB
Buffers: 468476 kB
Cached: 8237692 kB
SwapCached: 0 kB
Active: 7776448 kB
Inactive: 998584 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255130972 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 7440 kB
Writeback: 0 kB
AnonPages: 69456 kB
Mapped: 14428 kB
Slab: 256128 kB
PageTables: 5068 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 178272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62040 MiB
End job on node200 at 2011-05-25 21:04:07