0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 32 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3400655-1306279335.cnf'
0.00/0.08 c -- header says num vars: 75103
0.00/0.08 c -- header says num clauses: 225116
82.22/3.88 c -- clauses added: 0 learnts, 225116 normals, 0 xors
82.22/3.88 c -- vars added 75103
82.22/3.88 c Parsing time: 0.37 s
82.22/3.88 c N st 0 0 75103 75038 150076 0 525266 0 no data no data
91.80/4.16 c asymm cl-useful: 0/2487/75037 lits-rem:0 time: 1.66
880.23/28.87 c Flit: 1025 Blit: 12472 bXBeca: 0 bXProp: 8315 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 23.98
883.43/28.90 c Cleaning up after failed var search: 0.03 s
883.43/28.95 c Replacing 8315 vars Replaced 107073 lits Time: 0.04 s
883.43/28.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
886.63/29.01 c bin-w-bin subsume rem 1892 bins time: 0.02 s
886.63/29.06 c subs with bin: 1 lits-rem: 1 v-fix: 0 time: 0.05 s
947.29/31.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 53074 time: 1.96 s
956.88/31.33 c Removed useless bin: 1541 fixed: 0 props: 20.00M time: 0.23 s
966.45/31.68 c lits-rem: 0 cl-subs: 35 v-elim: 17691 v-fix: 0 time: 0.30 s
969.61/31.70 c Finding binary XORs T: 0.02 s found: 1176
969.61/31.73 c Replacing 1176 vars Replaced 14664 lits Time: 0.02 s
969.61/31.77 c Finding non-binary XORs: 0.02 s (found: 38, avg size: 3.0)
969.61/31.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.02
969.61/31.79 c calculated reachability. Time: 0.00
972.82/31.80 c Calc default polars - time: 0.01 s pos: 2558 undec: 42616 neg: 29929
972.82/31.80 c =========================================================================================
972.82/31.80 c types(t): F = full restart, N = normal restart
972.82/31.80 c types(t): S = simplification begin/end, E = solution found
972.82/31.80 c restart types(rt): st = static, dy = dynamic
972.82/31.80 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
972.82/31.80 c B st 0 0 34206 57989 63536 0 313516 0 no data no data
1023.89/33.47 c N dy 16 4141 34164 57989 63743 3853 313516 225458 5.76 6.10
1068.56/34.86 c N dy 42 8281 34150 57989 69656 7889 313516 337469 6.55 6.92
1094.09/35.64 c Finding binary XORs T: 0.02 s found: 101
1097.30/35.72 c N dy 62 12583 32820 55170 67756 12098 297779 427796 6.62 6.97
1126.02/36.65 c N dy 76 17670 32820 55170 67761 17102 297779 528959 6.47 6.83
1152.19/37.42 c N dy 98 21745 32820 55170 68682 11411 297779 137802 6.53 6.95
1177.16/38.24 c F st 115 25001 32744 55170 69236 14605 297779 236741 6.58 no data
1177.16/38.28 c Replacing 101 vars Replaced 516 lits Time: 0.03 s
1190.58/38.64 c N st 118 26193 32438 54799 68277 15756 295155 273827 6.58 no data
1263.45/40.96 c S st 121 30000 32438 54799 68278 19541 295155 536507 6.58 no data
1276.23/41.34 c S st 121 30502 32438 54799 69090 20023 295155 548133 6.58 no data
1276.23/41.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.02
1946.69/62.33 c Flit: 0 Blit: 159 bXBeca: 0 bXProp: 173 Bins: 23287 BRemL: 3265 BRemN: 0 P: 196.6M T: 20.19
1946.69/62.35 c Cleaning up after failed var search: 0.02 s
1946.69/62.39 c Replacing 173 vars Replaced 24692 lits Time: 0.04 s
1949.89/62.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1949.89/62.45 c bin-w-bin subsume rem 4463 bins time: 0.02 s
1953.09/62.50 c subs with bin: 1168 lits-rem: 62 v-fix: 0 time: 0.05 s
1960.08/62.79 c Subs w/ non-existent bins: 50 l-rem: 76 v-fix: 0 done: 31903 time: 0.27 s
1965.89/62.90 c Removed useless bin: 39 fixed: 0 props: 9.07M time: 0.11 s
1978.60/63.30 c lits-rem: 71 cl-subs: 536 v-elim: 13533 v-fix: 0 time: 0.37 s
1978.60/63.33 c subs with bin: 21 lits-rem: 260 v-fix: 0 time: 0.02 s
1978.60/63.39 c lits-rem: 84 cl-subs: 105 v-elim: 0 v-fix: 0 time: 0.03 s
1978.60/63.39 c Added XOR as norm:28
2007.32/64.29 c asymm cl-useful: 22/2091/71431 lits-rem:44 time: 0.86
2010.54/64.37 c calculated reachability. Time: 0.07
2010.54/64.37 c N dy 121 30502 18370 71431 36447 1822 296885 40364 6.58 no data
2016.91/64.54 c Finding binary XORs T: 0.17 s found: 35
2077.62/66.40 c N dy 143 34671 18366 71431 36554 5842 296885 128556 6.76 7.18
2103.81/67.26 c N dy 172 38749 18364 71431 46676 9837 296885 216656 6.81 9.98
2119.16/67.72 c Finding binary XORs T: 0.09 s found: 1
2128.74/68.07 c N dy 185 42863 18350 71359 46957 7761 295807 115614 6.77 7.14
2151.06/68.74 c S st 198 45753 18350 71359 46964 10609 295807 161835 6.74 no data
2154.26/68.87 c S st 198 46258 18350 71359 46967 11106 295807 168878 6.74 no data
2154.26/68.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
2329.72/74.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 221 BRemL: 444 BRemN: 9 P: 67.2M T: 5.33
2332.92/74.43 c Replacing 37 vars Replaced 16947 lits Time: 0.03 s
2332.92/74.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2332.92/74.49 c bin-w-bin subsume rem 2816 bins time: 0.01 s
2336.11/74.53 c subs with bin: 2692 lits-rem: 2609 v-fix: 0 time: 0.05 s
2339.29/74.65 c Subs w/ non-existent bins: 236 l-rem: 671 v-fix: 0 done: 18313 time: 0.11 s
2339.29/74.68 c Removed useless bin: 125 fixed: 0 props: 1.57M time: 0.03 s
2346.26/74.83 c lits-rem: 109 cl-subs: 311 v-elim: 116 v-fix: 0 time: 0.13 s
2346.26/74.90 c subs with bin: 34 lits-rem: 1424 v-fix: 0 time: 0.04 s
2352.00/75.01 c lits-rem: 420 cl-subs: 357 v-elim: 0 v-fix: 0 time: 0.06 s
2352.00/75.01 c Added XOR as norm:0
2355.21/75.18 c vivif2 -- cl tried 68261 cl shrink 4592 lits rem 4709 time: 0.17
2358.39/75.24 c vivif2 -- cl tried 10682 cl shrink 3663 lits rem 8084 time: 0.06
2396.58/76.45 c asymm cl-useful: 225/13292/67062 lits-rem:319 time: 1.19
2396.58/76.49 c calculated reachability. Time: 0.03
2396.58/76.49 c N dy 198 46258 18197 67062 45943 10661 282262 143025 6.74 no data
2441.20/77.89 c Finding binary XORs T: 0.09 s found: 26
2444.38/77.91 c N dy 222 50267 18195 66838 59389 14565 281419 258063 6.83 7.52
2489.35/79.39 c N dy 244 54690 18194 66838 59394 18918 281419 358787 6.89 7.36
2530.19/80.69 c N dy 261 58844 18193 66838 60461 23015 281419 449818 6.89 7.32
2578.09/82.14 c N dy 286 62880 18193 66838 60732 27000 281419 547429 6.95 8.75
2616.42/83.40 c N dy 306 66939 18193 66838 60737 17204 281419 249997 6.95 7.41
2635.56/83.91 c S st 315 69387 18193 66838 60870 19625 281419 293149 6.94 4.65
2638.75/84.06 c S st 315 69890 18193 66838 60872 20117 281419 300538 6.94 no data
2638.75/84.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
2820.81/89.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 25 Bins: 287 BRemL: 932 BRemN: 7 P: 73.5M T: 5.64
2824.00/89.82 c Replacing 51 vars Replaced 1735 lits Time: 0.04 s
2824.00/89.86 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2824.00/89.88 c bin-w-bin subsume rem 8080 bins time: 0.02 s
2827.19/89.92 c subs with bin: 464 lits-rem: 21 v-fix: 0 time: 0.04 s
2830.38/90.02 c Subs w/ non-existent bins: 9 l-rem: 14 v-fix: 0 done: 18142 time: 0.10 s
2830.38/90.05 c Removed useless bin: 23 fixed: 0 props: 1.07M time: 0.03 s
2833.57/90.17 c lits-rem: 11 cl-subs: 173 v-elim: 3 v-fix: 0 time: 0.11 s
2837.36/90.27 c subs with bin: 24 lits-rem: 477 v-fix: 0 time: 0.06 s
2840.58/90.39 c lits-rem: 550 cl-subs: 428 v-elim: 0 v-fix: 0 time: 0.08 s
2840.58/90.39 c Added XOR as norm:0
2846.34/90.56 c vivif2 -- cl tried 65938 cl shrink 523 lits rem 548 time: 0.17
2849.53/90.67 c vivif2 -- cl tried 19511 cl shrink 3681 lits rem 13821 time: 0.11
2868.71/91.29 c asymm cl-useful: 24/4356/65770 lits-rem:56 time: 0.62
2872.50/91.34 c calculated reachability. Time: 0.03
2872.50/91.34 c N dy 315 69890 18139 65759 52184 19507 276492 256644 6.94 no data
2913.39/92.61 c Finding binary XORs T: 0.10 s found: 10
2913.39/92.68 c N dy 330 74373 18136 65753 58883 23920 276436 357516 6.95 8.50
2986.80/94.98 c N dy 357 79170 18136 65753 58892 28665 276436 496935 7.00 7.67
3066.50/97.49 c N dy 387 84499 18135 65753 61252 33923 276436 635829 7.03 8.11
3107.90/98.79 c F st 405 87502 18135 65753 62115 18727 276436 215391 7.05 7.04
3111.08/98.83 c Replacing 10 vars Replaced 526 lits Time: 0.03 s
3165.26/100.54 c Finding binary XORs T: 0.10 s found: 24
3193.98/101.44 c N st 410 90801 18125 65529 62112 21989 275613 352388 7.05 no data
3328.80/105.65 c N dy 429 96919 18123 65529 64221 28004 275613 602575 7.05 7.42
3411.17/108.29 c N dy 465 103110 18123 65529 64361 34119 275613 765591 7.10 9.08
3443.05/109.29 c S st 479 104836 18123 65529 64361 35830 275613 814503 7.13 6.13
3452.62/109.53 c S st 479 105336 18123 65529 64472 36326 275613 824918 7.13 no data
3452.62/109.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
3675.83/116.56 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 10 Bins: 420 BRemL: 1226 BRemN: 2 P: 90.6M T: 6.80
3679.61/116.63 c Replacing 34 vars Replaced 1423 lits Time: 0.05 s
3679.61/116.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3679.61/116.69 c bin-w-bin subsume rem 3176 bins time: 0.02 s
3682.86/116.74 c subs with bin: 522 lits-rem: 29 v-fix: 0 time: 0.05 s
3685.41/116.84 c Subs w/ non-existent bins: 7 l-rem: 76 v-fix: 0 done: 18088 time: 0.10 s
3685.41/116.88 c Removed useless bin: 25 fixed: 0 props: 0.79M time: 0.03 s
3691.74/117.00 c lits-rem: 0 cl-subs: 68 v-elim: 1 v-fix: 0 time: 0.12 s
3707.67/117.53 c subs with bin: 33 lits-rem: 4970 v-fix: 0 time: 0.37 s
3717.88/117.86 c lits-rem: 1756 cl-subs: 885 v-elim: 0 v-fix: 0 time: 0.26 s
3717.88/117.86 c Added XOR as norm:0
3723.62/118.04 c vivif2 -- cl tried 64908 cl shrink 644 lits rem 660 time: 0.18
3733.20/118.34 c vivif2 -- cl tried 35370 cl shrink 8989 lits rem 70097 time: 0.29
3753.00/118.94 c asymm cl-useful: 0/3872/64637 lits-rem:0 time: 0.60
3753.00/118.99 c calculated reachability. Time: 0.04
3753.00/118.99 c N dy 479 105336 18087 64637 60214 35367 273051 718954 7.13 no data
3755.55/119.09 c Finding binary XORs T: 0.10 s found: 0
3832.25/121.47 c N dy 507 112087 18082 64637 64647 21129 273051 227566 7.11 7.58
3896.15/123.40 c N dy 533 119317 18081 64637 65060 28288 273051 374809 7.10 7.49
3905.74/123.78 c Finding binary XORs T: 0.10 s found: 28
3963.88/125.55 c N dy 578 126975 18081 64410 64900 35813 272151 540344 7.12 8.81
4084.63/129.39 c N dy 632 135159 18078 64410 65254 43894 272151 756312 7.18 11.19
4174.72/132.12 c N dy 680 143892 18077 64410 67344 29749 272151 407039 7.20 7.86
4180.48/132.31 c Finding binary XORs T: 0.10 s found: 17
4298.74/136.03 c N dy 744 153297 18075 64393 67616 39073 272092 647179 7.25 7.66
4327.51/136.96 c S st 759 158005 18074 64393 68407 43671 272092 718806 7.23 7.44
4337.10/137.20 c S st 759 158505 18074 64393 68412 44163 272092 723822 7.23 no data
4337.10/137.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
4554.33/144.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 10 Bins: 177 BRemL: 1015 BRemN: 0 P: 97.0M T: 6.85
4558.12/144.14 c Replacing 55 vars Replaced 2473 lits Time: 0.05 s
4558.12/144.19 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4558.12/144.21 c bin-w-bin subsume rem 2890 bins time: 0.02 s
4561.35/144.25 c subs with bin: 631 lits-rem: 27 v-fix: 0 time: 0.05 s
4563.94/144.34 c Subs w/ non-existent bins: 12 l-rem: 72 v-fix: 0 done: 18019 time: 0.08 s
4563.94/144.37 c Removed useless bin: 28 fixed: 0 props: 0.81M time: 0.03 s
4570.30/144.50 c lits-rem: 0 cl-subs: 89 v-elim: 4 v-fix: 0 time: 0.13 s
4579.89/144.80 c subs with bin: 34 lits-rem: 1746 v-fix: 0 time: 0.22 s
4586.29/145.04 c lits-rem: 1552 cl-subs: 1064 v-elim: 0 v-fix: 0 time: 0.21 s
4589.48/145.21 c vivif2 -- cl tried 63623 cl shrink 436 lits rem 444 time: 0.17
4602.26/145.55 c vivif2 -- cl tried 42795 cl shrink 10399 lits rem 55757 time: 0.33
4621.44/146.18 c asymm cl-useful: 9/2293/63466 lits-rem:27 time: 0.63
4624.64/146.23 c calculated reachability. Time: 0.04
4624.64/146.23 c N dy 759 158505 18015 63457 64598 42792 269256 610633 7.23 no data
4698.76/148.60 c Finding binary XORs T: 0.11 s found: 32
4755.70/150.32 c N dy 810 168698 18011 63249 66084 30403 268425 389049 7.24 7.65
4880.34/154.29 c N dy 871 179782 18010 63249 66148 41378 268425 643261 7.27 7.82
5005.00/158.19 c Finding binary XORs T: 0.11 s found: 6
5030.57/158.93 c N dy 930 191343 18010 63247 67733 30380 268407 309994 7.30 7.96
5171.20/163.34 c N dy 987 203779 18007 63247 68628 42640 268407 593623 7.30 7.69
5302.25/167.44 c N dy 1055 216827 18006 63247 68727 55497 268407 849069 7.29 8.05
5430.13/171.48 c N dy 1114 230775 18005 63247 68945 46252 268407 556062 7.28 7.68
5462.06/172.43 c Finding binary XORs T: 0.11 s found: 11
5526.02/174.40 c S st 1160 237758 18005 63231 69635 53124 268307 719907 7.31 7.19
5532.38/174.68 c S st 1160 238260 18004 63231 69637 53621 268307 725872 7.31 no data
5535.58/174.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
5765.72/182.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 6 Bins: 217 BRemL: 347 BRemN: 1 P: 101.8M T: 7.29
5768.92/182.06 c Replacing 55 vars Replaced 4096 lits Time: 0.06 s
5772.11/182.10 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5772.11/182.12 c bin-w-bin subsume rem 2002 bins time: 0.02 s
5772.11/182.17 c subs with bin: 473 lits-rem: 39 v-fix: 0 time: 0.05 s
5775.32/182.26 c Subs w/ non-existent bins: 7 l-rem: 46 v-fix: 0 done: 17949 time: 0.09 s
5775.32/182.29 c Removed useless bin: 17 fixed: 0 props: 0.77M time: 0.03 s
5781.71/182.45 c lits-rem: 0 cl-subs: 85 v-elim: 2 v-fix: 0 time: 0.15 s
5791.93/182.75 c subs with bin: 27 lits-rem: 845 v-fix: 0 time: 0.23 s
5800.88/183.06 c lits-rem: 2567 cl-subs: 1668 v-elim: 0 v-fix: 0 time: 0.28 s
5807.28/183.24 c vivif2 -- cl tried 62621 cl shrink 302 lits rem 313 time: 0.18
5816.87/183.60 c vivif2 -- cl tried 51925 cl shrink 8657 lits rem 44359 time: 0.36
5839.24/184.27 c asymm cl-useful: 4/3142/62514 lits-rem:12 time: 0.68
5842.44/184.33 c calculated reachability. Time: 0.04
5842.44/184.33 c N dy 1160 238260 17947 62510 67453 51924 266137 653679 7.31 no data
6034.82/190.37 c Finding binary XORs T: 0.11 s found: 4
6094.96/192.29 c N dy 1229 253479 17941 62498 68491 42897 266026 464129 7.31 7.77
6305.94/198.81 c N dy 1313 269836 17939 62498 68768 59036 266026 878963 7.33 8.08
6491.91/204.68 c Finding binary XORs T: 0.11 s found: 32
6562.23/206.88 c N dy 1407 287102 17938 62296 70971 51286 265224 604844 7.34 8.03
6804.57/214.50 c N dy 1522 305490 17938 62296 71132 69521 265224 1085633 7.38 8.03
6820.55/214.99 c F st 1527 306250 17938 62296 71198 70275 265224 1105186 7.38 11.44
6823.74/215.05 c Replacing 36 vars Replaced 916 lits Time: 0.04 s
7057.72/222.33 c N dy 1598 325069 17900 62273 71205 62528 265018 786494 7.39 7.78
7136.99/224.85 c Finding binary XORs T: 0.11 s found: 4
7309.59/230.21 c N dy 1709 345182 17897 62256 71838 55317 264928 561451 7.42 7.84
7463.00/235.00 c S st 1764 357390 17894 62256 71943 67369 264928 874615 7.44 no data
7469.40/235.24 c S st 1764 357892 17894 62256 71943 67868 264928 889786 7.44 no data
7469.40/235.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
7702.74/242.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 32 Bins: 303 BRemL: 4369 BRemN: 4 P: 109.4M T: 7.30
7705.94/242.64 c Replacing 36 vars Replaced 4215 lits Time: 0.07 s
7705.94/242.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
7709.14/242.70 c bin-w-bin subsume rem 660 bins time: 0.02 s
7709.14/242.75 c subs with bin: 301 lits-rem: 59 v-fix: 0 time: 0.05 s
7712.33/242.86 c Subs w/ non-existent bins: 12 l-rem: 54 v-fix: 0 done: 17858 time: 0.11 s
7712.33/242.90 c Removed useless bin: 53 fixed: 0 props: 0.65M time: 0.03 s
7718.73/243.06 c lits-rem: 0 cl-subs: 127 v-elim: 4 v-fix: 0 time: 0.16 s
7734.70/243.55 c subs with bin: 49 lits-rem: 1167 v-fix: 0 time: 0.40 s
7747.49/243.93 c lits-rem: 3690 cl-subs: 1534 v-elim: 0 v-fix: 0 time: 0.35 s
7753.89/244.10 c vivif2 -- cl tried 61573 cl shrink 128 lits rem 128 time: 0.17
7766.66/244.51 c vivif2 -- cl tried 66104 cl shrink 7850 lits rem 56234 time: 0.41
7779.46/244.99 c asymm cl-useful: 0/635/61533 lits-rem:0 time: 0.48
7782.65/245.04 c calculated reachability. Time: 0.04
7782.65/245.04 c N dy 1764 357892 17854 61533 66922 66102 262237 795778 7.44 no data
7926.51/249.56 c Finding binary XORs T: 0.11 s found: 1
8109.29/255.29 c N dy 1844 379461 17848 61525 66978 58897 262163 554468 7.43 8.07
8412.34/264.72 c N dy 1959 399766 17846 61525 67430 78979 262163 1090915 7.45 7.93
8594.55/270.42 c Finding binary XORs T: 0.11 s found: 2
8703.23/273.85 c N dy 2079 419790 17846 61519 67396 70144 262088 752622 7.47 8.53
9016.48/283.68 c N dy 2171 439848 17843 61519 67719 89953 262088 1244318 7.48 9.24
9364.87/294.52 c N dy 2298 460669 17840 61519 67980 80968 262088 952370 7.50 7.95
9384.04/295.18 c Finding binary XORs T: 0.11 s found: 43
9700.50/305.02 c N dy 2422 480672 17837 61299 68560 100746 261212 1486728 7.53 9.37
9946.64/312.78 c Finding binary XORs T: 0.11 s found: 18
10036.11/315.54 c N dy 2549 500705 17834 61271 68587 89994 261080 1156181 7.56 8.31
10374.93/326.18 c N dy 2655 521251 17817 61271 69197 78513 261080 746867 7.58 8.02
10509.17/330.39 c Finding binary XORs T: 0.11 s found: 27
10633.85/334.23 c S st 2746 536839 17799 61126 69110 93881 260543 1183968 7.59 no data
10644.07/334.54 c S st 2746 537343 17799 61126 69115 94376 260543 1191173 7.59 no data
10644.07/334.58 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
10895.77/342.45 c Flit: 1 Blit: 2 bXBeca: 0 bXProp: 20 Bins: 246 BRemL: 1195 BRemN: 0 P: 128.2M T: 7.87
10898.96/342.54 c Replacing 111 vars Replaced 8018 lits Time: 0.08 s
10898.96/342.58 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
10902.12/342.60 c bin-w-bin subsume rem 778 bins time: 0.02 s
10902.12/342.65 c subs with bin: 369 lits-rem: 85 v-fix: 0 time: 0.05 s
10905.34/342.77 c Subs w/ non-existent bins: 20 l-rem: 64 v-fix: 0 done: 17699 time: 0.12 s
10908.51/342.81 c Removed useless bin: 37 fixed: 0 props: 0.67M time: 0.04 s
10914.88/343.00 c lits-rem: 3 cl-subs: 89 v-elim: 15 v-fix: 0 time: 0.19 s
10934.02/343.61 c subs with bin: 88 lits-rem: 1651 v-fix: 0 time: 0.50 s
10953.18/344.20 c lits-rem: 5237 cl-subs: 2056 v-elim: 0 v-fix: 0 time: 0.56 s
10956.96/344.37 c vivif2 -- cl tried 60441 cl shrink 191 lits rem 197 time: 0.17
10975.53/344.98 c vivif2 -- cl tried 92002 cl shrink 9282 lits rem 69488 time: 0.60
10995.40/345.54 c asymm cl-useful: 0/1020/60382 lits-rem:0 time: 0.56
10995.40/345.60 c calculated reachability. Time: 0.04
10995.40/345.60 c N dy 2746 537343 17684 60382 66997 91988 258041 1069141 7.59 no data
11106.45/349.07 c Finding binary XORs T: 0.12 s found: 95
11409.72/358.59 c Finding binary XORs T: 0.12 s found: 23
11444.82/359.66 c N dy 2847 558386 17673 60151 71990 112496 257084 1861383 7.59 8.08
11598.02/364.46 c Finding binary XORs T: 0.12 s found: 3
11786.50/370.35 c N dy 2932 579133 17671 60144 77134 99771 257046 1255271 7.59 8.02
11812.07/371.13 c Finding binary XORs T: 0.12 s found: 8
12170.04/382.37 c Finding binary XORs T: 0.12 s found: 74
12173.23/382.42 c Replacing 203 vars Replaced 12066 lits Time: 0.05 s
12202.00/383.37 c N dy 3062 599186 17459 59464 76847 86040 254252 777532 7.62 8.15
12374.60/388.72 c Finding binary XORs T: 0.12 s found: 12
12563.20/394.68 c N dy 3175 619205 17457 59464 80396 105890 254252 1343176 7.64 13.61
12636.73/396.93 c Finding binary XORs T: 0.12 s found: 21
12960.14/407.10 c N dy 3310 639246 17453 59446 82392 91505 254152 845512 7.66 9.16
13087.40/411.07 c Finding binary XORs T: 0.12 s found: 19
13311.75/418.08 c N dy 3420 659314 17450 59438 83899 111348 254117 1386695 7.68 8.26
13544.51/425.39 c Finding binary XORs T: 0.12 s found: 9
13710.70/430.52 c N dy 3526 680516 17448 59425 84585 96842 254031 881394 7.69 8.39
14071.93/441.90 c N dy 3627 700562 17443 59425 84722 116661 254031 1448684 7.70 8.22
14449.12/453.64 c N dy 3739 720585 17441 59425 84869 136490 254031 2033213 7.71 8.12
14455.52/453.85 c Finding binary XORs T: 0.12 s found: 71
14813.49/465.06 c N dy 3837 741092 17439 59182 86033 120514 253105 1485433 7.71 8.13
14929.17/468.71 c Finding binary XORs T: 0.11 s found: 12
15197.07/477.09 c N dy 3946 761137 17437 59170 86076 140383 253039 2077030 7.72 8.20
15465.58/485.48 c Finding binary XORs T: 0.11 s found: 36
15468.78/485.53 c Replacing 180 vars Replaced 17897 lits Time: 0.05 s
15583.83/489.19 c N dy 4055 781141 17258 58684 85743 122738 251222 1455224 7.74 8.76
15973.79/501.34 c N dy 4154 801286 17257 58684 85929 142678 251222 2007027 7.74 8.23
16072.88/504.49 c S st 4176 806016 17256 58684 85970 147350 251222 2141197 7.74 7.72
16089.46/504.94 c S st 4176 806518 17256 58684 85976 147838 251222 2150111 7.74 no data
16089.46/504.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
16376.55/513.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 24 Bins: 254 BRemL: 6129 BRemN: 0 P: 156.3M T: 9.00
16382.94/514.10 c Replacing 24 vars Replaced 7773 lits Time: 0.11 s
16382.94/514.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
16382.94/514.16 c bin-w-bin subsume rem 5638 bins time: 0.02 s
16386.11/514.21 c subs with bin: 1074 lits-rem: 555 v-fix: 0 time: 0.05 s
16389.34/514.33 c Subs w/ non-existent bins: 53 l-rem: 236 v-fix: 0 done: 17232 time: 0.11 s
16389.34/514.36 c Removed useless bin: 96 fixed: 0 props: 0.76M time: 0.04 s
16395.70/514.58 c lits-rem: 4 cl-subs: 165 v-elim: 18 v-fix: 0 time: 0.21 s
16441.11/515.92 c subs with bin: 243 lits-rem: 5211 v-fix: 0 time: 1.10 s
16501.19/517.87 c lits-rem: 14432 cl-subs: 4018 v-elim: 0 v-fix: 0 time: 1.92 s
16507.58/518.04 c vivif2 -- cl tried 57341 cl shrink 318 lits rem 322 time: 0.17
16546.53/519.22 c vivif2 -- cl tried 142931 cl shrink 23165 lits rem 169650 time: 1.18
16555.52/519.54 c asymm cl-useful: 0/385/57138 lits-rem:0 time: 0.32
16558.72/519.60 c calculated reachability. Time: 0.04
16558.72/519.60 c N dy 4176 806518 17214 57138 74305 142859 247211 1862145 7.74 no data
16561.92/519.73 c Finding binary XORs T: 0.12 s found: 72
16868.79/529.32 c Finding binary XORs T: 0.12 s found: 49
17031.83/534.43 c N dy 4285 826526 17208 57064 75851 122634 246503 1428301 7.75 8.51
17460.71/547.87 c N dy 4389 846736 17208 57064 76016 142672 246503 2180089 7.76 8.20
17715.84/555.89 c Finding binary XORs T: 0.12 s found: 12
18054.70/566.44 c N dy 4481 867142 17208 57059 76184 123594 246479 1567615 7.76 8.40
18562.91/582.34 c N dy 4600 887683 17205 57059 76755 143995 246479 2350945 7.77 8.21
18569.31/582.51 c Finding binary XORs T: 0.12 s found: 14
19061.57/597.94 c N dy 4695 908127 17201 57055 76859 123665 246424 1268153 7.78 8.21
19397.81/608.48 c Finding binary XORs T: 0.12 s found: 28
19400.37/608.55 c Replacing 175 vars Replaced 7579 lits Time: 0.08 s
19579.39/614.19 c N dy 4807 928283 17025 56865 76790 143368 245469 2090159 7.79 8.23
20090.82/630.16 c N dy 4916 948336 17022 56865 76937 163175 245469 2753898 7.80 8.28
20138.76/631.67 c Finding binary XORs T: 0.12 s found: 32
20576.68/645.37 c N dy 5017 968343 17018 56850 78754 142265 245397 1625259 7.80 9.63
20678.97/648.56 c Finding binary XORs T: 0.12 s found: 65
21075.32/660.94 c Finding binary XORs T: 0.12 s found: 30
21117.47/662.29 c N dy 5146 989198 17018 56644 79602 162876 244574 2370805 7.82 8.25
21542.63/675.58 c Finding binary XORs T: 0.13 s found: 44
21545.20/675.64 c Replacing 171 vars Replaced 10042 lits Time: 0.06 s
21673.07/679.62 c N dy 5253 1010468 16843 56240 80209 141502 242971 1552163 7.82 8.86
21935.13/687.86 c Finding binary XORs T: 0.12 s found: 26
22088.57/692.69 c N dy 5364 1030559 16840 56229 84893 161395 242906 2145629 7.83 8.25
22392.23/702.15 c Finding binary XORs T: 0.12 s found: 23
22516.87/706.01 c Finding binary XORs T: 0.12 s found: 27
22583.98/708.15 c N dy 5476 1050573 16839 56227 116744 137916 242888 1390786 7.85 8.38
22667.69/710.79 c Finding binary XORs T: 0.12 s found: 17
22840.26/716.20 c Finding binary XORs T: 0.12 s found: 32
23012.29/721.62 c N dy 5560 1070688 16837 56220 134540 157833 242846 2003094 7.84 8.41
23044.26/722.54 c F st 5568 1071875 16837 56220 134540 159017 242846 2054747 7.84 no data
23047.46/722.61 c Replacing 125 vars Replaced 32914 lits Time: 0.07 s
23594.05/739.78 c N dy 5667 1090704 16708 55912 134374 177591 241892 2843334 7.86 8.35
23613.84/740.42 c Finding binary XORs T: 0.11 s found: 31
24127.86/756.42 c Finding binary XORs T: 0.11 s found: 69
24150.23/757.15 c N dy 5786 1110740 16706 55691 148661 152858 241021 1826082 7.87 8.31
24473.07/767.21 c Finding binary XORs T: 0.11 s found: 32
24693.59/774.11 c N dy 5870 1134193 16705 55689 159483 176032 241005 2527198 7.86 8.28
24760.72/776.30 c Finding binary XORs T: 0.11 s found: 22
25345.70/794.60 c N dy 5996 1154291 16704 55687 159549 150338 240987 1668901 7.88 9.97
25825.18/809.53 c N dy 6123 1175734 16702 55687 159659 171596 240987 2288128 7.89 8.33
26218.93/821.87 c Finding binary XORs T: 0.11 s found: 84
26221.52/821.95 c Replacing 238 vars Replaced 63518 lits Time: 0.08 s
26391.51/827.27 c N dy 6231 1196533 16460 55257 177667 192122 239327 2995569 7.90 8.32
26528.37/831.57 c Finding binary XORs T: 0.11 s found: 98
26694.58/836.70 c Finding binary XORs T: 0.11 s found: 1
26729.74/837.81 c S st 6316 1209777 16459 55254 277807 158855 239307 2053585 7.90 no data
26746.36/838.35 c S st 6316 1210279 16459 55254 277808 159350 239307 2065300 7.90 no data
26748.92/838.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
27062.82/848.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 43 Bins: 329 BRemL: 3749 BRemN: 0 P: 173.8M T: 9.83
27065.38/848.31 c Replacing 142 vars Replaced 94780 lits Time: 0.07 s
27065.38/848.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
27097.95/849.32 c bin-w-bin subsume rem 151195 bins time: 0.96 s
27097.95/849.38 c subs with bin: 1577 lits-rem: 1839 v-fix: 0 time: 0.06 s
27103.73/849.50 c Subs w/ non-existent bins: 10 l-rem: 197 v-fix: 0 done: 16317 time: 0.12 s
27103.73/849.54 c Removed useless bin: 172 fixed: 0 props: 0.88M time: 0.04 s
27110.13/849.77 c lits-rem: 0 cl-subs: 542 v-elim: 238 v-fix: 0 time: 0.23 s
27133.11/850.47 c subs with bin: 581 lits-rem: 6071 v-fix: 0 time: 0.52 s
27168.27/851.55 c lits-rem: 9764 cl-subs: 3122 v-elim: 0 v-fix: 0 time: 1.06 s
27174.06/851.71 c vivif2 -- cl tried 53121 cl shrink 910 lits rem 1332 time: 0.16
27203.43/852.67 c vivif2 -- cl tried 154232 cl shrink 8332 lits rem 55612 time: 0.96
27222.02/853.20 c asymm cl-useful: 0/233/52662 lits-rem:0 time: 0.53
27222.02/853.26 c calculated reachability. Time: 0.04
27222.02/853.26 c N dy 6316 1210279 16079 52662 118560 154190 230761 1588470 7.90 no data
27436.16/859.93 c Finding binary XORs T: 0.13 s found: 189
27436.16/859.99 c Replacing 189 vars Replaced 18207 lits Time: 0.06 s
27861.29/873.27 c N dy 6407 1230333 15889 52649 121640 174056 230714 2626985 7.90 8.32
28225.66/884.62 c Finding binary XORs T: 0.13 s found: 17
28618.85/896.99 c N dy 6496 1250347 15888 52647 122262 193881 230696 3889564 7.90 8.37
29102.12/912.08 c Finding binary XORs T: 0.13 s found: 19
29226.17/915.93 c N dy 6600 1270420 15886 52645 123340 163975 230655 1843236 7.91 8.44
29875.70/936.28 c N dy 6709 1290723 15882 52645 123709 184087 230655 2722574 7.92 8.38
30552.70/957.46 c N dy 6813 1310843 15880 52645 123766 204049 230655 3594806 7.92 8.37
31131.28/975.58 c N dy 6918 1330844 15879 52645 123840 176020 230654 2152806 7.93 8.40
31719.45/993.92 c N dy 7017 1350950 15878 52645 123917 195932 230654 2789747 7.93 8.39
31943.15/1000.99 c Finding binary XORs T: 0.13 s found: 49
32419.44/1015.84 c N dy 7136 1371921 15877 52430 124247 167524 229769 1790820 7.94 8.57
32592.05/1021.22 c Finding binary XORs T: 0.13 s found: 17
33045.94/1035.40 c N dy 7233 1392301 15876 52430 124418 187766 229769 2471213 7.95 8.60
33740.16/1057.20 c N dy 7343 1412372 15876 52430 125057 207650 229769 3239782 7.96 8.39
34411.44/1078.19 c N dy 7454 1433066 15876 52430 125105 178374 229769 1998140 7.97 8.44
34775.25/1089.51 c Finding binary XORs T: 0.12 s found: 34
35088.48/1099.33 c N dy 7540 1456030 15874 52420 125721 201104 229704 2729387 7.97 8.53
35663.84/1117.37 c N dy 7610 1476107 15873 52420 126031 220893 229704 3320461 7.96 8.50
36108.14/1131.23 c Finding binary XORs T: 0.12 s found: 7
36377.23/1139.67 c N dy 7716 1496125 15867 52411 127070 189936 229644 2363839 7.97 8.57
36750.65/1151.33 c Finding binary XORs T: 0.12 s found: 9
37035.13/1160.24 c N dy 7801 1516477 15867 52385 127984 210124 229554 3121862 7.97 8.47
37703.17/1181.16 c N dy 7902 1536496 15865 52385 128493 229976 229554 3776087 7.97 8.45
38093.13/1193.37 c Finding binary XORs T: 0.12 s found: 15
38096.32/1193.44 c Replacing 167 vars Replaced 45853 lits Time: 0.07 s
38396.74/1202.85 c N dy 8022 1556834 15697 52153 128350 198170 228456 2480399 7.98 8.45
39004.06/1221.89 c N dy 8119 1576924 15697 52153 128753 218079 228456 3202835 7.99 8.50
39269.33/1230.14 c Finding binary XORs T: 0.11 s found: 12
39659.32/1242.39 c N dy 8227 1597241 15697 52153 130888 185159 228455 1816669 7.99 8.54
39863.90/1248.72 c Finding binary XORs T: 0.11 s found: 4
40257.04/1261.03 c N dy 8332 1617261 15693 52146 131662 204950 228413 2590725 8.00 11.50
40870.79/1280.28 c N dy 8424 1637596 15692 52146 132247 225150 228413 3285742 8.00 8.54
40886.76/1280.74 c Finding binary XORs T: 0.11 s found: 51
41586.78/1302.61 c N dy 8542 1657633 15690 51944 132572 191138 227633 1886996 8.01 8.45
41928.79/1313.38 c Finding binary XORs T: 0.11 s found: 36
42219.67/1322.46 c N dy 8645 1678480 15687 51921 137810 211771 227561 2638848 8.01 8.45
42644.82/1335.74 c Finding binary XORs T: 0.11 s found: 9
42855.76/1342.35 c N dy 8753 1698495 15686 51917 137941 231536 227525 3321535 8.01 11.55
43290.49/1355.93 c S st 8827 1710281 15685 51917 138020 243239 227525 3811341 8.02 7.35
43309.67/1356.57 c S st 8827 1710786 15685 51917 138021 243737 227525 3826320 8.02 no data
43312.86/1356.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
43655.50/1367.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7 Bins: 272 BRemL: 2283 BRemN: 1 P: 200.1M T: 10.76
43661.28/1367.54 c Replacing 119 vars Replaced 19106 lits Time: 0.15 s
43661.28/1367.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
43664.48/1367.66 c bin-w-bin subsume rem 36433 bins time: 0.07 s
43667.65/1367.71 c subs with bin: 971 lits-rem: 724 v-fix: 0 time: 0.05 s
43670.84/1367.82 c Subs w/ non-existent bins: 6 l-rem: 148 v-fix: 0 done: 15566 time: 0.11 s
43670.84/1367.87 c Removed useless bin: 250 fixed: 0 props: 0.96M time: 0.04 s
43680.44/1368.15 c lits-rem: 7 cl-subs: 422 v-elim: 267 v-fix: 0 time: 0.28 s
43760.95/1370.64 c subs with bin: 286 lits-rem: 6741 v-fix: 0 time: 2.05 s
43920.17/1375.69 c lits-rem: 18456 cl-subs: 4594 v-elim: 0 v-fix: 0 time: 5.03 s
43926.57/1375.84 c vivif2 -- cl tried 50351 cl shrink 1037 lits rem 1543 time: 0.15
43996.90/1378.02 c vivif2 -- cl tried 236778 cl shrink 30237 lits rem 226137 time: 2.18
44010.31/1378.44 c asymm cl-useful: 0/210/49832 lits-rem:0 time: 0.42
44012.86/1378.50 c calculated reachability. Time: 0.04
44012.86/1378.50 c N dy 8827 1710786 15299 49832 94220 236742 218523 3287052 8.02 no data
44016.06/1378.64 c Finding binary XORs T: 0.14 s found: 31
44425.25/1391.44 c Finding binary XORs T: 0.13 s found: 4
44710.30/1400.42 c N dy 8899 1730856 15296 49828 95339 199554 218487 2321892 8.02 9.64
45428.92/1422.83 c N dy 9001 1751241 15296 49828 95767 219794 218487 3193304 8.02 8.46
46090.58/1443.59 c N dy 9087 1771327 15296 49828 95998 239741 218487 3977787 8.02 12.33
46339.91/1451.39 c Finding binary XORs T: 0.13 s found: 4
46880.11/1468.26 c N dy 9187 1791546 15295 49826 95999 203901 218466 2140597 8.03 8.58
47548.17/1489.15 c N dy 9287 1811549 15292 49826 96047 223776 218466 2963882 8.03 8.55
48181.05/1508.90 c N dy 9384 1831726 15292 49826 96107 243777 218466 3722904 8.03 8.47
48903.48/1531.56 c N dy 9490 1852388 15292 49826 96170 207135 218466 2041501 8.04 8.58
49510.82/1550.51 c N dy 9569 1872446 15291 49826 96219 227019 218466 2741893 8.04 9.95
49865.64/1561.64 c Finding binary XORs T: 0.14 s found: 3
50246.03/1573.59 c N dy 9669 1892527 15290 49811 96429 246950 218352 3558324 8.04 9.28
51141.02/1601.57 c N dy 9789 1912953 15290 49811 96495 209270 218352 2037361 8.05 8.53
51802.69/1622.25 c Finding binary XORs T: 0.13 s found: 4
51831.48/1623.11 c N dy 9883 1933030 15289 49809 96965 229088 218334 2741999 8.05 9.01
52563.46/1646.05 c N dy 10002 1953163 15289 49809 97199 249073 218334 3463250 8.06 8.56
53298.63/1669.10 c N dy 10085 1973429 15288 49809 97312 269151 218334 4151495 8.06 8.80
53426.49/1673.00 c Finding binary XORs T: 0.13 s found: 3
53996.07/1690.88 c N dy 10185 1994211 15287 49804 97830 230956 218310 2675670 8.06 8.55
54602.75/1709.88 c Finding binary XORs T: 0.12 s found: 8
54637.92/1710.92 c N dy 10283 2014334 15285 49795 98316 250923 218247 3405794 8.06 8.55
55226.71/1729.37 c Finding binary XORs T: 0.12 s found: 40
55341.15/1732.96 c N dy 10377 2034432 15284 49601 99694 270835 217548 4121448 8.06 8.58
55651.19/1742.67 c Finding binary XORs T: 0.12 s found: 1
56082.73/1756.17 c N dy 10481 2054775 15283 49601 101114 231821 217548 2592225 8.07 8.56
56232.96/1760.88 c Finding binary XORs T: 0.12 s found: 13
56789.10/1778.23 c N dy 10594 2074796 15280 49594 101593 251672 217517 3378343 8.07 8.52
56907.39/1781.91 c Finding binary XORs T: 0.12 s found: 9
57342.07/1795.59 c Finding binary XORs T: 0.12 s found: 14
57569.04/1802.66 c N dy 10711 2094888 15278 49580 103517 271639 217433 4192182 8.08 12.44
58301.00/1825.51 c Finding binary XORs T: 0.12 s found: 18
58358.53/1827.39 c N dy 10819 2114962 15271 49543 103503 230868 217309 2407712 8.09 9.95
59004.26/1847.59 c Finding binary XORs T: 0.12 s found: 3
59007.45/1847.68 c Replacing 155 vars Replaced 13569 lits Time: 0.09 s
59080.97/1849.95 c N dy 10911 2138437 15120 49371 103564 254005 216511 3241718 8.09 8.66
59343.04/1858.13 c Finding binary XORs T: 0.12 s found: 4
59800.17/1872.48 c N dy 11023 2158508 15118 49371 112951 273948 216511 4035932 8.10 12.13
60535.99/1895.43 c N dy 11112 2179070 15118 49371 113137 232468 216511 2303867 8.10 8.53
61049.98/1911.51 c Finding binary XORs T: 0.12 s found: 19
61232.18/1917.27 c N dy 11236 2199092 15118 49364 113460 252382 216471 3093997 8.10 8.62
61647.74/1930.24 c S st 11304 2210786 15116 49364 113528 264007 216471 3511844 8.11 6.20
61666.91/1930.86 c S st 11304 2211290 15116 49364 113528 264504 216471 3518461 8.11 no data
61670.12/1930.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
62018.49/1941.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 13 Bins: 311 BRemL: 1493 BRemN: 0 P: 200.1M T: 10.96
62024.89/1942.03 c Replacing 36 vars Replaced 5331 lits Time: 0.14 s
62024.89/1942.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
62024.89/1942.09 c bin-w-bin subsume rem 10064 bins time: 0.03 s
62028.09/1942.14 c subs with bin: 859 lits-rem: 390 v-fix: 0 time: 0.05 s
62031.28/1942.26 c Subs w/ non-existent bins: 12 l-rem: 76 v-fix: 0 done: 15080 time: 0.12 s
62034.48/1942.30 c Removed useless bin: 267 fixed: 0 props: 1.36M time: 0.04 s
62040.88/1942.59 c lits-rem: 0 cl-subs: 154 v-elim: 69 v-fix: 0 time: 0.28 s
62107.99/1944.69 c subs with bin: 407 lits-rem: 5737 v-fix: 0 time: 1.75 s
62258.86/1949.38 c lits-rem: 16863 cl-subs: 3919 v-elim: 0 v-fix: 0 time: 4.66 s
62264.61/1949.53 c vivif2 -- cl tried 48283 cl shrink 234 lits rem 337 time: 0.14
62334.94/1951.74 c vivif2 -- cl tried 258502 cl shrink 20943 lits rem 168467 time: 2.21
62350.93/1952.27 c asymm cl-useful: 0/533/48164 lits-rem:0 time: 0.53
62354.13/1952.34 c calculated reachability. Time: 0.04
62354.13/1952.34 c N dy 11304 2211290 15011 48164 100840 258438 211528 3183342 8.11 no data
62408.46/1954.07 c Finding binary XORs T: 0.14 s found: 54
63293.90/1981.77 c N dy 11434 2231294 15011 48164 101963 278332 211528 4374616 8.11 9.42
64189.48/2009.76 c Finding binary XORs T: 0.14 s found: 13
64265.60/2012.17 c N dy 11537 2251299 15009 48161 102651 232992 211490 2280546 8.12 10.33
65128.65/2039.16 c N dy 11642 2271313 15009 48161 103158 252894 211490 3443835 8.12 8.57
65991.70/2066.12 c N dy 11749 2291366 15008 48161 103226 272829 211490 4398871 8.12 8.72
67008.16/2097.98 c N dy 11884 2312042 15006 48161 103306 293379 211490 5522386 8.13 8.63
67570.73/2115.59 c Finding binary XORs T: 0.14 s found: 23
67852.03/2124.31 c N dy 11984 2335824 15005 48123 102764 253515 210958 2906373 8.13 8.56
68686.31/2150.40 c N dy 12095 2355877 15004 48123 102870 273453 210958 3890192 8.14 10.07
69437.46/2174.00 c N dy 12173 2375944 15003 48123 102896 293386 210958 4733135 8.14 10.56
69629.25/2179.96 c Finding binary XORs T: 0.14 s found: 10
70313.28/2201.33 c N dy 12292 2395990 15003 48116 103546 248440 210918 2572312 8.14 8.62
71084.24/2225.45 c N dy 12406 2416138 15003 48116 103559 268479 210918 3467937 8.15 8.60
71869.94/2250.02 c N dy 12500 2436149 15003 48116 104012 288339 210918 4283551 8.15 9.50
72052.16/2255.72 c Finding binary XORs T: 0.14 s found: 4
72790.54/2278.88 c N dy 12621 2456158 15003 48116 104234 308231 210918 5300268 8.16 8.81
73711.12/2307.62 c N dy 12745 2477025 15002 48116 104281 263095 210918 3136297 8.17 8.62
74315.91/2326.57 c Finding binary XORs T: 0.14 s found: 23
74612.45/2335.86 c N dy 12861 2497126 15002 48111 105066 283098 210894 4148678 8.17 19.15
75318.90/2357.96 c Finding binary XORs T: 0.14 s found: 11
75392.41/2360.24 c N dy 12955 2517662 15000 48104 109034 303483 210852 4967806 8.18 8.64
76236.28/2386.69 c Finding binary XORs T: 0.14 s found: 10
76421.64/2392.50 c N dy 13074 2537684 14999 48100 109970 256631 210832 2582410 8.18 9.33
76738.10/2402.41 c Finding binary XORs T: 0.14 s found: 19
76741.89/2402.50 c Replacing 167 vars Replaced 15176 lits Time: 0.09 s
77239.95/2418.10 c N dy 13180 2558432 14831 47901 111291 277027 210033 3471603 8.19 8.64
77511.64/2426.59 c Finding binary XORs T: 0.14 s found: 20
77968.74/2440.85 c Finding binary XORs T: 0.14 s found: 9
78007.70/2442.12 c N dy 13277 2578524 14830 47899 125317 296971 210015 4222529 8.19 10.85
78313.94/2451.61 c Finding binary XORs T: 0.14 s found: 10
78790.22/2466.59 c N dy 13352 2599497 14830 47899 128394 317744 210015 4973136 8.19 8.65
78914.90/2470.43 c Finding binary XORs T: 0.14 s found: 11
79650.07/2493.45 c N dy 13451 2619499 14829 47899 128527 270127 210015 3011130 8.19 9.94
80123.12/2508.27 c Finding binary XORs T: 0.13 s found: 21
80439.57/2518.15 c Finding binary XORs T: 0.13 s found: 7
80570.66/2522.24 c N dy 13564 2639567 14827 47884 142833 290035 209943 3996961 8.20 8.68
80976.57/2534.98 c Finding binary XORs T: 0.13 s found: 4
81542.37/2552.67 c N dy 13690 2660206 14827 47884 151046 310554 209943 4974697 8.21 8.65
81849.24/2562.25 c Finding binary XORs T: 0.13 s found: 13
82399.02/2579.41 c Finding binary XORs T: 0.13 s found: 8
82450.16/2581.04 c N dy 13799 2680208 14825 47877 159066 330431 209901 5807806 8.21 8.69
83031.91/2599.27 c Finding binary XORs T: 0.13 s found: 7
83412.30/2611.16 c N dy 13916 2700242 14824 47875 161299 281721 209883 3392159 8.22 10.09
83831.02/2624.27 c Finding binary XORs T: 0.13 s found: 4
83856.59/2625.06 c S st 13971 2711290 14823 47873 163286 292649 209865 3826057 8.22 7.08
83885.36/2625.97 c S st 13971 2711791 14823 47873 163286 293144 209865 3835209 8.22 no data
83888.55/2626.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
84246.59/2637.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 297 BRemL: 7562 BRemN: 3 P: 200.0M T: 11.16
84249.78/2637.32 c Replacing 117 vars Replaced 68379 lits Time: 0.10 s
84249.78/2637.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
84252.98/2637.46 c bin-w-bin subsume rem 46778 bins time: 0.10 s
84256.18/2637.51 c subs with bin: 639 lits-rem: 577 v-fix: 0 time: 0.05 s
84259.38/2637.63 c Subs w/ non-existent bins: 3 l-rem: 21 v-fix: 0 done: 14706 time: 0.11 s
84259.38/2637.67 c Removed useless bin: 70 fixed: 0 props: 1.31M time: 0.04 s
84269.58/2637.98 c lits-rem: 3 cl-subs: 195 v-elim: 121 v-fix: 0 time: 0.31 s
84329.70/2639.86 c subs with bin: 653 lits-rem: 5699 v-fix: 0 time: 1.52 s
84454.35/2643.74 c lits-rem: 14864 cl-subs: 3203 v-elim: 0 v-fix: 0 time: 3.85 s
84457.55/2643.88 c vivif2 -- cl tried 46847 cl shrink 441 lits rem 637 time: 0.14
84531.07/2646.17 c vivif2 -- cl tried 286105 cl shrink 15116 lits rem 103000 time: 2.28
84547.65/2646.69 c asymm cl-useful: 0/379/46631 lits-rem:0 time: 0.51
84550.85/2646.75 c calculated reachability. Time: 0.04
84550.85/2646.75 c N dy 13971 2711791 14585 46631 106491 286062 205565 3388191 8.22 no data
84841.11/2655.84 c Finding binary XORs T: 0.14 s found: 46
85592.27/2679.31 c N dy 14091 2731924 14585 46631 107638 306074 205565 4453388 8.22 8.72
86701.45/2714.00 c N dy 14200 2752016 14584 46631 108062 326013 205565 5690535 8.23 8.73
86794.16/2716.95 c Finding binary XORs T: 0.14 s found: 23
87177.75/2728.96 c Finding binary XORs T: 0.14 s found: 4
87877.76/2750.83 c N dy 14318 2772020 14583 46601 118900 273921 205104 3071258 8.23 10.44
88897.45/2782.72 c Finding binary XORs T: 0.14 s found: 2
88958.17/2784.65 c N dy 14415 2793036 14582 46599 119377 294750 205086 4170569 8.23 8.71
90051.37/2818.89 c N dy 14522 2813124 14581 46599 119401 314709 205086 5490597 8.24 10.45
91339.50/2859.16 c N dy 14637 2833289 14580 46599 119439 334747 205086 6601682 8.24 9.18
92365.57/2891.21 c N dy 14737 2853365 14580 46599 119487 283553 205085 3271094 8.24 11.12
93279.77/2919.87 c N dy 14856 2873499 14579 46599 119529 303570 205085 4113534 8.25 8.94
93883.89/2938.77 c Finding binary XORs T: 0.14 s found: 6
94229.11/2949.53 c Finding binary XORs T: 0.14 s found: 7
94420.91/2955.60 c N dy 14985 2893537 14579 46591 133806 323468 205025 5129784 8.26 13.91
95613.17/2992.81 c N dy 15095 2913557 14578 46591 134459 343366 205025 6143395 8.26 11.64
95747.42/2997.02 c Finding binary XORs T: 0.14 s found: 22
96054.29/3006.63 c Finding binary XORs T: 0.14 s found: 12
96488.99/3020.27 c Finding binary XORs T: 0.14 s found: 1
96578.48/3023.09 c N dy 15176 2934432 14576 46576 152807 292274 204966 3522401 8.26 8.73
97592.38/3054.78 c N dy 15250 2955188 14576 46576 153069 312854 204966 4434653 8.26 8.84
98291.80/3076.64 c Finding binary XORs T: 0.15 s found: 14
98612.05/3086.72 c Finding binary XORs T: 0.14 s found: 6
98700.96/3089.48 c N dy 15379 2975334 14576 46576 160578 332886 204966 5350885 8.27 8.72
98975.87/3098.01 c Finding binary XORs T: 0.14 s found: 1
99618.34/3118.12 c Finding binary XORs T: 0.14 s found: 8
99621.54/3118.26 c Replacing 152 vars Replaced 74528 lits Time: 0.15 s
99826.09/3124.64 c N dy 15493 2995357 14424 46430 169548 352706 204350 6196857 8.27 8.75
100305.55/3139.62 c Finding binary XORs T: 0.14 s found: 10
100781.86/3154.60 c N dy 15593 3015448 14423 46427 174538 299758 204312 3647671 8.27 10.62
101501.04/3177.01 c Finding binary XORs T: 0.14 s found: 3
101654.48/3181.89 c N dy 15674 3035638 14421 46417 181120 319798 204264 4494776 8.27 8.74
102009.28/3192.97 c Finding binary XORs T: 0.14 s found: 1
102351.30/3203.64 c Finding binary XORs T: 0.14 s found: 3
102578.27/3210.72 c N dy 15788 3055836 14420 46412 188636 339719 204240 5369781 8.28 8.88
103601.15/3242.77 c N dy 15908 3075930 14420 46412 189811 359719 204240 6332344 8.29 11.55
104572.86/3273.18 c N dy 16026 3096784 14419 46412 189996 307024 204240 3844426 8.29 8.77
104755.04/3278.83 c Finding binary XORs T: 0.14 s found: 7
105090.68/3289.34 c Finding binary XORs T: 0.14 s found: 0
105566.94/3304.21 c N dy 16148 3118155 14419 46410 197653 328251 204222 4804585 8.29 9.01
106257.38/3325.82 c Finding binary XORs T: 0.14 s found: 2
106699.09/3339.71 c N dy 16274 3139094 14418 46408 200810 349106 204204 5924702 8.30 8.85
106704.85/3339.85 c Finding binary XORs T: 0.14 s found: 2
106948.43/3347.45 c Finding binary XORs T: 0.14 s found: 2
107420.86/3362.27 c Finding binary XORs T: 0.14 s found: 0
107759.70/3372.89 c N dy 16385 3159099 14418 46408 208327 368989 204204 6844588 8.31 8.85
108769.78/3404.51 c N dy 16481 3179132 14417 46408 208398 314268 204204 3941473 8.31 9.54
109863.59/3438.65 c N dy 16576 3200256 14417 46408 208451 335270 204204 4781277 8.31 8.81
110479.87/3457.92 c S st 16620 3211791 14416 46408 208492 346744 204204 5315648 8.31 no data
110515.05/3459.06 c S st 16620 3212295 14416 46408 208493 347242 204204 5328203 8.31 no data
110518.24/3459.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
110898.61/3471.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 15 Bins: 2380 BRemL: 33442 BRemN: 15 P: 200.3M T: 11.92
110908.20/3471.31 c Replacing 45 vars Replaced 12998 lits Time: 0.22 s
110908.20/3471.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
110911.41/3471.47 c bin-w-bin subsume rem 70222 bins time: 0.11 s
110914.59/3471.52 c subs with bin: 592 lits-rem: 469 v-fix: 0 time: 0.05 s
110918.38/3471.63 c Subs w/ non-existent bins: 6 l-rem: 41 v-fix: 0 done: 14371 time: 0.12 s
110918.38/3471.67 c Removed useless bin: 124 fixed: 0 props: 1.27M time: 0.04 s
110930.57/3472.06 c lits-rem: 4 cl-subs: 183 v-elim: 117 v-fix: 0 time: 0.38 s
111023.84/3475.01 c subs with bin: 243 lits-rem: 4615 v-fix: 0 time: 2.42 s
111234.85/3481.55 c lits-rem: 15935 cl-subs: 3722 v-elim: 0 v-fix: 0 time: 6.52 s
111238.05/3481.69 c vivif2 -- cl tried 45562 cl shrink 428 lits rem 618 time: 0.14
111349.29/3485.16 c vivif2 -- cl tried 341268 cl shrink 29080 lits rem 248250 time: 3.47
111371.68/3485.80 c asymm cl-useful: 0/677/45348 lits-rem:0 time: 0.64
111371.68/3485.87 c calculated reachability. Time: 0.04
111371.68/3485.87 c N dy 16620 3212295 14254 45348 105248 341162 200076 4675280 8.31 no data
111381.27/3486.12 c Finding binary XORs T: 0.15 s found: 18
111787.24/3498.81 c Finding binary XORs T: 0.15 s found: 4
112551.19/3522.76 c N dy 16716 3232375 14250 45323 112137 361111 199587 5718267 8.31 9.40
112867.62/3532.69 c Finding binary XORs T: 0.14 s found: 2
113791.40/3561.56 c N dy 16853 3252729 14250 45322 112180 303829 199569 3388925 8.32 8.78
114683.82/3589.42 c N dy 16935 3272739 14250 45322 112578 323670 199569 4254516 8.32 11.65
115622.96/3618.81 c N dy 17026 3292820 14250 45322 112608 343629 199569 5165044 8.32 9.37
116658.60/3651.27 c N dy 17141 3312859 14249 45322 112638 363563 199569 6316654 8.32 9.03
117793.37/3686.78 c N dy 17251 3332879 14249 45322 112693 307027 199569 3223338 8.33 8.82
118701.17/3715.17 c N dy 17361 3352919 14249 45322 112717 326929 199569 4172204 8.33 11.46
119695.27/3746.22 c N dy 17451 3373128 14248 45322 112755 347026 199569 5122680 8.33 8.95
119871.09/3751.74 c Finding binary XORs T: 0.15 s found: 2
120628.62/3775.49 c N dy 17525 3393217 14247 45316 114474 366874 199528 5942276 8.33 8.78
121667.49/3807.90 c N dy 17634 3413230 14247 45316 114511 386692 199528 6761866 8.34 11.09
121939.17/3816.44 c Finding binary XORs T: 0.15 s found: 19
122620.02/3837.79 c N dy 17682 3433776 14246 45314 115489 329200 199510 3959749 8.33 8.86
123601.34/3868.49 c N dy 17798 3453873 14246 45314 115543 349159 199510 4889526 8.34 13.26
124365.27/3892.31 c Finding binary XORs T: 0.15 s found: 1
124620.97/3900.38 c N dy 17925 3474024 14244 45302 116438 369105 199444 5804763 8.34 8.79
125346.58/3923.00 c Finding binary XORs T: 0.15 s found: 1
125691.77/3933.81 c N dy 18041 3494035 14242 45299 118321 387415 199412 6626606 8.35 8.79
125979.30/3942.83 c Finding binary XORs T: 0.15 s found: 6
126604.95/3962.42 c Finding binary XORs T: 0.15 s found: 0
126799.83/3968.54 c N dy 18151 3514957 14242 45299 124055 330853 199412 4143389 8.35 8.83
127848.27/4001.38 c N dy 18239 3535706 14242 45299 124253 351502 199412 4993265 8.35 8.80
127953.77/4004.64 c Finding binary XORs T: 0.15 s found: 4
128903.12/4034.35 c N dy 18334 3556220 14242 45299 127661 371862 199412 5780547 8.35 8.81
129299.46/4046.74 c Finding binary XORs T: 0.15 s found: 4
130089.00/4071.45 c N dy 18437 3576296 14242 45299 130090 391828 199412 6731170 8.35 10.33
131121.44/4103.74 c N dy 18531 3596342 14242 45299 130153 332185 199412 3798933 8.36 8.81
131639.27/4119.98 c Finding binary XORs T: 0.14 s found: 4
132214.64/4137.96 c N dy 18646 3617096 14241 45299 130788 352848 199412 4706055 8.36 8.82
133135.20/4166.80 c Finding binary XORs T: 0.14 s found: 2
133541.16/4179.45 c N dy 18776 3637137 14239 45290 133347 372765 199352 5747422 8.37 10.53
133631.28/4182.26 c Finding binary XORs T: 0.14 s found: 6
134257.17/4201.84 c Finding binary XORs T: 0.14 s found: 8
134925.23/4222.74 c N dy 18902 3659345 14239 45290 134855 394883 199352 6831916 8.37 8.99
135992.83/4256.12 c N dy 18991 3679519 14238 45290 134911 334329 199352 3716027 8.38 8.84
136980.53/4287.03 c N dy 19119 3699727 14237 45290 135605 354467 199352 4672505 8.38 9.09
137610.23/4306.79 c S st 19161 3712295 14235 45290 135643 366960 199352 5140733 8.38 no data
137642.84/4307.73 c S st 19161 3712796 14235 45290 135643 367459 199352 5149596 8.38 no data
137645.41/4307.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
137991.23/4318.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 6 Bins: 142 BRemL: 34100 BRemN: 117 P: 200.1M T: 10.87
137997.03/4318.88 c Replacing 87 vars Replaced 11561 lits Time: 0.19 s
138000.22/4318.93 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
138000.22/4318.95 c bin-w-bin subsume rem 7810 bins time: 0.02 s
138000.22/4319.00 c subs with bin: 433 lits-rem: 255 v-fix: 0 time: 0.05 s
138006.61/4319.11 c Subs w/ non-existent bins: 10 l-rem: 44 v-fix: 0 done: 14148 time: 0.12 s
138006.61/4319.16 c Removed useless bin: 97 fixed: 0 props: 1.06M time: 0.04 s
138019.41/4319.50 c lits-rem: 0 cl-subs: 98 v-elim: 36 v-fix: 0 time: 0.35 s
138102.52/4322.13 c subs with bin: 385 lits-rem: 4716 v-fix: 0 time: 2.12 s
138265.52/4327.20 c lits-rem: 16445 cl-subs: 3759 v-elim: 0 v-fix: 0 time: 5.05 s
138268.70/4327.34 c vivif2 -- cl tried 44624 cl shrink 118 lits rem 155 time: 0.13
138377.98/4330.81 c vivif2 -- cl tried 360868 cl shrink 21939 lits rem 194290 time: 3.47
138396.56/4331.38 c asymm cl-useful: 0/610/44573 lits-rem:0 time: 0.57
138399.77/4331.45 c calculated reachability. Time: 0.04
138399.77/4331.45 c N dy 19161 3712796 14112 44573 92632 360852 196276 4585367 8.38 no data
138402.95/4331.60 c Finding binary XORs T: 0.15 s found: 7
139339.52/4360.83 c Finding binary XORs T: 0.15 s found: 8
139499.36/4365.83 c N dy 19246 3732852 14111 44557 92996 380801 195868 5666188 8.38 8.85
140506.25/4397.40 c F st 19333 3751562 14111 44557 93194 399346 195868 6684408 8.38 5.67
140512.64/4397.51 c Replacing 15 vars Replaced 1372 lits Time: 0.11 s
140653.30/4401.93 c N st 19337 3753597 14096 44545 93081 401349 195777 6817634 8.38 no data
141535.53/4429.54 c Finding binary XORs T: 0.15 s found: 7
141804.03/4437.93 c N dy 19421 3773601 14096 44545 94056 338035 195777 3891212 8.38 8.87
142855.62/4470.81 c N dy 19519 3793654 14096 44545 94111 357971 195777 4897650 8.38 10.26
143239.22/4482.82 c Finding binary XORs T: 0.15 s found: 3
143725.72/4498.06 c Finding binary XORs T: 0.15 s found: 0
143939.25/4504.75 c N dy 19616 3813703 14095 44544 96666 377860 195757 6011258 8.39 8.93
145093.78/4540.84 c N dy 19699 3833724 14094 44544 96710 397758 195757 7097057 8.39 18.46
146257.33/4577.22 c N dy 19808 3853786 14094 44544 96745 335048 195757 3473864 8.39 8.84
146841.62/4595.56 c Finding binary XORs T: 0.15 s found: 7
147420.19/4613.66 c N dy 19905 3873890 14094 44542 99281 354966 195741 4437629 8.39 9.10
147480.92/4615.54 c Finding binary XORs T: 0.15 s found: 7
148075.50/4634.12 c Finding binary XORs T: 0.15 s found: 0
148606.09/4650.76 c N dy 20010 3893933 14093 44542 102806 374909 195741 5518769 8.39 8.85
148932.14/4660.99 c Finding binary XORs T: 0.15 s found: 8
149520.28/4679.39 c Finding binary XORs T: 0.15 s found: 0
149843.73/4689.49 c N dy 20095 3914782 14091 44535 105490 394689 195699 6510367 8.39 8.85
150907.53/4722.80 c Finding binary XORs T: 0.15 s found: 5
151185.58/4731.46 c N dy 20210 3934817 14091 44533 107031 414349 195681 7419673 8.40 8.85
152064.62/4758.92 c Finding binary XORs T: 0.15 s found: 7
152425.86/4770.29 c N dy 20336 3954888 14087 44525 108643 351612 195626 4078233 8.40 10.44
152649.61/4777.30 c Finding binary XORs T: 0.15 s found: 3
153582.97/4806.41 c Finding binary XORs T: 0.15 s found: 3
153739.58/4811.31 c N dy 20436 3976863 14087 44523 110675 373462 195610 5031134 8.40 8.88
154947.84/4849.12 c N dy 20532 3996905 14087 44523 111225 393410 195610 5918036 8.40 10.32
156367.09/4893.59 c N dy 20668 4016947 14087 44523 111282 413358 195610 7029742 8.41 10.31
156489.16/4897.38 c Finding binary XORs T: 0.15 s found: 7
157661.66/4934.05 c N dy 20774 4037264 14086 44523 111608 349544 195610 3722362 8.41 8.92
158745.27/4967.95 c N dy 20909 4057648 14086 44523 111975 369825 195610 4734815 8.42 8.89
158921.06/4973.44 c Finding binary XORs T: 0.15 s found: 4
159724.02/4998.60 c N dy 20996 4078002 14085 44518 113041 390077 195586 5540890 8.42 8.89
159857.64/5002.74 c Finding binary XORs T: 0.15 s found: 7
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-3400655-1306279335/watcher-3400655-1306279335 -o /tmp/evaluation-result-3400655-1306279335/solver-3400655-1306279335 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400655-1306279335.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: 27.28 31.09 31.77 1/413 11933
/proc/meminfo: memFree=255155520/264257624 swapFree=67111528/67111528
[pid=11933] ppid=11931 vsize=403536 CPUtime=0.82 cores=0-31
/proc/11933/stat : 11933 (strangenight2-m) S 11931 11933 11907 0 -1 4202496 598 0 0 0 82 0 0 0 25 0 32 0 739419956 413220864 452 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/11933/statm: 100884 457 314 95 0 95866 0
[pid=11933/tid=11934] ppid=11931 vsize=469088 CPUtime=0.02 cores=0-31
/proc/11933/task/11934/stat : 11934 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 9 0 0 0 2 0 0 0 22 0 32 0 739419957 480346112 518 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604474586947040 0 0 -1 1 0 0 0
[pid=11933/tid=11935] ppid=11931 vsize=534624 CPUtime=0.02 cores=0-31
/proc/11933/task/11935/stat : 11935 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 4 0 0 0 2 0 0 0 23 0 32 0 739419957 547454976 546 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604502309510624 0 0 -1 2 0 0 0
[pid=11933/tid=11936] ppid=11931 vsize=469088 CPUtime=0.02 cores=0-31
/proc/11933/task/11936/stat : 11936 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 5 0 0 0 2 0 0 0 23 0 32 0 739419957 480346112 554 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604486779682272 0 0 -1 8 0 0 0
[pid=11933/tid=11937] ppid=11931 vsize=600168 CPUtime=0.02 cores=0-31
/proc/11933/task/11937/stat : 11937 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 6 0 0 0 2 0 0 0 23 0 32 0 739419957 614572032 563 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604478737817056 0 0 -1 7 0 0 0
[pid=11933/tid=11938] ppid=11931 vsize=534636 CPUtime=0.02 cores=0-31
/proc/11933/task/11938/stat : 11938 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 5 0 0 0 2 0 0 0 22 0 32 0 739419957 547467264 570 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604498514943456 0 0 -1 24 0 0 0
[pid=11933/tid=11939] ppid=11931 vsize=534636 CPUtime=0.02 cores=0-31
/proc/11933/task/11939/stat : 11939 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 6 0 0 0 2 0 0 0 23 0 32 0 739419957 547467264 590 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604502404390368 0 0 -1 16 0 0 0
[pid=11933/tid=11940] ppid=11931 vsize=534636 CPUtime=0.02 cores=0-31
/proc/11933/task/11940/stat : 11940 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 7 0 0 0 2 0 0 0 23 0 32 0 739419957 547467264 643 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604499768655328 0 0 -1 28 0 0 0
[pid=11933/tid=11941] ppid=11931 vsize=534640 CPUtime=0.02 cores=0-31
/proc/11933/task/11941/stat : 11941 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 5 0 0 0 2 0 0 0 23 0 32 0 739419957 547471360 680 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604501310176736 0 0 -1 5 0 0 0
[pid=11933/tid=11942] ppid=11931 vsize=534640 CPUtime=0.02 cores=0-31
/proc/11933/task/11942/stat : 11942 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 6 0 0 0 2 0 0 0 24 0 32 0 739419957 547471360 708 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604481349664224 0 0 -1 6 0 0 0
[pid=11933/tid=11943] ppid=11931 vsize=534644 CPUtime=0.02 cores=0-31
/proc/11933/task/11943/stat : 11943 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 26 0 0 0 2 0 0 0 18 0 32 0 739419957 547475456 720 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11933/tid=11944] ppid=11931 vsize=665716 CPUtime=0.02 cores=0-31
/proc/11933/task/11944/stat : 11944 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 7 0 0 0 2 0 0 0 24 0 32 0 739419957 681693184 734 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11933/tid=11945] ppid=11931 vsize=600208 CPUtime=0.02 cores=0-31
/proc/11933/task/11945/stat : 11945 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 6 0 0 0 2 0 0 0 24 0 32 0 739419957 614612992 736 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604482124881376 0 0 -1 9 0 0 0
[pid=11933/tid=11946] ppid=11931 vsize=600208 CPUtime=0.02 cores=0-31
/proc/11933/task/11946/stat : 11946 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 6 0 0 0 2 0 0 0 24 0 32 0 739419957 614612992 743 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604479029714400 0 0 -1 12 0 0 0
[pid=11933/tid=11947] ppid=11931 vsize=600180 CPUtime=0.02 cores=0-31
/proc/11933/task/11947/stat : 11947 (strangenight2-m) D 11931 11933 11907 0 -1 4202560 10 0 0 0 2 0 0 0 24 0 32 0 739419957 614584320 751 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11933/tid=11948] ppid=11931 vsize=600320 CPUtime=0.02 cores=0-31
/proc/11933/task/11948/stat : 11948 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 4 0 0 0 2 0 0 0 18 0 32 0 739419957 614727680 754 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11933/tid=11949] ppid=11931 vsize=600324 CPUtime=0.02 cores=0-31
/proc/11933/task/11949/stat : 11949 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 3 0 0 0 2 0 0 0 25 0 32 0 739419957 614731776 760 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604497008082400 0 0 -1 13 0 0 0
[pid=11933/tid=11950] ppid=11931 vsize=600328 CPUtime=0.02 cores=0-31
/proc/11933/task/11950/stat : 11950 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 61 0 0 0 2 0 0 0 25 0 32 0 739419957 614735872 784 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11933/tid=11951] ppid=11931 vsize=600332 CPUtime=0.02 cores=0-31
/proc/11933/task/11951/stat : 11951 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 6 0 0 0 2 0 0 0 24 0 32 0 739419957 614739968 798 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446744071566925904 0 0 -1 11 0 0 0
[pid=11933/tid=11952] ppid=11931 vsize=600332 CPUtime=0.02 cores=0-31
/proc/11933/task/11952/stat : 11952 (strangenight2-m) D 11931 11933 11907 0 -1 4202560 43 0 0 0 2 0 0 0 18 0 32 0 739419957 614739968 801 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11933/tid=11953] ppid=11931 vsize=600332 CPUtime=0.02 cores=0-31
/proc/11933/task/11953/stat : 11953 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 9 0 0 0 2 0 0 0 25 0 32 0 739419957 614739968 812 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11933/tid=11954] ppid=11931 vsize=731404 CPUtime=0.02 cores=0-31
/proc/11933/task/11954/stat : 11954 (strangenight2-m) D 11931 11933 11907 0 -1 4202560 21 0 0 0 2 0 0 0 18 0 32 0 739419957 748957696 822 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11933/tid=11955] ppid=11931 vsize=731404 CPUtime=0.02 cores=0-31
/proc/11933/task/11955/stat : 11955 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 6 0 0 0 2 0 0 0 25 0 32 0 739419957 748957696 835 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604481877065184 0 0 -1 21 0 0 0
[pid=11933/tid=11956] ppid=11931 vsize=731404 CPUtime=0.02 cores=0-31
/proc/11933/task/11956/stat : 11956 (strangenight2-m) D 11931 11933 11907 0 -1 4202560 7 0 0 0 2 0 0 0 25 0 32 0 739419957 748957696 835 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11933/tid=11957] ppid=11931 vsize=665868 CPUtime=0.02 cores=0-31
/proc/11933/task/11957/stat : 11957 (strangenight2-m) D 11931 11933 11907 0 -1 4202560 36 0 0 0 2 0 0 0 18 0 32 0 739419957 681848832 845 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11933/tid=11958] ppid=11931 vsize=665868 CPUtime=0.02 cores=0-31
/proc/11933/task/11958/stat : 11958 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 14 0 0 0 2 0 0 0 25 0 32 0 739419957 681848832 848 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11933/tid=11959] ppid=11931 vsize=665868 CPUtime=0.02 cores=0-31
/proc/11933/task/11959/stat : 11959 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 739419957 681848832 860 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604501138742752 0 0 -1 26 0 0 0
[pid=11933/tid=11960] ppid=11931 vsize=665872 CPUtime=0.02 cores=0-31
/proc/11933/task/11960/stat : 11960 (strangenight2-m) D 11931 11933 11907 0 -1 4202560 35 0 0 0 2 0 0 0 18 0 32 0 739419957 681852928 860 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11933/tid=11961] ppid=11931 vsize=665872 CPUtime=0.02 cores=0-31
/proc/11933/task/11961/stat : 11961 (strangenight2-m) D 11931 11933 11907 0 -1 4202560 63 0 0 0 2 0 0 0 18 0 32 0 739419957 681852928 860 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11933/tid=11962] ppid=11931 vsize=665876 CPUtime=0.02 cores=0-31
/proc/11933/task/11962/stat : 11962 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 7 0 0 0 2 0 0 0 25 0 32 0 739419957 681857024 862 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604569928785376 0 0 -1 30 0 0 0
[pid=11933/tid=11963] ppid=11931 vsize=665880 CPUtime=0.02 cores=0-31
/proc/11933/task/11963/stat : 11963 (strangenight2-m) D 11931 11933 11907 0 -1 4202560 7 0 0 0 2 0 0 0 25 0 32 0 739419957 681861120 867 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11933/tid=11964] ppid=11931 vsize=665884 CPUtime=0.01 cores=0-31
/proc/11933/task/11964/stat : 11964 (strangenight2-m) D 11931 11933 11907 0 -1 4202560 71 0 0 0 1 0 0 0 18 0 32 0 739419957 681865216 869 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[startup+0.111334 s]
/proc/loadavg: 27.28 31.09 31.77 1/413 11933
/proc/meminfo: memFree=255155520/264257624 swapFree=67111528/67111528
[pid=11933] ppid=11931 vsize=1327128 CPUtime=2.06 cores=0-31
/proc/11933/stat : 11933 (strangenight2-m) S 11931 11933 11907 0 -1 4202496 12711 0 0 0 97 109 0 0 17 0 32 0 739419956 1358979072 12567 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/11933/statm: 331782 12577 334 95 0 326764 0
[pid=11933/tid=11934] ppid=11931 vsize=1327128 CPUtime=0.06 cores=0-31
/proc/11933/task/11934/stat : 11934 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 394 0 0 0 3 3 0 0 17 0 32 0 739419957 1358979072 12585 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604575263186400 0 0 -1 1 0 0 0
[pid=11933/tid=11935] ppid=11931 vsize=1327128 CPUtime=0.06 cores=0-31
/proc/11933/task/11935/stat : 11935 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 400 0 0 0 3 3 0 0 17 0 32 0 739419957 1358979072 12602 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604504364809696 0 0 -1 2 0 0 0
[pid=11933/tid=11936] ppid=11931 vsize=1327288 CPUtime=0.05 cores=0-31
/proc/11933/task/11936/stat : 11936 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 382 0 0 0 3 2 0 0 17 0 32 0 739419957 1359142912 12613 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604504665357792 0 0 -1 8 0 0 0
[pid=11933/tid=11937] ppid=11931 vsize=1327288 CPUtime=0.06 cores=0-31
/proc/11933/task/11937/stat : 11937 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 328 0 0 0 3 3 0 0 17 0 32 0 739419957 1359142912 12617 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11933/tid=11938] ppid=11931 vsize=1327288 CPUtime=0.05 cores=0-31
/proc/11933/task/11938/stat : 11938 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 357 0 0 0 2 3 0 0 17 0 32 0 739419957 1359142912 12618 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11933/tid=11939] ppid=11931 vsize=1327420 CPUtime=0.04 cores=0-31
/proc/11933/task/11939/stat : 11939 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 369 0 0 0 2 2 0 0 17 0 32 0 739419957 1359278080 12624 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11933/tid=11940] ppid=11931 vsize=1327420 CPUtime=0.06 cores=0-31
/proc/11933/task/11940/stat : 11940 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 402 0 0 0 3 3 0 0 17 0 32 0 739419957 1359278080 12641 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11933/tid=11941] ppid=11931 vsize=1327420 CPUtime=0.06 cores=0-31
/proc/11933/task/11941/stat : 11941 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 386 0 0 0 3 3 0 0 17 0 32 0 739419957 1359278080 12650 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446744071566926624 0 0 -1 5 0 0 0
[pid=11933/tid=11942] ppid=11931 vsize=1327420 CPUtime=0.05 cores=0-31
/proc/11933/task/11942/stat : 11942 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 382 0 0 0 2 3 0 0 17 0 32 0 739419957 1359278080 12662 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11933/tid=11943] ppid=11931 vsize=1327420 CPUtime=0.05 cores=0-31
/proc/11933/task/11943/stat : 11943 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 408 0 0 0 2 3 0 0 17 0 32 0 739419957 1359278080 12670 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11933/tid=11944] ppid=11931 vsize=1327552 CPUtime=0.06 cores=0-31
/proc/11933/task/11944/stat : 11944 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 396 0 0 0 3 3 0 0 17 0 32 0 739419957 1359413248 12673 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604575263186400 0 0 -1 0 0 0 0
[pid=11933/tid=11945] ppid=11931 vsize=1327552 CPUtime=0.06 cores=0-31
/proc/11933/task/11945/stat : 11945 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 401 0 0 0 3 3 0 0 17 0 32 0 739419957 1359413248 12675 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604474586947040 0 0 -1 9 0 0 0
[pid=11933/tid=11946] ppid=11931 vsize=1327552 CPUtime=0.06 cores=0-31
/proc/11933/task/11946/stat : 11946 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 349 0 0 0 3 3 0 0 17 0 32 0 739419957 1359413248 12689 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604478737817056 0 0 -1 12 0 0 0
[pid=11933/tid=11947] ppid=11931 vsize=1327552 CPUtime=0.06 cores=0-31
/proc/11933/task/11947/stat : 11947 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 359 0 0 0 3 3 0 0 17 0 32 0 739419957 1359413248 12691 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604504364809696 0 0 -1 4 0 0 0
[pid=11933/tid=11948] ppid=11931 vsize=1327684 CPUtime=0.05 cores=0-31
/proc/11933/task/11948/stat : 11948 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 367 0 0 0 2 3 0 0 17 0 32 0 739419957 1359548416 12699 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604484695662048 0 0 -1 10 0 0 0
[pid=11933/tid=11949] ppid=11931 vsize=1327684 CPUtime=0.05 cores=0-31
/proc/11933/task/11949/stat : 11949 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 396 0 0 0 2 3 0 0 17 0 32 0 739419957 1359548416 12702 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604483982679520 0 0 -1 13 0 0 0
[pid=11933/tid=11950] ppid=11931 vsize=1327684 CPUtime=0.06 cores=0-31
/proc/11933/task/11950/stat : 11950 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 346 0 0 0 3 3 0 0 17 0 32 0 739419957 1359548416 12725 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604504665357792 0 0 -1 14 0 0 0
[pid=11933/tid=11951] ppid=11931 vsize=1327684 CPUtime=0.06 cores=0-31
/proc/11933/task/11951/stat : 11951 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 425 0 0 0 3 3 0 0 17 0 32 0 739419957 1359548416 12736 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604479726853600 0 0 -1 11 0 0 0
[pid=11933/tid=11952] ppid=11931 vsize=1327684 CPUtime=0.05 cores=0-31
/proc/11933/task/11952/stat : 11952 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 385 0 0 0 2 3 0 0 17 0 32 0 739419957 1359548416 12753 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11933/tid=11953] ppid=11931 vsize=1327816 CPUtime=0.07 cores=0-31
/proc/11933/task/11953/stat : 11953 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 406 0 0 0 3 4 0 0 17 0 32 0 739419957 1359683584 12766 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11933/tid=11954] ppid=11931 vsize=1327816 CPUtime=0.06 cores=0-31
/proc/11933/task/11954/stat : 11954 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 393 0 0 0 3 3 0 0 17 0 32 0 739419957 1359683584 12778 268435456000 4194304 4580107 140734631246576 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11933/tid=11955] ppid=11931 vsize=1327816 CPUtime=0.06 cores=0-31
/proc/11933/task/11955/stat : 11955 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 316 0 0 0 2 4 0 0 17 0 32 0 739419957 1359683584 12780 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11933/tid=11956] ppid=11931 vsize=1327948 CPUtime=0.06 cores=0-31
/proc/11933/task/11956/stat : 11956 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 402 0 0 0 3 3 0 0 17 0 32 0 739419957 1359818752 12783 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11933/tid=11957] ppid=11931 vsize=1327948 CPUtime=0.06 cores=0-31
/proc/11933/task/11957/stat : 11957 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 467 0 0 0 3 3 0 0 17 0 32 0 739419957 1359818752 12787 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11933/tid=11958] ppid=11931 vsize=1327948 CPUtime=0.06 cores=0-31
/proc/11933/task/11958/stat : 11958 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 384 0 0 0 3 3 0 0 17 0 32 0 739419957 1359818752 12795 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604502404390368 0 0 -1 25 0 0 0
[pid=11933/tid=11959] ppid=11931 vsize=1327948 CPUtime=0.06 cores=0-31
/proc/11933/task/11959/stat : 11959 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 424 0 0 0 3 3 0 0 17 0 32 0 739419957 1359818752 12802 268435456000 4194304 4580107 140734631246576 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11933/tid=11960] ppid=11931 vsize=1327948 CPUtime=0.05 cores=0-31
/proc/11933/task/11960/stat : 11960 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 419 0 0 0 2 3 0 0 17 0 32 0 739419957 1359818752 12816 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604504509038048 0 0 -1 23 0 0 0
[pid=11933/tid=11961] ppid=11931 vsize=1327948 CPUtime=0.06 cores=0-31
/proc/11933/task/11961/stat : 11961 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 398 0 0 0 3 3 0 0 17 0 32 0 739419957 1359818752 12817 268435456000 4194304 4580107 140734631246576 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11933/tid=11962] ppid=11931 vsize=1327948 CPUtime=0.05 cores=0-31
/proc/11933/task/11962/stat : 11962 (strangenight2-m) D 11931 11933 11907 0 -1 4202560 394 0 0 0 2 3 0 0 17 0 32 0 739419957 1359818752 12819 268435456000 4194304 4580107 140734631246576 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11933/tid=11963] ppid=11931 vsize=1327948 CPUtime=0.05 cores=0-31
/proc/11933/task/11963/stat : 11963 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 407 0 0 0 2 3 0 0 17 0 32 0 739419957 1359818752 12836 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604494456471008 0 0 -1 27 0 0 0
[pid=11933/tid=11964] ppid=11931 vsize=1327948 CPUtime=0.03 cores=0-31
/proc/11933/task/11964/stat : 11964 (strangenight2-m) S 11931 11933 11907 0 -1 4202560 455 0 0 0 1 2 0 0 17 0 32 0 739419957 1359818752 12848 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 18446604502404390368 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 1327128
[startup+0.203342 s]
/proc/loadavg: 27.28 31.09 31.77 1/413 11933
/proc/meminfo: memFree=255155520/264257624 swapFree=67111528/67111528
[pid=11933] ppid=11931 vsize=1345700 CPUtime=3.62 cores=0-31
/proc/11933/stat : 11933 (strangenight2-m) R 11931 11933 11907 0 -1 4202496 27265 0 0 0 149 213 0 0 17 0 32 0 739419956 1377996800 24086 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/11933/statm: 336425 24089 334 95 0 331407 0
[pid=11933/tid=11934] ppid=11931 vsize=1345700 CPUtime=0.12 cores=0-31
/proc/11933/task/11934/stat : 11934 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 870 0 0 0 5 7 0 0 17 0 32 0 739419957 1377996800 24091 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11933/tid=11935] ppid=11931 vsize=1345700 CPUtime=0.11 cores=0-31
/proc/11933/task/11935/stat : 11935 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 864 0 0 0 5 6 0 0 17 0 32 0 739419957 1377996800 24095 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11933/tid=11936] ppid=11931 vsize=1345700 CPUtime=0.1 cores=0-31
/proc/11933/task/11936/stat : 11936 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 805 0 0 0 5 5 0 0 17 0 32 0 739419957 1377996800 24100 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11933/tid=11937] ppid=11931 vsize=1345700 CPUtime=0.1 cores=0-31
/proc/11933/task/11937/stat : 11937 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 850 0 0 0 4 6 0 0 17 0 32 0 739419957 1377996800 24103 268435456000 4194304 4580107 140734631246576 18446744073709551615 4307028 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11933/tid=11938] ppid=11931 vsize=1345700 CPUtime=0.1 cores=0-31
/proc/11933/task/11938/stat : 11938 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 862 0 0 0 4 6 0 0 17 0 32 0 739419957 1377996800 24110 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11933/tid=11939] ppid=11931 vsize=1345700 CPUtime=0.08 cores=0-31
/proc/11933/task/11939/stat : 11939 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 614 0 0 0 3 5 0 0 17 0 32 0 739419957 1377996800 24114 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11933/tid=11940] ppid=11931 vsize=1345700 CPUtime=0.1 cores=0-31
/proc/11933/task/11940/stat : 11940 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 863 0 0 0 4 6 0 0 17 0 32 0 739419957 1377996800 24116 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11933/tid=11941] ppid=11931 vsize=1345700 CPUtime=0.11 cores=0-31
/proc/11933/task/11941/stat : 11941 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 806 0 0 0 5 6 0 0 17 0 32 0 739419957 1377996800 24122 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11933/tid=11942] ppid=11931 vsize=1345700 CPUtime=0.1 cores=0-31
/proc/11933/task/11942/stat : 11942 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 861 0 0 0 3 7 0 0 17 0 32 0 739419957 1377996800 24128 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11933/tid=11943] ppid=11931 vsize=1345700 CPUtime=0.1 cores=0-31
/proc/11933/task/11943/stat : 11943 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 949 0 0 0 4 6 0 0 17 0 32 0 739419957 1377996800 24137 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11933/tid=11944] ppid=11931 vsize=1345700 CPUtime=0.11 cores=0-31
/proc/11933/task/11944/stat : 11944 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 844 0 0 0 5 6 0 0 17 0 32 0 739419957 1377996800 24141 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11933/tid=11945] ppid=11931 vsize=1345700 CPUtime=0.11 cores=0-31
/proc/11933/task/11945/stat : 11945 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 852 0 0 0 5 6 0 0 17 0 32 0 739419957 1377996800 24145 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11933/tid=11946] ppid=11931 vsize=1345700 CPUtime=0.09 cores=0-31
/proc/11933/task/11946/stat : 11946 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 752 0 0 0 4 5 0 0 17 0 32 0 739419957 1377996800 24146 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11933/tid=11947] ppid=11931 vsize=1345700 CPUtime=0.1 cores=0-31
/proc/11933/task/11947/stat : 11947 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 706 0 0 0 4 6 0 0 17 0 32 0 739419957 1377996800 24151 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11933/tid=11948] ppid=11931 vsize=1345700 CPUtime=0.1 cores=0-31
/proc/11933/task/11948/stat : 11948 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 816 0 0 0 4 6 0 0 17 0 32 0 739419957 1377996800 24155 268435456000 4194304 4580107 140734631246576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11933/tid=11949] ppid=11931 vsize=1345700 CPUtime=0.11 cores=0-31
/proc/11933/task/11949/stat : 11949 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 854 0 0 0 4 7 0 0 17 0 32 0 739419957 1377996800 24160 268435456000 4194304 4580107 140734631246576 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11933/tid=11950] ppid=11931 vsize=1345700 CPUtime=0.1 cores=0-31
################
# More data... #
################
[pid=11933/tid=11943] ppid=11931 vsize=23242448 CPUtime=4936.71 cores=0-31
/proc/11933/task/11943/stat : 11943 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 361569 0 0 0 493330 341 0 0 25 0 32 0 739419957 23800266752 4764900 268435456000 4194304 4580107 140734631246576 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11933/tid=11944] ppid=11931 vsize=23242448 CPUtime=4958.08 cores=0-31
/proc/11933/task/11944/stat : 11944 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 369547 0 0 0 495497 311 0 0 25 0 32 0 739419957 23800266752 4764900 268435456000 4194304 4580107 140734631246576 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11933/tid=11945] ppid=11931 vsize=23242448 CPUtime=4959.69 cores=0-31
/proc/11933/task/11945/stat : 11945 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 349712 0 0 0 495651 318 0 0 25 0 32 0 739419957 23800266752 4764900 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11933/tid=11946] ppid=11931 vsize=23242448 CPUtime=4959.8 cores=0-31
/proc/11933/task/11946/stat : 11946 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 328883 0 0 0 495693 287 0 0 25 0 32 0 739419957 23800266752 4764900 268435456000 4194304 4580107 140734631246576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11933/tid=11947] ppid=11931 vsize=23242448 CPUtime=4959.63 cores=0-31
/proc/11933/task/11947/stat : 11947 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 350456 0 0 0 495639 324 0 0 25 0 32 0 739419957 23800266752 4764900 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11933/tid=11948] ppid=11931 vsize=23242448 CPUtime=4958.94 cores=0-31
/proc/11933/task/11948/stat : 11948 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 352454 0 0 0 495569 325 0 0 25 0 32 0 739419957 23800266752 4764900 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11933/tid=11949] ppid=11931 vsize=23242448 CPUtime=4959.76 cores=0-31
/proc/11933/task/11949/stat : 11949 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 316217 0 0 0 495673 303 0 0 25 0 32 0 739419957 23800266752 4764900 268435456000 4194304 4580107 140734631246576 18446744073709551615 4502088 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11933/tid=11950] ppid=11931 vsize=23242448 CPUtime=4959.2 cores=0-31
/proc/11933/task/11950/stat : 11950 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 345311 0 0 0 495608 312 0 0 25 0 32 0 739419957 23800266752 4764900 268435456000 4194304 4580107 140734631246576 18446744073709551615 4325710 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11933/tid=11951] ppid=11931 vsize=23242448 CPUtime=4955 cores=0-31
/proc/11933/task/11951/stat : 11951 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 343324 0 0 0 495176 324 0 0 25 0 32 0 739419957 23800266752 4764900 268435456000 4194304 4580107 140734631246576 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11933/tid=11952] ppid=11931 vsize=23242448 CPUtime=4959.73 cores=0-31
/proc/11933/task/11952/stat : 11952 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 346207 0 0 0 495632 341 0 0 25 0 32 0 739419957 23800266752 4764900 268435456000 4194304 4580107 140734631246576 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11933/tid=11953] ppid=11931 vsize=23242448 CPUtime=4959.46 cores=0-31
/proc/11933/task/11953/stat : 11953 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 354285 0 0 0 495608 338 0 0 25 0 32 0 739419957 23800266752 4764900 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11933/tid=11954] ppid=11931 vsize=23242448 CPUtime=4932.94 cores=0-31
/proc/11933/task/11954/stat : 11954 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 350888 0 0 0 492965 329 0 0 25 0 32 0 739419957 23800266752 4764900 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11933/tid=11955] ppid=11931 vsize=23242448 CPUtime=4959.8 cores=0-31
/proc/11933/task/11955/stat : 11955 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 272626 0 0 0 495707 273 0 0 25 0 32 0 739419957 23800266752 4764901 268435456000 4194304 4580107 140734631246576 18446744073709551615 4397329 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11933/tid=11956] ppid=11931 vsize=23242448 CPUtime=4921.17 cores=0-31
/proc/11933/task/11956/stat : 11956 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 305517 0 0 0 491819 298 0 0 25 0 32 0 739419957 23800266752 4764901 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11933/tid=11957] ppid=11931 vsize=23242448 CPUtime=4955.66 cores=0-31
/proc/11933/task/11957/stat : 11957 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 327702 0 0 0 495248 318 0 0 25 0 32 0 739419957 23800266752 4764901 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=11933/tid=11958] ppid=11931 vsize=23242448 CPUtime=4959.72 cores=0-31
/proc/11933/task/11958/stat : 11958 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 340775 0 0 0 495641 331 0 0 25 0 32 0 739419957 23800266752 4764901 268435456000 4194304 4580107 140734631246576 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11933/tid=11959] ppid=11931 vsize=23242448 CPUtime=4959.66 cores=0-31
/proc/11933/task/11959/stat : 11959 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 330724 0 0 0 495668 298 0 0 25 0 32 0 739419957 23800266752 4764901 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11933/tid=11960] ppid=11931 vsize=23242448 CPUtime=4950.06 cores=0-31
/proc/11933/task/11960/stat : 11960 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 342061 0 0 0 494714 292 0 0 25 0 32 0 739419957 23800266752 4764901 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11933/tid=11961] ppid=11931 vsize=23242448 CPUtime=4959.9 cores=0-31
/proc/11933/task/11961/stat : 11961 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 231808 0 0 0 495743 247 0 0 25 0 32 0 739419957 23800266752 4764901 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11933/tid=11962] ppid=11931 vsize=23242448 CPUtime=4959.81 cores=0-31
/proc/11933/task/11962/stat : 11962 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 309833 0 0 0 495680 301 0 0 25 0 32 0 739419957 23800266752 4764901 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11933/tid=11963] ppid=11931 vsize=23242448 CPUtime=4949.11 cores=0-31
/proc/11933/task/11963/stat : 11963 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 335451 0 0 0 494604 307 0 0 25 0 32 0 739419957 23800266752 4764901 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11933/tid=11964] ppid=11931 vsize=23242448 CPUtime=4959.89 cores=0-31
/proc/11933/task/11964/stat : 11964 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 156298 0 0 0 495825 164 0 0 25 0 32 0 739419957 23800266752 4764901 268435456000 4194304 4580107 140734631246576 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 158566
Current children cumulated vsize (KiB) 23242448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5007.2 s]
/proc/loadavg: 32.24 32.20 32.13 34/445 12114
/proc/meminfo: memFree=236041448/264257624 swapFree=67111528/67111528
[pid=11933] ppid=11931 vsize=23788860 CPUtime=160003 cores=0-31
/proc/11933/stat : 11933 (strangenight2-m) R 11931 11933 11907 0 -1 4202496 10726771 0 0 0 15990363 9908 0 0 25 0 32 0 739419956 24359792640 4771250 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11933/statm: 5947215 4771250 383 95 0 5942197 0
[pid=11933/tid=11934] ppid=11931 vsize=23788860 CPUtime=5004.7 cores=0-31
/proc/11933/task/11934/stat : 11934 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 346625 0 0 0 500153 317 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11933/tid=11935] ppid=11931 vsize=23788860 CPUtime=5004.56 cores=0-31
/proc/11933/task/11935/stat : 11935 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 361245 0 0 0 500120 336 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11933/tid=11936] ppid=11931 vsize=23788860 CPUtime=4998.45 cores=0-31
/proc/11933/task/11936/stat : 11936 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 396211 0 0 0 499517 328 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4318719 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11933/tid=11937] ppid=11931 vsize=23788860 CPUtime=4992.37 cores=0-31
/proc/11933/task/11937/stat : 11937 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 352929 0 0 0 498906 331 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11933/tid=11938] ppid=11931 vsize=23788860 CPUtime=5004.48 cores=0-31
/proc/11933/task/11938/stat : 11938 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 299609 0 0 0 500183 265 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11933/tid=11939] ppid=11931 vsize=23788860 CPUtime=5003.75 cores=0-31
/proc/11933/task/11939/stat : 11939 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 382965 0 0 0 500011 364 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11933/tid=11940] ppid=11931 vsize=23788860 CPUtime=5004.58 cores=0-31
/proc/11933/task/11940/stat : 11940 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 400071 0 0 0 500126 332 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11933/tid=11941] ppid=11931 vsize=23788860 CPUtime=5004.77 cores=0-31
/proc/11933/task/11941/stat : 11941 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 366128 0 0 0 500165 312 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11933/tid=11942] ppid=11931 vsize=23788860 CPUtime=5004.55 cores=0-31
/proc/11933/task/11942/stat : 11942 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 319000 0 0 0 500150 305 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11933/tid=11943] ppid=11931 vsize=23788860 CPUtime=4981.64 cores=0-31
/proc/11933/task/11943/stat : 11943 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 367660 0 0 0 497819 345 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11933/tid=11944] ppid=11931 vsize=23788860 CPUtime=5003.01 cores=0-31
/proc/11933/task/11944/stat : 11944 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 370812 0 0 0 499988 313 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11933/tid=11945] ppid=11931 vsize=23788860 CPUtime=5004.62 cores=0-31
/proc/11933/task/11945/stat : 11945 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 350247 0 0 0 500144 318 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11933/tid=11946] ppid=11931 vsize=23788860 CPUtime=5004.73 cores=0-31
/proc/11933/task/11946/stat : 11946 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 329670 0 0 0 500185 288 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11933/tid=11947] ppid=11931 vsize=23788860 CPUtime=5004.57 cores=0-31
/proc/11933/task/11947/stat : 11947 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 350456 0 0 0 500133 324 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11933/tid=11948] ppid=11931 vsize=23788860 CPUtime=5003.87 cores=0-31
/proc/11933/task/11948/stat : 11948 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 353714 0 0 0 500061 326 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11933/tid=11949] ppid=11931 vsize=23788860 CPUtime=5004.68 cores=0-31
/proc/11933/task/11949/stat : 11949 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 324419 0 0 0 500163 305 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11933/tid=11950] ppid=11931 vsize=23788860 CPUtime=5004.13 cores=0-31
/proc/11933/task/11950/stat : 11950 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 346628 0 0 0 500100 313 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11933/tid=11951] ppid=11931 vsize=23788860 CPUtime=4999.93 cores=0-31
/proc/11933/task/11951/stat : 11951 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 344471 0 0 0 499667 326 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11933/tid=11952] ppid=11931 vsize=23788860 CPUtime=5004.66 cores=0-31
/proc/11933/task/11952/stat : 11952 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 347698 0 0 0 500123 343 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11933/tid=11953] ppid=11931 vsize=23788860 CPUtime=5004.39 cores=0-31
/proc/11933/task/11953/stat : 11953 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 355298 0 0 0 500100 339 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11933/tid=11954] ppid=11931 vsize=23788860 CPUtime=4977.88 cores=0-31
/proc/11933/task/11954/stat : 11954 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 350888 0 0 0 497459 329 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11933/tid=11955] ppid=11931 vsize=23788860 CPUtime=5004.74 cores=0-31
/proc/11933/task/11955/stat : 11955 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 274917 0 0 0 500199 275 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11933/tid=11956] ppid=11931 vsize=23788860 CPUtime=4966.1 cores=0-31
/proc/11933/task/11956/stat : 11956 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 311543 0 0 0 496309 301 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11933/tid=11957] ppid=11931 vsize=23788860 CPUtime=4999.3 cores=0-31
/proc/11933/task/11957/stat : 11957 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 328635 0 0 0 499611 319 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=11933/tid=11958] ppid=11931 vsize=23788860 CPUtime=5004.65 cores=0-31
/proc/11933/task/11958/stat : 11958 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 341354 0 0 0 500133 332 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11933/tid=11959] ppid=11931 vsize=23788860 CPUtime=5004.59 cores=0-31
/proc/11933/task/11959/stat : 11959 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 331851 0 0 0 500159 300 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11933/tid=11960] ppid=11931 vsize=23788860 CPUtime=4995 cores=0-31
/proc/11933/task/11960/stat : 11960 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 342625 0 0 0 499207 293 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11933/tid=11961] ppid=11931 vsize=23788860 CPUtime=5004.83 cores=0-31
/proc/11933/task/11961/stat : 11961 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 232013 0 0 0 500235 248 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11933/tid=11962] ppid=11931 vsize=23788860 CPUtime=5004.75 cores=0-31
/proc/11933/task/11962/stat : 11962 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 315736 0 0 0 500171 304 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11933/tid=11963] ppid=11931 vsize=23788860 CPUtime=4994.04 cores=0-31
/proc/11933/task/11963/stat : 11963 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 335507 0 0 0 499097 307 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11933/tid=11964] ppid=11931 vsize=23788860 CPUtime=5004.83 cores=0-31
/proc/11933/task/11964/stat : 11964 (strangenight2-m) R 11931 11933 11907 0 -1 4202560 157621 0 0 0 500318 165 0 0 25 0 32 0 739419957 24359792640 4771251 268435456000 4194304 4580107 140734631246576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 23788860
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.24 32.20 32.13 34/445 12114
/proc/meminfo: memFree=236041448/264257624 swapFree=67111528/67111528
[pid=11933] ppid=11931 vsize=0 CPUtime=160004 cores=0-31
/proc/11933/stat : 11933 (strangenight2-m) Z 11931 11933 11907 0 -1 4203548 10726774 0 0 0 15990386 9973 0 0 25 0 2 0 739419956 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11933/statm: 0 0 0 0 0 0 0
[pid=11933/tid=11957] ppid=11931 vsize=0 CPUtime=4999.95 cores=0-31
/proc/11933/task/11957/stat : 11957 (strangenight2-m) R 11931 11933 11907 0 -1 4203588 328635 0 0 0 499611 384 0 0 25 0 2 0 739419957 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5008.3 s]
/proc/loadavg: 29.74 31.68 31.96 2/416 12115
/proc/meminfo: memFree=249445708/264257624 swapFree=67111528/67111528
[pid=11933] ppid=11931 vsize=0 CPUtime=160004 cores=0-31
/proc/11933/stat : 11933 (strangenight2-m) Z 11931 11933 11907 0 -1 4203548 10726774 0 0 0 15990386 10015 0 0 25 0 2 0 739419956 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11933/statm: 0 0 0 0 0 0 0
[pid=11933/tid=11957] ppid=11931 vsize=0 CPUtime=5000.37 cores=0-31
/proc/11933/task/11957/stat : 11957 (strangenight2-m) R 11931 11933 11907 0 -1 4203588 328635 0 0 0 499611 426 0 0 25 0 2 0 739419957 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5008.5 s]
/proc/loadavg: 29.74 31.68 31.96 2/416 12115
/proc/meminfo: memFree=249445708/264257624 swapFree=67111528/67111528
[pid=11933] ppid=11931 vsize=0 CPUtime=160004 cores=0-31
/proc/11933/stat : 11933 (strangenight2-m) Z 11931 11933 11907 0 -1 4203548 10726774 0 0 0 15990386 10033 0 0 25 0 2 0 739419956 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11933/statm: 0 0 0 0 0 0 0
[pid=11933/tid=11957] ppid=11931 vsize=0 CPUtime=5000.55 cores=0-31
/proc/11933/task/11957/stat : 11957 (strangenight2-m) R 11931 11933 11907 0 -1 4203588 328635 0 0 0 499611 444 0 0 25 0 2 0 739419957 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5008.6 s]
/proc/loadavg: 29.74 31.68 31.96 2/416 12115
/proc/meminfo: memFree=249445708/264257624 swapFree=67111528/67111528
[pid=11933] ppid=11931 vsize=0 CPUtime=160004 cores=0-31
/proc/11933/stat : 11933 (strangenight2-m) Z 11931 11933 11907 0 -1 4203548 10726774 0 0 0 15990386 10043 0 0 25 0 2 0 739419956 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11933/statm: 0 0 0 0 0 0 0
[pid=11933/tid=11957] ppid=11931 vsize=0 CPUtime=5000.65 cores=0-31
/proc/11933/task/11957/stat : 11957 (strangenight2-m) R 11931 11933 11907 0 -1 4203588 328635 0 0 0 499611 454 0 0 25 0 2 0 739419957 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 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.66
CPU time (s): 160004
CPU user time (s): 159904
CPU system time (s): 100.488
CPU usage (%): 3194.56
Max. virtual memory (cumulated for all children) (KiB): 24082352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159904
system time used= 100.488
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10726774
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= 875644
involuntary context switches= 320258
runsolver used 30.2564 second user time and 110.923 second system time
The end
Begin job on node200 at 2011-05-25 01:22:15
IDJOB=3400655
IDBENCH=70781
IDSOLVER=1886
FILE ID=node200/3400655-1306279335
RUNJOBID= node200-1306279335-11921
PBS_JOBID= 13411774
Free space on /tmp= 62044 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl064.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400655-1306279335/watcher-3400655-1306279335 -o /tmp/evaluation-result-3400655-1306279335/solver-3400655-1306279335 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400655-1306279335.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 4f9c883534eb89cad9b9cad9e6eccbd0
RANDOM SEED=1669647161
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: 255155684 kB
Buffers: 465568 kB
Cached: 8223616 kB
SwapCached: 0 kB
Active: 7773176 kB
Inactive: 984772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255155684 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 9468 kB
Writeback: 0 kB
AnonPages: 70244 kB
Mapped: 13484 kB
Slab: 255592 kB
PageTables: 3996 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188324 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= 62036 MiB
End job on node200 at 2011-05-25 02:45:45