0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
0.00/0.07 c This is CryptoMiniSat 3.0.0
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c Reading file 'HOME/instance-3400821-1306846737.cnf'
2.56/0.11 c -- header says num vars: 48639
2.56/0.11 c -- header says num clauses: 162901
25.97/1.42 c -- clauses added: 0 learnts, 162901 normals, 0 xors
25.97/1.42 c -- vars added 48639
25.97/1.42 c Parsing time: 0.26 s
25.97/1.42 c N st 0 0 48639 78658 74207 0 392419 0 no data no data
76.28/3.08 c asymm cl-useful: 8/41419/78658 lits-rem:89 time: 1.65
381.42/20.16 c Flit: 83 Blit: 4280 bXBeca: 0 bXProp: 7917 Bins: 0 BRemL: 0 BRemN: 0 P: 64.1M T: 8.53
381.42/20.18 c Cleaning up after failed var search: 0.02 s
384.15/20.29 c Replacing 7917 vars Replaced 222269 lits Time: 0.06 s
390.66/20.58 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
390.66/20.59 c bin-w-bin subsume rem 893 bins time: 0.01 s
392.66/20.62 c subs with bin: 0 lits-rem: 12 v-fix: 0 time: 0.03 s
392.66/20.69 c Subs w/ non-existent bins: 0 l-rem: 4 v-fix: 0 done: 34181 time: 0.06 s
394.85/20.76 c Removed useless bin: 46 fixed: 0 props: 5.30M time: 0.07 s
411.87/21.42 c lits-rem: 0 cl-subs: 270 v-elim: 11393 v-fix: 0 time: 0.37 s
417.69/21.65 c Finding binary XORs T: 0.23 s found: 21
417.69/21.67 c Replacing 21 vars Replaced 258 lits Time: 0.01 s
423.96/21.82 c Finding non-binary XORs: 0.09 s (found: 11109, avg size: 3.0)
423.96/21.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1799 locsubst: 7100 time: 0.05
423.96/21.84 c Replacing 3550 vars Replaced 21300 lits Time: 0.02 s
423.96/21.86 c calculated reachability. Time: 0.01
423.96/21.87 c Calc default polars - time: 0.01 s pos: 2051 undec: 31283 neg: 15305
423.96/21.87 c =========================================================================================
423.96/21.87 c types(t): F = full restart, N = normal restart
423.96/21.87 c types(t): S = simplification begin/end, E = solution found
423.96/21.87 c restart types(rt): st = static, dy = dynamic
423.96/21.87 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
423.96/21.87 c B st 0 0 17418 28616 22406 0 188622 0 no data no data
443.03/22.45 c Decided on static restart strategy
459.01/22.96 c N st 8 4921 17415 28616 22540 4641 188622 170169 no data no data
503.72/24.31 c N st 10 11305 17412 28616 24123 10872 188622 456624 no data no data
506.91/24.43 c Finding binary XORs T: 0.11 s found: 5
545.26/25.64 c N st 11 17050 17388 28608 23806 16306 187895 690269 no data no data
615.47/27.82 c F st 12 25000 17380 28608 24707 14661 187895 666237 no data no data
615.47/27.84 c Replacing 5 vars Replaced 24 lits Time: 0.01 s
615.47/27.87 c N st 12 25000 17378 28607 24634 14659 187746 666136 no data no data
618.67/28.00 c Finding binary XORs T: 0.11 s found: 3
666.62/29.47 c Decided on static restart strategy
666.62/29.47 c N st 18 30000 17371 28604 25277 19572 187585 1043945 no data no data
666.62/29.47 c S st 18 30000 17371 28604 25277 19572 187585 1043945 no data no data
676.83/29.78 c S st 18 30500 17371 28604 25319 20028 187585 1051514 no data no data
679.39/29.82 c x-sub: 3550 x-cut: 0 vfix: 0 v-elim: 900 locsubst: 0 time: 0.03
740.11/31.78 c Flit: 74 Blit: 12 bXBeca: 0 bXProp: 21 Bins: 214052 BRemL: 145204 BRemN: 9 P: 11.8M T: 1.95
740.11/31.81 c Replacing 24 vars Replaced 2225 lits Time: 0.03 s
743.93/31.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
743.93/31.85 c bin-w-bin subsume rem 541 bins time: 0.01 s
743.93/31.87 c subs with bin: 825 lits-rem: 578 v-fix: 0 time: 0.03 s
747.12/31.92 c Subs w/ non-existent bins: 112 l-rem: 8 v-fix: 0 done: 16361 time: 0.05 s
747.12/31.94 c Removed useless bin: 109 fixed: 0 props: 0.78M time: 0.02 s
749.69/32.04 c lits-rem: 297 cl-subs: 253 v-elim: 2287 v-fix: 0 time: 0.09 s
749.69/32.08 c subs with bin: 79 lits-rem: 336 v-fix: 0 time: 0.03 s
752.88/32.13 c lits-rem: 173 cl-subs: 556 v-elim: 0 v-fix: 0 time: 0.04 s
775.26/32.83 c asymm cl-useful: 301/28046/28046 lits-rem:1226 time: 0.70
775.26/32.85 c calculated reachability. Time: 0.01
775.26/32.85 c N st 18 30500 14074 28044 75314 5113 166313 192622 no data no data
779.04/32.96 c Finding binary XORs T: 0.11 s found: 0
821.12/34.50 c N st 20 37610 14071 28044 75531 12042 166313 523540 no data no data
842.92/35.53 c N st 21 44009 14071 28044 75536 10529 166313 388087 no data no data
903.15/38.90 c Finding binary XORs T: 0.09 s found: 2
911.33/39.35 c S st 22 45754 14071 28042 241975 12249 166204 923702 no data no data
915.80/39.53 c S st 22 46254 14071 28042 241981 12735 166204 932195 no data no data
915.80/39.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 432 locsubst: 0 time: 0.03
935.09/40.60 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 46501 BRemL: 73453 BRemN: 0 P: 7.2M T: 1.04
937.57/40.64 c Replacing 3 vars Replaced 553 lits Time: 0.03 s
937.57/40.66 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
937.57/40.70 c bin-w-bin subsume rem 32249 bins time: 0.04 s
939.65/40.73 c subs with bin: 102 lits-rem: 209 v-fix: 0 time: 0.03 s
939.65/40.76 c Subs w/ non-existent bins: 0 l-rem: 17 v-fix: 0 done: 13634 time: 0.03 s
939.65/40.78 c Removed useless bin: 52 fixed: 0 props: 0.52M time: 0.01 s
941.31/40.82 c lits-rem: 2 cl-subs: 76 v-elim: 61 v-fix: 0 time: 0.04 s
943.38/40.91 c subs with bin: 6 lits-rem: 138 v-fix: 0 time: 0.05 s
943.38/40.98 c lits-rem: 314 cl-subs: 192 v-elim: 0 v-fix: 0 time: 0.06 s
943.38/40.99 c vivif2 -- cl tried 27854 cl shrink 154 lits rem 335 time: 0.01
945.44/41.01 c vivif2 -- cl tried 8875 cl shrink 821 lits rem 2005 time: 0.02
953.44/41.45 c asymm cl-useful: 114/24301/27807 lits-rem:299 time: 0.44
953.44/41.47 c calculated reachability. Time: 0.01
953.44/41.47 c N st 22 46254 13573 27806 179136 8875 163786 511850 no data no data
955.51/41.56 c Finding binary XORs T: 0.09 s found: 0
1061.02/45.10 c N st 23 60651 13573 27806 179138 22940 163786 999080 no data no data
1156.30/48.06 c N st 24 69381 13572 27806 183654 18931 163786 1781625 no data no data
1156.30/48.06 c S st 24 69381 13572 27806 183654 18931 163786 1781625 no data no data
1159.49/48.19 c Finding binary XORs T: 0.09 s found: 0
1169.71/48.48 c S st 24 69885 13572 27805 193601 19431 163769 1815112 no data no data
1172.26/48.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 216 locsubst: 0 time: 0.03
1207.40/49.70 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 9 Bins: 29 BRemL: 51727 BRemN: 0 P: 8.0M T: 1.18
1210.61/49.73 c Replacing 9 vars Replaced 172 lits Time: 0.03 s
1210.61/49.76 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1210.61/49.78 c bin-w-bin subsume rem 8408 bins time: 0.02 s
1213.81/49.81 c subs with bin: 30 lits-rem: 12 v-fix: 0 time: 0.03 s
1213.81/49.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 13345 time: 0.03 s
1213.81/49.86 c Removed useless bin: 23 fixed: 0 props: 0.47M time: 0.02 s
1217.01/49.91 c lits-rem: 0 cl-subs: 73 v-elim: 52 v-fix: 0 time: 0.05 s
1220.20/50.07 c subs with bin: 0 lits-rem: 3 v-fix: 0 time: 0.12 s
1223.39/50.18 c lits-rem: 462 cl-subs: 275 v-elim: 0 v-fix: 0 time: 0.10 s
1223.39/50.20 c vivif2 -- cl tried 27691 cl shrink 57 lits rem 76 time: 0.01
1226.60/50.22 c vivif2 -- cl tried 13790 cl shrink 935 lits rem 2700 time: 0.03
1229.79/50.36 c asymm cl-useful: 189/3390/27691 lits-rem:567 time: 0.13
1229.79/50.38 c calculated reachability. Time: 0.01
1229.79/50.38 c N st 24 69885 13293 27502 131753 13790 162470 570708 no data no data
1412.56/56.12 c F st 25 87502 13292 27502 131753 16158 162470 571058 no data no data
1415.80/56.15 c N st 25 87502 13292 27501 127730 16158 162456 563016 no data no data
1472.70/57.99 c N dy 35 93218 13283 27501 127850 21809 162456 1352667 10.83 11.44
1533.41/59.84 c N dy 61 99748 13278 27501 127904 28262 162456 2017220 10.91 11.49
1574.96/61.16 c S st 80 104828 13272 27501 128097 33265 162456 2206262 10.43 9.26
1584.56/61.46 c S st 80 105328 13272 27501 128098 33760 162456 2223326 10.43 no data
1584.56/61.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 72 locsubst: 0 time: 0.03
1629.29/62.81 c Flit: 3 Blit: 0 bXBeca: 0 bXProp: 100 Bins: 5744 BRemL: 45741 BRemN: 111 P: 13.3M T: 1.33
1629.29/62.86 c Replacing 100 vars Replaced 2079 lits Time: 0.05 s
1629.29/62.89 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1629.29/62.90 c bin-w-bin subsume rem 186 bins time: 0.01 s
1632.48/62.92 c subs with bin: 151 lits-rem: 152 v-fix: 0 time: 0.02 s
1632.48/62.94 c Subs w/ non-existent bins: 0 l-rem: 3 v-fix: 0 done: 13097 time: 0.03 s
1632.48/62.96 c Removed useless bin: 2 fixed: 0 props: 0.51M time: 0.02 s
1635.68/63.02 c lits-rem: 15 cl-subs: 175 v-elim: 41 v-fix: 0 time: 0.06 s
1699.60/65.04 c subs with bin: 10 lits-rem: 523 v-fix: 0 time: 1.85 s
1750.74/66.61 c lits-rem: 1663 cl-subs: 753 v-elim: 0 v-fix: 0 time: 1.55 s
1750.74/66.62 c vivif2 -- cl tried 27102 cl shrink 3 lits rem 3 time: 0.01
1753.93/66.76 c vivif2 -- cl tried 32446 cl shrink 4771 lits rem 64816 time: 0.14
1773.09/67.37 c asymm cl-useful: 139/17055/27102 lits-rem:342 time: 0.61
1773.09/67.39 c calculated reachability. Time: 0.01
1773.09/67.39 c N dy 80 105328 13056 27088 64348 32446 159718 1949691 10.43 no data
1776.29/67.48 c Finding binary XORs T: 0.09 s found: 5
1843.41/69.54 c N dy 99 112075 13052 27088 73689 19674 159718 508034 10.10 13.35
1865.79/70.28 c Finding binary XORs T: 0.09 s found: 1
1913.70/71.71 c N dy 148 119360 13049 27083 71065 26852 159479 954680 10.49 11.28
1980.85/73.87 c N dy 191 127226 13046 27083 71260 34613 159478 1300836 10.78 11.37
2070.30/76.63 c N dy 221 136429 13042 27083 71275 43704 159478 1683513 10.60 11.29
2147.02/79.01 c N dy 254 145185 13042 27083 71636 30305 159478 850619 10.50 11.08
2236.50/81.83 c N dy 315 154499 13040 27083 71713 39517 159478 1379386 10.80 11.37
2262.07/82.66 c Finding binary XORs T: 0.09 s found: 5
2278.06/83.10 c S st 337 157995 13039 27070 65307 42941 159324 1542255 10.88 8.97
2284.45/83.38 c S st 337 158497 13039 27070 65307 43440 159324 1556114 10.88 no data
2287.65/83.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
2322.81/84.54 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 10 Bins: 710 BRemL: 13306 BRemN: 2 P: 13.6M T: 1.13
2322.81/84.59 c Replacing 21 vars Replaced 853 lits Time: 0.04 s
2322.81/84.61 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2322.81/84.62 c bin-w-bin subsume rem 1879 bins time: 0.01 s
2326.63/84.63 c subs with bin: 73 lits-rem: 92 v-fix: 0 time: 0.02 s
2326.63/84.67 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 13016 time: 0.03 s
2326.63/84.68 c Removed useless bin: 2 fixed: 0 props: 0.42M time: 0.02 s
2329.83/84.74 c lits-rem: 0 cl-subs: 85 v-elim: 29 v-fix: 0 time: 0.05 s
2364.99/85.84 c subs with bin: 29 lits-rem: 544 v-fix: 0 time: 0.98 s
2400.15/86.96 c lits-rem: 2266 cl-subs: 1272 v-elim: 0 v-fix: 0 time: 1.10 s
2400.15/86.97 c vivif2 -- cl tried 26883 cl shrink 1 lits rem 1 time: 0.01
2405.90/87.10 c vivif2 -- cl tried 41947 cl shrink 5513 lits rem 41853 time: 0.12
2415.50/87.44 c asymm cl-useful: 20/9828/26883 lits-rem:60 time: 0.33
2415.50/87.45 c calculated reachability. Time: 0.01
2415.50/87.45 c N dy 337 158497 12987 26863 48001 41947 158379 1424165 10.88 no data
2514.59/90.55 c N dy 367 169212 12986 26863 48201 28786 158379 1006720 10.71 11.29
2543.35/91.48 c Finding binary XORs T: 0.09 s found: 12
2616.87/93.74 c N dy 388 180035 12985 26862 48490 39391 158362 1735442 10.46 11.28
2744.74/97.77 c N dy 428 191608 12985 26862 48522 25663 158362 504467 10.41 12.33
2786.92/99.09 c Finding binary XORs T: 0.09 s found: 2
2872.57/101.72 c N dy 504 205621 12983 26859 47992 38984 158320 1215684 10.53 11.32
3010.02/106.02 c N dy 576 218778 12982 26859 48742 52007 158320 1974660 10.70 14.30
3109.11/109.10 c Finding binary XORs T: 0.09 s found: 0
3153.86/110.57 c N dy 648 233004 12981 26857 47926 39955 158232 1278844 10.79 11.46
3211.40/112.31 c S st 670 237745 12980 26857 47966 44656 158232 1526227 10.79 no data
3220.99/112.66 c S st 670 238251 12980 26857 47967 45161 158232 1540116 10.79 no data
3220.99/112.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
3256.15/113.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 2274 BRemL: 6076 BRemN: 17 P: 13.2M T: 1.09
3259.35/113.81 c Replacing 15 vars Replaced 977 lits Time: 0.04 s
3259.35/113.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3259.35/113.84 c bin-w-bin subsume rem 561 bins time: 0.01 s
3259.35/113.86 c subs with bin: 19 lits-rem: 36 v-fix: 0 time: 0.02 s
3259.35/113.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12965 time: 0.03 s
3262.54/113.91 c Removed useless bin: 2 fixed: 0 props: 0.41M time: 0.02 s
3262.54/113.96 c lits-rem: 0 cl-subs: 26 v-elim: 12 v-fix: 0 time: 0.05 s
3297.70/115.09 c subs with bin: 93 lits-rem: 1370 v-fix: 0 time: 1.01 s
3332.87/116.15 c lits-rem: 2189 cl-subs: 982 v-elim: 0 v-fix: 0 time: 1.05 s
3332.87/116.16 c vivif2 -- cl tried 26796 cl shrink 0 lits rem 0 time: 0.01
3339.26/116.30 c vivif2 -- cl tried 43884 cl shrink 6291 lits rem 50477 time: 0.13
3355.23/116.88 c asymm cl-useful: 59/16317/26796 lits-rem:86 time: 0.58
3355.23/116.90 c calculated reachability. Time: 0.01
3355.23/116.90 c N dy 670 238251 12953 26793 43235 43884 157791 1432907 10.79 no data
3358.43/116.99 c Finding binary XORs T: 0.09 s found: 0
3470.29/120.48 c Finding binary XORs T: 0.09 s found: 1
3543.82/122.75 c N dy 728 253470 12950 26783 45406 31572 157761 913540 10.75 18.93
3713.15/128.03 c N dy 822 269781 12950 26783 45769 47712 157761 1961540 10.87 11.77
3815.44/131.20 c Finding binary XORs T: 0.09 s found: 2
3901.75/133.97 c N dy 903 287079 12950 26780 44243 36312 157732 963246 10.92 11.53
4087.78/139.78 c N dy 967 305453 12950 26780 44284 54438 157732 2272659 10.89 11.48
4096.73/140.02 c F st 970 306253 12950 26780 44298 55225 157732 2309884 10.88 9.82
4096.73/140.07 c Replacing 3 vars Replaced 123 lits Time: 0.02 s
4151.07/141.77 c Decided on static restart strategy
4320.50/147.08 c N st 979 324958 12946 26773 44244 44220 157642 2861874 10.88 no data
4323.69/147.17 c Finding binary XORs T: 0.09 s found: 6
4608.17/156.06 c N st 981 348953 12946 26773 44966 38454 157642 1858918 10.88 no data
4700.81/159.00 c S st 982 357376 12945 26773 44995 46765 157642 2671724 10.88 no data
4713.59/159.36 c S st 982 357880 12945 26773 44995 47265 157642 2690460 10.88 no data
4713.59/159.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
4745.55/160.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bins: 710 BRemL: 4440 BRemN: 0 P: 12.5M T: 0.99
4748.76/160.43 c Replacing 10 vars Replaced 245 lits Time: 0.05 s
4748.76/160.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4748.76/160.46 c bin-w-bin subsume rem 462 bins time: 0.01 s
4748.76/160.48 c subs with bin: 29 lits-rem: 14 v-fix: 0 time: 0.02 s
4748.76/160.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12935 time: 0.03 s
4752.54/160.53 c Removed useless bin: 1 fixed: 0 props: 0.41M time: 0.02 s
4752.54/160.60 c lits-rem: 3 cl-subs: 27 v-elim: 13 v-fix: 0 time: 0.07 s
4819.07/162.60 c subs with bin: 23 lits-rem: 866 v-fix: 0 time: 1.81 s
4911.75/165.57 c lits-rem: 2437 cl-subs: 937 v-elim: 0 v-fix: 0 time: 2.96 s
4911.75/165.58 c vivif2 -- cl tried 26712 cl shrink 0 lits rem 0 time: 0.01
4921.35/165.80 c vivif2 -- cl tried 45326 cl shrink 9446 lits rem 89598 time: 0.22
4934.12/166.20 c asymm cl-useful: 0/10395/26712 lits-rem:0 time: 0.40
4934.12/166.22 c calculated reachability. Time: 0.01
4934.12/166.22 c N st 982 357880 12922 26712 40473 45326 157525 2299190 10.88 no data
4937.32/166.31 c Finding binary XORs T: 0.09 s found: 0
5327.24/178.52 c N st 983 390273 12922 26712 40477 47055 157525 1982822 10.88 no data
6190.12/205.52 c N st 984 438861 12921 26712 40493 63472 157525 8001274 10.88 no data
6193.90/205.67 c Finding binary XORs T: 0.09 s found: 0
7164.88/236.04 c N st 985 511744 12920 26710 40764 67358 157462 3740200 10.88 no data
7564.94/248.52 c N st 986 536820 12919 26710 40855 56921 157462 5508067 10.88 no data
7564.94/248.52 c S st 986 536820 12919 26710 40855 56921 157462 5508067 10.88 no data
7580.36/249.02 c S st 986 537323 12919 26710 40908 57422 157462 5522783 10.88 no data
7580.36/249.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
7618.69/250.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 16 BRemL: 773 BRemN: 0 P: 13.7M T: 1.15
7618.69/250.30 c Replacing 1 vars Replaced 116 lits Time: 0.09 s
7621.88/250.32 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
7621.88/250.32 c bin-w-bin subsume rem 34 bins time: 0.01 s
7621.88/250.34 c subs with bin: 6 lits-rem: 3 v-fix: 0 time: 0.02 s
7621.88/250.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12918 time: 0.02 s
7621.88/250.38 c Removed useless bin: 0 fixed: 0 props: 0.41M time: 0.02 s
7625.08/250.48 c lits-rem: 0 cl-subs: 1 v-elim: 3 v-fix: 0 time: 0.10 s
7701.80/252.89 c subs with bin: 27 lits-rem: 121 v-fix: 0 time: 1.98 s
7887.15/258.62 c lits-rem: 8753 cl-subs: 1132 v-elim: 0 v-fix: 0 time: 5.72 s
7887.15/258.63 c vivif2 -- cl tried 26699 cl shrink 0 lits rem 0 time: 0.01
7899.90/259.07 c vivif2 -- cl tried 56214 cl shrink 11517 lits rem 377543 time: 0.42
7925.46/259.82 c asymm cl-useful: 46/15128/26699 lits-rem:79 time: 0.74
7925.46/259.83 c calculated reachability. Time: 0.01
7925.46/259.83 c N st 986 537323 12915 26699 40011 56213 157292 5033542 10.88 no data
11271.23/364.56 c N st 987 701307 12915 26699 40016 66928 157292 6577478 10.88 no data
11277.63/364.71 c Finding binary XORs T: 0.09 s found: 2
14246.86/457.69 c N st 988 805985 12914 26698 39825 88658 157277 11959117 10.88 no data
14246.86/457.69 c S st 988 805985 12914 26698 39825 88658 157277 11959117 10.88 no data
14252.62/457.88 c Finding binary XORs T: 0.09 s found: 1
14274.96/458.58 c S st 988 806488 12911 26695 39153 46420 157233 2133991 10.88 no data
14274.96/458.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
14306.92/459.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 14 BRemL: 397 BRemN: 0 P: 12.0M T: 0.96
14310.12/459.60 c Replacing 3 vars Replaced 67 lits Time: 0.03 s
14310.12/459.62 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
14310.12/459.63 c bin-w-bin subsume rem 60 bins time: 0.01 s
14310.12/459.65 c subs with bin: 23 lits-rem: 16 v-fix: 0 time: 0.02 s
14310.12/459.68 c Subs w/ non-existent bins: 0 l-rem: 2 v-fix: 0 done: 12908 time: 0.03 s
14310.12/459.70 c Removed useless bin: 1 fixed: 0 props: 0.41M time: 0.02 s
14313.94/459.78 c lits-rem: 1 cl-subs: 19 v-elim: 3 v-fix: 0 time: 0.08 s
14367.65/461.46 c subs with bin: 13 lits-rem: 490 v-fix: 0 time: 1.53 s
14415.57/462.97 c lits-rem: 786 cl-subs: 702 v-elim: 0 v-fix: 0 time: 1.50 s
14415.57/462.99 c vivif2 -- cl tried 26652 cl shrink 0 lits rem 0 time: 0.01
14419.36/463.11 c vivif2 -- cl tried 45188 cl shrink 2179 lits rem 18810 time: 0.13
14434.72/463.60 c asymm cl-useful: 3/11524/26652 lits-rem:9 time: 0.48
14437.92/463.61 c calculated reachability. Time: 0.01
14437.92/463.61 c N st 988 806488 12905 26649 38474 45187 157078 2021823 10.88 no data
20275.98/646.33 c F st 989 1071875 12905 26649 38475 81429 157078 10636655 10.88 no data
20275.98/646.36 c N st 989 1071875 12905 26649 38475 81429 157078 10636655 10.88 no data
20282.35/646.54 c Finding binary XORs T: 0.09 s found: 5
20371.84/649.31 c Decided on static restart strategy
20755.23/661.31 c N st 999 1100184 12904 26645 38928 60666 157012 3471395 10.88 no data
21288.92/678.08 c N st 1001 1136178 12904 26645 38951 96135 157012 6766456 10.88 no data
22068.56/702.43 c N st 1002 1168570 12904 26645 38954 78890 157012 7633548 10.88 no data
22788.13/724.93 c N st 1003 1209736 12903 26645 38966 69027 157012 4215528 10.88 no data
22788.13/724.94 c S st 1003 1209736 12903 26645 38966 69027 157012 4215528 10.88 no data
22806.70/725.57 c S st 1003 1210239 12903 26645 39024 69527 157012 4234426 10.88 no data
22809.90/725.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
22851.43/726.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 38 BRemL: 488 BRemN: 0 P: 14.4M T: 1.31
22855.25/727.04 c Replacing 7 vars Replaced 2150 lits Time: 0.11 s
22855.25/727.06 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
22855.25/727.07 c bin-w-bin subsume rem 51 bins time: 0.01 s
22855.25/727.09 c subs with bin: 20 lits-rem: 13 v-fix: 0 time: 0.02 s
22858.45/727.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12896 time: 0.03 s
22858.45/727.14 c Removed useless bin: 2 fixed: 0 props: 0.41M time: 0.02 s
22861.04/727.26 c lits-rem: 0 cl-subs: 10 v-elim: 2 v-fix: 0 time: 0.11 s
22940.90/729.77 c subs with bin: 35 lits-rem: 2283 v-fix: 0 time: 2.21 s
23110.31/735.08 c lits-rem: 2567 cl-subs: 2534 v-elim: 0 v-fix: 0 time: 5.29 s
23110.31/735.09 c vivif2 -- cl tried 26596 cl shrink 0 lits rem 0 time: 0.01
23123.11/735.42 c vivif2 -- cl tried 66609 cl shrink 9481 lits rem 181690 time: 0.32
23151.88/736.31 c asymm cl-useful: 34/14084/26596 lits-rem:39 time: 0.89
23151.88/736.33 c calculated reachability. Time: 0.01
23151.88/736.33 c N st 1003 1210239 12894 26596 38333 66607 156797 3891980 10.88 no data
24503.45/778.70 c N st 1004 1283123 12893 26596 38404 87205 156796 5585696 10.88 no data
27714.22/879.17 c N st 1005 1392447 12893 26596 38409 90075 156796 9692830 10.88 no data
27720.62/879.34 c Finding binary XORs T: 0.09 s found: 1
30943.61/980.23 c N st 1006 1556431 12893 26595 37868 85973 156784 5539860 10.88 no data
35955.81/1137.18 c N st 1007 1710240 12893 26595 37911 123448 156784 17539695 10.88 no data
35955.81/1137.18 c S st 1007 1710240 12893 26595 37911 123448 156784 17539695 10.88 no data
35994.12/1138.41 c S st 1007 1710742 12892 26595 38066 64239 156784 2959719 10.88 no data
35997.90/1138.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
36038.86/1139.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 269 BRemN: 0 P: 13.9M T: 1.30
36042.05/1139.85 c Replacing 1 vars Replaced 17 lits Time: 0.08 s
36042.05/1139.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
36042.05/1139.88 c bin-w-bin subsume rem 49 bins time: 0.01 s
36045.25/1139.90 c subs with bin: 11 lits-rem: 4 v-fix: 0 time: 0.02 s
36045.25/1139.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12891 time: 0.03 s
36045.25/1139.95 c Removed useless bin: 1 fixed: 0 props: 0.41M time: 0.02 s
36048.45/1140.06 c lits-rem: 0 cl-subs: 10 v-elim: 2 v-fix: 0 time: 0.11 s
36125.13/1142.46 c subs with bin: 11 lits-rem: 747 v-fix: 0 time: 2.18 s
36221.02/1145.44 c lits-rem: 1786 cl-subs: 631 v-elim: 0 v-fix: 0 time: 2.97 s
36221.02/1145.45 c vivif2 -- cl tried 26570 cl shrink 0 lits rem 0 time: 0.01
36227.41/1145.61 c vivif2 -- cl tried 63082 cl shrink 1508 lits rem 22931 time: 0.15
36249.79/1146.30 c asymm cl-useful: 0/12486/26570 lits-rem:0 time: 0.70
36249.79/1146.32 c calculated reachability. Time: 0.01
36249.79/1146.32 c N st 1007 1710742 12889 26570 37547 63082 156673 2873434 10.88 no data
46476.71/1466.40 c N st 1008 2079706 12889 26570 37547 114583 156673 7600984 10.88 no data
46476.71/1466.50 c Finding binary XORs T: 0.09 s found: 0
50994.27/1607.89 c N st 1009 2210742 12889 26570 37698 114294 156673 9322949 10.88 no data
50994.27/1607.89 c S st 1009 2210742 12889 26570 37698 114294 156673 9322949 10.88 no data
51022.99/1608.75 c S st 1009 2211244 12888 26570 37766 114794 156673 9342641 10.88 no data
51026.19/1608.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
51080.49/1610.56 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 33 BRemL: 134 BRemN: 0 P: 20.1M T: 1.74
51080.49/1610.58 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
51080.49/1610.59 c bin-w-bin subsume rem 18 bins time: 0.01 s
51083.72/1610.61 c subs with bin: 8 lits-rem: 2 v-fix: 0 time: 0.02 s
51083.72/1610.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12888 time: 0.03 s
51083.72/1610.66 c Removed useless bin: 1 fixed: 0 props: 0.41M time: 0.02 s
51090.11/1610.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.18 s
51201.85/1614.31 c subs with bin: 3 lits-rem: 54 v-fix: 0 time: 2.55 s
52134.96/1643.54 c lits-rem: 7602 cl-subs: 2441 v-elim: 0 v-fix: 0 time: 29.21 s
52134.96/1643.55 c vivif2 -- cl tried 26561 cl shrink 0 lits rem 0 time: 0.01
52167.56/1644.52 c vivif2 -- cl tried 112349 cl shrink 37429 lits rem 484563 time: 0.95
52182.92/1645.06 c asymm cl-useful: 11/1521/26561 lits-rem:22 time: 0.54
52182.92/1645.08 c calculated reachability. Time: 0.01
52182.92/1645.08 c N st 1009 2211244 12888 26561 37515 112348 156620 8654731 10.88 no data
65402.39/2058.83 c N st 1010 2711244 12888 26561 37515 116965 156620 8488493 10.88 no data
65402.39/2058.83 c S st 1010 2711244 12888 26561 37515 116965 156620 8488493 10.88 no data
65427.97/2059.68 c S st 1010 2711745 12887 26561 37647 117465 156620 8503117 10.88 no data
65431.16/2059.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
65488.66/2061.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 28 BRemL: 162 BRemN: 0 P: 20.0M T: 1.79
65488.66/2061.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
65488.66/2061.57 c bin-w-bin subsume rem 8 bins time: 0.01 s
65488.66/2061.59 c subs with bin: 2 lits-rem: 1 v-fix: 0 time: 0.02 s
65491.85/2061.62 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12887 time: 0.03 s
65491.85/2061.64 c Removed useless bin: 1 fixed: 0 props: 0.41M time: 0.02 s
65498.25/2061.82 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.18 s
65609.99/2065.32 c subs with bin: 3 lits-rem: 45 v-fix: 0 time: 2.70 s
66344.63/2088.30 c lits-rem: 2699 cl-subs: 2421 v-elim: 0 v-fix: 0 time: 22.96 s
66344.63/2088.32 c vivif2 -- cl tried 26557 cl shrink 0 lits rem 0 time: 0.01
66370.12/2089.18 c vivif2 -- cl tried 115039 cl shrink 29959 lits rem 441797 time: 0.84
66399.50/2090.05 c asymm cl-useful: 15/13678/26557 lits-rem:16 time: 0.87
66399.50/2090.07 c calculated reachability. Time: 0.01
66399.50/2090.07 c N st 1010 2711745 12887 26557 37190 115039 156575 7810097 10.88 no data
78306.98/2462.78 c N st 1011 3211745 12887 26557 37190 149283 156575 11661111 10.88 no data
78306.98/2462.78 c S st 1011 3211745 12887 26557 37190 149283 156575 11661111 10.88 no data
78310.77/2462.86 c Finding binary XORs T: 0.08 s found: 0
78345.96/2463.96 c S st 1011 3212246 12887 26557 37295 149783 156575 11679203 10.88 no data
78349.15/2464.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
78412.40/2466.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 36 BRemL: 141 BRemN: 0 P: 21.7M T: 2.00
78412.40/2466.06 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
78412.40/2466.07 c bin-w-bin subsume rem 8 bins time: 0.01 s
78412.40/2466.09 c subs with bin: 4 lits-rem: 1 v-fix: 0 time: 0.02 s
78416.18/2466.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12887 time: 0.03 s
78416.18/2466.14 c Removed useless bin: 0 fixed: 0 props: 0.41M time: 0.02 s
78421.98/2466.35 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.21 s
78543.42/2470.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.85 s
79658.59/2505.05 c lits-rem: 3601 cl-subs: 3004 v-elim: 0 v-fix: 0 time: 34.87 s
79658.59/2505.06 c vivif2 -- cl tried 26553 cl shrink 0 lits rem 0 time: 0.01
79696.95/2506.28 c vivif2 -- cl tried 146779 cl shrink 36258 lits rem 487295 time: 1.20
79719.97/2506.94 c asymm cl-useful: 0/3051/26553 lits-rem:0 time: 0.66
79719.97/2506.96 c calculated reachability. Time: 0.01
79719.97/2506.96 c N st 1011 3212246 12887 26553 37183 146779 156570 10939062 10.88 no data
96471.18/3031.24 c N st 1012 3712247 12887 26553 37183 146677 156570 14003561 10.88 no data
96471.18/3031.24 c S st 1012 3712247 12887 26553 37183 146677 156570 14003561 10.88 no data
96506.34/3032.34 c S st 1012 3712747 12885 26553 37357 147176 156570 14019817 10.88 no data
96509.54/3032.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
96576.67/3034.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 36 BRemL: 159 BRemN: 0 P: 24.1M T: 2.09
96576.67/3034.53 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
96576.67/3034.54 c bin-w-bin subsume rem 9 bins time: 0.01 s
96576.67/3034.56 c subs with bin: 6 lits-rem: 2 v-fix: 0 time: 0.02 s
96576.67/3034.59 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12885 time: 0.03 s
96579.88/3034.61 c Removed useless bin: 0 fixed: 0 props: 0.41M time: 0.02 s
96586.86/3034.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.24 s
96717.22/3038.97 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.84 s
97806.76/3073.07 c lits-rem: 8044 cl-subs: 1921 v-elim: 0 v-fix: 0 time: 34.08 s
97806.76/3073.08 c vivif2 -- cl tried 26545 cl shrink 0 lits rem 0 time: 0.01
97855.31/3074.56 c vivif2 -- cl tried 145094 cl shrink 41712 lits rem 514206 time: 1.46
97883.45/3075.41 c asymm cl-useful: 0/7205/26545 lits-rem:0 time: 0.85
97883.45/3075.43 c calculated reachability. Time: 0.01
97883.45/3075.43 c N st 1012 3712747 12885 26545 36678 145094 156516 13306179 10.88 no data
99030.28/3111.30 c F st 1013 3751562 12885 26545 36678 97296 156516 5076352 10.88 no data
99030.28/3111.33 c N st 1013 3751562 12885 26545 36678 97296 156516 5076352 10.88 no data
99033.48/3111.41 c Finding binary XORs T: 0.08 s found: 0
99113.41/3113.92 c Decided on static restart strategy
99630.94/3130.15 c N st 1023 3779866 12885 26545 36728 125329 156515 9108385 10.88 no data
100503.32/3157.49 c N st 1025 3815862 12885 26545 36758 160694 156515 13143093 10.88 no data
101493.94/3188.40 c N st 1026 3848255 12885 26545 36762 105601 156515 5708966 10.88 no data
102362.88/3215.68 c N st 1027 3896843 12885 26545 36816 153289 156515 11022947 10.88 no data
104839.20/3293.16 c N st 1028 3969725 12885 26545 36819 138087 156515 17086543 10.88 no data
107522.77/3377.10 c N st 1029 4079049 12885 26545 36864 157247 156515 11493762 10.88 no data
107522.77/3377.19 c Finding binary XORs T: 0.08 s found: 0
111386.25/3498.09 c N st 1030 4212748 12885 26545 37073 107930 156515 5811710 10.88 no data
111386.25/3498.09 c S st 1030 4212748 12885 26545 37073 107930 156515 5811710 10.88 no data
111414.39/3498.96 c S st 1030 4213250 12885 26545 37090 108430 156515 5825739 10.88 no data
111418.21/3499.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
111468.64/3500.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 21 BRemL: 504 BRemN: 0 P: 18.7M T: 1.67
111471.83/3500.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
111471.83/3500.73 c bin-w-bin subsume rem 15 bins time: 0.01 s
111471.83/3500.75 c subs with bin: 2 lits-rem: 1 v-fix: 0 time: 0.02 s
111471.83/3500.78 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12885 time: 0.03 s
111471.83/3500.80 c Removed useless bin: 0 fixed: 0 props: 0.41M time: 0.02 s
111478.19/3500.96 c lits-rem: 0 cl-subs: 0 v-elim: 1 v-fix: 0 time: 0.16 s
111580.48/3504.11 c subs with bin: 0 lits-rem: 47 v-fix: 0 time: 2.70 s
111762.55/3509.81 c lits-rem: 1321 cl-subs: 1633 v-elim: 0 v-fix: 0 time: 5.70 s
111762.55/3509.83 c vivif2 -- cl tried 26559 cl shrink 16 lits rem 56 time: 0.01
111775.32/3510.23 c vivif2 -- cl tried 106768 cl shrink 7824 lits rem 184957 time: 0.40
111778.53/3510.33 c asymm cl-useful: 0/1104/26559 lits-rem:0 time: 0.10
111778.53/3510.35 c calculated reachability. Time: 0.01
111778.53/3510.35 c N st 1030 4213250 12884 26559 36551 106768 156742 5588119 10.88 no data
120261.60/3775.85 c N st 1031 4459226 12884 26559 36552 165611 156742 15678783 10.88 no data
129229.19/4056.59 c N st 1032 4713250 12883 26559 36646 131941 156742 9298886 10.88 no data
129229.19/4056.59 c S st 1032 4713250 12883 26559 36646 131941 156742 9298886 10.88 no data
129261.12/4057.56 c S st 1032 4713751 12882 26559 36748 132441 156742 9319873 10.88 no data
129264.30/4057.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
129315.45/4059.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 10 BRemL: 64 BRemN: 0 P: 21.8M T: 1.65
129315.45/4059.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
129318.65/4059.31 c bin-w-bin subsume rem 35 bins time: 0.01 s
129318.65/4059.33 c subs with bin: 4 lits-rem: 2 v-fix: 0 time: 0.02 s
129318.65/4059.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12882 time: 0.03 s
129318.65/4059.38 c Removed useless bin: 0 fixed: 0 props: 0.41M time: 0.02 s
129324.98/4059.56 c lits-rem: 0 cl-subs: 3 v-elim: 0 v-fix: 0 time: 0.18 s
129427.23/4062.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.43 s
129893.70/4077.36 c lits-rem: 755 cl-subs: 1306 v-elim: 0 v-fix: 0 time: 14.56 s
129893.70/4077.37 c vivif2 -- cl tried 26551 cl shrink 0 lits rem 0 time: 0.01
129919.27/4078.17 c vivif2 -- cl tried 131034 cl shrink 24013 lits rem 386102 time: 0.78
129944.82/4078.94 c asymm cl-useful: 9/2747/26551 lits-rem:9 time: 0.77
129944.82/4078.95 c calculated reachability. Time: 0.01
129944.82/4078.96 c N st 1032 4713751 12882 26551 36504 131033 156628 8787200 10.88 no data
151795.52/4762.90 c N st 1033 5213751 12882 26551 36504 130832 156628 8564180 10.88 no data
151795.52/4762.90 c S st 1033 5213751 12882 26551 36504 130832 156628 8564180 10.88 no data
151802.52/4763.06 c Finding binary XORs T: 0.08 s found: 0
151827.47/4763.89 c S st 1033 5214253 12881 26550 36545 131259 156613 8577666 10.88 no data
151830.69/4763.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
151881.80/4765.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 243 BRemN: 0 P: 20.6M T: 1.55
151881.80/4765.53 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
151881.80/4765.54 c bin-w-bin subsume rem 25 bins time: 0.01 s
151881.80/4765.56 c subs with bin: 2 lits-rem: 1 v-fix: 0 time: 0.02 s
151881.80/4765.59 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12881 time: 0.04 s
151885.02/4765.61 c Removed useless bin: 0 fixed: 0 props: 0.41M time: 0.02 s
151888.20/4765.79 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.17 s
152000.08/4769.22 c subs with bin: 253 lits-rem: 2660 v-fix: 0 time: 2.77 s
152952.23/4799.07 c lits-rem: 991 cl-subs: 2194 v-elim: 0 v-fix: 0 time: 29.83 s
152952.23/4799.08 c vivif2 -- cl tried 26548 cl shrink 0 lits rem 0 time: 0.01
152977.75/4799.82 c vivif2 -- cl tried 128812 cl shrink 22722 lits rem 350883 time: 0.71
153000.12/4800.51 c asymm cl-useful: 16/13283/26548 lits-rem:16 time: 0.69
153000.12/4800.52 c calculated reachability. Time: 0.01
153000.12/4800.52 c N st 1033 5214253 12881 26548 36280 128811 156595 7917281 10.88 no data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400821-1306846737/watcher-3400821-1306846737 -o /tmp/evaluation-result-3400821-1306846737/solver-3400821-1306846737 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400821-1306846737.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: 29.64 31.59 31.90 1/413 24191
/proc/meminfo: memFree=263524320/264257624 swapFree=67044776/67111528
[pid=24191] ppid=24189 vsize=338000 CPUtime=0.84 cores=0-31
/proc/24191/stat : 24191 (strangenight2-m) R 24189 24191 24165 0 -1 4202496 437 0 0 0 84 0 0 0 25 0 32 0 10639703 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/24191/statm: 84500 376 297 95 0 79482 0
[pid=24191/tid=24192] ppid=24189 vsize=338000 CPUtime=0.03 cores=0-31
/proc/24191/task/24192/stat : 24192 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24191/tid=24193] ppid=24189 vsize=338000 CPUtime=0.03 cores=0-31
/proc/24191/task/24193/stat : 24193 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537708 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24191/tid=24194] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24194/stat : 24194 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537708 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=24191/tid=24195] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24195/stat : 24195 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=24191/tid=24196] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24196/stat : 24196 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24191/tid=24197] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24197/stat : 24197 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=24191/tid=24198] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24198/stat : 24198 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=24191/tid=24199] ppid=24189 vsize=338000 CPUtime=0 cores=0-31
/proc/24191/task/24199/stat : 24199 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=24191/tid=24200] ppid=24189 vsize=338000 CPUtime=0 cores=0-31
/proc/24191/task/24200/stat : 24200 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=24191/tid=24201] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24201/stat : 24201 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537704 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=24191/tid=24202] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24202/stat : 24202 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=24191/tid=24203] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24203/stat : 24203 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24191/tid=24204] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24204/stat : 24204 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537704 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=24191/tid=24205] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24205/stat : 24205 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24191/tid=24206] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24206/stat : 24206 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24191/tid=24207] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24207/stat : 24207 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24191/tid=24208] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24208/stat : 24208 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537704 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24191/tid=24209] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24209/stat : 24209 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537712 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=24191/tid=24210] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24210/stat : 24210 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=24191/tid=24211] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24211/stat : 24211 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537708 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=24191/tid=24212] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24212/stat : 24212 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537708 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=24191/tid=24213] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24213/stat : 24213 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=24191/tid=24214] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24214/stat : 24214 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537704 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=24191/tid=24215] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24215/stat : 24215 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=24191/tid=24216] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24216/stat : 24216 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537708 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=24191/tid=24217] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24217/stat : 24217 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=24191/tid=24218] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24218/stat : 24218 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=24191/tid=24219] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24219/stat : 24219 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537708 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=24191/tid=24220] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24220/stat : 24220 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=24191/tid=24221] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24221/stat : 24221 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=24191/tid=24222] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24222/stat : 24222 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 26 0 0 0
[startup+0.095033 s]
/proc/loadavg: 29.64 31.59 31.90 1/413 24191
/proc/meminfo: memFree=263524320/264257624 swapFree=67044776/67111528
[pid=24191] ppid=24189 vsize=797968 CPUtime=2.35 cores=0-31
/proc/24191/stat : 24191 (strangenight2-m) D 24189 24191 24165 0 -1 4202496 7479 0 0 0 180 55 0 0 25 0 32 0 10639703 817119232 7335 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/24191/statm: 199492 7390 330 95 0 194474 0
[pid=24191/tid=24192] ppid=24189 vsize=797968 CPUtime=0.07 cores=0-31
/proc/24191/task/24192/stat : 24192 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 209 0 0 0 6 1 0 0 24 0 32 0 10639704 817119232 7416 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24191/tid=24193] ppid=24189 vsize=797968 CPUtime=0.07 cores=0-31
/proc/24191/task/24193/stat : 24193 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 201 0 0 0 6 1 0 0 24 0 32 0 10639704 817119232 7436 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24191/tid=24194] ppid=24189 vsize=797968 CPUtime=0.07 cores=0-31
/proc/24191/task/24194/stat : 24194 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 258 0 0 0 6 1 0 0 18 0 32 0 10639704 817119232 7545 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=24191/tid=24195] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24195/stat : 24195 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 241 0 0 0 5 1 0 0 18 0 32 0 10639704 817119232 7545 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=24191/tid=24196] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24196/stat : 24196 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 239 0 0 0 5 1 0 0 24 0 32 0 10639704 817119232 7545 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24191/tid=24197] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24197/stat : 24197 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 204 0 0 0 5 1 0 0 24 0 32 0 10639704 817119232 7604 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=24191/tid=24198] ppid=24189 vsize=797968 CPUtime=0.05 cores=0-31
/proc/24191/task/24198/stat : 24198 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 267 0 0 0 4 1 0 0 18 0 32 0 10639704 817119232 7604 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=24191/tid=24199] ppid=24189 vsize=797968 CPUtime=0.01 cores=0-31
/proc/24191/task/24199/stat : 24199 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 203 0 0 0 0 1 0 0 25 0 32 0 10639704 817119232 7604 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=24191/tid=24200] ppid=24189 vsize=797968 CPUtime=0.04 cores=0-31
/proc/24191/task/24200/stat : 24200 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 259 0 0 0 3 1 0 0 25 0 32 0 10639704 817119232 7623 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=24191/tid=24201] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24201/stat : 24201 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 208 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7654 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=24191/tid=24202] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24202/stat : 24202 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 230 0 0 0 5 1 0 0 18 0 32 0 10639704 817119232 7654 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=24191/tid=24203] ppid=24189 vsize=797968 CPUtime=0.07 cores=0-31
/proc/24191/task/24203/stat : 24203 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 266 0 0 0 5 2 0 0 18 0 32 0 10639704 817119232 7654 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24191/tid=24204] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24204/stat : 24204 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 272 0 0 0 5 1 0 0 18 0 32 0 10639704 817119232 7691 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=24191/tid=24205] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24205/stat : 24205 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 243 0 0 0 5 1 0 0 18 0 32 0 10639704 817119232 7701 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24191/tid=24206] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24206/stat : 24206 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 218 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7724 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24191/tid=24207] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24207/stat : 24207 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 209 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7724 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24191/tid=24208] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24208/stat : 24208 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 269 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7794 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24191/tid=24209] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24209/stat : 24209 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 219 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7794 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=24191/tid=24210] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24210/stat : 24210 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 240 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7803 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=24191/tid=24211] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24211/stat : 24211 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 255 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7817 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=24191/tid=24212] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24212/stat : 24212 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 216 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7846 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=24191/tid=24213] ppid=24189 vsize=797968 CPUtime=0.07 cores=0-31
/proc/24191/task/24213/stat : 24213 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 228 0 0 0 5 2 0 0 18 0 32 0 10639704 817119232 7846 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=24191/tid=24214] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24214/stat : 24214 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 297 0 0 0 5 1 0 0 18 0 32 0 10639704 817119232 7857 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=24191/tid=24215] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24215/stat : 24215 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 213 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7869 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=24191/tid=24216] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24216/stat : 24216 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 195 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7892 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=24191/tid=24217] ppid=24189 vsize=798100 CPUtime=0.07 cores=0-31
/proc/24191/task/24217/stat : 24217 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 263 0 0 0 5 2 0 0 25 0 32 0 10639704 817254400 7900 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=24191/tid=24218] ppid=24189 vsize=798100 CPUtime=0.06 cores=0-31
/proc/24191/task/24218/stat : 24218 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 236 0 0 0 5 1 0 0 25 0 32 0 10639704 817254400 7944 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=24191/tid=24219] ppid=24189 vsize=798100 CPUtime=0.06 cores=0-31
/proc/24191/task/24219/stat : 24219 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 218 0 0 0 5 1 0 0 25 0 32 0 10639704 817254400 7944 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=24191/tid=24220] ppid=24189 vsize=798100 CPUtime=0.06 cores=0-31
/proc/24191/task/24220/stat : 24220 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 240 0 0 0 5 1 0 0 25 0 32 0 10639704 817254400 7944 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=24191/tid=24221] ppid=24189 vsize=798100 CPUtime=0.07 cores=0-31
/proc/24191/task/24221/stat : 24221 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 223 0 0 0 5 2 0 0 25 0 32 0 10639704 817254400 7950 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=24191/tid=24222] ppid=24189 vsize=798100 CPUtime=0.07 cores=0-31
/proc/24191/task/24222/stat : 24222 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 226 0 0 0 5 2 0 0 25 0 32 0 10639704 817254400 7966 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 797968
[startup+0.107941 s]
/proc/loadavg: 29.64 31.59 31.90 1/413 24191
/proc/meminfo: memFree=263524320/264257624 swapFree=67044776/67111528
[pid=24191] ppid=24189 vsize=863636 CPUtime=2.56 cores=0-31
/proc/24191/stat : 24191 (strangenight2-m) D 24189 24191 24165 0 -1 4202496 8895 0 0 0 181 75 0 0 25 0 32 0 10639703 884363264 8750 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/24191/statm: 215942 8757 330 95 0 210924 0
[pid=24191/tid=24192] ppid=24189 vsize=863768 CPUtime=0.08 cores=0-31
/proc/24191/task/24192/stat : 24192 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 255 0 0 0 6 2 0 0 24 0 32 0 10639704 884498432 8763 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24191/tid=24193] ppid=24189 vsize=863768 CPUtime=0.08 cores=0-31
/proc/24191/task/24193/stat : 24193 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 241 0 0 0 6 2 0 0 24 0 32 0 10639704 884498432 8774 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24191/tid=24194] ppid=24189 vsize=863768 CPUtime=0.08 cores=0-31
/proc/24191/task/24194/stat : 24194 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 297 0 0 0 6 2 0 0 18 0 32 0 10639704 884498432 8774 268435456000 4194304 4580107 140736695828080 18446744073709551615 4307821 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=24191/tid=24195] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24195/stat : 24195 (strangenight2-m) S 24189 24191 24165 0 -1 4202560 267 0 0 0 5 2 0 0 17 0 32 0 10639704 884498432 8785 268435456000 4194304 4580107 140736695828080 18446744073709551615 258651060958 0 0 4096 2 18446744071566929064 0 0 -1 12 0 0 0
[pid=24191/tid=24196] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24196/stat : 24196 (strangenight2-m) S 24189 24191 24165 0 -1 4202560 279 0 0 0 5 2 0 0 24 0 32 0 10639704 884498432 8799 268435456000 4194304 4580107 140736695828080 18446744073709551615 258651060958 0 0 4096 2 18446604498909658592 0 0 -1 4 0 0 0
[pid=24191/tid=24197] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24197/stat : 24197 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 240 0 0 0 5 2 0 0 24 0 32 0 10639704 884498432 8808 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=24191/tid=24198] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24198/stat : 24198 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 300 0 0 0 5 2 0 0 18 0 32 0 10639704 884498432 8809 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=24191/tid=24199] ppid=24189 vsize=863768 CPUtime=0.02 cores=0-31
/proc/24191/task/24199/stat : 24199 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 248 0 0 0 0 2 0 0 25 0 32 0 10639704 884498432 8864 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=24191/tid=24200] ppid=24189 vsize=863768 CPUtime=0.05 cores=0-31
/proc/24191/task/24200/stat : 24200 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 284 0 0 0 3 2 0 0 18 0 32 0 10639704 884498432 8873 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=24191/tid=24201] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24201/stat : 24201 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 251 0 0 0 5 2 0 0 25 0 32 0 10639704 884498432 8887 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=24191/tid=24202] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24202/stat : 24202 (strangenight2-m) S 24189 24191 24165 0 -1 4202560 267 0 0 0 5 2 0 0 18 0 32 0 10639704 884498432 8923 268435456000 4194304 4580107 140736695828080 18446744073709551615 258651060958 0 0 4096 2 18446744071566932784 0 0 -1 8 0 0 0
[pid=24191/tid=24203] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24203/stat : 24203 (strangenight2-m) S 24189 24191 24165 0 -1 4202560 302 0 0 0 5 2 0 0 18 0 32 0 10639704 884498432 8928 268435456000 4194304 4580107 140736695828080 18446744073709551615 258651060958 0 0 4096 2 18446744071566927304 0 0 -1 0 0 0 0
[pid=24191/tid=24204] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24204/stat : 24204 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 307 0 0 0 5 2 0 0 18 0 32 0 10639704 884498432 8936 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=24191/tid=24205] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24205/stat : 24205 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 284 0 0 0 5 2 0 0 17 0 32 0 10639704 884498432 8974 268435456000 4194304 4580107 140736695828080 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24191/tid=24206] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24206/stat : 24206 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 260 0 0 0 5 2 0 0 25 0 32 0 10639704 884498432 8974 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24191/tid=24207] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24207/stat : 24207 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 250 0 0 0 5 2 0 0 25 0 32 0 10639704 884498432 8977 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24191/tid=24208] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
################
# More data... #
################
[pid=24191/tid=24201] ppid=24189 vsize=33436496 CPUtime=4948.9 cores=0-31
/proc/24191/task/24201/stat : 24201 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1022839 0 0 0 494259 631 0 0 25 0 32 0 10639704 34238971904 6637074 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=24191/tid=24202] ppid=24189 vsize=33436496 CPUtime=4944.18 cores=0-31
/proc/24191/task/24202/stat : 24202 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1051633 0 0 0 493734 684 0 0 25 0 32 0 10639704 34238971904 6637074 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=24191/tid=24203] ppid=24189 vsize=33436496 CPUtime=4944.09 cores=0-31
/proc/24191/task/24203/stat : 24203 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 998461 0 0 0 493739 670 0 0 25 0 32 0 10639704 34238971904 6637074 268435456000 4194304 4580107 140736695828080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=24191/tid=24204] ppid=24189 vsize=33436496 CPUtime=4937.74 cores=0-31
/proc/24191/task/24204/stat : 24204 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1325383 0 0 0 492993 781 0 0 25 0 32 0 10639704 34238971904 6637074 268435456000 4194304 4580107 140736695828080 18446744073709551615 4295345 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24191/tid=24205] ppid=24189 vsize=33436496 CPUtime=4943.49 cores=0-31
/proc/24191/task/24205/stat : 24205 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1163154 0 0 0 493638 711 0 0 25 0 32 0 10639704 34238971904 6637074 268435456000 4194304 4580107 140736695828080 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=24191/tid=24206] ppid=24189 vsize=33436496 CPUtime=4936.96 cores=0-31
/proc/24191/task/24206/stat : 24206 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1004054 0 0 0 493051 645 0 0 25 0 32 0 10639704 34238971904 6637074 268435456000 4194304 4580107 140736695828080 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=24191/tid=24207] ppid=24189 vsize=33436496 CPUtime=4941.17 cores=0-31
/proc/24191/task/24207/stat : 24207 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 911906 0 0 0 493491 626 0 0 25 0 32 0 10639704 34238971904 6637074 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24191/tid=24208] ppid=24189 vsize=33436496 CPUtime=4944.62 cores=0-31
/proc/24191/task/24208/stat : 24208 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1247138 0 0 0 493722 740 0 0 25 0 32 0 10639704 34238971904 6637074 268435456000 4194304 4580107 140736695828080 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=24191/tid=24209] ppid=24189 vsize=33436496 CPUtime=4938.66 cores=0-31
/proc/24191/task/24209/stat : 24209 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 915432 0 0 0 493272 594 0 0 25 0 32 0 10639704 34238971904 6637075 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=24191/tid=24210] ppid=24189 vsize=33436496 CPUtime=4948.35 cores=0-31
/proc/24191/task/24210/stat : 24210 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1128869 0 0 0 494126 709 0 0 25 0 32 0 10639704 34238971904 6637075 268435456000 4194304 4580107 140736695828080 18446744073709551615 4302044 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=24191/tid=24211] ppid=24189 vsize=33436496 CPUtime=4939.12 cores=0-31
/proc/24191/task/24211/stat : 24211 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 921640 0 0 0 493291 621 0 0 25 0 32 0 10639704 34238971904 6637075 268435456000 4194304 4580107 140736695828080 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=24191/tid=24212] ppid=24189 vsize=33436496 CPUtime=4930.09 cores=0-31
/proc/24191/task/24212/stat : 24212 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1009671 0 0 0 492339 670 0 0 25 0 32 0 10639704 34238971904 6637075 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24191/tid=24213] ppid=24189 vsize=33436496 CPUtime=4939.75 cores=0-31
/proc/24191/task/24213/stat : 24213 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1036836 0 0 0 493288 687 0 0 25 0 32 0 10639704 34238971904 6637075 268435456000 4194304 4580107 140736695828080 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24191/tid=24214] ppid=24189 vsize=33436496 CPUtime=4945.95 cores=0-31
/proc/24191/task/24214/stat : 24214 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1047991 0 0 0 493958 637 0 0 25 0 32 0 10639704 34238971904 6637076 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=24191/tid=24215] ppid=24189 vsize=33436496 CPUtime=4940.04 cores=0-31
/proc/24191/task/24215/stat : 24215 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 966051 0 0 0 493348 656 0 0 25 0 32 0 10639704 34238971904 6637076 268435456000 4194304 4580107 140736695828080 18446744073709551615 4295020 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=24191/tid=24216] ppid=24189 vsize=33436496 CPUtime=4938.57 cores=0-31
/proc/24191/task/24216/stat : 24216 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 924585 0 0 0 493205 652 0 0 25 0 32 0 10639704 34238971904 6637076 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24191/tid=24217] ppid=24189 vsize=33436496 CPUtime=4941.79 cores=0-31
/proc/24191/task/24217/stat : 24217 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1385230 0 0 0 493349 830 0 0 25 0 32 0 10639704 34238971904 6637076 268435456000 4194304 4580107 140736695828080 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=24191/tid=24218] ppid=24189 vsize=33436496 CPUtime=4949.24 cores=0-31
/proc/24191/task/24218/stat : 24218 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 948928 0 0 0 494346 578 0 0 25 0 32 0 10639704 34238971904 6637076 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=24191/tid=24219] ppid=24189 vsize=33436496 CPUtime=4933.57 cores=0-31
/proc/24191/task/24219/stat : 24219 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1230212 0 0 0 492600 757 0 0 25 0 32 0 10639704 34238971904 6637076 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24191/tid=24220] ppid=24189 vsize=33436496 CPUtime=4947.09 cores=0-31
/proc/24191/task/24220/stat : 24220 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1221766 0 0 0 493968 741 0 0 25 0 32 0 10639704 34238971904 6637076 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=24191/tid=24221] ppid=24189 vsize=33436496 CPUtime=4950.65 cores=0-31
/proc/24191/task/24221/stat : 24221 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 779318 0 0 0 494500 565 0 0 25 0 32 0 10639704 34238971904 6637076 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=24191/tid=24222] ppid=24189 vsize=33436496 CPUtime=4952.64 cores=0-31
/proc/24191/task/24222/stat : 24222 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 167495 0 0 0 495099 165 0 0 25 0 32 0 10639704 34238971904 6637077 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 158170
Current children cumulated vsize (KiB) 33436496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5019.6 s]
/proc/loadavg: 32.08 32.04 32.01 33/445 24378
/proc/meminfo: memFree=236087464/264257624 swapFree=67044776/67111528
[pid=24191] ppid=24189 vsize=34342612 CPUtime=160002 cores=0-31
/proc/24191/stat : 24191 (strangenight2-m) R 24189 24191 24165 0 -1 4202496 32838377 0 0 0 15979196 21004 0 0 25 0 32 0 10639703 35166834688 6847168 268435456000 4194304 4580107 140736695828080 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/24191/statm: 8585653 6847168 406 95 0 8580635 0
[pid=24191/tid=24192] ppid=24189 vsize=34342612 CPUtime=5004.91 cores=0-31
/proc/24191/task/24192/stat : 24192 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 920790 0 0 0 499867 624 0 0 25 0 32 0 10639704 35166834688 6847170 268435456000 4194304 4580107 140736695828080 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=24191/tid=24193] ppid=24189 vsize=34342612 CPUtime=4999.51 cores=0-31
/proc/24191/task/24193/stat : 24193 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1084180 0 0 0 499283 668 0 0 25 0 32 0 10639704 35166834688 6847170 268435456000 4194304 4580107 140736695828080 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=24191/tid=24194] ppid=24189 vsize=34342612 CPUtime=4998.42 cores=0-31
/proc/24191/task/24194/stat : 24194 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1064622 0 0 0 499154 688 0 0 25 0 32 0 10639704 35166834688 6847170 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24191/tid=24195] ppid=24189 vsize=34342612 CPUtime=5004.19 cores=0-31
/proc/24191/task/24195/stat : 24195 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1109349 0 0 0 499743 676 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=24191/tid=24196] ppid=24189 vsize=34342612 CPUtime=5001.68 cores=0-31
/proc/24191/task/24196/stat : 24196 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1102704 0 0 0 499465 703 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=24191/tid=24197] ppid=24189 vsize=34342612 CPUtime=4999.91 cores=0-31
/proc/24191/task/24197/stat : 24197 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1117244 0 0 0 499285 706 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=24191/tid=24198] ppid=24189 vsize=34342612 CPUtime=5004.96 cores=0-31
/proc/24191/task/24198/stat : 24198 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 836131 0 0 0 499942 554 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=24191/tid=24199] ppid=24189 vsize=34342612 CPUtime=4989.66 cores=0-31
/proc/24191/task/24199/stat : 24199 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 974170 0 0 0 498329 637 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24191/tid=24200] ppid=24189 vsize=34342612 CPUtime=5000.53 cores=0-31
/proc/24191/task/24200/stat : 24200 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1045745 0 0 0 499426 627 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=24191/tid=24201] ppid=24189 vsize=34342612 CPUtime=5006.21 cores=0-31
/proc/24191/task/24201/stat : 24201 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1026950 0 0 0 499986 635 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=24191/tid=24202] ppid=24189 vsize=34342612 CPUtime=5001.48 cores=0-31
/proc/24191/task/24202/stat : 24202 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1074587 0 0 0 499459 689 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=24191/tid=24203] ppid=24189 vsize=34342612 CPUtime=5001.39 cores=0-31
/proc/24191/task/24203/stat : 24203 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1003462 0 0 0 499464 675 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=24191/tid=24204] ppid=24189 vsize=34342612 CPUtime=4995.04 cores=0-31
/proc/24191/task/24204/stat : 24204 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1332515 0 0 0 498719 785 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24191/tid=24205] ppid=24189 vsize=34342612 CPUtime=5000.8 cores=0-31
/proc/24191/task/24205/stat : 24205 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1169374 0 0 0 499364 716 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=24191/tid=24206] ppid=24189 vsize=34342612 CPUtime=4994.27 cores=0-31
/proc/24191/task/24206/stat : 24206 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1012939 0 0 0 498776 651 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=24191/tid=24207] ppid=24189 vsize=34342612 CPUtime=4998.46 cores=0-31
/proc/24191/task/24207/stat : 24207 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 915863 0 0 0 499217 629 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24191/tid=24208] ppid=24189 vsize=34342612 CPUtime=5001.92 cores=0-31
/proc/24191/task/24208/stat : 24208 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1257631 0 0 0 499447 745 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=24191/tid=24209] ppid=24189 vsize=34342612 CPUtime=4995.96 cores=0-31
/proc/24191/task/24209/stat : 24209 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 924804 0 0 0 498996 600 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=24191/tid=24210] ppid=24189 vsize=34342612 CPUtime=5005.65 cores=0-31
/proc/24191/task/24210/stat : 24210 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1138347 0 0 0 499851 714 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=24191/tid=24211] ppid=24189 vsize=34342612 CPUtime=4996.41 cores=0-31
/proc/24191/task/24211/stat : 24211 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 936248 0 0 0 499010 631 0 0 25 0 32 0 10639704 35166834688 6847173 268435456000 4194304 4580107 140736695828080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=24191/tid=24212] ppid=24189 vsize=34342612 CPUtime=4987.38 cores=0-31
/proc/24191/task/24212/stat : 24212 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1022971 0 0 0 498061 677 0 0 25 0 32 0 10639704 35166834688 6847173 268435456000 4194304 4580107 140736695828080 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24191/tid=24213] ppid=24189 vsize=34342612 CPUtime=4997.04 cores=0-31
/proc/24191/task/24213/stat : 24213 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1043139 0 0 0 499013 691 0 0 25 0 32 0 10639704 35166834688 6847173 268435456000 4194304 4580107 140736695828080 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24191/tid=24214] ppid=24189 vsize=34342612 CPUtime=5003.24 cores=0-31
/proc/24191/task/24214/stat : 24214 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1057962 0 0 0 499683 641 0 0 25 0 32 0 10639704 35166834688 6847173 268435456000 4194304 4580107 140736695828080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=24191/tid=24215] ppid=24189 vsize=34342612 CPUtime=4995.71 cores=0-31
/proc/24191/task/24215/stat : 24215 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 974587 0 0 0 498911 660 0 0 25 0 32 0 10639704 35166834688 6847173 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294986 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=24191/tid=24216] ppid=24189 vsize=34342612 CPUtime=4995.86 cores=0-31
/proc/24191/task/24216/stat : 24216 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 931147 0 0 0 498931 655 0 0 25 0 32 0 10639704 35166834688 6847173 268435456000 4194304 4580107 140736695828080 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24191/tid=24217] ppid=24189 vsize=34342612 CPUtime=4999.09 cores=0-31
/proc/24191/task/24217/stat : 24217 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1391761 0 0 0 499076 833 0 0 25 0 32 0 10639704 35166834688 6847173 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=24191/tid=24218] ppid=24189 vsize=34342612 CPUtime=5006.53 cores=0-31
/proc/24191/task/24218/stat : 24218 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 958097 0 0 0 500069 584 0 0 25 0 32 0 10639704 35166834688 6847173 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=24191/tid=24219] ppid=24189 vsize=34342612 CPUtime=4990.86 cores=0-31
/proc/24191/task/24219/stat : 24219 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1246050 0 0 0 498320 766 0 0 25 0 32 0 10639704 35166834688 6847174 268435456000 4194304 4580107 140736695828080 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24191/tid=24220] ppid=24189 vsize=34342612 CPUtime=5004.39 cores=0-31
/proc/24191/task/24220/stat : 24220 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1233601 0 0 0 499692 747 0 0 25 0 32 0 10639704 35166834688 6847174 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=24191/tid=24221] ppid=24189 vsize=34342612 CPUtime=5007.94 cores=0-31
/proc/24191/task/24221/stat : 24221 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 783173 0 0 0 500226 568 0 0 25 0 32 0 10639704 35166834688 6847174 268435456000 4194304 4580107 140736695828080 18446744073709551615 4316605 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=24191/tid=24222] ppid=24189 vsize=34342612 CPUtime=5009.94 cores=0-31
/proc/24191/task/24222/stat : 24222 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 172740 0 0 0 500828 166 0 0 25 0 32 0 10639704 35166834688 6847174 268435456000 4194304 4580107 140736695828080 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 34342612
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5020.6 s]
/proc/loadavg: 32.08 32.04 32.01 2/416 24379
/proc/meminfo: memFree=245264564/264257624 swapFree=67044776/67111528
[pid=24191] ppid=24189 vsize=0 CPUtime=160003 cores=0-31
/proc/24191/stat : 24191 (strangenight2-m) Z 24189 24191 24165 0 -1 4203548 32838398 0 0 0 15979218 21101 0 0 25 0 2 0 10639703 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/24191/statm: 0 0 0 0 0 0 0
[pid=24191/tid=24215] ppid=24189 vsize=0 CPUtime=4996.69 cores=0-31
/proc/24191/task/24215/stat : 24215 (strangenight2-m) R 24189 24191 24165 0 -1 4203588 974588 0 0 0 498912 757 0 0 25 0 2 0 10639704 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5021 s]
/proc/loadavg: 32.08 32.04 32.01 2/416 24379
/proc/meminfo: memFree=245264564/264257624 swapFree=67044776/67111528
[pid=24191] ppid=24189 vsize=0 CPUtime=160004 cores=0-31
/proc/24191/stat : 24191 (strangenight2-m) Z 24189 24191 24165 0 -1 4203548 32838398 0 0 0 15979218 21141 0 0 25 0 2 0 10639703 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/24191/statm: 0 0 0 0 0 0 0
[pid=24191/tid=24215] ppid=24189 vsize=0 CPUtime=4997.09 cores=0-31
/proc/24191/task/24215/stat : 24215 (strangenight2-m) R 24189 24191 24165 0 -1 4203588 974588 0 0 0 498912 797 0 0 25 0 2 0 10639704 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5021.4 s]
/proc/loadavg: 32.08 32.04 32.01 2/416 24379
/proc/meminfo: memFree=261333428/264257624 swapFree=67044776/67111528
[pid=24191] ppid=24189 vsize=0 CPUtime=160004 cores=0-31
/proc/24191/stat : 24191 (strangenight2-m) Z 24189 24191 24165 0 -1 4203548 32838398 0 0 0 15979218 21183 0 0 25 0 2 0 10639703 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/24191/statm: 0 0 0 0 0 0 0
[pid=24191/tid=24215] ppid=24189 vsize=0 CPUtime=4997.51 cores=0-31
/proc/24191/task/24215/stat : 24215 (strangenight2-m) R 24189 24191 24165 0 -1 4203588 974588 0 0 0 498912 839 0 0 25 0 2 0 10639704 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5021.52 s]
/proc/loadavg: 32.08 32.04 32.01 2/416 24379
/proc/meminfo: memFree=261333428/264257624 swapFree=67044776/67111528
[pid=24191] ppid=24189 vsize=0 CPUtime=160004 cores=0-31
/proc/24191/stat : 24191 (strangenight2-m) Z 24189 24191 24165 0 -1 4203548 32838398 0 0 0 15979218 21193 0 0 25 0 2 0 10639703 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/24191/statm: 0 0 0 0 0 0 0
[pid=24191/tid=24215] ppid=24189 vsize=0 CPUtime=4997.61 cores=0-31
/proc/24191/task/24215/stat : 24215 (strangenight2-m) R 24189 24191 24165 0 -1 4203588 974588 0 0 0 498912 849 0 0 25 0 2 0 10639704 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5021.58
CPU time (s): 160004
CPU user time (s): 159792
CPU system time (s): 211.998
CPU usage (%): 3186.33
Max. virtual memory (cumulated for all children) (KiB): 34568952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159792
system time used= 211.998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32838398
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= 1608998
involuntary context switches= 305874
runsolver used 30.4844 second user time and 110.74 second system time
The end
Begin job on node200 at 2011-05-31 14:58:57
IDJOB=3400821
IDBENCH=83135
IDSOLVER=1886
FILE ID=node200/3400821-1306846737
RUNJOBID= node200-1306846737-24179
PBS_JOBID= 13471345
Free space on /tmp= 61576 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom21.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400821-1306846737/watcher-3400821-1306846737 -o /tmp/evaluation-result-3400821-1306846737/solver-3400821-1306846737 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400821-1306846737.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= e6407843d1fbd00b68d4ad600a25dfb2
RANDOM SEED=308099077
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.13
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.95
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3996.76
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263524972 kB
Buffers: 129884 kB
Cached: 410092 kB
SwapCached: 29980 kB
Active: 131928 kB
Inactive: 439968 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263524972 kB
SwapTotal: 67111528 kB
SwapFree: 67044776 kB
Dirty: 7996 kB
Writeback: 4 kB
AnonPages: 29912 kB
Mapped: 8212 kB
Slab: 73836 kB
PageTables: 4780 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188196 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61572 MiB
End job on node200 at 2011-05-31 16:22:39