0.00/0.00 c Outputting solution to console
0.00/0.04 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-3400830-1306887028.cnf'
0.00/0.06 c -- header says num vars: 1404
0.00/0.06 c -- header says num clauses: 7572
1.76/0.14 c -- clauses added: 0 learnts, 7572 normals, 0 xors
1.76/0.14 c -- vars added 1404
1.76/0.14 c Parsing time: 0.01 s
1.76/0.14 c N st 0 0 1404 7144 240 0 29208 0 no data no data
1.76/0.19 c asymm cl-useful: 0/6632/6632 lits-rem:0 time: 0.02
1.76/0.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 224 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
3.82/0.21 c Replacing 224 vars Replaced 7272 lits Time: 0.00 s
5.35/0.34 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5.35/0.34 c bin-w-bin subsume rem 0 bins time: 0.00 s
5.35/0.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
5.35/0.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1040 time: 0.00 s
5.35/0.34 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
5.35/0.36 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
5.35/0.36 c Finding binary XORs T: 0.00 s found: 0
14.41/0.63 c Finding non-binary XORs: 0.00 s (found: 608, avg size: 3.6)
14.41/0.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 156 locsubst: 0 time: 0.00
14.41/0.63 c calculated reachability. Time: 0.00
14.41/0.63 c Calc default polars - time: 0.00 s pos: 32 undec: 520 neg: 852
14.41/0.63 c =========================================================================================
14.41/0.63 c types(t): F = full restart, N = normal restart
14.41/0.63 c types(t): S = simplification begin/end, E = solution found
14.41/0.63 c restart types(rt): st = static, dy = dynamic
14.41/0.63 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
14.41/0.63 c B st 0 0 884 1896 48 0 8832 0 no data no data
14.41/0.63 c Decided on static restart strategy
20.84/0.85 c N st 8 4916 884 1896 55 4701 8832 167350 no data no data
43.12/1.58 c N st 10 11300 884 1896 102 4515 8832 101139 no data no data
68.49/2.37 c N st 11 17043 884 1896 108 10116 8832 540483 no data no data
110.02/3.61 c F st 12 25001 884 1896 151 12493 8832 663678 no data no data
110.02/3.61 c N st 12 25001 884 1896 151 12493 8832 663678 no data no data
110.02/3.61 c Finding binary XORs T: 0.00 s found: 75
110.02/3.65 c Replacing 75 vars Replaced 26507 lits Time: 0.04 s
129.19/4.20 c Decided on static restart strategy
129.19/4.20 c N st 18 30001 809 1896 4 10691 8736 420710 no data no data
129.19/4.20 c S st 18 30001 809 1896 4 10691 8736 420710 no data no data
129.19/4.24 c S st 18 30506 809 1896 5 11168 8736 429107 no data no data
129.19/4.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 36 locsubst: 0 time: 0.00
129.19/4.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
129.19/4.25 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
129.19/4.25 c bin-w-bin subsume rem 0 bins time: 0.00 s
129.19/4.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
129.19/4.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 773 time: 0.00 s
129.19/4.25 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
129.19/4.25 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
129.19/4.27 c subs with bin: 1 lits-rem: 8 v-fix: 0 time: 0.00 s
133.00/4.34 c lits-rem: 752 cl-subs: 205 v-elim: 0 v-fix: 0 time: 0.07 s
133.00/4.34 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.00
133.00/4.34 c calculated reachability. Time: 0.00
133.00/4.34 c N st 18 30506 773 1896 5 5729 8664 113161 no data no data
161.14/5.22 c N st 20 37617 773 1896 7 7769 8664 233117 no data no data
189.89/6.12 c N st 21 44019 773 1896 8 14029 8664 663256 no data no data
196.29/6.31 c S st 22 45759 773 1896 14 8448 8664 168229 no data no data
196.29/6.35 c S st 22 46260 773 1896 14 8925 8664 178527 no data no data
196.29/6.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
196.29/6.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
196.29/6.35 c Replacing 3 vars Replaced 310 lits Time: 0.00 s
196.29/6.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
196.29/6.36 c bin-w-bin subsume rem 0 bins time: 0.00 s
196.29/6.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
196.29/6.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 770 time: 0.00 s
196.29/6.36 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
196.29/6.36 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
196.29/6.37 c subs with bin: 1 lits-rem: 6 v-fix: 0 time: 0.00 s
199.48/6.43 c lits-rem: 634 cl-subs: 185 v-elim: 0 v-fix: 0 time: 0.06 s
199.48/6.43 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
199.48/6.43 c vivif2 -- cl tried 8738 cl shrink 0 lits rem 0 time: 0.00
199.48/6.44 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.01
199.48/6.44 c calculated reachability. Time: 0.00
199.48/6.44 c N st 22 46260 770 1896 8 8738 8664 170480 no data no data
266.59/8.53 c N st 23 60658 770 1896 8 13826 8664 468396 no data no data
308.76/9.90 c N st 24 69390 770 1896 13 12064 8664 267031 no data no data
308.76/9.90 c S st 24 69390 770 1896 13 12064 8664 267031 no data no data
311.97/9.95 c S st 24 69895 770 1896 16 12540 8664 275638 no data no data
311.97/9.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
311.97/9.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01
311.97/9.96 c Replacing 5 vars Replaced 360 lits Time: 0.00 s
311.97/9.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
311.97/9.96 c bin-w-bin subsume rem 0 bins time: 0.00 s
311.97/9.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
311.97/9.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 765 time: 0.00 s
311.97/9.96 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
311.97/9.96 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
311.97/9.98 c subs with bin: 0 lits-rem: 4 v-fix: 0 time: 0.00 s
317.72/10.11 c lits-rem: 886 cl-subs: 287 v-elim: 0 v-fix: 0 time: 0.13 s
317.72/10.11 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
317.72/10.11 c vivif2 -- cl tried 12253 cl shrink 0 lits rem 0 time: 0.00
317.72/10.12 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.01
317.72/10.12 c calculated reachability. Time: 0.00
317.72/10.12 c N st 24 69895 765 1896 6 12253 8664 261528 no data no data
414.19/13.21 c F st 25 87500 765 1896 6 18174 8664 728557 no data no data
414.19/13.21 c N st 25 87500 765 1896 6 18174 8664 728557 no data no data
414.19/13.21 c Finding binary XORs T: 0.00 s found: 10
417.38/13.23 c Replacing 10 vars Replaced 3018 lits Time: 0.02 s
439.13/13.96 c Decided on static restart strategy
455.10/14.47 c N st 32 95537 755 1896 2 26103 8664 1332955 no data no data
493.43/15.65 c N st 34 104842 755 1896 5 22599 8664 801988 no data no data
493.43/15.65 c S st 34 104842 755 1896 5 22599 8664 801988 no data no data
496.62/15.72 c S st 34 105349 755 1896 5 23085 8664 813271 no data no data
496.62/15.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
496.62/15.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
496.62/15.74 c Replacing 2 vars Replaced 401 lits Time: 0.00 s
496.62/15.74 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
496.62/15.74 c bin-w-bin subsume rem 0 bins time: 0.00 s
496.62/15.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
496.62/15.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 753 time: 0.00 s
496.62/15.74 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
496.62/15.75 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
496.62/15.80 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 0.00 s
525.39/16.69 c lits-rem: 1217 cl-subs: 444 v-elim: 0 v-fix: 0 time: 0.89 s
525.39/16.69 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
525.39/16.70 c vivif2 -- cl tried 22641 cl shrink 0 lits rem 0 time: 0.01
528.59/16.71 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.01
528.59/16.71 c calculated reachability. Time: 0.00
528.59/16.71 c N st 34 105349 753 1896 1 22641 8664 784140 no data no data
579.70/18.38 c N st 35 114948 753 1896 1 18502 8664 609745 no data no data
663.43/20.96 c N st 36 129346 753 1896 2 17877 8664 453259 no data no data
790.65/24.96 c N st 37 150941 753 1896 2 23277 8664 785086 no data no data
832.21/26.26 c S st 38 158023 753 1896 2 30145 8664 1225819 no data no data
836.00/26.36 c S st 38 158531 753 1896 2 30637 8664 1236860 no data no data
836.00/26.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
836.00/26.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
836.00/26.38 c Replacing 1 vars Replaced 574 lits Time: 0.01 s
836.00/26.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
836.00/26.39 c bin-w-bin subsume rem 0 bins time: 0.00 s
836.00/26.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
836.00/26.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 752 time: 0.00 s
836.00/26.39 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
836.00/26.40 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
839.22/26.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
947.26/29.87 c lits-rem: 3935 cl-subs: 2058 v-elim: 0 v-fix: 0 time: 3.39 s
947.26/29.87 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
947.26/29.89 c vivif2 -- cl tried 28579 cl shrink 0 lits rem 0 time: 0.02
950.46/29.91 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.02
950.46/29.91 c calculated reachability. Time: 0.00
950.46/29.91 c N st 38 158531 752 1896 0 28579 8664 1113287 no data no data
1286.07/40.50 c N st 39 207120 752 1896 0 23436 8664 634726 no data no data
1519.37/47.72 c N st 40 237796 752 1896 0 33765 8664 1332213 no data no data
1519.37/47.72 c S st 40 237796 752 1896 0 33765 8664 1332213 no data no data
1522.57/47.83 c S st 40 238299 752 1896 0 34242 8664 1343163 no data no data
1522.57/47.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
1522.57/47.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.02
1522.57/47.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1522.57/47.85 c bin-w-bin subsume rem 0 bins time: 0.00 s
1522.57/47.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1522.57/47.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 752 time: 0.00 s
1522.57/47.85 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
1522.57/47.87 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
1525.76/47.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1723.90/54.18 c lits-rem: 2139 cl-subs: 2790 v-elim: 0 v-fix: 0 time: 6.22 s
1723.90/54.18 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
1727.10/54.20 c vivif2 -- cl tried 31452 cl shrink 0 lits rem 0 time: 0.03
1727.10/54.24 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.04
1727.10/54.24 c calculated reachability. Time: 0.00
1727.10/54.24 c N st 40 238299 752 1896 0 31452 8664 1179086 no data no data
2324.60/72.97 c F st 41 306252 752 1896 0 33567 8664 1129510 no data no data
2324.60/72.97 c N st 41 306252 752 1896 0 33567 8664 1129510 no data no data
2353.36/73.85 c Decided on static restart strategy
2494.00/78.23 c N st 51 334555 752 1896 0 38114 8664 1419422 no data no data
2667.23/83.62 c N st 53 357450 752 1896 0 36150 8664 1277024 no data no data
2667.23/83.63 c S st 53 357450 752 1896 0 36150 8664 1277024 no data no data
2669.78/83.77 c S st 53 357952 752 1896 0 36630 8664 1287667 no data no data
2669.78/83.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
2669.78/83.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.02
2669.78/83.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2669.78/83.80 c bin-w-bin subsume rem 0 bins time: 0.00 s
2669.78/83.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2669.78/83.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 752 time: 0.00 s
2669.78/83.80 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
2672.98/83.81 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
2676.17/83.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2765.64/86.78 c lits-rem: 3388 cl-subs: 945 v-elim: 0 v-fix: 0 time: 2.88 s
2765.64/86.78 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
2765.64/86.80 c vivif2 -- cl tried 35685 cl shrink 0 lits rem 0 time: 0.02
2769.45/86.83 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.03
2769.45/86.83 c calculated reachability. Time: 0.00
2769.45/86.83 c N st 53 357952 752 1896 0 35685 8664 1230800 no data no data
3034.12/95.11 c N st 54 390344 752 1896 0 42025 8664 1617748 no data no data
3417.67/107.17 c N st 55 438933 752 1896 0 35347 8664 959945 no data no data
4098.41/128.48 c N st 56 511816 752 1896 0 48590 8664 1779432 no data no data
4379.63/137.24 c N st 57 536929 752 1896 0 42927 8664 1383804 no data no data
4379.63/137.24 c S st 57 536929 752 1896 0 42927 8664 1383804 no data no data
4386.64/137.46 c S st 57 537430 752 1896 0 43403 8664 1395679 no data no data
4386.64/137.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
4386.64/137.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.04
4386.64/137.51 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4386.64/137.51 c bin-w-bin subsume rem 0 bins time: 0.00 s
4386.64/137.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
4386.64/137.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 752 time: 0.00 s
4386.64/137.51 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
4389.84/137.54 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
4392.43/137.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
4711.99/147.69 c lits-rem: 1743 cl-subs: 3170 v-elim: 0 v-fix: 0 time: 10.05 s
4711.99/147.69 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
4715.19/147.71 c vivif2 -- cl tried 40233 cl shrink 0 lits rem 0 time: 0.02
4715.19/147.75 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.04
4715.19/147.75 c calculated reachability. Time: 0.00
4715.19/147.75 c N st 57 537430 752 1896 0 40233 8664 1213597 no data no data
6527.42/204.45 c N st 58 701416 752 1896 0 68653 8664 3212705 no data no data
7754.78/242.82 c N st 59 806146 752 1896 0 63462 8664 2470594 no data no data
7754.78/242.82 c S st 59 806146 752 1896 0 63462 8664 2470594 no data no data
7761.77/243.09 c S st 59 806648 752 1896 0 63944 8664 2482358 no data no data
7761.77/243.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
7764.97/243.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.04
7764.97/243.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
7764.97/243.14 c bin-w-bin subsume rem 0 bins time: 0.00 s
7764.97/243.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
7764.97/243.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 752 time: 0.00 s
7764.97/243.14 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
7764.97/243.17 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
7770.75/243.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
8857.56/277.36 c lits-rem: 3586 cl-subs: 5272 v-elim: 0 v-fix: 0 time: 34.02 s
8857.56/277.36 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
8860.76/277.41 c vivif2 -- cl tried 58672 cl shrink 0 lits rem 0 time: 0.04
8860.76/277.48 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.08
8860.76/277.48 c calculated reachability. Time: 0.00
8860.76/277.48 c N st 59 806648 752 1896 0 58672 8664 2186867 no data no data
12162.52/380.80 c F st 60 1071876 752 1896 0 74052 8664 3395621 no data no data
12165.72/380.80 c N st 60 1071876 752 1896 0 74052 8664 3395621 no data no data
12207.27/382.14 c Decided on static restart strategy
12450.21/389.74 c N st 70 1100180 752 1896 0 58697 8664 2052064 no data no data
12916.88/404.38 c N st 72 1136172 752 1896 0 49173 8664 1171826 no data no data
13274.90/415.53 c N st 73 1168564 752 1896 0 80528 8664 3093999 no data no data
13757.52/430.63 c N st 74 1209973 752 1896 0 75161 8664 2885067 no data no data
13757.52/430.63 c S st 74 1209973 752 1896 0 75161 8664 2885067 no data no data
13770.31/431.05 c S st 74 1210474 752 1896 0 75645 8664 2898017 no data no data
13770.31/431.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
13774.11/431.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.08
13774.11/431.15 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
13774.11/431.15 c bin-w-bin subsume rem 0 bins time: 0.00 s
13774.11/431.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
13774.11/431.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 752 time: 0.00 s
13774.11/431.15 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
13774.11/431.21 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
13783.09/431.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
15170.37/474.88 c lits-rem: 7419 cl-subs: 5356 v-elim: 0 v-fix: 0 time: 43.47 s
15170.37/474.88 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
15173.57/474.93 c vivif2 -- cl tried 70289 cl shrink 0 lits rem 0 time: 0.05
15176.77/475.09 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.16
15176.77/475.09 c calculated reachability. Time: 0.00
15176.77/475.09 c N st 74 1210474 752 1896 0 70289 8664 2581910 no data no data
16148.46/505.48 c N st 75 1283358 752 1896 0 95520 8664 4986637 no data no data
17842.48/558.44 c N st 76 1392682 752 1896 0 55223 8664 1347917 no data no data
20153.47/630.75 c N st 77 1556666 752 1896 0 59715 8664 1486663 no data no data
22697.83/710.34 c N st 78 1710475 752 1896 0 101027 8664 3945341 no data no data
22697.83/710.34 c S st 78 1710475 752 1896 0 101027 8664 3945341 no data no data
22717.00/710.95 c S st 78 1710977 752 1896 0 101508 8664 3958112 no data no data
22717.00/710.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
22720.23/711.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.12
22720.23/711.09 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
22720.23/711.09 c bin-w-bin subsume rem 0 bins time: 0.00 s
22720.23/711.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
22720.23/711.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 752 time: 0.00 s
22720.23/711.09 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
22723.40/711.17 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
22733.00/711.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
27617.07/864.23 c lits-rem: 16395 cl-subs: 12244 v-elim: 0 v-fix: 0 time: 152.76 s
27617.07/864.23 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
27620.27/864.30 c vivif2 -- cl tried 89264 cl shrink 0 lits rem 0 time: 0.07
27623.47/864.50 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.20
27623.47/864.51 c calculated reachability. Time: 0.00
27623.47/864.51 c N st 78 1710977 752 1896 0 89264 8664 3252329 no data no data
34671.55/1084.99 c N st 79 2079943 752 1896 0 100754 8664 3673159 no data no data
36656.52/1147.05 c N st 80 2210978 752 1896 0 104877 8664 3748185 no data no data
36656.52/1147.05 c S st 80 2210978 752 1896 0 104877 8664 3748185 no data no data
36675.69/1147.65 c S st 80 2211485 752 1896 0 105366 8664 3762538 no data no data
36675.69/1147.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
36678.89/1147.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.12
36678.89/1147.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
36678.89/1147.79 c bin-w-bin subsume rem 0 bins time: 0.00 s
36678.89/1147.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
36678.89/1147.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 752 time: 0.00 s
36678.89/1147.79 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
36682.08/1147.86 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
36691.68/1148.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
39902.95/1248.62 c lits-rem: 2902 cl-subs: 9000 v-elim: 0 v-fix: 0 time: 100.48 s
39902.95/1248.62 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
39902.95/1248.69 c vivif2 -- cl tried 96366 cl shrink 0 lits rem 0 time: 0.07
39912.52/1248.91 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.22
39912.52/1248.92 c calculated reachability. Time: 0.00
39912.52/1248.92 c N st 80 2211485 752 1896 0 96366 8664 3248189 no data no data
48009.07/1502.24 c N st 81 2711485 752 1896 0 122415 8664 5190571 no data no data
48009.07/1502.24 c S st 81 2711485 752 1896 0 122415 8664 5190571 no data no data
48025.04/1502.77 c S st 81 2711986 752 1896 0 122907 8664 5205294 no data no data
48025.04/1502.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
48031.42/1502.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.11
48031.42/1502.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
48031.42/1502.91 c bin-w-bin subsume rem 0 bins time: 0.00 s
48031.42/1502.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
48031.42/1502.91 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 752 time: 0.00 s
48031.42/1502.91 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
48031.42/1502.99 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s
48044.20/1503.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
50051.56/1566.18 c lits-rem: 5021 cl-subs: 2985 v-elim: 0 v-fix: 0 time: 62.82 s
50051.56/1566.18 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
50054.76/1566.28 c vivif2 -- cl tried 119922 cl shrink 0 lits rem 0 time: 0.10
50061.81/1566.48 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.20
50061.81/1566.49 c calculated reachability. Time: 0.00
50061.81/1566.49 c N st 81 2711986 752 1896 0 119922 8664 5004295 no data no data
59247.62/1853.89 c N st 82 3211986 752 1896 0 95213 8664 2638733 no data no data
59247.62/1853.89 c S st 82 3211986 752 1896 0 95213 8664 2638733 no data no data
59263.62/1854.33 c S st 82 3212493 752 1896 0 95713 8664 2653782 no data no data
59263.62/1854.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
59266.82/1854.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.08
59266.82/1854.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
59266.82/1854.44 c bin-w-bin subsume rem 0 bins time: 0.00 s
59266.82/1854.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
59266.82/1854.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 752 time: 0.00 s
59266.82/1854.44 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
59266.82/1854.50 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
59273.83/1854.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
59854.95/1872.84 c lits-rem: 2353 cl-subs: 2576 v-elim: 0 v-fix: 0 time: 18.16 s
59854.95/1872.84 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
59854.95/1872.89 c vivif2 -- cl tried 93137 cl shrink 0 lits rem 0 time: 0.05
59861.34/1873.05 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.16
59861.34/1873.05 c calculated reachability. Time: 0.00
59861.34/1873.05 c N st 82 3212493 752 1896 0 93137 8664 2509852 no data no data
67673.95/2117.45 c N st 83 3712493 752 1896 0 104630 8664 2672150 no data no data
67673.95/2117.45 c S st 83 3712493 752 1896 0 104630 8664 2672150 no data no data
67692.52/2118.01 c S st 83 3712996 752 1896 0 105126 8664 2688042 no data no data
67692.52/2118.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
67695.70/2118.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.10
67695.70/2118.13 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
67695.70/2118.13 c bin-w-bin subsume rem 0 bins time: 0.00 s
67695.70/2118.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
67695.70/2118.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 752 time: 0.00 s
67695.70/2118.13 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
67695.70/2118.19 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
67702.09/2118.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
68044.11/2129.01 c lits-rem: 7386 cl-subs: 596 v-elim: 0 v-fix: 0 time: 10.63 s
68044.11/2129.01 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
68044.11/2129.07 c vivif2 -- cl tried 104530 cl shrink 0 lits rem 0 time: 0.06
68050.51/2129.26 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.19
68050.51/2129.26 c calculated reachability. Time: 0.00
68050.51/2129.26 c N st 83 3712996 752 1896 0 104530 8664 2656458 no data no data
68699.35/2149.53 c F st 84 3751562 752 1896 0 142772 8664 5583461 no data no data
68699.35/2149.54 c N st 84 3751562 752 1896 0 142772 8664 5583461 no data no data
68804.84/2152.83 c Decided on static restart strategy
69207.56/2165.49 c N st 94 3779864 752 1896 0 86932 8664 1813622 no data no data
69693.43/2180.60 c N st 96 3815857 752 1896 0 122097 8664 3979197 no data no data
70233.64/2197.50 c N st 97 3848250 752 1896 0 154143 8664 6552800 no data no data
71272.45/2230.09 c N st 98 3896839 752 1896 0 116633 8664 3789646 no data no data
73046.48/2285.58 c N st 99 3969721 752 1896 0 102468 8664 2715852 no data no data
75351.11/2357.65 c N st 100 4079044 752 1896 0 124486 8664 4488441 no data no data
77326.48/2419.47 c N st 101 4212996 752 1896 0 167383 8664 6676096 no data no data
77326.48/2419.47 c S st 101 4212996 752 1896 0 167383 8664 6676096 no data no data
77348.84/2420.14 c S st 101 4213496 752 1896 0 167877 8664 6690468 no data no data
77348.84/2420.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
77355.25/2420.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.9M T: 0.16
77355.25/2420.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
77355.25/2420.33 c bin-w-bin subsume rem 0 bins time: 0.00 s
77355.25/2420.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
77355.25/2420.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 752 time: 0.00 s
77355.25/2420.33 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
77358.45/2420.44 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.11 s
77374.43/2420.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
83348.54/2607.81 c lits-rem: 7162 cl-subs: 9931 v-elim: 0 v-fix: 0 time: 186.87 s
83348.54/2607.81 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
83351.74/2607.93 c vivif2 -- cl tried 157946 cl shrink 0 lits rem 0 time: 0.11
83358.75/2608.19 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.26
83361.31/2608.20 c calculated reachability. Time: 0.00
83361.31/2608.20 c N st 101 4213496 752 1896 0 157946 8664 6095343 no data no data
88654.56/2773.87 c N st 102 4459472 752 1896 0 130709 8664 4040844 no data no data
93455.53/2924.02 c N st 103 4713498 752 1896 0 102261 8664 2464560 no data no data
93455.53/2924.02 c S st 103 4713498 752 1896 0 102261 8664 2464560 no data no data
93471.52/2924.51 c S st 103 4714002 752 1896 0 102755 8664 2479957 no data no data
93471.52/2924.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
93474.72/2924.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.08
93474.72/2924.62 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
93474.72/2924.62 c bin-w-bin subsume rem 0 bins time: 0.00 s
93474.72/2924.62 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
93474.72/2924.62 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 752 time: 0.00 s
93474.72/2924.62 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
93474.72/2924.67 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
93481.74/2924.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
93839.09/2936.02 c lits-rem: 1562 cl-subs: 2726 v-elim: 0 v-fix: 0 time: 11.18 s
93839.09/2936.02 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
93839.09/2936.07 c vivif2 -- cl tried 100029 cl shrink 0 lits rem 0 time: 0.05
93845.48/2936.23 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.16
93845.48/2936.23 c calculated reachability. Time: 0.00
93845.48/2936.23 c N st 103 4714002 752 1896 0 100029 8664 2325639 no data no data
104834.73/3280.10 c N st 104 5214003 752 1896 0 112317 8664 2822640 no data no data
104834.73/3280.10 c S st 104 5214003 752 1896 0 112317 8664 2822640 no data no data
104853.89/3280.70 c S st 104 5214504 752 1896 0 112811 8664 2837329 no data no data
104857.09/3280.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
104860.29/3280.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.10
104860.29/3280.82 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
104860.29/3280.82 c bin-w-bin subsume rem 0 bins time: 0.00 s
104860.29/3280.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
104860.29/3280.82 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 752 time: 0.00 s
104860.29/3280.82 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
104860.29/3280.89 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
104866.68/3281.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
105256.65/3293.25 c lits-rem: 818 cl-subs: 1917 v-elim: 0 v-fix: 0 time: 12.17 s
105256.65/3293.25 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
105256.65/3293.30 c vivif2 -- cl tried 110894 cl shrink 0 lits rem 0 time: 0.05
105263.62/3293.49 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.19
105263.62/3293.50 c calculated reachability. Time: 0.00
105263.62/3293.50 c N st 104 5214504 752 1896 0 110894 8664 2737095 no data no data
116639.12/3649.31 c N st 105 5714504 752 1896 0 196127 8664 7748360 no data no data
116639.12/3649.31 c S st 105 5714504 752 1896 0 196127 8664 7748360 no data no data
116671.09/3650.34 c S st 105 5715007 752 1896 0 196610 8664 7763398 no data no data
116671.09/3650.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
116677.49/3650.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.3M T: 0.19
116677.49/3650.58 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
116677.49/3650.58 c bin-w-bin subsume rem 0 bins time: 0.00 s
116677.49/3650.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
116677.49/3650.58 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 752 time: 0.00 s
116677.49/3650.58 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
116683.88/3650.70 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.12 s
116699.86/3651.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
136958.73/4285.05 c lits-rem: 10899 cl-subs: 24282 v-elim: 0 v-fix: 0 time: 633.68 s
136958.73/4285.05 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
136961.92/4285.18 c vivif2 -- cl tried 172328 cl shrink 0 lits rem 0 time: 0.13
136971.52/4285.46 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.28
136971.52/4285.47 c calculated reachability. Time: 0.00
136971.52/4285.47 c N st 105 5715007 752 1896 0 172328 8664 6398549 no data no data
151869.95/4751.53 c N st 106 6215008 752 1896 0 139937 8664 4047933 no data no data
151869.95/4751.53 c S st 106 6215008 752 1896 0 139937 8664 4047933 no data no data
151898.73/4752.46 c S st 106 6215511 752 1896 0 140433 8664 4064515 no data no data
151901.94/4752.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
151905.12/4752.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.18
151905.12/4752.69 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
151905.12/4752.69 c bin-w-bin subsume rem 0 bins time: 0.00 s
151905.12/4752.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
151905.12/4752.69 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 752 time: 0.00 s
151905.12/4752.69 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
151908.33/4752.79 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s
151918.53/4753.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
154774.59/4842.49 c lits-rem: 2866 cl-subs: 8839 v-elim: 0 v-fix: 0 time: 89.40 s
154774.59/4842.49 c vivif2 -- cl tried 1896 cl shrink 0 lits rem 0 time: 0.00
154777.75/4842.57 c vivif2 -- cl tried 131594 cl shrink 0 lits rem 0 time: 0.08
154787.34/4842.88 c asymm cl-useful: 0/1896/1896 lits-rem:0 time: 0.31
154787.34/4842.89 c calculated reachability. Time: 0.00
154787.34/4842.89 c N st 106 6215511 752 1896 0 131594 8664 3583579 no data no data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3400830-1306887028/watcher-3400830-1306887028 -o /tmp/evaluation-result-3400830-1306887028/solver-3400830-1306887028 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400830-1306887028.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: 31.99 31.81 31.95 1/413 26112
/proc/meminfo: memFree=263480756/264257624 swapFree=67044780/67111528
[pid=26112] ppid=26110 vsize=338000 CPUtime=0.86 cores=0-31
/proc/26112/stat : 26112 (strangenight2-m) R 26110 26112 26024 0 -1 4202496 469 0 0 0 86 0 0 0 25 0 32 0 14668822 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/26112/statm: 84500 408 300 95 0 79482 0
[pid=26112/tid=26113] ppid=26110 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26112/task/26113/stat : 26113 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 14668822 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26112/tid=26114] ppid=26110 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26112/task/26114/stat : 26114 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14668822 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120727 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26112/tid=26115] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26115/stat : 26115 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14668822 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818121132 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26112/tid=26116] ppid=26110 vsize=338000 CPUtime=0 cores=0-31
/proc/26112/task/26116/stat : 26116 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 14668822 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120727 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26112/tid=26117] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26117/stat : 26117 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668822 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26112/tid=26118] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26118/stat : 26118 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668822 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26112/tid=26119] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26119/stat : 26119 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668822 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120727 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26112/tid=26120] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26120/stat : 26120 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668822 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26112/tid=26121] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26121/stat : 26121 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26112/tid=26122] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26122/stat : 26122 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120733 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26112/tid=26123] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26123/stat : 26123 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120723 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26112/tid=26124] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26124/stat : 26124 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26112/tid=26125] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26125/stat : 26125 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26112/tid=26126] ppid=26110 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26112/task/26126/stat : 26126 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26112/tid=26127] ppid=26110 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26112/task/26127/stat : 26127 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26112/tid=26128] ppid=26110 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26112/task/26128/stat : 26128 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26112/tid=26129] ppid=26110 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26112/task/26129/stat : 26129 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26112/tid=26130] ppid=26110 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26112/task/26130/stat : 26130 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26112/tid=26131] ppid=26110 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26112/task/26131/stat : 26131 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26112/tid=26132] ppid=26110 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26112/task/26132/stat : 26132 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26112/tid=26133] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26133/stat : 26133 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120723 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=26112/tid=26134] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26134/stat : 26134 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26112/tid=26135] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26135/stat : 26135 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120720 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26112/tid=26136] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26136/stat : 26136 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26112/tid=26137] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26137/stat : 26137 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120727 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26112/tid=26138] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26138/stat : 26138 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=26112/tid=26139] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26139/stat : 26139 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26112/tid=26140] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26140/stat : 26140 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26112/tid=26141] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26141/stat : 26141 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26112/tid=26142] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26142/stat : 26142 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=26112/tid=26143] ppid=26110 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26112/task/26143/stat : 26143 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14668823 346112000 408 268435456000 4194304 4580107 140733934592096 18446744073709551615 47011818120729 0 0 4096 2 0 0 0 -1 30 0 0 0
[startup+0.08256 s]
/proc/loadavg: 31.99 31.81 31.95 1/413 26112
/proc/meminfo: memFree=263480756/264257624 swapFree=67044780/67111528
[pid=26112] ppid=26110 vsize=1129628 CPUtime=1.38 cores=0-31
/proc/26112/stat : 26112 (strangenight2-m) R 26110 26112 26024 0 -1 4202496 4649 0 0 0 116 22 0 0 17 0 32 0 14668822 1156739072 4500 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/26112/statm: 282407 4506 335 95 0 277389 0
[pid=26112/tid=26113] ppid=26110 vsize=1137832 CPUtime=0.03 cores=0-31
/proc/26112/task/26113/stat : 26113 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 199 0 0 0 3 0 0 0 17 0 32 0 14668822 1165139968 4513 268435456000 4194304 4580107 140733934592096 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26112/tid=26114] ppid=26110 vsize=1137832 CPUtime=0.03 cores=0-31
/proc/26112/task/26114/stat : 26114 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 129 0 0 0 3 0 0 0 17 0 32 0 14668822 1165139968 4521 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446744071566925904 0 0 -1 2 0 0 0
[pid=26112/tid=26115] ppid=26110 vsize=1137832 CPUtime=0.02 cores=0-31
/proc/26112/task/26115/stat : 26115 (strangenight2-m) D 26110 26112 26024 0 -1 4202560 61 0 0 0 2 0 0 0 17 0 32 0 14668822 1165139968 4521 268435456000 4194304 4580107 140733934592096 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26112/tid=26116] ppid=26110 vsize=1137964 CPUtime=0.02 cores=0-31
/proc/26112/task/26116/stat : 26116 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 179 0 0 0 1 1 0 0 18 0 32 0 14668822 1165275136 4534 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446604481365179872 0 0 -1 4 0 0 0
[pid=26112/tid=26117] ppid=26110 vsize=1138096 CPUtime=0.03 cores=0-31
/proc/26112/task/26117/stat : 26117 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 169 0 0 0 3 0 0 0 17 0 32 0 14668822 1165410304 4534 268435456000 4194304 4580107 140733934592096 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26112/tid=26118] ppid=26110 vsize=1138096 CPUtime=0.03 cores=0-31
/proc/26112/task/26118/stat : 26118 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 113 0 0 0 3 0 0 0 17 0 32 0 14668822 1165410304 4550 268435456000 4194304 4580107 140733934592096 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26112/tid=26119] ppid=26110 vsize=1138096 CPUtime=0.03 cores=0-31
/proc/26112/task/26119/stat : 26119 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 64 0 0 0 3 0 0 0 17 0 32 0 14668822 1165410304 4565 268435456000 4194304 4580107 140733934592096 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26112/tid=26120] ppid=26110 vsize=1146300 CPUtime=0.03 cores=0-31
/proc/26112/task/26120/stat : 26120 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 61 0 0 0 3 0 0 0 17 0 32 0 14668822 1173811200 4566 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446604442241375712 0 0 -1 24 0 0 0
[pid=26112/tid=26121] ppid=26110 vsize=1146300 CPUtime=0.04 cores=0-31
/proc/26112/task/26121/stat : 26121 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 95 0 0 0 4 0 0 0 17 0 32 0 14668823 1173811200 4572 268435456000 4194304 4580107 140733934592096 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26112/tid=26122] ppid=26110 vsize=1146300 CPUtime=0.03 cores=0-31
/proc/26112/task/26122/stat : 26122 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 191 0 0 0 3 0 0 0 18 0 32 0 14668823 1173811200 4579 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446604537530170848 0 0 -1 6 0 0 0
[pid=26112/tid=26123] ppid=26110 vsize=1146300 CPUtime=0.03 cores=0-31
/proc/26112/task/26123/stat : 26123 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 67 0 0 0 3 0 0 0 17 0 32 0 14668823 1173811200 4589 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446744071566933784 0 0 -1 3 0 0 0
[pid=26112/tid=26124] ppid=26110 vsize=1154504 CPUtime=0.03 cores=0-31
/proc/26112/task/26124/stat : 26124 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 52 0 0 0 3 0 0 0 17 0 32 0 14668823 1182212096 4596 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446604503975476704 0 0 -1 9 0 0 0
[pid=26112/tid=26125] ppid=26110 vsize=1162708 CPUtime=0.03 cores=0-31
/proc/26112/task/26125/stat : 26125 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 213 0 0 0 3 0 0 0 17 0 32 0 14668823 1190612992 4601 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446744071566933784 0 0 -1 10 0 0 0
[pid=26112/tid=26126] ppid=26110 vsize=1162708 CPUtime=0.03 cores=0-31
/proc/26112/task/26126/stat : 26126 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 159 0 0 0 3 0 0 0 17 0 32 0 14668823 1190612992 4603 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446604495937912288 0 0 -1 7 0 0 0
[pid=26112/tid=26127] ppid=26110 vsize=1162708 CPUtime=0.03 cores=0-31
/proc/26112/task/26127/stat : 26127 (strangenight2-m) D 26110 26112 26024 0 -1 4202560 130 0 0 0 3 0 0 0 17 0 32 0 14668823 1190612992 4614 268435456000 4194304 4580107 140733934592096 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26112/tid=26128] ppid=26110 vsize=1162708 CPUtime=0.03 cores=0-31
/proc/26112/task/26128/stat : 26128 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 72 0 0 0 3 0 0 0 17 0 32 0 14668823 1190612992 4624 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26112/tid=26129] ppid=26110 vsize=1162708 CPUtime=0.03 cores=0-31
/proc/26112/task/26129/stat : 26129 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 173 0 0 0 3 0 0 0 17 0 32 0 14668823 1190612992 4625 268435456000 4194304 4580107 140733934592096 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26112/tid=26130] ppid=26110 vsize=1162708 CPUtime=0.03 cores=0-31
/proc/26112/task/26130/stat : 26130 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 166 0 0 0 3 0 0 0 17 0 32 0 14668823 1190612992 4634 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446604498658672096 0 0 -1 17 0 0 0
[pid=26112/tid=26131] ppid=26110 vsize=1170912 CPUtime=0.03 cores=0-31
/proc/26112/task/26131/stat : 26131 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 51 0 0 0 3 0 0 0 18 0 32 0 14668823 1199013888 4638 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446744071566932584 0 0 -1 18 0 0 0
[pid=26112/tid=26132] ppid=26110 vsize=1170912 CPUtime=0.03 cores=0-31
/proc/26112/task/26132/stat : 26132 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 149 0 0 0 3 0 0 0 17 0 32 0 14668823 1199013888 4649 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446604440999645312 0 0 -1 15 0 0 0
[pid=26112/tid=26133] ppid=26110 vsize=1171044 CPUtime=0.04 cores=0-31
/proc/26112/task/26133/stat : 26133 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 169 0 0 0 3 1 0 0 17 0 32 0 14668823 1199149056 4660 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446604451314081248 0 0 -1 21 0 0 0
[pid=26112/tid=26134] ppid=26110 vsize=1171044 CPUtime=0.03 cores=0-31
/proc/26112/task/26134/stat : 26134 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 57 0 0 0 3 0 0 0 17 0 32 0 14668823 1199149056 4698 268435456000 4194304 4580107 140733934592096 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26112/tid=26135] ppid=26110 vsize=1171044 CPUtime=0.03 cores=0-31
/proc/26112/task/26135/stat : 26135 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 199 0 0 0 3 0 0 0 17 0 32 0 14668823 1199149056 4709 268435456000 4194304 4580107 140733934592096 18446744073709551615 258650623218 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26112/tid=26136] ppid=26110 vsize=1171044 CPUtime=0.03 cores=0-31
/proc/26112/task/26136/stat : 26136 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 175 0 0 0 3 0 0 0 17 0 32 0 14668823 1199149056 4730 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26112/tid=26137] ppid=26110 vsize=1171044 CPUtime=0.03 cores=0-31
/proc/26112/task/26137/stat : 26137 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 184 0 0 0 3 0 0 0 17 0 32 0 14668823 1199149056 4730 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446744071566927744 0 0 -1 25 0 0 0
[pid=26112/tid=26138] ppid=26110 vsize=1171044 CPUtime=0.04 cores=0-31
/proc/26112/task/26138/stat : 26138 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 207 0 0 0 3 1 0 0 17 0 32 0 14668823 1199149056 4736 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446744071566926424 0 0 -1 26 0 0 0
[pid=26112/tid=26139] ppid=26110 vsize=1171044 CPUtime=0.03 cores=0-31
/proc/26112/task/26139/stat : 26139 (strangenight2-m) D 26110 26112 26024 0 -1 4202560 170 0 0 0 3 0 0 0 17 0 32 0 14668823 1199149056 4753 268435456000 4194304 4580107 140733934592096 18446744073709551615 4345248 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26112/tid=26140] ppid=26110 vsize=1179248 CPUtime=0.03 cores=0-31
/proc/26112/task/26140/stat : 26140 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 159 0 0 0 3 0 0 0 17 0 32 0 14668823 1207549952 4755 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446744071566929384 0 0 -1 27 0 0 0
[pid=26112/tid=26141] ppid=26110 vsize=1179248 CPUtime=0.03 cores=0-31
/proc/26112/task/26141/stat : 26141 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 51 0 0 0 3 0 0 0 17 0 32 0 14668823 1207549952 4786 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446604494195711456 0 0 -1 12 0 0 0
[pid=26112/tid=26142] ppid=26110 vsize=1179248 CPUtime=0.04 cores=0-31
/proc/26112/task/26142/stat : 26142 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 158 0 0 0 3 1 0 0 17 0 32 0 14668823 1207549952 4793 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446604485587901920 0 0 -1 29 0 0 0
[pid=26112/tid=26143] ppid=26110 vsize=1179248 CPUtime=0.03 cores=0-31
/proc/26112/task/26143/stat : 26143 (strangenight2-m) D 26110 26112 26024 0 -1 4202560 192 0 0 0 3 0 0 0 17 0 32 0 14668823 1207549952 4798 268435456000 4194304 4580107 140733934592096 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 1129628
[startup+0.103558 s]
/proc/loadavg: 31.99 31.81 31.95 1/413 26112
/proc/meminfo: memFree=263480756/264257624 swapFree=67044780/67111528
[pid=26112] ppid=26110 vsize=1328288 CPUtime=1.76 cores=0-31
/proc/26112/stat : 26112 (strangenight2-m) S 26110 26112 26024 0 -1 4202496 6540 0 0 0 127 49 0 0 17 0 32 0 14668822 1360166912 6394 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/26112/statm: 332072 6400 335 95 0 327054 0
[pid=26112/tid=26113] ppid=26110 vsize=1328288 CPUtime=0.05 cores=0-31
/proc/26112/task/26113/stat : 26113 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 217 0 0 0 4 1 0 0 17 0 32 0 14668822 1360166912 6402 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26112/tid=26114] ppid=26110 vsize=1328288 CPUtime=0.04 cores=0-31
/proc/26112/task/26114/stat : 26114 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 201 0 0 0 3 1 0 0 17 0 32 0 14668822 1360166912 6404 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26112/tid=26115] ppid=26110 vsize=1328288 CPUtime=0.02 cores=0-31
/proc/26112/task/26115/stat : 26115 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 113 0 0 0 2 0 0 0 17 0 32 0 14668822 1360166912 6406 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26112/tid=26116] ppid=26110 vsize=1328288 CPUtime=0.02 cores=0-31
/proc/26112/task/26116/stat : 26116 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 189 0 0 0 1 1 0 0 17 0 32 0 14668822 1360166912 6407 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26112/tid=26117] ppid=26110 vsize=1328288 CPUtime=0.04 cores=0-31
/proc/26112/task/26117/stat : 26117 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 206 0 0 0 3 1 0 0 17 0 32 0 14668822 1360166912 6412 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26112/tid=26118] ppid=26110 vsize=1328288 CPUtime=0.04 cores=0-31
/proc/26112/task/26118/stat : 26118 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 166 0 0 0 3 1 0 0 17 0 32 0 14668822 1360166912 6415 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26112/tid=26119] ppid=26110 vsize=1328288 CPUtime=0.03 cores=0-31
/proc/26112/task/26119/stat : 26119 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 168 0 0 0 3 0 0 0 17 0 32 0 14668822 1360166912 6417 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26112/tid=26120] ppid=26110 vsize=1328288 CPUtime=0.04 cores=0-31
/proc/26112/task/26120/stat : 26120 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 128 0 0 0 4 0 0 0 17 0 32 0 14668822 1360166912 6423 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446744071566933784 0 0 -1 24 0 0 0
[pid=26112/tid=26121] ppid=26110 vsize=1328288 CPUtime=0.05 cores=0-31
/proc/26112/task/26121/stat : 26121 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 133 0 0 0 4 1 0 0 17 0 32 0 14668823 1360166912 6423 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26112/tid=26122] ppid=26110 vsize=1328288 CPUtime=0.04 cores=0-31
/proc/26112/task/26122/stat : 26122 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 224 0 0 0 3 1 0 0 17 0 32 0 14668823 1360166912 6436 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26112/tid=26123] ppid=26110 vsize=1328288 CPUtime=0.05 cores=0-31
/proc/26112/task/26123/stat : 26123 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 153 0 0 0 4 1 0 0 17 0 32 0 14668823 1360166912 6438 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446604479228788192 0 0 -1 3 0 0 0
[pid=26112/tid=26124] ppid=26110 vsize=1328288 CPUtime=0.05 cores=0-31
/proc/26112/task/26124/stat : 26124 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 173 0 0 0 4 1 0 0 17 0 32 0 14668823 1360166912 6440 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26112/tid=26125] ppid=26110 vsize=1328288 CPUtime=0.05 cores=0-31
/proc/26112/task/26125/stat : 26125 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 250 0 0 0 4 1 0 0 17 0 32 0 14668823 1360166912 6443 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26112/tid=26126] ppid=26110 vsize=1328288 CPUtime=0.06 cores=0-31
/proc/26112/task/26126/stat : 26126 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 196 0 0 0 4 2 0 0 17 0 32 0 14668823 1360166912 6445 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26112/tid=26127] ppid=26110 vsize=1328288 CPUtime=0.05 cores=0-31
/proc/26112/task/26127/stat : 26127 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 209 0 0 0 4 1 0 0 17 0 32 0 14668823 1360166912 6446 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446604500433141216 0 0 -1 13 0 0 0
[pid=26112/tid=26128] ppid=26110 vsize=1328288 CPUtime=0.05 cores=0-31
/proc/26112/task/26128/stat : 26128 (strangenight2-m) S 26110 26112 26024 0 -1 4202560 147 0 0 0 4 1 0 0 17 0 32 0 14668823 1360166912 6453 268435456000 4194304 4580107 140733934592096 18446744073709551615 258651060958 0 0 4096 2 18446604495937912288 0 0 -1 14 0 0 0
[pid=26112/tid=26129] ppid=26110 vsize=1328288 CPUtime=0.05 cores=0-31
################
# More data... #
################
/proc/meminfo: memFree=252891860/264257624 swapFree=67044780/67111528
[pid=26112] ppid=26110 vsize=14038888 CPUtime=158607 cores=0-31
/proc/26112/stat : 26112 (strangenight2-m) R 26110 26112 26024 0 -1 4202496 13273030 0 0 0 15851665 9022 0 0 25 0 32 0 14668822 14375821312 2646023 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/26112/statm: 3509722 2646023 379 95 0 3504704 0
[pid=26112/tid=26113] ppid=26110 vsize=14038888 CPUtime=4961.07 cores=0-31
/proc/26112/task/26113/stat : 26113 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 385091 0 0 0 495851 256 0 0 25 0 32 0 14668822 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26112/tid=26114] ppid=26110 vsize=14038888 CPUtime=4956.63 cores=0-31
/proc/26112/task/26114/stat : 26114 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 350811 0 0 0 495421 242 0 0 25 0 32 0 14668822 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26112/tid=26115] ppid=26110 vsize=14038888 CPUtime=4960.96 cores=0-31
/proc/26112/task/26115/stat : 26115 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 298053 0 0 0 495881 215 0 0 25 0 32 0 14668822 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26112/tid=26116] ppid=26110 vsize=14038888 CPUtime=4961.05 cores=0-31
/proc/26112/task/26116/stat : 26116 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 247150 0 0 0 495937 168 0 0 25 0 32 0 14668822 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26112/tid=26117] ppid=26110 vsize=14038888 CPUtime=4959.55 cores=0-31
/proc/26112/task/26117/stat : 26117 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 501812 0 0 0 495646 309 0 0 25 0 32 0 14668822 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26112/tid=26118] ppid=26110 vsize=14038888 CPUtime=4951.66 cores=0-31
/proc/26112/task/26118/stat : 26118 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 493131 0 0 0 494847 319 0 0 25 0 32 0 14668822 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26112/tid=26119] ppid=26110 vsize=14038888 CPUtime=4956.06 cores=0-31
/proc/26112/task/26119/stat : 26119 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 514069 0 0 0 495279 327 0 0 25 0 32 0 14668822 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26112/tid=26120] ppid=26110 vsize=14038888 CPUtime=4961.03 cores=0-31
/proc/26112/task/26120/stat : 26120 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 435722 0 0 0 495820 283 0 0 25 0 32 0 14668822 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26112/tid=26121] ppid=26110 vsize=14038888 CPUtime=4960.58 cores=0-31
/proc/26112/task/26121/stat : 26121 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 435249 0 0 0 495771 287 0 0 25 0 32 0 14668823 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26112/tid=26122] ppid=26110 vsize=14038888 CPUtime=4961.05 cores=0-31
/proc/26112/task/26122/stat : 26122 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 494149 0 0 0 495784 321 0 0 25 0 32 0 14668823 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26112/tid=26123] ppid=26110 vsize=14038888 CPUtime=4955.87 cores=0-31
/proc/26112/task/26123/stat : 26123 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 394336 0 0 0 495318 269 0 0 25 0 32 0 14668823 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4318724 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=26112/tid=26124] ppid=26110 vsize=14038888 CPUtime=4961.05 cores=0-31
/proc/26112/task/26124/stat : 26124 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 364140 0 0 0 495854 251 0 0 25 0 32 0 14668823 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26112/tid=26125] ppid=26110 vsize=14038888 CPUtime=4954.33 cores=0-31
/proc/26112/task/26125/stat : 26125 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 329551 0 0 0 495210 223 0 0 25 0 32 0 14668823 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26112/tid=26126] ppid=26110 vsize=14038888 CPUtime=4956.3 cores=0-31
/proc/26112/task/26126/stat : 26126 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 362899 0 0 0 495416 214 0 0 25 0 32 0 14668823 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26112/tid=26127] ppid=26110 vsize=14038888 CPUtime=4961.02 cores=0-31
/proc/26112/task/26127/stat : 26127 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 594976 0 0 0 495691 411 0 0 25 0 32 0 14668823 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26112/tid=26128] ppid=26110 vsize=14038888 CPUtime=4961.02 cores=0-31
/proc/26112/task/26128/stat : 26128 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 515809 0 0 0 495771 331 0 0 25 0 32 0 14668823 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26112/tid=26129] ppid=26110 vsize=14038888 CPUtime=4917.53 cores=0-31
/proc/26112/task/26129/stat : 26129 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 301609 0 0 0 491521 232 0 0 25 0 32 0 14668823 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26112/tid=26130] ppid=26110 vsize=14038888 CPUtime=4960.68 cores=0-31
/proc/26112/task/26130/stat : 26130 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 331719 0 0 0 495825 243 0 0 25 0 32 0 14668823 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26112/tid=26131] ppid=26110 vsize=14038888 CPUtime=4961.04 cores=0-31
/proc/26112/task/26131/stat : 26131 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 506404 0 0 0 495791 313 0 0 25 0 32 0 14668823 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26112/tid=26132] ppid=26110 vsize=14038888 CPUtime=4961.08 cores=0-31
/proc/26112/task/26132/stat : 26132 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 439394 0 0 0 495814 294 0 0 25 0 32 0 14668823 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26112/tid=26133] ppid=26110 vsize=14038888 CPUtime=4961.03 cores=0-31
/proc/26112/task/26133/stat : 26133 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 412442 0 0 0 495832 271 0 0 25 0 32 0 14668823 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=26112/tid=26134] ppid=26110 vsize=14038888 CPUtime=4959.99 cores=0-31
/proc/26112/task/26134/stat : 26134 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 433077 0 0 0 495632 367 0 0 25 0 32 0 14668823 14375821312 2646024 268435456000 4194304 4580107 140733934592096 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26112/tid=26135] ppid=26110 vsize=14038888 CPUtime=4925.2 cores=0-31
/proc/26112/task/26135/stat : 26135 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 360709 0 0 0 492275 245 0 0 25 0 32 0 14668823 14375821312 2646025 268435456000 4194304 4580107 140733934592096 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=26112/tid=26136] ppid=26110 vsize=14038888 CPUtime=4941.78 cores=0-31
/proc/26112/task/26136/stat : 26136 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 429468 0 0 0 493867 311 0 0 25 0 32 0 14668823 14375821312 2646025 268435456000 4194304 4580107 140733934592096 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26112/tid=26137] ppid=26110 vsize=14038888 CPUtime=4960.45 cores=0-31
/proc/26112/task/26137/stat : 26137 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 488758 0 0 0 495695 350 0 0 25 0 32 0 14668823 14375821312 2646025 268435456000 4194304 4580107 140733934592096 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=26112/tid=26138] ppid=26110 vsize=14038888 CPUtime=4959.59 cores=0-31
/proc/26112/task/26138/stat : 26138 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 461163 0 0 0 495646 313 0 0 25 0 32 0 14668823 14375821312 2646025 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26112/tid=26139] ppid=26110 vsize=14038888 CPUtime=4961.07 cores=0-31
/proc/26112/task/26139/stat : 26139 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 473383 0 0 0 495787 320 0 0 25 0 32 0 14668823 14375821312 2646025 268435456000 4194304 4580107 140733934592096 18446744073709551615 4322703 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26112/tid=26140] ppid=26110 vsize=14038888 CPUtime=4961.05 cores=0-31
/proc/26112/task/26140/stat : 26140 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 431774 0 0 0 495808 297 0 0 25 0 32 0 14668823 14375821312 2646025 268435456000 4194304 4580107 140733934592096 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26112/tid=26141] ppid=26110 vsize=14038888 CPUtime=4961.06 cores=0-31
/proc/26112/task/26141/stat : 26141 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 462019 0 0 0 495805 301 0 0 25 0 32 0 14668823 14375821312 2646025 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26112/tid=26142] ppid=26110 vsize=14038888 CPUtime=4953.57 cores=0-31
/proc/26112/task/26142/stat : 26142 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 413891 0 0 0 495083 274 0 0 25 0 32 0 14668823 14375821312 2646025 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26112/tid=26143] ppid=26110 vsize=14038888 CPUtime=4961.17 cores=0-31
/proc/26112/task/26143/stat : 26143 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 223311 0 0 0 495927 190 0 0 25 0 32 0 14668823 14375821312 2646025 268435456000 4194304 4580107 140733934592096 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 158607
Current children cumulated vsize (KiB) 14038888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5005.9 s]
/proc/loadavg: 32.20 32.18 32.08 33/445 26293
/proc/meminfo: memFree=252905564/264257624 swapFree=67044780/67111528
[pid=26112] ppid=26110 vsize=13973700 CPUtime=160001 cores=0-31
/proc/26112/stat : 26112 (strangenight2-m) R 26110 26112 26024 0 -1 4202496 13344338 0 0 0 15991031 9084 0 0 25 0 32 0 14668822 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/26112/statm: 3493425 2642034 379 95 0 3488407 0
[pid=26112/tid=26113] ppid=26110 vsize=13973700 CPUtime=5004.68 cores=0-31
/proc/26112/task/26113/stat : 26113 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 386841 0 0 0 500211 257 0 0 25 0 32 0 14668822 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26112/tid=26114] ppid=26110 vsize=13973700 CPUtime=5000.24 cores=0-31
/proc/26112/task/26114/stat : 26114 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 356383 0 0 0 499778 246 0 0 25 0 32 0 14668822 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26112/tid=26115] ppid=26110 vsize=13973700 CPUtime=5004.55 cores=0-31
/proc/26112/task/26115/stat : 26115 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 298053 0 0 0 500240 215 0 0 25 0 32 0 14668822 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26112/tid=26116] ppid=26110 vsize=13973700 CPUtime=5004.67 cores=0-31
/proc/26112/task/26116/stat : 26116 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 247150 0 0 0 500299 168 0 0 25 0 32 0 14668822 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26112/tid=26117] ppid=26110 vsize=13973700 CPUtime=5003.16 cores=0-31
/proc/26112/task/26117/stat : 26117 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 504206 0 0 0 500004 312 0 0 25 0 32 0 14668822 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26112/tid=26118] ppid=26110 vsize=13973700 CPUtime=4995.27 cores=0-31
/proc/26112/task/26118/stat : 26118 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 498391 0 0 0 499203 324 0 0 25 0 32 0 14668822 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26112/tid=26119] ppid=26110 vsize=13973700 CPUtime=4999.67 cores=0-31
/proc/26112/task/26119/stat : 26119 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 514069 0 0 0 499640 327 0 0 25 0 32 0 14668822 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26112/tid=26120] ppid=26110 vsize=13973700 CPUtime=5004.64 cores=0-31
/proc/26112/task/26120/stat : 26120 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 441445 0 0 0 500178 286 0 0 25 0 32 0 14668822 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26112/tid=26121] ppid=26110 vsize=13973700 CPUtime=5004.2 cores=0-31
/proc/26112/task/26121/stat : 26121 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 437647 0 0 0 500131 289 0 0 25 0 32 0 14668823 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26112/tid=26122] ppid=26110 vsize=13973700 CPUtime=5004.66 cores=0-31
/proc/26112/task/26122/stat : 26122 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 495264 0 0 0 500144 322 0 0 25 0 32 0 14668823 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26112/tid=26123] ppid=26110 vsize=13973700 CPUtime=4999.47 cores=0-31
/proc/26112/task/26123/stat : 26123 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 397117 0 0 0 499677 270 0 0 25 0 32 0 14668823 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=26112/tid=26124] ppid=26110 vsize=13973700 CPUtime=5004.67 cores=0-31
/proc/26112/task/26124/stat : 26124 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 367952 0 0 0 500211 256 0 0 25 0 32 0 14668823 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26112/tid=26125] ppid=26110 vsize=13973700 CPUtime=4997.95 cores=0-31
/proc/26112/task/26125/stat : 26125 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 331516 0 0 0 499570 225 0 0 25 0 32 0 14668823 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26112/tid=26126] ppid=26110 vsize=13973700 CPUtime=4999.91 cores=0-31
/proc/26112/task/26126/stat : 26126 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 363892 0 0 0 499776 215 0 0 25 0 32 0 14668823 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26112/tid=26127] ppid=26110 vsize=13973700 CPUtime=5004.63 cores=0-31
/proc/26112/task/26127/stat : 26127 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 597550 0 0 0 500049 414 0 0 25 0 32 0 14668823 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26112/tid=26128] ppid=26110 vsize=13973700 CPUtime=5004.63 cores=0-31
/proc/26112/task/26128/stat : 26128 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 521964 0 0 0 500129 334 0 0 25 0 32 0 14668823 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26112/tid=26129] ppid=26110 vsize=13973700 CPUtime=4961.14 cores=0-31
/proc/26112/task/26129/stat : 26129 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 301609 0 0 0 495882 232 0 0 25 0 32 0 14668823 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26112/tid=26130] ppid=26110 vsize=13973700 CPUtime=5004.28 cores=0-31
/proc/26112/task/26130/stat : 26130 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 338688 0 0 0 500180 248 0 0 25 0 32 0 14668823 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26112/tid=26131] ppid=26110 vsize=13973700 CPUtime=5004.65 cores=0-31
/proc/26112/task/26131/stat : 26131 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 507745 0 0 0 500151 314 0 0 25 0 32 0 14668823 14309068800 2642034 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26112/tid=26132] ppid=26110 vsize=13973700 CPUtime=5004.69 cores=0-31
/proc/26112/task/26132/stat : 26132 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 440533 0 0 0 500174 295 0 0 25 0 32 0 14668823 14309068800 2642036 268435456000 4194304 4580107 140733934592096 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26112/tid=26133] ppid=26110 vsize=13973700 CPUtime=5004.64 cores=0-31
/proc/26112/task/26133/stat : 26133 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 412442 0 0 0 500193 271 0 0 25 0 32 0 14668823 14309068800 2642036 268435456000 4194304 4580107 140733934592096 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=26112/tid=26134] ppid=26110 vsize=13973700 CPUtime=5003.59 cores=0-31
/proc/26112/task/26134/stat : 26134 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 433077 0 0 0 499992 367 0 0 25 0 32 0 14668823 14309068800 2642036 268435456000 4194304 4580107 140733934592096 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26112/tid=26135] ppid=26110 vsize=13973700 CPUtime=4967.57 cores=0-31
/proc/26112/task/26135/stat : 26135 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 363170 0 0 0 496510 247 0 0 25 0 32 0 14668823 14309068800 2642036 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=26112/tid=26136] ppid=26110 vsize=13973700 CPUtime=4985.39 cores=0-31
/proc/26112/task/26136/stat : 26136 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 429468 0 0 0 498228 311 0 0 25 0 32 0 14668823 14309068800 2642036 268435456000 4194304 4580107 140733934592096 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26112/tid=26137] ppid=26110 vsize=13973700 CPUtime=5004.06 cores=0-31
/proc/26112/task/26137/stat : 26137 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 491429 0 0 0 500053 353 0 0 25 0 32 0 14668823 14309068800 2642036 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=26112/tid=26138] ppid=26110 vsize=13973700 CPUtime=5003.2 cores=0-31
/proc/26112/task/26138/stat : 26138 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 463608 0 0 0 500004 316 0 0 25 0 32 0 14668823 14309068800 2642036 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26112/tid=26139] ppid=26110 vsize=13973700 CPUtime=5004.68 cores=0-31
/proc/26112/task/26139/stat : 26139 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 474571 0 0 0 500147 321 0 0 25 0 32 0 14668823 14309068800 2642036 268435456000 4194304 4580107 140733934592096 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26112/tid=26140] ppid=26110 vsize=13973700 CPUtime=5004.66 cores=0-31
/proc/26112/task/26140/stat : 26140 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 432410 0 0 0 500168 298 0 0 25 0 32 0 14668823 14309068800 2642037 268435456000 4194304 4580107 140733934592096 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26112/tid=26141] ppid=26110 vsize=13973700 CPUtime=5004.67 cores=0-31
/proc/26112/task/26141/stat : 26141 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 467414 0 0 0 500163 304 0 0 25 0 32 0 14668823 14309068800 2642037 268435456000 4194304 4580107 140733934592096 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26112/tid=26142] ppid=26110 vsize=13973700 CPUtime=4997.19 cores=0-31
/proc/26112/task/26142/stat : 26142 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 415123 0 0 0 499442 277 0 0 25 0 32 0 14668823 14309068800 2642037 268435456000 4194304 4580107 140733934592096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26112/tid=26143] ppid=26110 vsize=13973700 CPUtime=5004.78 cores=0-31
/proc/26112/task/26143/stat : 26143 (strangenight2-m) R 26110 26112 26024 0 -1 4202560 224009 0 0 0 500287 191 0 0 25 0 32 0 14668823 14309068800 2642037 268435456000 4194304 4580107 140733934592096 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 13973700
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5006.2 s]
/proc/loadavg: 32.20 32.18 32.08 2/416 26294
/proc/meminfo: memFree=254290628/264257624 swapFree=67044780/67111528
[pid=26112] ppid=26110 vsize=0 CPUtime=160002 cores=0-31
/proc/26112/stat : 26112 (strangenight2-m) Z 26110 26112 26024 0 -1 4203548 13344346 0 0 0 15991053 9111 0 0 25 0 2 0 14668822 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/26112/statm: 0 0 0 0 0 0 0
[pid=26112/tid=26135] ppid=26110 vsize=0 CPUtime=4967.85 cores=0-31
/proc/26112/task/26135/stat : 26135 (strangenight2-m) R 26110 26112 26024 0 -1 4203588 363170 0 0 0 496511 274 0 0 25 0 2 0 14668823 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) 160002
Current children cumulated vsize (KiB) 0
[startup+5006.6 s]
/proc/loadavg: 32.20 32.18 32.08 2/416 26294
/proc/meminfo: memFree=254290628/264257624 swapFree=67044780/67111528
[pid=26112] ppid=26110 vsize=0 CPUtime=160002 cores=0-31
/proc/26112/stat : 26112 (strangenight2-m) Z 26110 26112 26024 0 -1 4203548 13344346 0 0 0 15991053 9151 0 0 25 0 2 0 14668822 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/26112/statm: 0 0 0 0 0 0 0
[pid=26112/tid=26135] ppid=26110 vsize=0 CPUtime=4968.25 cores=0-31
/proc/26112/task/26135/stat : 26135 (strangenight2-m) R 26110 26112 26024 0 -1 4203588 363170 0 0 0 496511 314 0 0 25 0 2 0 14668823 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) 160002
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5006.67
CPU time (s): 160002
CPU user time (s): 159911
CPU system time (s): 91.5821
CPU usage (%): 3195.78
Max. virtual memory (cumulated for all children) (KiB): 14476620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159911
system time used= 91.5821
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13344346
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= 108955
involuntary context switches= 327118
runsolver used 27.7558 second user time and 113.447 second system time
The end
Begin job on node200 at 2011-06-01 02:10:28
IDJOB=3400830
IDBENCH=83421
IDSOLVER=1886
FILE ID=node200/3400830-1306887028
RUNJOBID= node200-1306886862-26038
PBS_JOBID= 13471382
Free space on /tmp= 61580 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/64/aes_64_3_keyfind_1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400830-1306887028/watcher-3400830-1306887028 -o /tmp/evaluation-result-3400830-1306887028/solver-3400830-1306887028 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400830-1306887028.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 4738c3d0ccd52030cff8addcec6bcde9
RANDOM SEED=1921797560
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.042
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.08
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.042
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.042
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.12
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.042
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.14
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.042
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.04
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.042
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.042
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.09
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.042
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.042
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.05
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.042
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.14
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.042
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.11
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.042
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.12
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.042
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.02
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.042
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.08
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.042
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 : 3990.06
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.042
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.10
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.042
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.07
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.042
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.13
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.042
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.042
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 : 3989.95
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.042
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.06
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.042
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.08
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.042
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.07
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.042
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.09
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.042
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.042
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.06
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.042
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.09
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.042
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.05
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.042
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 : 3996.76
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.042
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.08
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.042
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.042
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.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263481044 kB
Buffers: 163736 kB
Cached: 409596 kB
SwapCached: 29976 kB
Active: 141660 kB
Inactive: 464104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263481044 kB
SwapTotal: 67111528 kB
SwapFree: 67044780 kB
Dirty: 5752 kB
Writeback: 0 kB
AnonPages: 29568 kB
Mapped: 8672 kB
Slab: 74792 kB
PageTables: 4920 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191624 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= 61572 MiB
End job on node200 at 2011-06-01 03:33:56