0.00/0.00 c Outputting solution to console
0.00/0.00 c This is CryptoMiniSat 3.0.0
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3285103-1303764426.cnf'
0.00/0.00 c -- header says num vars: 489685
0.00/0.00 c -- header says num clauses: 8779920
1.89/1.90 c -- clauses added: 0 learnts, 8779920 normals, 0 xors
1.89/1.90 c -- vars added 489685
2.19/2.22 c Parsing time: 1.77 s
2.19/2.22 c N st 0 0 489685 304437 7524558 0 17087371 0 no data no data
2.59/2.62 c asymm cl-useful: 564/719/235695 lits-rem:2242 time: 0.69
11.69/11.73 c Flit: 285 Blit: 87855 bXBeca: 0 bXProp: 933 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 8.98
11.79/11.84 c Cleaning up after failed var search: 0.10 s
11.89/11.98 c Replacing 934 vars Replaced 31458 lits Time: 0.13 s
12.10/12.15 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
12.60/12.64 c bin-w-bin subsume rem 1059 bins time: 0.49 s
16.39/16.49 c subs with bin: 0 lits-rem: 4096 v-fix: 0 time: 3.86 s
18.99/19.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 23930 time: 2.57 s
19.19/19.27 c Removed useless bin: 1704 fixed: 0 props: 20.00M time: 0.19 s
19.89/19.96 c lits-rem: 0 cl-subs: 0 v-elim: 4 v-fix: 0 time: 0.68 s
20.79/20.86 c Finding binary XORs T: 0.90 s found: 1972
20.99/21.00 c Replacing 1972 vars Replaced 149488 lits Time: 0.14 s
21.29/21.35 c Finding non-binary XORs: 0.05 s (found: 0, avg size: nan)
21.29/21.35 c calculated reachability. Time: 0.23
21.39/21.40 c Calc default polars - time: 0.05 s pos: 2914 undec: 237434 neg: 249337
21.39/21.40 c =========================================================================================
21.39/21.40 c types(t): F = full restart, N = normal restart
21.39/21.40 c types(t): S = simplification begin/end, E = solution found
21.39/21.40 c restart types(rt): st = static, dy = dynamic
21.39/21.40 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
21.39/21.40 c B st 0 0 252251 174928 4072585 0 9307708 0 no data no data
30.59/30.65 c N dy 12 4403 207308 143685 3118858 3972 7187623 1785337 8.89 9.50
38.19/38.28 c N dy 30 8497 206980 143685 3119066 7806 7187623 3402672 8.38 28.81
47.20/47.21 c N dy 51 12524 206862 143685 3119234 11628 7187623 5287871 8.92 9.49
54.89/54.90 c N dy 73 16566 206852 143685 3119333 15527 7187623 6736229 9.05 9.57
67.89/67.90 c N dy 97 21653 206839 143685 3119430 11041 7187623 1224575 9.02 9.58
73.80/73.89 c F st 109 25001 206833 143685 3119500 14284 7187623 2413036 8.89 5.29
78.50/78.58 c N st 112 26191 206833 142765 3088617 15452 7119571 3508307 8.89 no data
91.80/91.88 c S st 115 30000 206822 142765 3088663 19193 7119571 7203342 8.89 no data
93.09/93.19 c S st 115 30502 206822 142765 3088683 19660 7119571 7299876 8.89 no data
93.19/93.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
112.50/112.56 c Flit: 383 Blit: 2688 bXBeca: 0 bXProp: 91 Bins: 747932 BRemL: 6440 BRemN: 935 P: 200.2M T: 19.09
112.60/112.66 c Cleaning up after failed var search: 0.09 s
112.90/112.97 c Replacing 92 vars Replaced 10889 lits Time: 0.30 s
113.10/113.18 c blocked clauses removed: 0 vars: 0 tried: 203217 T: 0.10 s
113.50/113.50 c bin-w-bin subsume rem 930 bins time: 0.32 s
116.60/116.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.17 s
118.99/119.07 c Subs w/ non-existent bins: 0 l-rem: 110 v-fix: 296 done: 19067 time: 2.39 s
119.29/119.36 c Removed useless bin: 4869 fixed: 320 props: 20.01M time: 0.29 s
119.89/119.98 c lits-rem: 0 cl-subs: 2 v-elim: 5 v-fix: 0 time: 0.62 s
122.10/122.13 c subs with bin: 115 lits-rem: 2212 v-fix: 0 time: 1.57 s
124.59/124.62 c lits-rem: 1852 cl-subs: 975 v-elim: 0 v-fix: 0 time: 2.42 s
125.09/125.12 c asymm cl-useful: 18/1132/140004 lits-rem:22 time: 0.49
125.79/125.84 c calculated reachability. Time: 0.66
125.79/125.85 c N dy 115 30502 202892 140004 3698070 18344 6921493 8343450 8.89 no data
127.89/127.93 c Finding binary XORs T: 2.09 s found: 1905
136.79/136.83 c N dy 131 35034 202870 140004 3698228 22684 6921493 9930160 8.66 9.16
143.60/143.67 c N dy 151 39107 202862 140004 3698326 26622 6921493 11445794 8.61 9.20
152.30/152.36 c N dy 164 43595 202082 140004 3698411 16245 6921493 2496954 8.46 9.36
155.80/155.89 c S st 175 45754 202071 140004 3698455 18338 6921493 3059157 8.41 7.69
157.10/157.14 c S st 175 46255 202071 140004 3698476 18813 6921493 3185727 8.41 no data
157.20/157.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
170.49/170.51 c Flit: 374 Blit: 1125 bXBeca: 0 bXProp: 20 Bins: 313327 BRemL: 1757 BRemN: 144 P: 200.0M T: 13.15
170.49/170.59 c Cleaning up after failed var search: 0.07 s
170.79/170.80 c Replacing 1925 vars Replaced 160540 lits Time: 0.20 s
170.89/170.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
171.19/171.29 c bin-w-bin subsume rem 10747 bins time: 0.37 s
174.30/174.33 c subs with bin: 0 lits-rem: 159 v-fix: 0 time: 3.04 s
177.10/177.19 c Subs w/ non-existent bins: 0 l-rem: 5 v-fix: 262 done: 36933 time: 2.85 s
177.40/177.49 c Removed useless bin: 3857 fixed: 264 props: 20.02M time: 0.30 s
178.00/178.08 c lits-rem: 0 cl-subs: 8 v-elim: 6 v-fix: 0 time: 0.59 s
179.70/179.78 c subs with bin: 231 lits-rem: 2263 v-fix: 0 time: 1.56 s
180.40/180.41 c lits-rem: 593 cl-subs: 443 v-elim: 0 v-fix: 0 time: 0.58 s
180.50/180.59 c vivif2 -- cl tried 137850 cl shrink 17 lits rem 176 time: 0.19
180.90/180.92 c vivif2 -- cl tried 17826 cl shrink 5711 lits rem 589908 time: 0.32
181.49/181.50 c asymm cl-useful: 95/769/137848 lits-rem:264 time: 0.58
182.40/182.47 c calculated reachability. Time: 0.90
182.40/182.47 c N dy 175 46255 198481 137848 3855629 17452 6771743 2978469 8.41 no data
185.30/185.31 c Finding binary XORs T: 2.84 s found: 609
192.40/192.49 c N dy 188 50259 198460 137848 3855740 21310 6771743 4148893 8.30 8.74
199.49/199.55 c N dy 200 54271 198441 137848 3855824 25210 6771743 5418374 8.24 8.70
207.31/207.32 c N dy 223 58408 198422 137848 3855933 29210 6771743 6612066 8.22 8.65
213.59/213.67 c N dy 244 62427 198414 137848 3855992 33136 6771743 7662087 8.21 8.75
221.71/221.72 c N dy 267 66702 198402 137848 3856051 19642 6771743 2864269 8.20 8.79
226.01/226.10 c S st 276 69384 198400 137848 3856097 22260 6771743 3351995 8.16 5.99
227.50/227.56 c S st 276 69885 198390 137848 3856131 22722 6771743 3468657 8.16 no data
227.60/227.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.13
245.00/245.04 c Flit: 166 Blit: 660 bXBeca: 0 bXProp: 12 Bins: 385632 BRemL: 1180 BRemN: 140 P: 200.0M T: 17.23
245.00/245.05 c Cleaning up after failed var search: 0.00 s
245.30/245.36 c Replacing 622 vars Replaced 72333 lits Time: 0.29 s
245.40/245.49 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
245.90/245.91 c bin-w-bin subsume rem 13583 bins time: 0.42 s
249.40/249.43 c subs with bin: 2 lits-rem: 2 v-fix: 0 time: 3.52 s
252.70/252.71 c Subs w/ non-existent bins: 1 l-rem: 30 v-fix: 128 done: 40007 time: 3.27 s
253.00/253.07 c Removed useless bin: 5905 fixed: 0 props: 20.01M time: 0.36 s
253.70/253.77 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.70 s
255.50/255.54 c subs with bin: 132 lits-rem: 183 v-fix: 0 time: 1.61 s
256.30/256.30 c lits-rem: 540 cl-subs: 499 v-elim: 0 v-fix: 0 time: 0.71 s
256.50/256.54 c vivif2 -- cl tried 136860 cl shrink 9 lits rem 52 time: 0.23
257.00/257.02 c vivif2 -- cl tried 21996 cl shrink 4820 lits rem 486846 time: 0.48
257.80/257.81 c asymm cl-useful: 120/632/136859 lits-rem:405 time: 0.79
259.11/259.17 c calculated reachability. Time: 1.27
259.11/259.17 c N dy 276 69885 196771 136859 4157818 21797 6692599 3605911 8.16 no data
263.00/263.06 c Finding binary XORs T: 3.81 s found: 321
273.30/273.32 c N dy 290 74785 196751 136858 4157802 26581 6692581 4649899 8.10 8.70
282.90/282.98 c N dy 312 79633 196741 136858 4157888 31291 6692581 5788180 8.06 8.50
293.70/293.78 c N dy 326 85063 196720 136858 4157976 36560 6692581 6941070 7.97 8.39
297.90/297.97 c F st 335 87500 196717 136858 4157995 38954 6692581 7446115 7.96 no data
298.30/298.37 c Replacing 321 vars Replaced 50240 lits Time: 0.31 s
305.20/305.20 c N st 340 90796 196394 136807 4145130 24634 6688751 3563696 7.96 no data
316.00/316.00 c N dy 357 96596 196389 136807 4145173 30362 6688751 5057837 7.94 8.46
328.20/328.20 c N dy 387 102849 196371 136807 4145215 36524 6688751 6432812 7.93 8.73
332.50/332.57 c S st 402 104830 196371 136807 4145234 38478 6688751 7035303 7.95 8.23
334.20/334.26 c S st 402 105335 196371 136807 4145279 38929 6688751 7076593 7.95 no data
334.40/334.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.14
352.10/352.10 c Flit: 168 Blit: 1455 bXBeca: 0 bXProp: 11 Bins: 366592 BRemL: 2021 BRemN: 128 P: 200.0M T: 17.58
352.10/352.11 c Cleaning up after failed var search: 0.00 s
352.40/352.47 c Replacing 12 vars Replaced 3625 lits Time: 0.34 s
352.60/352.60 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
353.00/353.04 c bin-w-bin subsume rem 3071 bins time: 0.44 s
356.60/356.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.59 s
360.30/360.33 c Subs w/ non-existent bins: 0 l-rem: 10 v-fix: 108 done: 29112 time: 3.69 s
360.60/360.61 c Removed useless bin: 2716 fixed: 0 props: 20.01M time: 0.28 s
361.20/361.25 c lits-rem: 0 cl-subs: 4 v-elim: 0 v-fix: 0 time: 0.64 s
363.10/363.17 c subs with bin: 21 lits-rem: 163 v-fix: 0 time: 1.64 s
365.40/365.47 c lits-rem: 2537 cl-subs: 1039 v-elim: 0 v-fix: 0 time: 2.24 s
365.70/365.73 c vivif2 -- cl tried 135332 cl shrink 1 lits rem 1 time: 0.26
366.90/366.91 c vivif2 -- cl tried 37765 cl shrink 12464 lits rem 1858527 time: 1.18
367.60/367.61 c asymm cl-useful: 53/544/135332 lits-rem:107 time: 0.69
369.00/369.05 c calculated reachability. Time: 1.36
369.00/369.06 c N dy 402 105335 194533 135332 4353721 37325 6566535 5565111 7.95 no data
373.30/373.34 c Finding binary XORs T: 4.28 s found: 415
385.30/385.39 c N dy 425 112389 194513 135332 4353832 44192 6566535 6680031 7.90 8.43
397.20/397.21 c N dy 460 119656 194502 135332 4353908 32483 6566535 4553482 7.89 8.44
410.80/410.81 c N dy 497 127382 194488 135332 4353979 40046 6566535 5887442 7.88 8.52
424.60/424.65 c N dy 539 135645 194477 135332 4354050 48148 6566535 7298444 7.89 8.36
437.79/437.80 c N dy 574 144850 194472 135332 4354153 37713 6566535 4675973 7.85 8.32
452.39/452.48 c N dy 615 154190 194461 135332 4354216 46893 6566535 6279671 7.85 10.65
458.00/458.08 c S st 637 158002 194398 135332 4354242 50629 6566535 6993594 7.86 no data
459.40/459.47 c S st 637 158505 194398 135332 4354284 51080 6566535 7051010 7.86 no data
459.60/459.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.13
474.29/474.39 c Flit: 199 Blit: 863 bXBeca: 0 bXProp: 38 Bins: 405090 BRemL: 2007 BRemN: 177 P: 200.0M T: 14.71
474.39/474.40 c Cleaning up after failed var search: 0.00 s
474.70/474.78 c Replacing 453 vars Replaced 60118 lits Time: 0.37 s
474.89/474.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
475.29/475.39 c bin-w-bin subsume rem 13227 bins time: 0.48 s
479.10/479.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.75 s
482.00/482.08 c Subs w/ non-existent bins: 0 l-rem: 8 v-fix: 66 done: 39587 time: 2.94 s
482.40/482.42 c Removed useless bin: 5591 fixed: 0 props: 20.00M time: 0.33 s
483.00/483.07 c lits-rem: 0 cl-subs: 4 v-elim: 3 v-fix: 0 time: 0.65 s
485.10/485.19 c subs with bin: 41 lits-rem: 197 v-fix: 0 time: 1.85 s
488.60/488.63 c lits-rem: 4544 cl-subs: 1783 v-elim: 0 v-fix: 0 time: 3.39 s
488.90/488.95 c vivif2 -- cl tried 134218 cl shrink 5 lits rem 7 time: 0.31
490.59/490.62 c vivif2 -- cl tried 48976 cl shrink 12895 lits rem 1611964 time: 1.67
491.20/491.21 c asymm cl-useful: 85/543/134216 lits-rem:131 time: 0.59
492.79/492.83 c calculated reachability. Time: 1.53
492.79/492.84 c N dy 637 158505 192776 134216 4625107 48634 6478354 5881232 7.86 no data
497.70/497.72 c Finding binary XORs T: 4.88 s found: 317
514.69/514.72 c N dy 687 168642 192756 134216 4625222 37838 6478354 4664533 7.84 8.46
531.49/531.53 c N dy 730 179440 192723 134216 4625314 48413 6478354 6037674 7.82 9.86
550.29/550.33 c N dy 792 190974 192717 134216 4625385 59698 6478354 7799523 7.82 9.89
568.49/568.57 c N dy 855 203210 192708 134216 4625460 49952 6478354 5737797 7.84 13.58
588.00/588.06 c N dy 917 216185 192704 134216 4625514 62693 6478354 7362841 7.83 10.81
607.09/607.16 c N dy 988 229987 192693 134216 4625561 53445 6478354 5656420 7.83 11.16
619.30/619.35 c S st 1028 237760 191399 134216 4625602 61068 6478354 6725734 7.83 no data
620.60/620.63 c S st 1028 238262 191399 134216 4625625 61537 6478354 6802726 7.83 no data
620.70/620.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.14
635.20/635.28 c Flit: 461 Blit: 845 bXBeca: 0 bXProp: 47 Bins: 489448 BRemL: 1295 BRemN: 815 P: 200.0M T: 14.44
635.30/635.39 c Cleaning up after failed var search: 0.10 s
635.60/635.62 c Replacing 364 vars Replaced 72596 lits Time: 0.22 s
635.70/635.75 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
636.20/636.25 c bin-w-bin subsume rem 6793 bins time: 0.50 s
640.20/640.26 c subs with bin: 1 lits-rem: 1 v-fix: 0 time: 4.01 s
643.59/643.67 c Subs w/ non-existent bins: 0 l-rem: 57 v-fix: 183 done: 21686 time: 3.40 s
644.10/644.12 c Removed useless bin: 3271 fixed: 188 props: 20.00M time: 0.44 s
644.89/644.98 c lits-rem: 0 cl-subs: 0 v-elim: 3 v-fix: 0 time: 0.87 s
646.89/646.93 c subs with bin: 313 lits-rem: 525 v-fix: 0 time: 1.68 s
650.49/650.55 c lits-rem: 7225 cl-subs: 3074 v-elim: 0 v-fix: 0 time: 3.56 s
650.89/650.91 c vivif2 -- cl tried 130371 cl shrink 2 lits rem 2 time: 0.35
652.91/652.92 c vivif2 -- cl tried 56277 cl shrink 13579 lits rem 962502 time: 2.00
653.60/653.65 c asymm cl-useful: 109/612/130371 lits-rem:221 time: 0.73
655.60/655.65 c calculated reachability. Time: 1.90
655.60/655.65 c N dy 1028 238262 188058 130370 4804581 55845 6272898 5960291 7.83 no data
661.50/661.54 c Finding binary XORs T: 5.80 s found: 985
689.90/689.91 c N dy 1112 253609 188031 130369 4804631 70798 6272879 7631766 7.85 8.28
719.60/719.65 c N dy 1180 269792 182720 126373 4431965 57351 6007321 6039062 7.83 8.30
726.40/726.48 c E dy 1194 273023 174360 120606 4225045 54376 5620999 5837926 7.83 4.49
726.40/726.48 c num threads : 1
726.40/726.48 c restarts : 1194
726.40/726.48 c dynamic restarts : 1176
726.40/726.48 c static restarts : 18
726.40/726.48 c full restarts : 2
726.40/726.48 c total simplify time : 25.37
726.40/726.48 c learnts DL2 : 0
726.40/726.48 c learnts size 2 : 10252505
726.40/726.48 c learnts size 1 : 314097 (64.14 % of vars)
726.40/726.48 c filedLit time : 105.60 (14.56 % time)
726.40/726.48 c v-elim SatELite : 21 (0.00 % vars)
726.40/726.48 c SatELite time : 37.41 (5.16 % time)
726.40/726.48 c v-elim xor : 0 (0.00 % vars)
726.40/726.48 c xor elim time : 0.76 (0.10 % time)
726.40/726.48 c num binary xor trees : 6890
726.40/726.48 c binxor trees' crown : 7680 (1.11 leafs/tree)
726.40/726.48 c bin xor find time : 24.59
726.40/726.48 c OTF clause improved : 2849 (0.01 clauses/conflict)
726.40/726.48 c OTF impr. size diff : 7370 (2.59 lits/clause)
726.40/726.48 c OTF cl watch-shrink : 180255 (0.66 clauses/conflict)
726.40/726.48 c OTF cl watch-sh-lit : 3649033 (20.24 lits/clause)
726.40/726.48 c tried to recurMin cls : 176168 (64.52 % of conflicts)
726.40/726.48 c updated cache : 137270 (0.78 lits/tried recurMin)
726.40/726.48 c clauses over max glue : 0 (0.00 % of all clauses)
726.40/726.48 c conflicts : 273023 (376.47 / sec)
726.40/726.48 c decisions : 746608 (1.02 % random)
726.40/726.48 c bogo-props : 11728581172 (16172518.32 / sec)
726.40/726.48 c conflict literals : 58675872 (42.01 % deleted)
726.40/726.48 c Memory used : 4371.73 MB
726.40/726.48 c CPU time : 725.22 s
726.40/726.48 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3285103-1303764426/watcher-3285103-1303764426 -o /tmp/evaluation-result-3285103-1303764426/solver-3285103-1303764426 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3285103-1303764426.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.17 1.19 2.24 4/186 14474
/proc/meminfo: memFree=21072292/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=33452 CPUtime=0 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 1652 0 0 0 0 0 0 0 21 0 1 0 468858465 34254848 1359 33554432000 4194304 4627331 140734384609600 18446744073709551615 4314174 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 8363 1359 324 106 0 3334 0
[startup+0.0653191 s]
/proc/loadavg: 1.17 1.19 2.24 4/186 14474
/proc/meminfo: memFree=21072292/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=39260 CPUtime=0.05 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 3430 0 0 0 5 0 0 0 21 0 1 0 468858465 40202240 2864 33554432000 4194304 4627331 140734384609600 18446744073709551615 4507164 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 9815 2864 324 106 0 4786 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 39260
[startup+0.100314 s]
/proc/loadavg: 1.17 1.19 2.24 4/186 14474
/proc/meminfo: memFree=21072292/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=46872 CPUtime=0.09 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 5281 0 0 0 8 1 0 0 21 0 1 0 468858465 47996928 4179 33554432000 4194304 4627331 140734384609600 18446744073709551615 4314174 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 11718 4183 324 106 0 6689 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46872
[startup+0.300275 s]
/proc/loadavg: 1.17 1.19 2.24 4/186 14474
/proc/meminfo: memFree=21072292/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=77040 CPUtime=0.29 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 13830 0 0 0 27 2 0 0 22 0 1 0 468858465 78888960 11594 33554432000 4194304 4627331 140734384609600 18446744073709551615 4314301 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 19260 11594 324 106 0 14231 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 77040
[startup+1.06214 s]
/proc/loadavg: 1.17 1.19 2.24 4/186 14474
/proc/meminfo: memFree=21072292/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=214784 CPUtime=1.06 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 50933 0 0 0 98 8 0 0 25 0 1 0 468858465 219938816 42187 33554432000 4194304 4627331 140734384609600 18446744073709551615 254261277381 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 53696 42187 324 106 0 48667 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 214784
[startup+1.50107 s]
/proc/loadavg: 1.17 1.19 2.24 4/186 14474
/proc/meminfo: memFree=21072292/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=316192 CPUtime=1.49 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 69420 0 0 0 139 10 0 0 25 0 1 0 468858465 323780608 60461 33554432000 4194304 4627331 140734384609600 18446744073709551615 254261277381 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 79048 60462 324 106 0 74019 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 316192
[startup+3.10078 s]
/proc/loadavg: 1.17 1.19 2.24 5/190 14481
/proc/meminfo: memFree=20296976/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=416636 CPUtime=3.09 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 95627 0 0 0 295 14 0 0 25 0 1 0 468858465 426635264 86486 33554432000 4194304 4627331 140734384609600 18446744073709551615 4299551 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 104159 86489 346 106 0 99130 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 416636
[startup+6.30023 s]
/proc/loadavg: 1.56 1.27 2.26 5/190 14481
/proc/meminfo: memFree=19494456/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=621876 CPUtime=6.29 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 132087 0 0 0 610 19 0 0 25 0 1 0 468858465 636801024 122946 33554432000 4194304 4627331 140734384609600 18446744073709551615 4297729 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 155469 122946 346 106 0 150440 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 621876
[startup+12.7071 s]
/proc/loadavg: 1.75 1.32 2.27 5/190 14481
/proc/meminfo: memFree=18876732/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=1039512 CPUtime=12.7 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 203817 0 0 0 1243 27 0 0 25 0 1 0 468858465 1064460288 194676 33554432000 4194304 4627331 140734384609600 18446744073709551615 4424902 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 259878 194676 358 106 0 254849 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 1039512
[startup+25.5009 s]
/proc/loadavg: 2.25 1.45 2.30 5/190 14482
/proc/meminfo: memFree=18617904/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=1091088 CPUtime=25.5 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 217538 0 0 0 2521 29 0 0 25 0 1 0 468858465 1117274112 208397 33554432000 4194304 4627331 140734384609600 18446744073709551615 4322128 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 272772 208397 374 106 0 267743 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1091088
[startup+51.1003 s]
/proc/loadavg: 2.85 1.65 2.34 5/187 14485
/proc/meminfo: memFree=19558204/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=1091088 CPUtime=51.1 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 222736 0 0 0 5080 30 0 0 25 0 1 0 468858465 1117274112 213595 33554432000 4194304 4627331 140734384609600 18446744073709551615 4321732 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 272772 213595 374 106 0 267743 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1091088
[startup+102.3 s]
/proc/loadavg: 3.54 2.02 2.43 5/190 14511
/proc/meminfo: memFree=18967712/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=1448796 CPUtime=102.29 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 292738 0 0 0 10190 39 0 0 25 0 1 0 468858465 1483567104 272147 33554432000 4194304 4627331 140734384609600 18446744073709551615 4238529 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 362199 272147 379 106 0 357170 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1448796
[startup+162.307 s]
/proc/loadavg: 3.86 2.40 2.53 5/190 14512
/proc/meminfo: memFree=13781184/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=2204808 CPUtime=162.3 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 461271 0 0 0 16170 60 0 0 25 0 1 0 468858465 2257723392 428142 33554432000 4194304 4627331 140734384609600 18446744073709551615 4225796 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 551202 428142 379 106 0 546173 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 2204808
[startup+222.301 s]
/proc/loadavg: 3.95 2.69 2.62 5/190 14514
/proc/meminfo: memFree=8798156/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=2585760 CPUtime=222.3 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 542558 0 0 0 22159 71 0 0 25 0 1 0 468858465 2647818240 500299 33554432000 4194304 4627331 140734384609600 18446744073709551615 4308204 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 646440 500299 379 106 0 641411 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 2585760
[startup+282.3 s]
/proc/loadavg: 4.13 2.95 2.71 5/190 14515
/proc/meminfo: memFree=4825556/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=3210076 CPUtime=282.3 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 648325 0 0 0 28145 85 0 0 25 0 1 0 468858465 3287117824 606066 33554432000 4194304 4627331 140734384609600 18446744073709551615 4332916 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 802519 606066 379 106 0 797490 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 3210076
[startup+342.301 s]
/proc/loadavg: 4.05 3.14 2.79 5/190 14517
/proc/meminfo: memFree=677032/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=3370384 CPUtime=342.3 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 683605 0 0 0 34141 89 0 0 25 0 1 0 468858465 3451273216 637972 33554432000 4194304 4627331 140734384609600 18446744073709551615 4308955 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 842596 637972 379 106 0 837567 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 3370384
[startup+402.3 s]
/proc/loadavg: 4.02 3.30 2.86 5/190 14547
/proc/meminfo: memFree=6085452/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=3650796 CPUtime=402.3 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 749493 0 0 0 40130 100 0 0 25 0 1 0 468858465 3738415104 698928 33554432000 4194304 4627331 140734384609600 18446744073709551615 4308382 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 912699 698928 379 106 0 907670 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 3650796
[startup+462.301 s]
/proc/loadavg: 4.01 3.42 2.93 5/190 14575
/proc/meminfo: memFree=5470164/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=3792920 CPUtime=462.29 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 766091 0 0 0 46123 106 0 0 25 0 1 0 468858465 3883950080 714056 33554432000 4194304 4627331 140734384609600 18446744073709551615 4225776 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 948230 714056 379 106 0 943201 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 3792920
[startup+522.301 s]
/proc/loadavg: 4.00 3.52 3.00 5/190 14577
/proc/meminfo: memFree=4867676/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=4129332 CPUtime=522.29 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 846552 0 0 0 52114 115 0 0 25 0 1 0 468858465 4228435968 790922 33554432000 4194304 4627331 140734384609600 18446744073709551615 4308955 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 1032333 790922 379 106 0 1027304 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 4129332
[startup+582.3 s]
/proc/loadavg: 4.00 3.61 3.06 5/190 14606
/proc/meminfo: memFree=11412900/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=4146644 CPUtime=582.3 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 852107 0 0 0 58113 117 0 0 25 0 1 0 468858465 4246163456 795159 33554432000 4194304 4627331 140734384609600 18446744073709551615 4308382 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 1036661 795159 379 106 0 1031632 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 4146644
[startup+642.301 s]
/proc/loadavg: 4.09 3.71 3.12 5/190 14608
/proc/meminfo: memFree=11014544/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=4476648 CPUtime=642.29 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 919597 0 0 0 64103 126 0 0 25 0 1 0 468858465 4584087552 861630 33554432000 4194304 4627331 140734384609600 18446744073709551615 4534659 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 1119162 861630 379 106 0 1114133 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 4476648
[startup+702.301 s]
/proc/loadavg: 4.08 3.77 3.18 5/190 14610
/proc/meminfo: memFree=7163160/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=4476648 CPUtime=702.3 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 922552 0 0 0 70103 127 0 0 25 0 1 0 468858465 4584087552 861848 33554432000 4194304 4627331 140734384609600 18446744073709551615 4330014 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 1119162 861848 379 106 0 1114133 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 4476648
Solver just ended. Dumping a history of the last processes samples
[startup+704.501 s]
/proc/loadavg: 4.07 3.78 3.19 5/190 14610
/proc/meminfo: memFree=7239292/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=4476648 CPUtime=704.5 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 922552 0 0 0 70323 127 0 0 25 0 1 0 468858465 4584087552 861848 33554432000 4194304 4627331 140734384609600 18446744073709551615 4308382 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 1119162 861848 379 106 0 1114133 0
Current children cumulated CPU time (s) 704.5
Current children cumulated vsize (KiB) 4476648
[startup+717.301 s]
/proc/loadavg: 4.06 3.78 3.19 5/190 14610
/proc/meminfo: memFree=6433148/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=4476648 CPUtime=717.3 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 922552 0 0 0 71603 127 0 0 25 0 1 0 468858465 4584087552 861848 33554432000 4194304 4627331 140734384609600 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 1119162 861848 379 106 0 1114133 0
Current children cumulated CPU time (s) 717.3
Current children cumulated vsize (KiB) 4476648
[startup+723.7 s]
/proc/loadavg: 4.05 3.79 3.20 5/190 14610
/proc/meminfo: memFree=6087684/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=4476648 CPUtime=723.7 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 922554 0 0 0 72243 127 0 0 25 0 1 0 468858465 4584087552 861850 33554432000 4194304 4627331 140734384609600 18446744073709551615 4308382 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 1119162 861850 379 106 0 1114133 0
Current children cumulated CPU time (s) 723.7
Current children cumulated vsize (KiB) 4476648
[startup+725.301 s]
/proc/loadavg: 4.05 3.79 3.20 5/190 14610
/proc/meminfo: memFree=6203500/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=4476648 CPUtime=725.3 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 922556 0 0 0 72403 127 0 0 25 0 1 0 468858465 4584087552 861852 33554432000 4194304 4627331 140734384609600 18446744073709551615 4308382 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 1119162 861852 379 106 0 1114133 0
Current children cumulated CPU time (s) 725.3
Current children cumulated vsize (KiB) 4476648
[startup+726.101 s]
/proc/loadavg: 4.05 3.79 3.20 5/190 14610
/proc/meminfo: memFree=6014492/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=4476648 CPUtime=726.1 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 922556 0 0 0 72483 127 0 0 25 0 1 0 468858465 4584087552 861852 33554432000 4194304 4627331 140734384609600 18446744073709551615 4308955 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 1119162 861852 379 106 0 1114133 0
Current children cumulated CPU time (s) 726.1
Current children cumulated vsize (KiB) 4476648
[startup+726.501 s]
/proc/loadavg: 4.05 3.79 3.20 5/190 14610
/proc/meminfo: memFree=5913432/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=4476648 CPUtime=726.5 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 922566 0 0 0 72523 127 0 0 25 0 1 0 468858465 4584087552 861861 33554432000 4194304 4627331 140734384609600 18446744073709551615 254261273147 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 1119162 861861 388 106 0 1114133 0
Current children cumulated CPU time (s) 726.5
Current children cumulated vsize (KiB) 4476648
[startup+726.701 s]
/proc/loadavg: 4.05 3.79 3.20 5/190 14610
/proc/meminfo: memFree=5913432/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=4411060 CPUtime=726.7 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202496 922566 0 0 0 72540 130 0 0 25 0 1 0 468858465 4516925440 701620 33554432000 4194304 4627331 140734384609600 18446744073709551615 254261642346 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14474/statm: 1102765 701245 388 106 0 1097736 0
Current children cumulated CPU time (s) 726.7
Current children cumulated vsize (KiB) 4411060
[startup+726.801 s]
/proc/loadavg: 4.05 3.79 3.20 5/190 14610
/proc/meminfo: memFree=5913432/32951124 swapFree=67111528/67111528
[pid=14474] ppid=14472 vsize=0 CPUtime=726.8 cores=4,6
/proc/14474/stat : 14474 (strangenight2-s) R 14472 14474 13679 0 -1 4202500 922567 0 0 0 72540 140 0 0 25 0 1 0 468858465 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14474/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 726.8
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 726.831
CPU time (s): 726.837
CPU user time (s): 725.406
CPU system time (s): 1.43178
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 4552200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 725.406
system time used= 1.43178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 922567
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= 7
involuntary context switches= 1320
runsolver used 1.3078 second user time and 2.67659 second system time
The end
Begin job on node140 at 2011-04-25 22:47:11
IDJOB=3285103
IDBENCH=82371
IDSOLVER=1587
FILE ID=node140/3285103-1303764426
RUNJOBID= node140-1303764426-14439
PBS_JOBID= 13157121
Free space on /tmp= 71908 MiB
SOLVER NAME= CryptoMiniSat Strange-Night2-st
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285103-1303764426/watcher-3285103-1303764426 -o /tmp/evaluation-result-3285103-1303764426/solver-3285103-1303764426 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3285103-1303764426.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 8d94c04f870c828c80bd9a45ae3dedff
RANDOM SEED=1954742083
node140.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5226.14
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 21073316 kB
Buffers: 2303720 kB
Cached: 8226900 kB
SwapCached: 0 kB
Active: 3455568 kB
Inactive: 7837872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 21073316 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 404036 kB
Writeback: 0 kB
AnonPages: 761952 kB
Mapped: 15656 kB
Slab: 517556 kB
PageTables: 7244 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1135700 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71952 MiB
End job on node140 at 2011-04-25 22:59:18