0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 32 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3400654-1306274322.cnf'
0.00/0.06 c -- header says num vars: 8527
0.00/0.06 c -- header says num clauses: 25484
7.42/0.37 c -- clauses added: 0 learnts, 25484 normals, 0 xors
7.42/0.37 c -- vars added 8527
7.42/0.37 c Parsing time: 0.03 s
7.42/0.37 c N st 0 0 8527 8494 16988 0 59458 0 no data no data
7.42/0.44 c asymm cl-useful: 0/8493/8493 lits-rem:0 time: 0.07
14.10/0.72 c Flit: 4 Blit: 1063 bXBeca: 0 bXProp: 85 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.11
14.10/0.72 c Cleaning up after failed var search: 0.00 s
14.10/0.72 c Replacing 85 vars Replaced 1090 lits Time: 0.00 s
14.10/0.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
14.10/0.78 c bin-w-bin subsume rem 0 bins time: 0.00 s
14.10/0.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
16.06/0.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7365 time: 0.02 s
16.06/0.83 c Removed useless bin: 6 fixed: 0 props: 0.55M time: 0.01 s
19.72/1.08 c lits-rem: 0 cl-subs: 1 v-elim: 2455 v-fix: 0 time: 0.06 s
19.72/1.08 c Finding binary XORs T: 0.00 s found: 0
19.72/1.09 c Finding non-binary XORs: 0.01 s (found: 62, avg size: 3.0)
19.72/1.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 31 locsubst: 0 time: 0.00
19.72/1.09 c calculated reachability. Time: 0.00
19.72/1.10 c Calc default polars - time: 0.00 s pos: 226 undec: 5235 neg: 3066
19.72/1.10 c =========================================================================================
19.72/1.10 c types(t): F = full restart, N = normal restart
19.72/1.10 c types(t): S = simplification begin/end, E = solution found
19.72/1.10 c restart types(rt): st = static, dy = dynamic
19.72/1.10 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
19.72/1.10 c B st 0 0 4879 9482 7502 0 45080 0 no data no data
123.98/4.32 c N dy 11 4267 4874 9482 7561 4172 45080 155181 12.17 13.02
388.67/12.63 c N dy 34 17830 4857 9482 7612 10937 45080 336923 11.61 12.23
388.67/12.64 c Finding binary XORs T: 0.00 s found: 3
526.08/16.97 c F st 67 25000 4855 9419 7808 12483 44754 364453 12.34 8.98
526.08/16.97 c Replacing 3 vars Replaced 111 lits Time: 0.00 s
526.08/16.98 c N st 67 25000 4852 9419 7801 12483 44742 364451 12.34 8.98
644.37/20.64 c Decided on static restart strategy
644.37/20.64 c N st 73 30001 4851 9419 7829 10701 44742 267838 12.34 no data
644.37/20.64 c S st 73 30001 4851 9419 7829 10701 44742 267838 12.34 no data
647.56/20.72 c S st 73 30504 4851 9419 7831 11201 44742 276795 12.34 no data
647.56/20.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 15 locsubst: 0 time: 0.00
647.56/20.77 c Flit: 1 Blit: 8 bXBeca: 0 bXProp: 1 Bins: 808 BRemL: 461 BRemN: 6 P: 0.9M T: 0.05
647.56/20.78 c Replacing 1 vars Replaced 15 lits Time: 0.01 s
647.56/20.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
647.56/20.79 c bin-w-bin subsume rem 24 bins time: 0.00 s
647.56/20.79 c subs with bin: 0 lits-rem: 553 v-fix: 0 time: 0.00 s
647.56/20.80 c Subs w/ non-existent bins: 23 l-rem: 1 v-fix: 0 done: 4824 time: 0.01 s
647.56/20.80 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s
651.36/20.83 c lits-rem: 0 cl-subs: 15 v-elim: 830 v-fix: 0 time: 0.03 s
651.36/20.84 c subs with bin: 4 lits-rem: 21 v-fix: 0 time: 0.00 s
651.36/20.86 c lits-rem: 56 cl-subs: 54 v-elim: 0 v-fix: 0 time: 0.01 s
651.36/20.86 c Added XOR as norm:0
651.36/20.87 c asymm cl-useful: 0/2336/10829 lits-rem:0 time: 0.01
651.36/20.87 c calculated reachability. Time: 0.00
651.36/20.87 c N st 73 30504 3994 10829 5440 5555 44663 83094 12.34 no data
733.86/23.48 c Finding binary XORs T: 0.00 s found: 0
865.55/27.55 c N st 75 37617 3994 10829 5443 7525 44663 188251 12.34 no data
1027.95/32.68 c N st 76 44016 3994 10829 5443 13902 44663 509839 12.34 no data
1027.95/32.68 c Finding binary XORs T: 0.00 s found: 0
1073.29/34.04 c S st 77 45756 3994 10829 5695 8214 44663 196225 12.34 no data
1073.29/34.11 c S st 77 46260 3994 10829 5695 8712 44663 206017 12.34 no data
1073.29/34.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 8 locsubst: 0 time: 0.00
1076.53/34.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 51 BRemL: 228 BRemN: 8 P: 1.0M T: 0.04
1076.53/34.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1076.53/34.16 c bin-w-bin subsume rem 19 bins time: 0.00 s
1076.53/34.16 c subs with bin: 71 lits-rem: 18 v-fix: 0 time: 0.00 s
1076.53/34.17 c Subs w/ non-existent bins: 32 l-rem: 76 v-fix: 0 done: 3986 time: 0.01 s
1076.53/34.17 c Removed useless bin: 2 fixed: 0 props: 0.12M time: 0.00 s
1076.53/34.18 c lits-rem: 0 cl-subs: 0 v-elim: 4 v-fix: 0 time: 0.01 s
1079.09/34.20 c subs with bin: 0 lits-rem: 125 v-fix: 0 time: 0.01 s
1079.09/34.27 c lits-rem: 133 cl-subs: 394 v-elim: 0 v-fix: 0 time: 0.06 s
1079.09/34.27 c Added XOR as norm:0
1079.09/34.27 c vivif2 -- cl tried 10727 cl shrink 7 lits rem 21 time: 0.00
1079.09/34.28 c vivif2 -- cl tried 7100 cl shrink 925 lits rem 2168 time: 0.01
1082.28/34.32 c asymm cl-useful: 1/10727/10727 lits-rem:1 time: 0.04
1082.28/34.32 c calculated reachability. Time: 0.00
1082.28/34.32 c N st 77 46260 3982 10727 5485 7100 44257 149631 12.34 no data
1536.17/48.51 c N st 78 60658 3982 10727 5485 12898 44257 432196 12.34 no data
1836.65/57.93 c N st 79 69390 3982 10727 5490 11270 44257 248786 12.34 no data
1836.65/57.93 c S st 79 69390 3982 10727 5490 11270 44257 248786 12.34 no data
1839.85/58.02 c S st 79 69898 3982 10727 5502 11776 44257 259737 12.34 no data
1839.85/58.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 4 locsubst: 0 time: 0.00
1839.85/58.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 16 BRemN: 10 P: 1.1M T: 0.04
1839.85/58.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1839.85/58.07 c bin-w-bin subsume rem 2 bins time: 0.00 s
1839.85/58.07 c subs with bin: 2 lits-rem: 0 v-fix: 0 time: 0.00 s
1839.85/58.08 c Subs w/ non-existent bins: 1 l-rem: 0 v-fix: 0 done: 3978 time: 0.01 s
1839.85/58.08 c Removed useless bin: 0 fixed: 0 props: 0.12M time: 0.00 s
1839.85/58.10 c lits-rem: 0 cl-subs: 0 v-elim: 1 v-fix: 0 time: 0.01 s
1843.05/58.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
1846.87/58.29 c lits-rem: 313 cl-subs: 627 v-elim: 0 v-fix: 0 time: 0.16 s
1846.87/58.29 c Added XOR as norm:0
1846.87/58.29 c vivif2 -- cl tried 10727 cl shrink 0 lits rem 0 time: 0.00
1846.87/58.30 c vivif2 -- cl tried 11137 cl shrink 1326 lits rem 3453 time: 0.01
1850.07/58.35 c asymm cl-useful: 0/10727/10727 lits-rem:0 time: 0.05
1850.07/58.36 c calculated reachability. Time: 0.00
1850.07/58.36 c N st 79 69898 3977 10727 5472 11137 44234 233691 12.34 no data
2421.58/76.23 c F st 80 87501 3977 10727 5472 17114 44234 544704 12.34 no data
2421.58/76.23 c N st 80 87501 3977 10727 5472 17114 44234 544704 12.34 no data
2421.58/76.24 c Finding binary XORs T: 0.00 s found: 0
2565.43/80.80 c N dy 90 93094 3977 10727 5486 22649 44234 766532 12.44 22.01
2773.22/87.22 c N dy 95 104847 3977 10727 5486 21523 44234 716578 11.65 9.31
2773.22/87.22 c S st 95 104847 3977 10727 5486 21523 44234 716578 11.65 9.31
2776.41/87.35 c S st 95 105348 3977 10727 5486 22024 44234 726760 11.65 no data
2776.41/87.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 2 locsubst: 0 time: 0.01
2779.61/87.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2 BRemL: 14 BRemN: 1 P: 2.4M T: 0.08
2779.61/87.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2779.61/87.44 c bin-w-bin subsume rem 0 bins time: 0.00 s
2779.61/87.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2779.61/87.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3975 time: 0.01 s
2779.61/87.45 c Removed useless bin: 0 fixed: 0 props: 0.12M time: 0.00 s
2779.61/87.47 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
2782.81/87.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.06 s
2801.98/88.19 c lits-rem: 771 cl-subs: 566 v-elim: 0 v-fix: 0 time: 0.60 s
2801.98/88.19 c Added XOR as norm:0
2801.98/88.19 c vivif2 -- cl tried 10727 cl shrink 0 lits rem 0 time: 0.00
2805.18/88.25 c vivif2 -- cl tried 21456 cl shrink 7165 lits rem 30222 time: 0.06
2808.38/88.33 c asymm cl-useful: 3/10727/10727 lits-rem:68 time: 0.09
2808.38/88.34 c calculated reachability. Time: 0.00
2808.38/88.34 c N dy 95 105348 3975 10727 5473 21456 44160 667624 11.65 no data
2980.99/93.75 c N dy 123 114055 3975 10727 5473 16249 44160 374234 11.85 12.48
3144.00/98.84 c N dy 138 121691 3975 10727 5474 23816 44160 720012 11.82 12.70
3300.63/103.79 c N dy 139 129510 3975 10727 5474 16721 44160 347736 11.57 12.24
3588.32/112.74 c N dy 167 142253 3975 10727 5480 29207 44160 842390 11.51 12.17
3789.70/119.01 c N dy 195 151870 3975 10727 5481 22854 44160 528085 11.55 12.22
3939.94/123.73 c S st 197 158022 3975 10727 5481 28863 44160 763456 11.39 8.82
3943.14/123.87 c S st 197 158529 3975 10727 5481 29366 44160 774575 11.39 no data
3943.14/123.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.01
3946.33/123.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 9 BRemN: 0 P: 2.6M T: 0.09
3946.33/123.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3946.33/123.97 c bin-w-bin subsume rem 0 bins time: 0.00 s
3946.33/123.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
3946.33/123.98 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3974 time: 0.01 s
3946.33/123.99 c Removed useless bin: 0 fixed: 0 props: 0.12M time: 0.00 s
3949.53/124.01 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
3952.73/124.12 c subs with bin: 0 lits-rem: 2 v-fix: 0 time: 0.06 s
3978.30/124.98 c lits-rem: 1164 cl-subs: 3035 v-elim: 0 v-fix: 0 time: 0.86 s
3978.30/124.98 c Added XOR as norm:0
3978.30/124.99 c vivif2 -- cl tried 10727 cl shrink 0 lits rem 0 time: 0.00
3981.50/125.05 c vivif2 -- cl tried 26331 cl shrink 6974 lits rem 33374 time: 0.06
3984.69/125.16 c asymm cl-useful: 0/10727/10727 lits-rem:0 time: 0.11
3984.69/125.16 c calculated reachability. Time: 0.00
3984.69/125.16 c N dy 197 158529 3974 10727 5472 26331 44158 698472 11.39 no data
4323.50/135.80 c N dy 214 173322 3974 10727 5474 24125 44158 483289 11.20 11.82
4668.67/146.58 c N dy 263 188838 3973 10727 5478 21728 44158 411162 11.32 12.00
4895.65/153.61 c N dy 378 200957 3973 10727 5501 33744 44158 824878 11.93 17.62
5151.93/161.62 c N dy 494 213870 3973 10727 5501 27843 44158 565840 12.46 16.07
5464.60/171.40 c N dy 566 227524 3973 10727 5501 21606 44158 299970 12.69 15.48
5665.99/177.72 c S st 667 237793 3973 10727 5501 31811 44158 656858 13.05 19.17
5669.19/177.88 c S st 667 238297 3973 10727 5501 32314 44158 667111 13.05 no data
5669.19/177.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
5672.39/177.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 26 BRemN: 0 P: 2.9M T: 0.09
5672.39/177.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5672.39/177.98 c bin-w-bin subsume rem 3 bins time: 0.00 s
5672.39/177.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
5672.39/177.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3973 time: 0.01 s
5672.39/177.99 c Removed useless bin: 0 fixed: 0 props: 0.12M time: 0.00 s
5675.58/178.02 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
5679.40/178.20 c subs with bin: 405 lits-rem: 5 v-fix: 0 time: 0.14 s
5691.56/178.56 c lits-rem: 1349 cl-subs: 472 v-elim: 0 v-fix: 0 time: 0.35 s
5691.56/178.56 c Added XOR as norm:0
5691.56/178.56 c vivif2 -- cl tried 10724 cl shrink 0 lits rem 0 time: 0.00
5694.76/178.61 c vivif2 -- cl tried 30201 cl shrink 6119 lits rem 14831 time: 0.05
5697.96/178.73 c asymm cl-useful: 0/10724/10724 lits-rem:0 time: 0.11
5697.96/178.73 c calculated reachability. Time: 0.00
5697.96/178.73 c N dy 667 238297 3973 10724 5417 30201 44146 609591 13.05 no data
6187.00/194.05 c N dy 788 260698 3973 10724 5417 32250 44146 736268 13.21 13.91
6554.61/205.57 c N dy 864 277375 3973 10724 5417 27292 44146 463270 13.29 19.11
7117.19/223.10 c N dy 936 301185 3973 10724 5417 28229 44146 461163 13.25 14.06
7222.68/226.44 c F st 986 306251 3973 10724 5419 33264 44146 637520 13.34 no data
7331.98/229.90 c Decided on static restart strategy
7810.81/244.90 c N st 995 324957 3973 10724 5419 28325 44146 635757 13.34 no data
8616.32/270.00 c N st 997 348952 3973 10724 5419 27489 44146 444070 13.34 no data
8897.63/278.86 c S st 998 357446 3973 10724 5419 35937 44146 803427 13.34 no data
8904.02/279.04 c S st 998 357950 3973 10724 5419 36440 44146 813431 13.34 no data
8904.02/279.05 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
8907.22/279.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 2 BRemN: 0 P: 2.8M T: 0.09
8907.22/279.15 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
8907.22/279.15 c bin-w-bin subsume rem 0 bins time: 0.00 s
8907.22/279.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
8907.22/279.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3973 time: 0.01 s
8907.22/279.16 c Removed useless bin: 0 fixed: 0 props: 0.12M time: 0.00 s
8907.22/279.18 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
8910.41/279.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.06 s
8984.53/281.57 c lits-rem: 742 cl-subs: 5387 v-elim: 0 v-fix: 0 time: 2.27 s
8984.53/281.57 c Added XOR as norm:0
8984.53/281.57 c vivif2 -- cl tried 10724 cl shrink 0 lits rem 0 time: 0.00
8987.76/281.64 c vivif2 -- cl tried 31053 cl shrink 8065 lits rem 21875 time: 0.07
8990.31/281.78 c asymm cl-useful: 0/10724/10724 lits-rem:0 time: 0.13
8990.31/281.78 c calculated reachability. Time: 0.00
8990.31/281.78 c N st 998 357950 3973 10724 5417 31053 44146 683685 13.34 no data
10064.34/315.37 c N st 999 390343 3973 10724 5417 37569 44146 909144 13.34 no data
11876.76/372.05 c N st 1000 438932 3973 10724 5424 31258 44146 528885 13.34 no data
13647.63/427.45 c N st 1001 511815 3973 10724 5429 45208 44146 1117781 13.34 no data
13647.63/427.45 c Finding binary XORs T: 0.00 s found: 0
14734.44/461.46 c N st 1002 536927 3973 10724 5439 39372 44146 838133 13.34 no data
14734.44/461.46 c S st 1002 536927 3973 10724 5439 39372 44146 838133 13.34 no data
14740.83/461.65 c S st 1002 537432 3973 10724 5439 39874 44146 849146 13.34 no data
14740.83/461.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
14744.03/461.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 12 BRemN: 0 P: 3.3M T: 0.11
14744.03/461.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
14744.03/461.77 c bin-w-bin subsume rem 2 bins time: 0.00 s
14744.03/461.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
14744.03/461.78 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3973 time: 0.01 s
14744.03/461.78 c Removed useless bin: 0 fixed: 0 props: 0.12M time: 0.00 s
14747.23/461.81 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
14751.01/461.93 c subs with bin: 6 lits-rem: 2 v-fix: 0 time: 0.06 s
14763.19/462.40 c lits-rem: 316 cl-subs: 275 v-elim: 0 v-fix: 0 time: 0.47 s
14763.19/462.40 c Added XOR as norm:0
14766.39/462.40 c vivif2 -- cl tried 10724 cl shrink 0 lits rem 0 time: 0.00
14766.39/462.47 c vivif2 -- cl tried 39593 cl shrink 6215 lits rem 14700 time: 0.07
14772.80/462.65 c asymm cl-useful: 0/10724/10724 lits-rem:0 time: 0.18
14772.80/462.66 c calculated reachability. Time: 0.00
14772.80/462.66 c N st 1002 537432 3973 10724 5425 39593 44146 825971 13.34 no data
21405.49/670.15 c N st 1003 701418 3973 10724 5425 69202 44146 1811289 13.34 no data
25932.36/811.77 c N st 1004 806148 3973 10724 5456 63285 44146 1889491 13.34 no data
25932.36/811.77 c S st 1004 806148 3973 10724 5456 63285 44146 1889491 13.34 no data
25932.36/811.78 c Finding binary XORs T: 0.00 s found: 0
25941.31/812.08 c S st 1004 806649 3973 10724 5520 63784 44146 1900746 13.34 no data
25941.31/812.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
25947.74/812.28 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 67 BRemN: 0 P: 4.1M T: 0.18
25947.74/812.28 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
25947.74/812.28 c bin-w-bin subsume rem 1 bins time: 0.00 s
25947.74/812.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
25947.74/812.29 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3973 time: 0.01 s
25947.74/812.30 c Removed useless bin: 0 fixed: 0 props: 0.12M time: 0.00 s
25950.92/812.34 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
25963.70/812.75 c subs with bin: 0 lits-rem: 45 v-fix: 0 time: 0.28 s
26076.20/816.25 c lits-rem: 434 cl-subs: 510 v-elim: 0 v-fix: 0 time: 3.50 s
26076.20/816.25 c Added XOR as norm:0
26076.20/816.26 c vivif2 -- cl tried 10724 cl shrink 0 lits rem 0 time: 0.00
26085.16/816.59 c vivif2 -- cl tried 63274 cl shrink 18744 lits rem 48081 time: 0.33
26101.16/817.06 c asymm cl-useful: 3/10724/10724 lits-rem:3 time: 0.47
26101.16/817.06 c calculated reachability. Time: 0.00
26101.16/817.06 c N st 1004 806649 3973 10724 5454 63272 44143 1830484 13.34 no data
37905.81/1186.39 c F st 1005 1071876 3973 10724 5454 79022 44143 1907657 13.34 no data
37909.01/1186.40 c N st 1005 1071876 3973 10724 5454 79022 44143 1907657 13.34 no data
38647.39/1209.56 c N dy 1142 1091929 3972 10724 5469 54042 44143 846487 13.58 20.95
39321.89/1230.70 c N dy 1262 1111960 3972 10724 5469 73874 44143 1577506 13.72 22.25
40089.03/1254.65 c N dy 1414 1131988 3972 10724 5469 47984 44143 572595 13.93 17.13
40763.50/1275.70 c N dy 1526 1155729 3972 10724 5469 71600 44143 1479249 14.04 14.84
41447.52/1297.17 c N dy 1683 1175767 3972 10724 5469 91477 44143 2180276 14.24 18.12
42665.40/1335.30 c N dy 1827 1209973 3972 10724 5470 78592 44143 1674033 14.26 12.84
42665.40/1335.30 c S st 1827 1209973 3972 10724 5470 78592 44143 1674033 14.26 12.84
42678.18/1335.66 c S st 1827 1210474 3972 10724 5470 79091 44143 1687274 14.26 no data
42678.18/1335.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
42687.78/1335.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 0 BRemL: 10 BRemN: 0 P: 5.4M T: 0.26
42687.78/1335.98 c Replacing 1 vars Replaced 3021 lits Time: 0.05 s
42687.78/1335.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
42687.78/1335.98 c bin-w-bin subsume rem 2 bins time: 0.00 s
42687.78/1335.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
42687.78/1335.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3971 time: 0.01 s
42687.78/1336.00 c Removed useless bin: 2 fixed: 0 props: 0.12M time: 0.00 s
42690.98/1336.04 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
42700.57/1336.37 c subs with bin: 0 lits-rem: 94 v-fix: 0 time: 0.21 s
42825.23/1340.21 c lits-rem: 4947 cl-subs: 3198 v-elim: 0 v-fix: 0 time: 3.84 s
42825.23/1340.21 c Added XOR as norm:0
42825.23/1340.22 c vivif2 -- cl tried 10721 cl shrink 0 lits rem 0 time: 0.00
42831.63/1340.42 c vivif2 -- cl tried 75891 cl shrink 15973 lits rem 40416 time: 0.20
42848.24/1341.00 c asymm cl-useful: 0/10721/10721 lits-rem:0 time: 0.58
42850.80/1341.00 c calculated reachability. Time: 0.00
42850.80/1341.00 c N dy 1827 1210474 3971 10721 5419 75891 44121 1584229 14.26 no data
43583.41/1363.95 c N dy 1922 1230497 3971 10721 5419 48168 44121 481850 14.32 15.08
44209.31/1383.57 c N dy 2084 1250642 3971 10721 5419 68163 44121 1195982 14.47 15.28
45526.26/1424.71 c N dy 2127 1283682 3971 10721 5419 52263 44121 617055 14.25 15.10
46424.49/1452.86 c N dy 2212 1308581 3971 10721 5419 76751 44121 1440859 14.26 15.65
47220.40/1477.70 c N dy 2328 1328676 3971 10721 5421 96664 44121 2197435 14.32 20.20
48690.77/1523.73 c N dy 2386 1367586 3971 10721 5421 85765 44121 2033288 14.14 14.89
49585.82/1551.72 c N dy 2519 1389098 3971 10721 5421 56631 44121 716693 14.22 15.03
50375.36/1576.42 c N dy 2591 1409140 3971 10721 5421 76539 44121 1460145 14.18 20.28
51209.64/1602.53 c N dy 2726 1429172 3971 10721 5421 96366 44121 2152121 14.26 21.21
51887.29/1623.79 c N dy 2874 1449359 3971 10721 5421 64893 44121 951644 14.34 15.19
52658.27/1647.86 c N dy 2989 1471796 3971 10721 5421 87154 44121 1790043 14.37 15.14
53453.57/1672.72 c N dy 3113 1491911 3971 10721 5421 54524 44121 547763 14.43 15.19
55058.19/1722.91 c N dy 3182 1531565 3971 10721 5421 93775 44121 1896803 14.31 15.19
55857.97/1747.93 c N dy 3304 1551580 3971 10721 5421 60101 44121 721781 14.37 19.54
56633.22/1772.29 c N dy 3466 1571643 3971 10721 5421 80017 44121 1424605 14.44 16.95
57582.30/1801.98 c N dy 3487 1593876 3971 10721 5421 101911 44121 2170187 14.38 15.34
58320.69/1825.05 c N dy 3558 1615107 3971 10721 5421 68507 44121 959445 14.38 15.17
59103.83/1849.59 c N dy 3718 1635992 3971 10721 5421 89212 44121 1677577 14.44 15.23
60091.55/1880.47 c N dy 3830 1656087 3971 10721 5421 109051 44121 2378013 14.48 16.00
62440.97/1953.96 c N dy 3835 1710476 3971 10721 5421 107258 44121 2293069 14.30 10.99
62440.97/1953.96 c S st 3835 1710476 3971 10721 5421 107258 44121 2293069 14.30 10.99
62460.16/1954.51 c S st 3835 1710979 3971 10721 5421 107758 44121 2305506 14.30 no data
62460.16/1954.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
62472.93/1954.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 4 BRemN: 1 P: 6.8M T: 0.39
62472.93/1954.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
62472.93/1954.92 c bin-w-bin subsume rem 0 bins time: 0.00 s
62472.93/1954.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
62472.93/1954.94 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3971 time: 0.01 s
62472.93/1954.94 c Removed useless bin: 0 fixed: 0 props: 0.12M time: 0.00 s
62472.93/1954.99 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
62488.92/1955.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.24 s
62968.40/1970.49 c lits-rem: 7725 cl-subs: 10025 v-elim: 0 v-fix: 0 time: 15.07 s
62968.40/1970.49 c Added XOR as norm:0
62968.40/1970.49 c vivif2 -- cl tried 10721 cl shrink 0 lits rem 0 time: 0.00
62981.19/1970.87 c vivif2 -- cl tried 97733 cl shrink 24864 lits rem 73723 time: 0.38
63000.35/1971.45 c asymm cl-useful: 0/9199/10721 lits-rem:0 time: 0.57
63000.35/1971.45 c calculated reachability. Time: 0.00
63000.35/1971.45 c N dy 3835 1710979 3971 10721 5416 97733 44119 2007722 14.30 no data
63857.03/1998.22 c N dy 3935 1731329 3971 10721 5416 61600 44119 683362 14.32 15.19
67590.52/2115.02 c N dy 3962 1820094 3971 10721 5416 92039 44119 1821872 14.04 15.10
68702.90/2149.85 c N dy 4108 1847475 3971 10721 5416 60885 44119 623379 14.07 14.81
69511.60/2175.16 c N dy 4217 1867564 3971 10721 5416 80784 44119 1304243 14.09 16.66
70413.64/2203.32 c N dy 4353 1887594 3971 10721 5416 100631 44119 2008484 14.14 16.81
71407.08/2234.47 c N dy 4506 1907783 3971 10721 5416 61230 44119 588593 14.20 14.95
72177.47/2258.56 c N dy 4683 1927808 3971 10721 5416 81095 44119 1275665 14.26 19.70
73114.06/2287.83 c N dy 4777 1947901 3971 10721 5416 101057 44119 2058064 14.27 15.88
74092.19/2318.44 c N dy 4837 1969046 3971 10721 5416 61493 44119 569386 14.26 15.13
76080.39/2380.64 c N dy 4924 2018202 3971 10721 5416 110085 44119 2508418 14.20 15.15
76997.73/2409.39 c N dy 5050 2038230 3971 10721 5416 68571 44119 794019 14.23 15.06
77899.77/2437.52 c N dy 5101 2058289 3971 10721 5416 88510 44119 1597845 14.22 16.13
78864.52/2467.78 c N dy 5271 2078305 3971 10721 5416 108337 44119 2279094 14.27 20.18
84992.20/2659.42 c N dy 5364 2210979 3971 10721 5416 113211 44119 2214386 13.95 8.93
84992.20/2659.42 c S st 5364 2210979 3971 10721 5416 113211 44119 2214386 13.95 8.93
85011.36/2660.09 c S st 5364 2211483 3971 10721 5416 113714 44119 2227109 13.95 no data
85014.53/2660.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
85027.32/2660.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 6.8M T: 0.42
85027.32/2660.54 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
85027.32/2660.54 c bin-w-bin subsume rem 0 bins time: 0.00 s
85027.32/2660.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
85027.32/2660.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3971 time: 0.01 s
85027.32/2660.55 c Removed useless bin: 0 fixed: 0 props: 0.12M time: 0.00 s
85030.55/2660.61 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
85043.33/2661.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.31 s
85427.54/2673.09 c lits-rem: 2756 cl-subs: 15107 v-elim: 0 v-fix: 0 time: 12.00 s
85427.54/2673.09 c Added XOR as norm:0
85427.54/2673.09 c vivif2 -- cl tried 10721 cl shrink 0 lits rem 0 time: 0.00
85436.49/2673.39 c vivif2 -- cl tried 98607 cl shrink 19089 lits rem 61002 time: 0.29
85442.89/2673.50 c asymm cl-useful: 0/1522/10721 lits-rem:0 time: 0.11
85442.89/2673.51 c calculated reachability. Time: 0.00
85442.89/2673.51 c N dy 5364 2211483 3971 10721 5416 98607 44119 1957745 13.95 no data
86421.02/2704.18 c N dy 5488 2231614 3971 10721 5416 118559 44119 2670845 13.97 14.76
88396.45/2765.97 c N dy 5584 2271669 3971 10721 5416 94278 44119 1595478 13.95 14.71
89464.09/2799.37 c N dy 5721 2294614 3971 10721 5416 117038 44119 2399388 13.98 14.79
90442.21/2829.97 c N dy 5863 2314625 3971 10721 5416 71724 44119 816685 14.02 16.28
92363.27/2890.02 c N dy 6010 2356082 3971 10721 5416 112837 44119 2369878 14.02 14.81
93354.20/2921.02 c N dy 6079 2376108 3971 10721 5416 66349 44119 588986 14.02 20.42
94699.94/2963.10 c N dy 6209 2407430 3971 10721 5416 97153 44119 1594036 14.01 14.87
95607.74/2991.57 c N dy 6330 2427527 3971 10721 5416 117084 44119 2313774 14.04 14.79
100105.20/3132.25 c N dy 6393 2522959 3971 10721 5416 76096 44119 943520 13.86 14.76
100869.16/3156.16 c N dy 6550 2542984 3971 10721 5416 95930 44119 1631242 13.90 20.13
101732.21/3183.16 c N dy 6699 2563053 3971 10721 5416 115808 44119 2311911 13.93 14.79
102762.12/3215.34 c N dy 6819 2583100 3971 10721 5416 135650 44119 3011864 13.95 16.34
103608.54/3241.81 c N dy 6927 2603197 3971 10721 5416 86254 44119 1203831 13.97 17.05
104605.86/3273.09 c N dy 7049 2623226 3971 10721 5416 106101 44119 1906771 13.99 21.03
105727.84/3308.11 c N dy 7168 2643317 3971 10721 5416 126046 44119 2615048 14.01 19.40
106840.87/3342.95 c N dy 7339 2663395 3971 10721 5416 75626 44119 807974 14.05 19.64
108061.27/3381.12 c N dy 7501 2689177 3971 10721 5416 101221 44119 1761400 14.07 14.90
109007.43/3410.71 c N dy 7628 2709206 3971 10721 5416 121042 44119 2433511 14.10 18.34
109123.10/3414.36 c S st 7635 2711483 3971 10721 5416 123302 44119 2524683 14.10 10.67
109144.88/3415.06 c S st 7635 2711984 3971 10721 5416 123799 44119 2537673 14.10 no data
109144.88/3415.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
109164.05/3415.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 8.2M T: 0.55
109164.05/3415.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
109164.05/3415.64 c bin-w-bin subsume rem 0 bins time: 0.00 s
109164.05/3415.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
109164.05/3415.65 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3971 time: 0.01 s
109164.05/3415.66 c Removed useless bin: 0 fixed: 0 props: 0.12M time: 0.00 s
109167.25/3415.72 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
109183.24/3416.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.37 s
109413.39/3423.49 c lits-rem: 3182 cl-subs: 3221 v-elim: 0 v-fix: 0 time: 7.21 s
109413.39/3423.49 c Added XOR as norm:0
109413.39/3423.49 c vivif2 -- cl tried 10721 cl shrink 0 lits rem 0 time: 0.00
109429.39/3423.90 c vivif2 -- cl tried 120578 cl shrink 27683 lits rem 76895 time: 0.40
109451.76/3424.60 c asymm cl-useful: 1/7052/10721 lits-rem:1 time: 0.70
109451.76/3424.61 c calculated reachability. Time: 0.00
109451.76/3424.61 c N dy 7635 2711984 3971 10721 5416 120578 44118 2386444 14.10 no data
111992.96/3504.13 c N dy 7694 2761379 3971 10721 5416 97991 44118 1589989 14.04 14.86
114186.34/3572.79 c N dy 7754 2803936 3971 10721 5416 140334 44118 3421694 13.99 14.87
115266.16/3606.58 c N dy 7901 2825434 3971 10721 5416 89214 44118 1204941 14.01 14.84
117577.24/3678.87 c N dy 7987 2868907 3971 10721 5416 132419 44118 3023272 13.98 14.76
118690.25/3713.69 c N dy 8154 2889509 3971 10721 5416 79517 44118 849427 14.01 14.79
119543.03/3740.33 c N dy 8310 2909565 3971 10721 5416 99371 44118 1531098 14.04 21.95
121540.84/3802.87 c N dy 8344 2949218 3971 10721 5416 138574 44118 3085596 14.01 14.77
122579.68/3835.32 c N dy 8515 2969568 3971 10721 5417 84506 44118 1031047 14.04 14.81
123720.82/3871.07 c N dy 8685 2996168 3971 10721 5417 110903 44118 1939636 14.07 14.85
125478.88/3926.04 c N dy 8697 3027533 3971 10721 5417 141982 44118 3242288 14.02 14.91
126594.47/3960.98 c N dy 8723 3047534 3971 10721 5417 86400 44118 1020520 14.00 18.33
127579.00/3991.77 c N dy 8875 3067580 3971 10721 5417 106282 44118 1722399 14.03 19.40
128697.75/4026.73 c N dy 9037 3087627 3971 10721 5417 126090 44118 2406881 14.06 21.13
130353.55/4078.50 c N dy 9165 3116641 3971 10721 5417 78500 44118 721556 14.07 14.81
131334.89/4109.28 c N dy 9219 3136681 3971 10721 5417 98375 44118 1473204 14.06 17.00
132265.05/4138.40 c N dy 9344 3156698 3971 10721 5417 118183 44118 2176958 14.08 20.29
133326.25/4171.55 c N dy 9408 3176701 3971 10721 5417 137970 44118 2834004 14.08 18.77
134317.19/4202.57 c N dy 9545 3196733 3971 10721 5417 80604 44118 790971 14.10 14.91
135084.33/4226.54 c S st 9646 3211985 3971 10721 5417 95728 44118 1342530 14.11 14.66
135103.52/4227.11 c S st 9646 3212489 3971 10721 5417 96230 44118 1354263 14.11 no data
135103.52/4227.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
135113.12/4227.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 5.6M T: 0.28
135113.12/4227.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
135113.12/4227.42 c bin-w-bin subsume rem 0 bins time: 0.00 s
135113.12/4227.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
135113.12/4227.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3971 time: 0.01 s
135113.12/4227.44 c Removed useless bin: 0 fixed: 0 props: 0.12M time: 0.00 s
135113.12/4227.49 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
135122.70/4227.73 c subs with bin: 31 lits-rem: 23 v-fix: 0 time: 0.14 s
135161.06/4228.95 c lits-rem: 671 cl-subs: 1492 v-elim: 0 v-fix: 0 time: 1.22 s
135161.06/4228.95 c Added XOR as norm:0
135161.06/4228.95 c vivif2 -- cl tried 10721 cl shrink 0 lits rem 0 time: 0.00
135167.45/4229.11 c vivif2 -- cl tried 94707 cl shrink 9981 lits rem 25560 time: 0.15
135173.84/4229.35 c asymm cl-useful: 0/3669/10721 lits-rem:0 time: 0.24
135173.84/4229.36 c calculated reachability. Time: 0.00
135173.84/4229.36 c N dy 9646 3212489 3971 10721 5417 94707 44118 1297520 14.11 no data
135928.23/4252.98 c N dy 9684 3233091 3971 10721 5417 115037 44118 1929299 14.10 14.88
137120.52/4290.26 c N dy 9757 3253849 3971 10721 5417 135556 44118 2605735 14.11 14.96
138383.12/4329.70 c N dy 9891 3273853 3971 10721 5417 155328 44118 3313046 14.13 20.31
139383.66/4361.01 c N dy 10040 3293910 3971 10721 5417 97041 44118 1325469 14.15 22.64
141103.34/4414.81 c N dy 10091 3325991 3971 10721 5417 128586 44118 2395437 14.12 15.28
142302.05/4452.30 c N dy 10208 3346394 3971 10721 5417 148785 44118 3089224 14.14 14.96
143385.66/4486.28 c N dy 10362 3366636 3971 10721 5417 89773 44118 1051410 14.16 14.92
144779.94/4529.83 c N dy 10493 3396143 3971 10721 5417 118981 44118 2133422 14.17 15.15
145850.16/4563.33 c N dy 10596 3416205 3971 10721 5417 138820 44118 2850397 14.18 19.99
146991.91/4599.10 c N dy 10739 3436234 3971 10721 5417 158647 44118 3577209 14.19 20.74
147985.38/4630.11 c N dy 10856 3456491 3971 10721 5417 98618 44118 1373861 14.21 14.98
149762.64/4685.72 c N dy 10930 3493759 3971 10721 5417 135186 44118 2539801 14.18 14.97
150958.12/4723.19 c N dy 11046 3514634 3971 10721 5417 155846 44118 3256326 14.20 15.01
152304.50/4765.23 c N dy 11091 3537359 3971 10721 5417 97323 44118 1330934 14.19 15.07
153387.47/4799.14 c N dy 11173 3557377 3971 10721 5417 117160 44118 2090763 14.19 18.70
154701.20/4840.20 c N dy 11275 3579447 3971 10721 5417 138958 44118 2882822 14.20 14.96
156028.36/4881.82 c N dy 11443 3599449 3971 10721 5417 158769 44118 3594112 14.22 15.02
157124.17/4916.05 c N dy 11565 3619547 3971 10721 5417 96590 44118 1186581 14.23 21.27
158223.77/4950.47 c N dy 11730 3639562 3971 10721 5417 116409 44118 1873194 14.26 18.80
159364.94/4986.13 c N dy 11835 3659653 3971 10721 5417 136308 44118 2580912 14.27 15.05
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400654-1306274322/watcher-3400654-1306274322 -o /tmp/evaluation-result-3400654-1306274322/solver-3400654-1306274322 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400654-1306274322.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.72 31.06 30.65 1/413 11697
/proc/meminfo: memFree=255165216/264257624 swapFree=67111528/67111528
[pid=11697] ppid=11695 vsize=338000 CPUtime=0.78 cores=0-31
/proc/11697/stat : 11697 (strangenight2-m) R 11695 11697 11671 0 -1 4202496 468 0 0 0 78 0 0 0 25 0 32 0 738918635 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/11697/statm: 84500 408 300 95 0 79482 0
[pid=11697/tid=11698] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11698/stat : 11698 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11697/tid=11699] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11699/stat : 11699 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11697/tid=11700] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11700/stat : 11700 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11697/tid=11701] ppid=11695 vsize=338000 CPUtime=0 cores=0-31
/proc/11697/task/11701/stat : 11701 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238029228 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11697/tid=11702] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11702/stat : 11702 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11697/tid=11703] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11703/stat : 11703 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028823 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11697/tid=11704] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11704/stat : 11704 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11697/tid=11705] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11705/stat : 11705 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028823 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11697/tid=11706] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11706/stat : 11706 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11697/tid=11707] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11707/stat : 11707 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11697/tid=11708] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11708/stat : 11708 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11697/tid=11709] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11709/stat : 11709 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11697/tid=11710] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11710/stat : 11710 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11697/tid=11711] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11711/stat : 11711 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11697/tid=11712] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11712/stat : 11712 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028829 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11697/tid=11713] ppid=11695 vsize=338000 CPUtime=0 cores=0-31
/proc/11697/task/11713/stat : 11713 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11697/tid=11714] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11714/stat : 11714 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11697/tid=11715] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11715/stat : 11715 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11697/tid=11716] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11716/stat : 11716 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11697/tid=11717] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11717/stat : 11717 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11697/tid=11718] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11718/stat : 11718 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11697/tid=11719] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11719/stat : 11719 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028829 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11697/tid=11720] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11720/stat : 11720 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028816 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11697/tid=11721] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11721/stat : 11721 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11697/tid=11722] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11722/stat : 11722 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11697/tid=11723] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11723/stat : 11723 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11697/tid=11724] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11724/stat : 11724 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11697/tid=11725] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11725/stat : 11725 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11697/tid=11726] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11726/stat : 11726 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11697/tid=11727] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11727/stat : 11727 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11697/tid=11728] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11728/stat : 11728 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 25 0 0 0
[startup+0.0999969 s]
/proc/loadavg: 27.72 31.06 30.65 1/413 11697
/proc/meminfo: memFree=255165216/264257624 swapFree=67111528/67111528
[pid=11697] ppid=11695 vsize=1192392 CPUtime=1.98 cores=0-31
/proc/11697/stat : 11697 (strangenight2-m) S 11695 11697 11671 0 -1 4202496 5607 0 0 0 123 75 0 0 17 0 32 0 738918635 1221009408 5442 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/11697/statm: 298098 5449 334 95 0 293080 0
[pid=11697/tid=11698] ppid=11695 vsize=1192392 CPUtime=0.06 cores=0-31
/proc/11697/task/11698/stat : 11698 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 152 0 0 0 4 2 0 0 17 0 32 0 738918636 1221009408 5449 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446744071566933224 0 0 -1 1 0 0 0
[pid=11697/tid=11699] ppid=11695 vsize=1192392 CPUtime=0.06 cores=0-31
/proc/11697/task/11699/stat : 11699 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 187 0 0 0 4 2 0 0 17 0 32 0 738918636 1221009408 5463 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11697/tid=11700] ppid=11695 vsize=1192392 CPUtime=0.05 cores=0-31
/proc/11697/task/11700/stat : 11700 (strangenight2-m) D 11695 11697 11671 0 -1 4202560 143 0 0 0 3 2 0 0 17 0 32 0 738918636 1221009408 5466 268435456000 4194304 4580107 140735307093504 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11697/tid=11701] ppid=11695 vsize=1192392 CPUtime=0.02 cores=0-31
/proc/11697/task/11701/stat : 11701 (strangenight2-m) D 11695 11697 11671 0 -1 4202560 201 0 0 0 1 1 0 0 17 0 32 0 738918636 1221009408 5511 268435456000 4194304 4580107 140735307093504 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=11697/tid=11702] ppid=11695 vsize=1192392 CPUtime=0.07 cores=0-31
/proc/11697/task/11702/stat : 11702 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 156 0 0 0 4 3 0 0 17 0 32 0 738918636 1221009408 5599 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11697/tid=11703] ppid=11695 vsize=1192392 CPUtime=0.06 cores=0-31
/proc/11697/task/11703/stat : 11703 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 131 0 0 0 4 2 0 0 17 0 32 0 738918636 1221009408 5609 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11697/tid=11704] ppid=11695 vsize=1192392 CPUtime=0.07 cores=0-31
/proc/11697/task/11704/stat : 11704 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 139 0 0 0 4 3 0 0 17 0 32 0 738918636 1221009408 5618 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11697/tid=11705] ppid=11695 vsize=1192392 CPUtime=0.06 cores=0-31
/proc/11697/task/11705/stat : 11705 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 154 0 0 0 4 2 0 0 17 0 32 0 738918636 1221009408 5625 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11697/tid=11706] ppid=11695 vsize=1192392 CPUtime=0.06 cores=0-31
/proc/11697/task/11706/stat : 11706 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 187 0 0 0 4 2 0 0 17 0 32 0 738918636 1221009408 5631 268435456000 4194304 4580107 140735307093504 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11697/tid=11707] ppid=11695 vsize=1192392 CPUtime=0.05 cores=0-31
/proc/11697/task/11707/stat : 11707 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 165 0 0 0 3 2 0 0 17 0 32 0 738918636 1221009408 5635 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446744071566926024 0 0 -1 3 0 0 0
[pid=11697/tid=11708] ppid=11695 vsize=1192392 CPUtime=0.06 cores=0-31
/proc/11697/task/11708/stat : 11708 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 153 0 0 0 4 2 0 0 17 0 32 0 738918636 1221009408 5643 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446604505452920288 0 0 -1 4 0 0 0
[pid=11697/tid=11709] ppid=11695 vsize=1192532 CPUtime=0.06 cores=0-31
/proc/11697/task/11709/stat : 11709 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 184 0 0 0 4 2 0 0 17 0 32 0 738918636 1221152768 5652 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11697/tid=11710] ppid=11695 vsize=1192532 CPUtime=0.05 cores=0-31
/proc/11697/task/11710/stat : 11710 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 149 0 0 0 4 1 0 0 17 0 32 0 738918636 1221152768 5663 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11697/tid=11711] ppid=11695 vsize=1192532 CPUtime=0.05 cores=0-31
/proc/11697/task/11711/stat : 11711 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 169 0 0 0 3 2 0 0 17 0 32 0 738918636 1221152768 5687 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11697/tid=11712] ppid=11695 vsize=1192532 CPUtime=0.06 cores=0-31
/proc/11697/task/11712/stat : 11712 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 175 0 0 0 4 2 0 0 17 0 32 0 738918636 1221152768 5693 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11697/tid=11713] ppid=11695 vsize=1192684 CPUtime=0.04 cores=0-31
/proc/11697/task/11713/stat : 11713 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 202 0 0 0 2 2 0 0 17 0 32 0 738918636 1221308416 5730 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11697/tid=11714] ppid=11695 vsize=1192684 CPUtime=0.05 cores=0-31
/proc/11697/task/11714/stat : 11714 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 132 0 0 0 3 2 0 0 25 0 32 0 738918636 1221308416 5746 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446744071566923784 0 0 -1 27 0 0 0
[pid=11697/tid=11715] ppid=11695 vsize=1192684 CPUtime=0.05 cores=0-31
/proc/11697/task/11715/stat : 11715 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 216 0 0 0 3 2 0 0 17 0 32 0 738918636 1221308416 5793 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11697/tid=11716] ppid=11695 vsize=1192684 CPUtime=0.05 cores=0-31
/proc/11697/task/11716/stat : 11716 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 162 0 0 0 3 2 0 0 17 0 32 0 738918636 1221308416 5798 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11697/tid=11717] ppid=11695 vsize=1192948 CPUtime=0.06 cores=0-31
/proc/11697/task/11717/stat : 11717 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 174 0 0 0 4 2 0 0 17 0 32 0 738918636 1221578752 5946 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11697/tid=11718] ppid=11695 vsize=1193080 CPUtime=0.05 cores=0-31
/proc/11697/task/11718/stat : 11718 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 184 0 0 0 3 2 0 0 17 0 32 0 738918636 1221713920 5959 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11697/tid=11719] ppid=11695 vsize=1193080 CPUtime=0.06 cores=0-31
/proc/11697/task/11719/stat : 11719 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 230 0 0 0 4 2 0 0 17 0 32 0 738918636 1221713920 6036 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446604643970670048 0 0 -1 7 0 0 0
[pid=11697/tid=11720] ppid=11695 vsize=1193080 CPUtime=0.06 cores=0-31
/proc/11697/task/11720/stat : 11720 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 153 0 0 0 4 2 0 0 17 0 32 0 738918636 1221713920 6041 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446744071566926784 0 0 -1 9 0 0 0
[pid=11697/tid=11721] ppid=11695 vsize=1193080 CPUtime=0.05 cores=0-31
/proc/11697/task/11721/stat : 11721 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 154 0 0 0 3 2 0 0 17 0 32 0 738918636 1221713920 6050 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446604476647087584 0 0 -1 11 0 0 0
[pid=11697/tid=11722] ppid=11695 vsize=1193080 CPUtime=0.07 cores=0-31
/proc/11697/task/11722/stat : 11722 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 182 0 0 0 4 3 0 0 17 0 32 0 738918636 1221713920 6056 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11697/tid=11723] ppid=11695 vsize=1193080 CPUtime=0.05 cores=0-31
/proc/11697/task/11723/stat : 11723 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 154 0 0 0 3 2 0 0 17 0 32 0 738918636 1221713920 6073 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11697/tid=11724] ppid=11695 vsize=1193212 CPUtime=0.07 cores=0-31
/proc/11697/task/11724/stat : 11724 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 175 0 0 0 4 3 0 0 17 0 32 0 738918636 1221849088 6078 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446604483994164704 0 0 -1 17 0 0 0
[pid=11697/tid=11725] ppid=11695 vsize=1193212 CPUtime=0.05 cores=0-31
/proc/11697/task/11725/stat : 11725 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 179 0 0 0 3 2 0 0 17 0 32 0 738918636 1221849088 6095 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446604484719533536 0 0 -1 19 0 0 0
[pid=11697/tid=11726] ppid=11695 vsize=1193212 CPUtime=0.07 cores=0-31
/proc/11697/task/11726/stat : 11726 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 194 0 0 0 4 3 0 0 17 0 32 0 738918636 1221849088 6105 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11697/tid=11727] ppid=11695 vsize=1193212 CPUtime=0.06 cores=0-31
/proc/11697/task/11727/stat : 11727 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 257 0 0 0 4 2 0 0 17 0 32 0 738918636 1221849088 6136 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446604643085917664 0 0 -1 23 0 0 0
[pid=11697/tid=11728] ppid=11695 vsize=1193376 CPUtime=0.06 cores=0-31
/proc/11697/task/11728/stat : 11728 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 173 0 0 0 3 3 0 0 17 0 32 0 738918636 1222017024 6143 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446744071566926024 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 1192392
[startup+0.117885 s]
/proc/loadavg: 27.72 31.06 30.65 1/413 11697
/proc/meminfo: memFree=255165216/264257624 swapFree=67111528/67111528
[pid=11697] ppid=11695 vsize=1193952 CPUtime=2.48 cores=0-31
/proc/11697/stat : 11697 (strangenight2-m) R 11695 11697 11671 0 -1 4202496 6875 0 0 0 130 118 0 0 17 0 32 0 738918635 1222606848 6710 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/11697/statm: 298561 6774 334 95 0 293543 0
[pid=11697/tid=11698] ppid=11695 vsize=1194244 CPUtime=0.07 cores=0-31
/proc/11697/task/11698/stat : 11698 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 196 0 0 0 4 3 0 0 17 0 32 0 738918636 1222905856 6809 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11697/tid=11699] ppid=11695 vsize=1194560 CPUtime=0.08 cores=0-31
/proc/11697/task/11699/stat : 11699 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 220 0 0 0 4 4 0 0 17 0 32 0 738918636 1223229440 6902 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11697/tid=11700] ppid=11695 vsize=1194560 CPUtime=0.07 cores=0-31
/proc/11697/task/11700/stat : 11700 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 213 0 0 0 3 4 0 0 17 0 32 0 738918636 1223229440 6912 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11697/tid=11701] ppid=11695 vsize=1194560 CPUtime=0.03 cores=0-31
/proc/11697/task/11701/stat : 11701 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 259 0 0 0 1 2 0 0 17 0 32 0 738918636 1223229440 6923 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446604642772696544 0 0 -1 31 0 0 0
[pid=11697/tid=11702] ppid=11695 vsize=1195088 CPUtime=0.08 cores=0-31
/proc/11697/task/11702/stat : 11702 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 182 0 0 0 4 4 0 0 17 0 32 0 738918636 1223770112 7029 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11697/tid=11703] ppid=11695 vsize=1195220 CPUtime=0.07 cores=0-31
/proc/11697/task/11703/stat : 11703 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 167 0 0 0 4 3 0 0 17 0 32 0 738918636 1223905280 7131 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11697/tid=11704] ppid=11695 vsize=1195220 CPUtime=0.08 cores=0-31
/proc/11697/task/11704/stat : 11704 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 160 0 0 0 4 4 0 0 17 0 32 0 738918636 1223905280 7139 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11697/tid=11705] ppid=11695 vsize=1195220 CPUtime=0.08 cores=0-31
/proc/11697/task/11705/stat : 11705 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 186 0 0 0 4 4 0 0 17 0 32 0 738918636 1223905280 7154 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11697/tid=11706] ppid=11695 vsize=1195484 CPUtime=0.07 cores=0-31
/proc/11697/task/11706/stat : 11706 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 266 0 0 0 4 3 0 0 17 0 32 0 738918636 1224175616 7242 268435456000 4194304 4580107 140735307093504 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11697/tid=11707] ppid=11695 vsize=1195880 CPUtime=0.07 cores=0-31
/proc/11697/task/11707/stat : 11707 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 197 0 0 0 3 4 0 0 17 0 32 0 738918636 1224581120 7385 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11697/tid=11708] ppid=11695 vsize=1196012 CPUtime=0.08 cores=0-31
/proc/11697/task/11708/stat : 11708 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 183 0 0 0 4 4 0 0 17 0 32 0 738918636 1224716288 7448 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11697/tid=11709] ppid=11695 vsize=1196144 CPUtime=0.08 cores=0-31
/proc/11697/task/11709/stat : 11709 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 204 0 0 0 4 4 0 0 17 0 32 0 738918636 1224851456 7478 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446604629008195040 0 0 -1 16 0 0 0
[pid=11697/tid=11710] ppid=11695 vsize=1196144 CPUtime=0.08 cores=0-31
/proc/11697/task/11710/stat : 11710 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 207 0 0 0 4 4 0 0 17 0 32 0 738918636 1224851456 7486 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11697/tid=11711] ppid=11695 vsize=1196276 CPUtime=0.07 cores=0-31
/proc/11697/task/11711/stat : 11711 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 228 0 0 0 3 4 0 0 17 0 32 0 738918636 1224986624 7505 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11697/tid=11712] ppid=11695 vsize=1196404 CPUtime=0.08 cores=0-31
/proc/11697/task/11712/stat : 11712 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 230 0 0 0 4 4 0 0 17 0 32 0 738918636 1225117696 7526 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11697/tid=11713] ppid=11695 vsize=1196404 CPUtime=0.05 cores=0-31
/proc/11697/task/11713/stat : 11713 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 383 0 0 0 2 3 0 0 17 0 32 0 738918636 1225117696 7535 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446744071566924424 0 0 -1 29 0 0 0
[pid=11697/tid=11714] ppid=11695 vsize=1196404 CPUtime=0.07 cores=0-31
################
# More data... #
################
/proc/meminfo: memFree=250738944/264257624 swapFree=67111528/67111528
[pid=11697] ppid=11695 vsize=6655280 CPUtime=158604 cores=0-31
/proc/11697/stat : 11697 (strangenight2-m) R 11695 11697 11671 0 -1 4202496 3112781 0 0 0 15857000 3416 0 0 25 0 32 0 738918635 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/11697/statm: 1663820 1104263 379 95 0 1658802 0
[pid=11697/tid=11698] ppid=11695 vsize=6655280 CPUtime=4960.91 cores=0-31
/proc/11697/task/11698/stat : 11698 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 136976 0 0 0 495947 144 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11697/tid=11699] ppid=11695 vsize=6655280 CPUtime=4853.46 cores=0-31
/proc/11697/task/11699/stat : 11699 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 103350 0 0 0 485228 118 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=11697/tid=11700] ppid=11695 vsize=6655280 CPUtime=4960.92 cores=0-31
/proc/11697/task/11700/stat : 11700 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 92586 0 0 0 496004 88 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11697/tid=11701] ppid=11695 vsize=6655280 CPUtime=4960.89 cores=0-31
/proc/11697/task/11701/stat : 11701 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 115847 0 0 0 495963 126 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11697/tid=11702] ppid=11695 vsize=6655280 CPUtime=4960.92 cores=0-31
/proc/11697/task/11702/stat : 11702 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 107695 0 0 0 495988 104 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11697/tid=11703] ppid=11695 vsize=6655280 CPUtime=4959.93 cores=0-31
/proc/11697/task/11703/stat : 11703 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 78953 0 0 0 495906 87 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11697/tid=11704] ppid=11695 vsize=6655280 CPUtime=4960.89 cores=0-31
/proc/11697/task/11704/stat : 11704 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 104305 0 0 0 495983 106 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11697/tid=11705] ppid=11695 vsize=6655280 CPUtime=4960.9 cores=0-31
/proc/11697/task/11705/stat : 11705 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 99738 0 0 0 495984 106 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4316617 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11697/tid=11706] ppid=11695 vsize=6655280 CPUtime=4960.86 cores=0-31
/proc/11697/task/11706/stat : 11706 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 76419 0 0 0 496000 86 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11697/tid=11707] ppid=11695 vsize=6655280 CPUtime=4959.82 cores=0-31
/proc/11697/task/11707/stat : 11707 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 120748 0 0 0 495860 122 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11697/tid=11708] ppid=11695 vsize=6655280 CPUtime=4958.87 cores=0-31
/proc/11697/task/11708/stat : 11708 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 102490 0 0 0 495748 139 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11697/tid=11709] ppid=11695 vsize=6655280 CPUtime=4960.91 cores=0-31
/proc/11697/task/11709/stat : 11709 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 88043 0 0 0 496002 89 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11697/tid=11710] ppid=11695 vsize=6655280 CPUtime=4960.87 cores=0-31
/proc/11697/task/11710/stat : 11710 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 92749 0 0 0 495994 93 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11697/tid=11711] ppid=11695 vsize=6655280 CPUtime=4960.88 cores=0-31
/proc/11697/task/11711/stat : 11711 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 103028 0 0 0 495990 98 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11697/tid=11712] ppid=11695 vsize=6655280 CPUtime=4960.91 cores=0-31
/proc/11697/task/11712/stat : 11712 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 98098 0 0 0 495983 108 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11697/tid=11713] ppid=11695 vsize=6655280 CPUtime=4960.83 cores=0-31
/proc/11697/task/11713/stat : 11713 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 98120 0 0 0 495982 101 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11697/tid=11714] ppid=11695 vsize=6655280 CPUtime=4928.39 cores=0-31
/proc/11697/task/11714/stat : 11714 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 85912 0 0 0 492736 103 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11697/tid=11715] ppid=11695 vsize=6655280 CPUtime=4960.94 cores=0-31
/proc/11697/task/11715/stat : 11715 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 77484 0 0 0 496000 94 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11697/tid=11716] ppid=11695 vsize=6655280 CPUtime=4960.93 cores=0-31
/proc/11697/task/11716/stat : 11716 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 93285 0 0 0 495988 105 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11697/tid=11717] ppid=11695 vsize=6655280 CPUtime=4959.79 cores=0-31
/proc/11697/task/11717/stat : 11717 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 81409 0 0 0 495880 99 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11697/tid=11718] ppid=11695 vsize=6655280 CPUtime=4960.9 cores=0-31
/proc/11697/task/11718/stat : 11718 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 119402 0 0 0 495957 133 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11697/tid=11719] ppid=11695 vsize=6655280 CPUtime=4960.9 cores=0-31
/proc/11697/task/11719/stat : 11719 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 115669 0 0 0 495978 112 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11697/tid=11720] ppid=11695 vsize=6655280 CPUtime=4960.91 cores=0-31
/proc/11697/task/11720/stat : 11720 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 84356 0 0 0 495999 92 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11697/tid=11721] ppid=11695 vsize=6655280 CPUtime=4960.91 cores=0-31
/proc/11697/task/11721/stat : 11721 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 91963 0 0 0 495993 98 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11697/tid=11722] ppid=11695 vsize=6655280 CPUtime=4960.74 cores=0-31
/proc/11697/task/11722/stat : 11722 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 102661 0 0 0 495956 118 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11697/tid=11723] ppid=11695 vsize=6655280 CPUtime=4960.91 cores=0-31
/proc/11697/task/11723/stat : 11723 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 100588 0 0 0 495975 116 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11697/tid=11724] ppid=11695 vsize=6655280 CPUtime=4960.92 cores=0-31
/proc/11697/task/11724/stat : 11724 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 91662 0 0 0 495982 110 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11697/tid=11725] ppid=11695 vsize=6655280 CPUtime=4960.91 cores=0-31
/proc/11697/task/11725/stat : 11725 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 76891 0 0 0 495996 95 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11697/tid=11726] ppid=11695 vsize=6655280 CPUtime=4960.91 cores=0-31
/proc/11697/task/11726/stat : 11726 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 91469 0 0 0 495985 106 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11697/tid=11727] ppid=11695 vsize=6655280 CPUtime=4960.9 cores=0-31
/proc/11697/task/11727/stat : 11727 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 78343 0 0 0 496005 85 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11697/tid=11728] ppid=11695 vsize=6655280 CPUtime=4961.2 cores=0-31
/proc/11697/task/11728/stat : 11728 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 89920 0 0 0 496021 99 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 158604
Current children cumulated vsize (KiB) 6655280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5006 s]
/proc/loadavg: 32.14 32.14 32.11 34/445 11884
/proc/meminfo: memFree=250706232/264257624 swapFree=67111528/67111528
[pid=11697] ppid=11695 vsize=6890228 CPUtime=160002 cores=0-31
/proc/11697/stat : 11697 (strangenight2-m) R 11695 11697 11671 0 -1 4202496 3128893 0 0 0 15996799 3431 0 0 25 0 32 0 738918635 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/11697/statm: 1722557 1112371 379 95 0 1717539 0
[pid=11697/tid=11698] ppid=11695 vsize=6890228 CPUtime=5004.64 cores=0-31
/proc/11697/task/11698/stat : 11698 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 137943 0 0 0 500319 145 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11697/tid=11699] ppid=11695 vsize=6890228 CPUtime=4895.94 cores=0-31
/proc/11697/task/11699/stat : 11699 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 104195 0 0 0 489475 119 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=11697/tid=11700] ppid=11695 vsize=6890228 CPUtime=5004.66 cores=0-31
/proc/11697/task/11700/stat : 11700 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 92716 0 0 0 500378 88 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11697/tid=11701] ppid=11695 vsize=6890228 CPUtime=5004.62 cores=0-31
/proc/11697/task/11701/stat : 11701 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 116013 0 0 0 500336 126 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11697/tid=11702] ppid=11695 vsize=6890228 CPUtime=5004.66 cores=0-31
/proc/11697/task/11702/stat : 11702 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 107695 0 0 0 500362 104 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4322703 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11697/tid=11703] ppid=11695 vsize=6890228 CPUtime=5003.65 cores=0-31
/proc/11697/task/11703/stat : 11703 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 80192 0 0 0 500277 88 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11697/tid=11704] ppid=11695 vsize=6890228 CPUtime=5004.62 cores=0-31
/proc/11697/task/11704/stat : 11704 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 104305 0 0 0 500356 106 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11697/tid=11705] ppid=11695 vsize=6890228 CPUtime=5004.63 cores=0-31
/proc/11697/task/11705/stat : 11705 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 100501 0 0 0 500356 107 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4320798 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11697/tid=11706] ppid=11695 vsize=6890228 CPUtime=5004.6 cores=0-31
/proc/11697/task/11706/stat : 11706 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 76419 0 0 0 500374 86 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11697/tid=11707] ppid=11695 vsize=6890228 CPUtime=5003.55 cores=0-31
/proc/11697/task/11707/stat : 11707 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 123403 0 0 0 500232 123 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11697/tid=11708] ppid=11695 vsize=6890228 CPUtime=5002.58 cores=0-31
/proc/11697/task/11708/stat : 11708 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 103281 0 0 0 500119 139 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11697/tid=11709] ppid=11695 vsize=6890228 CPUtime=5004.64 cores=0-31
/proc/11697/task/11709/stat : 11709 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 88235 0 0 0 500375 89 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294939 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11697/tid=11710] ppid=11695 vsize=6890228 CPUtime=5004.61 cores=0-31
/proc/11697/task/11710/stat : 11710 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 92749 0 0 0 500368 93 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11697/tid=11711] ppid=11695 vsize=6890228 CPUtime=5004.62 cores=0-31
/proc/11697/task/11711/stat : 11711 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 103028 0 0 0 500364 98 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11697/tid=11712] ppid=11695 vsize=6890228 CPUtime=5004.64 cores=0-31
/proc/11697/task/11712/stat : 11712 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 98182 0 0 0 500356 108 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293728 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11697/tid=11713] ppid=11695 vsize=6890228 CPUtime=5004.57 cores=0-31
/proc/11697/task/11713/stat : 11713 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 98120 0 0 0 500356 101 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11697/tid=11714] ppid=11695 vsize=6890228 CPUtime=4972.12 cores=0-31
/proc/11697/task/11714/stat : 11714 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 85912 0 0 0 497109 103 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11697/tid=11715] ppid=11695 vsize=6890228 CPUtime=5004.67 cores=0-31
/proc/11697/task/11715/stat : 11715 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 78177 0 0 0 500372 95 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11697/tid=11716] ppid=11695 vsize=6890228 CPUtime=5004.67 cores=0-31
/proc/11697/task/11716/stat : 11716 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 93988 0 0 0 500361 106 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11697/tid=11717] ppid=11695 vsize=6890228 CPUtime=5003.52 cores=0-31
/proc/11697/task/11717/stat : 11717 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 82329 0 0 0 500252 100 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11697/tid=11718] ppid=11695 vsize=6890228 CPUtime=5004.63 cores=0-31
/proc/11697/task/11718/stat : 11718 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 120452 0 0 0 500329 134 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11697/tid=11719] ppid=11695 vsize=6890228 CPUtime=5004.64 cores=0-31
/proc/11697/task/11719/stat : 11719 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 115750 0 0 0 500351 113 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11697/tid=11720] ppid=11695 vsize=6890228 CPUtime=5004.65 cores=0-31
/proc/11697/task/11720/stat : 11720 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 85272 0 0 0 500372 93 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11697/tid=11721] ppid=11695 vsize=6890228 CPUtime=5004.65 cores=0-31
/proc/11697/task/11721/stat : 11721 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 92183 0 0 0 500366 99 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11697/tid=11722] ppid=11695 vsize=6890228 CPUtime=5004.47 cores=0-31
/proc/11697/task/11722/stat : 11722 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 104880 0 0 0 500328 119 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11697/tid=11723] ppid=11695 vsize=6890228 CPUtime=5004.65 cores=0-31
/proc/11697/task/11723/stat : 11723 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 100588 0 0 0 500349 116 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4318458 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11697/tid=11724] ppid=11695 vsize=6890228 CPUtime=5004.65 cores=0-31
/proc/11697/task/11724/stat : 11724 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 92623 0 0 0 500354 111 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11697/tid=11725] ppid=11695 vsize=6890228 CPUtime=5004.64 cores=0-31
/proc/11697/task/11725/stat : 11725 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 76891 0 0 0 500369 95 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11697/tid=11726] ppid=11695 vsize=6890228 CPUtime=5004.64 cores=0-31
/proc/11697/task/11726/stat : 11726 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 91869 0 0 0 500357 107 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11697/tid=11727] ppid=11695 vsize=6890228 CPUtime=5004.63 cores=0-31
/proc/11697/task/11727/stat : 11727 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 78343 0 0 0 500378 85 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11697/tid=11728] ppid=11695 vsize=6890228 CPUtime=5004.93 cores=0-31
/proc/11697/task/11728/stat : 11728 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 89920 0 0 0 500394 99 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 6890228
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.14 32.14 32.11 34/445 11884
/proc/meminfo: memFree=250706232/264257624 swapFree=67111528/67111528
[pid=11697] ppid=11695 vsize=0 CPUtime=160003 cores=0-31
/proc/11697/stat : 11697 (strangenight2-m) Z 11695 11697 11671 0 -1 4203548 3128894 0 0 0 15996824 3446 0 0 25 0 2 0 738918635 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/11697/statm: 0 0 0 0 0 0 0
[pid=11697/tid=11699] ppid=11695 vsize=0 CPUtime=4896.09 cores=0-31
/proc/11697/task/11699/stat : 11699 (strangenight2-m) R 11695 11697 11671 0 -1 4203588 104195 0 0 0 489475 134 0 0 25 0 2 0 738918636 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5006.4 s]
/proc/loadavg: 32.14 32.14 32.11 34/445 11884
/proc/meminfo: memFree=250706232/264257624 swapFree=67111528/67111528
[pid=11697] ppid=11695 vsize=0 CPUtime=160003 cores=0-31
/proc/11697/stat : 11697 (strangenight2-m) Z 11695 11697 11671 0 -1 4203548 3128894 0 0 0 15996824 3466 0 0 25 0 2 0 738918635 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/11697/statm: 0 0 0 0 0 0 0
[pid=11697/tid=11699] ppid=11695 vsize=0 CPUtime=4896.29 cores=0-31
/proc/11697/task/11699/stat : 11699 (strangenight2-m) R 11695 11697 11671 0 -1 4203588 104195 0 0 0 489475 154 0 0 25 0 2 0 738918636 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5006.43
CPU time (s): 160003
CPU user time (s): 159968
CPU system time (s): 34.6937
CPU usage (%): 3195.95
Max. virtual memory (cumulated for all children) (KiB): 7179552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159968
system time used= 34.6937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3128894
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= 146982
involuntary context switches= 352910
runsolver used 29.9095 second user time and 111.303 second system time
The end
Begin job on node200 at 2011-05-24 23:58:42
IDJOB=3400654
IDBENCH=70775
IDSOLVER=1886
FILE ID=node200/3400654-1306274322
RUNJOBID= node200-1306274322-11685
PBS_JOBID= 13411773
Free space on /tmp= 62048 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400654-1306274322/watcher-3400654-1306274322 -o /tmp/evaluation-result-3400654-1306274322/solver-3400654-1306274322 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400654-1306274322.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 8d76aa747359ea8ccf15726792949452
RANDOM SEED=1545401133
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255165620 kB
Buffers: 465520 kB
Cached: 8219916 kB
SwapCached: 0 kB
Active: 7769636 kB
Inactive: 984808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255165620 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5860 kB
Writeback: 0 kB
AnonPages: 69520 kB
Mapped: 13484 kB
Slab: 255612 kB
PageTables: 4720 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 184564 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62040 MiB
End job on node200 at 2011-05-25 01:22:10