0.00/0.01 c Outputting solution to console
0.00/0.01 c This is CryptoMiniSat 3.0.0
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c Reading file 'HOME/instance-3368416-1305380466.cnf'
0.00/0.01 c -- header says num vars: 489685
0.00/0.01 c -- header says num clauses: 8779920
1.68/1.76 c -- clauses added: 0 learnts, 8779920 normals, 0 xors
1.68/1.76 c -- vars added 489685
1.68/1.76 c Parsing time: 1.63 s
1.68/1.76 c N st 0 0 489685 304437 7524558 0 17087371 0 no data no data
2.38/2.44 c asymm cl-useful: 564/719/235695 lits-rem:2242 time: 0.65
11.08/11.15 c Flit: 285 Blit: 87855 bXBeca: 0 bXProp: 933 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 8.56
11.18/11.26 c Cleaning up after failed var search: 0.11 s
11.28/11.39 c Replacing 934 vars Replaced 31458 lits Time: 0.13 s
11.48/11.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
11.88/11.94 c bin-w-bin subsume rem 1059 bins time: 0.38 s
15.48/15.56 c subs with bin: 0 lits-rem: 4096 v-fix: 0 time: 3.62 s
17.88/17.94 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 23930 time: 2.36 s
18.08/18.12 c Removed useless bin: 1704 fixed: 0 props: 20.00M time: 0.18 s
18.69/18.78 c lits-rem: 0 cl-subs: 0 v-elim: 4 v-fix: 0 time: 0.67 s
19.58/19.68 c Finding binary XORs T: 0.90 s found: 1972
19.79/19.82 c Replacing 1972 vars Replaced 149488 lits Time: 0.13 s
20.08/20.17 c Finding non-binary XORs: 0.05 s (found: 0, avg size: nan)
20.08/20.17 c calculated reachability. Time: 0.23
20.18/20.23 c Calc default polars - time: 0.05 s pos: 2914 undec: 237434 neg: 249337
20.18/20.23 c =========================================================================================
20.18/20.23 c types(t): F = full restart, N = normal restart
20.18/20.23 c types(t): S = simplification begin/end, E = solution found
20.18/20.23 c restart types(rt): st = static, dy = dynamic
20.18/20.23 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
20.18/20.23 c B st 0 0 252251 174928 4072585 0 9307708 0 no data no data
29.38/29.44 c N dy 12 4403 207308 143685 3118858 3972 7187623 1785337 8.89 9.50
37.18/37.21 c N dy 30 8497 206980 143685 3119066 7806 7187623 3402672 8.38 28.81
46.19/46.28 c N dy 51 12524 206862 143685 3119234 11628 7187623 5287871 8.92 9.49
54.28/54.38 c N dy 73 16566 206852 143685 3119333 15527 7187623 6736229 9.05 9.57
67.48/67.59 c N dy 97 21653 206839 143685 3119430 11041 7187623 1224575 9.02 9.58
73.88/73.91 c F st 109 25001 206833 143685 3119500 14284 7187623 2413036 8.89 5.29
78.48/78.50 c N st 112 26191 206833 142765 3088617 15452 7119571 3508307 8.89 no data
91.78/91.81 c S st 115 30000 206822 142765 3088663 19193 7119571 7203342 8.89 no data
93.18/93.25 c S st 115 30502 206822 142765 3088683 19660 7119571 7299876 8.89 no data
93.28/93.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
114.88/114.94 c Flit: 383 Blit: 2688 bXBeca: 0 bXProp: 91 Bins: 747932 BRemL: 6440 BRemN: 935 P: 200.2M T: 21.40
114.98/115.05 c Cleaning up after failed var search: 0.10 s
115.28/115.35 c Replacing 92 vars Replaced 10889 lits Time: 0.29 s
115.49/115.56 c blocked clauses removed: 0 vars: 0 tried: 203217 T: 0.11 s
115.78/115.81 c bin-w-bin subsume rem 930 bins time: 0.24 s
118.79/118.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.01 s
121.08/121.18 c Subs w/ non-existent bins: 0 l-rem: 110 v-fix: 296 done: 19067 time: 2.36 s
121.38/121.47 c Removed useless bin: 4869 fixed: 320 props: 20.01M time: 0.29 s
121.98/122.08 c lits-rem: 0 cl-subs: 2 v-elim: 5 v-fix: 0 time: 0.60 s
124.08/124.19 c subs with bin: 115 lits-rem: 2212 v-fix: 0 time: 1.51 s
126.59/126.67 c lits-rem: 1852 cl-subs: 975 v-elim: 0 v-fix: 0 time: 2.40 s
127.19/127.22 c asymm cl-useful: 18/1132/140004 lits-rem:22 time: 0.55
127.89/127.95 c calculated reachability. Time: 0.66
127.89/127.95 c N dy 115 30502 202892 140004 3698070 18344 6921493 8343450 8.89 no data
129.99/130.06 c Finding binary XORs T: 2.10 s found: 1905
139.59/139.68 c N dy 131 35034 202870 140004 3698228 22684 6921493 9930160 8.66 9.16
147.08/147.11 c N dy 151 39107 202862 140004 3698326 26622 6921493 11445794 8.61 9.20
156.59/156.64 c N dy 164 43595 202082 140004 3698411 16245 6921493 2496954 8.46 9.36
160.48/160.55 c S st 175 45754 202071 140004 3698455 18338 6921493 3059157 8.41 7.69
161.89/161.93 c S st 175 46255 202071 140004 3698476 18813 6921493 3185727 8.41 no data
161.99/162.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
176.88/176.92 c Flit: 374 Blit: 1125 bXBeca: 0 bXProp: 20 Bins: 313327 BRemL: 1757 BRemN: 144 P: 200.0M T: 14.73
176.98/177.01 c Cleaning up after failed var search: 0.07 s
177.18/177.21 c Replacing 1925 vars Replaced 160540 lits Time: 0.20 s
177.28/177.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
177.58/177.62 c bin-w-bin subsume rem 10747 bins time: 0.28 s
180.48/180.51 c subs with bin: 0 lits-rem: 159 v-fix: 0 time: 2.89 s
183.28/183.30 c Subs w/ non-existent bins: 0 l-rem: 5 v-fix: 262 done: 36933 time: 2.79 s
183.58/183.61 c Removed useless bin: 3857 fixed: 264 props: 20.02M time: 0.30 s
184.18/184.20 c lits-rem: 0 cl-subs: 8 v-elim: 6 v-fix: 0 time: 0.59 s
185.78/185.85 c subs with bin: 231 lits-rem: 2263 v-fix: 0 time: 1.50 s
186.38/186.47 c lits-rem: 593 cl-subs: 443 v-elim: 0 v-fix: 0 time: 0.57 s
186.58/186.66 c vivif2 -- cl tried 137850 cl shrink 17 lits rem 176 time: 0.19
186.88/187.00 c vivif2 -- cl tried 17826 cl shrink 5711 lits rem 589908 time: 0.33
187.58/187.66 c asymm cl-useful: 95/769/137848 lits-rem:264 time: 0.66
188.58/188.63 c calculated reachability. Time: 0.90
188.58/188.64 c N dy 175 46255 198481 137848 3855629 17452 6771743 2978469 8.41 no data
191.48/191.51 c Finding binary XORs T: 2.87 s found: 609
199.39/199.46 c N dy 188 50259 198460 137848 3855740 21310 6771743 4148893 8.30 8.74
207.18/207.23 c N dy 200 54271 198441 137848 3855824 25210 6771743 5418374 8.24 8.70
215.79/215.82 c N dy 223 58408 198422 137848 3855933 29210 6771743 6612066 8.22 8.65
222.78/222.86 c N dy 244 62427 198414 137848 3855992 33136 6771743 7662087 8.21 8.75
231.79/231.88 c N dy 267 66702 198402 137848 3856051 19642 6771743 2864269 8.20 8.79
236.79/236.81 c S st 276 69384 198400 137848 3856097 22260 6771743 3351995 8.16 5.99
238.19/238.27 c S st 276 69885 198390 137848 3856131 22722 6771743 3468657 8.16 no data
238.29/238.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
253.98/254.07 c Flit: 166 Blit: 660 bXBeca: 0 bXProp: 12 Bins: 385632 BRemL: 1180 BRemN: 140 P: 200.0M T: 15.56
253.98/254.08 c Cleaning up after failed var search: 0.00 s
254.29/254.36 c Replacing 622 vars Replaced 72333 lits Time: 0.27 s
254.39/254.48 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
254.69/254.79 c bin-w-bin subsume rem 13583 bins time: 0.31 s
257.99/258.06 c subs with bin: 2 lits-rem: 2 v-fix: 0 time: 3.26 s
260.79/260.83 c Subs w/ non-existent bins: 1 l-rem: 30 v-fix: 128 done: 40007 time: 2.76 s
261.09/261.15 c Removed useless bin: 5905 fixed: 0 props: 20.01M time: 0.32 s
261.69/261.77 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.62 s
263.39/263.43 c subs with bin: 132 lits-rem: 183 v-fix: 0 time: 1.51 s
264.09/264.14 c lits-rem: 540 cl-subs: 499 v-elim: 0 v-fix: 0 time: 0.65 s
264.29/264.37 c vivif2 -- cl tried 136860 cl shrink 9 lits rem 52 time: 0.23
264.79/264.82 c vivif2 -- cl tried 21996 cl shrink 4820 lits rem 486846 time: 0.45
265.49/265.55 c asymm cl-useful: 120/632/136859 lits-rem:405 time: 0.73
266.69/266.76 c calculated reachability. Time: 1.13
266.69/266.76 c N dy 276 69885 196771 136859 4157818 21797 6692599 3605911 8.16 no data
270.39/270.43 c Finding binary XORs T: 3.60 s found: 321
279.79/279.86 c N dy 290 74785 196751 136858 4157802 26581 6692581 4649899 8.10 8.70
288.68/288.78 c N dy 312 79633 196741 136858 4157888 31291 6692581 5788180 8.06 8.50
298.69/298.73 c N dy 326 85063 196720 136858 4157976 36560 6692581 6941070 7.97 8.39
302.50/302.55 c F st 335 87500 196717 136858 4157995 38954 6692581 7446115 7.96 no data
302.89/302.91 c Replacing 321 vars Replaced 50240 lits Time: 0.28 s
309.10/309.15 c N st 340 90796 196394 136807 4145130 24634 6688751 3563696 7.96 no data
319.00/319.01 c N dy 357 96596 196389 136807 4145173 30362 6688751 5057837 7.94 8.46
330.19/330.23 c N dy 387 102849 196371 136807 4145215 36524 6688751 6432812 7.93 8.73
334.19/334.24 c S st 402 104830 196371 136807 4145234 38478 6688751 7035303 7.95 8.23
335.79/335.88 c S st 402 105335 196371 136807 4145279 38929 6688751 7076593 7.95 no data
335.99/336.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12
352.19/352.21 c Flit: 168 Blit: 1455 bXBeca: 0 bXProp: 11 Bins: 366592 BRemL: 2021 BRemN: 128 P: 200.0M T: 16.11
352.19/352.22 c Cleaning up after failed var search: 0.00 s
352.49/352.56 c Replacing 12 vars Replaced 3625 lits Time: 0.33 s
352.59/352.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
352.99/353.01 c bin-w-bin subsume rem 3071 bins time: 0.33 s
356.19/356.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.28 s
359.39/359.42 c Subs w/ non-existent bins: 0 l-rem: 10 v-fix: 108 done: 29112 time: 3.12 s
359.59/359.69 c Removed useless bin: 2716 fixed: 0 props: 20.01M time: 0.27 s
360.29/360.33 c lits-rem: 0 cl-subs: 4 v-elim: 0 v-fix: 0 time: 0.63 s
362.19/362.23 c subs with bin: 21 lits-rem: 163 v-fix: 0 time: 1.60 s
364.49/364.52 c lits-rem: 2537 cl-subs: 1039 v-elim: 0 v-fix: 0 time: 2.23 s
364.69/364.78 c vivif2 -- cl tried 135332 cl shrink 1 lits rem 1 time: 0.26
365.89/365.95 c vivif2 -- cl tried 37765 cl shrink 12464 lits rem 1858527 time: 1.17
366.69/366.75 c asymm cl-useful: 53/544/135332 lits-rem:107 time: 0.80
368.09/368.19 c calculated reachability. Time: 1.36
368.19/368.20 c N dy 402 105335 194533 135332 4353721 37325 6566535 5565111 7.95 no data
372.49/372.51 c Finding binary XORs T: 4.31 s found: 415
385.09/385.13 c N dy 425 112389 194513 135332 4353832 44192 6566535 6680031 7.90 8.43
398.49/398.56 c N dy 460 119656 194502 135332 4353908 32483 6566535 4553482 7.89 8.44
412.40/412.41 c N dy 497 127382 194488 135332 4353979 40046 6566535 5887442 7.88 8.52
427.29/427.35 c N dy 539 135645 194477 135332 4354050 48148 6566535 7298444 7.89 8.36
442.59/442.66 c N dy 574 144850 194472 135332 4354153 37713 6566535 4675973 7.85 8.32
458.79/458.87 c N dy 615 154190 194461 135332 4354216 46893 6566535 6279671 7.85 10.65
465.20/465.21 c S st 637 158002 194398 135332 4354242 50629 6566535 6993594 7.86 no data
466.79/466.82 c S st 637 158505 194398 135332 4354284 51080 6566535 7051010 7.86 no data
466.89/466.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12
483.69/483.70 c Flit: 199 Blit: 863 bXBeca: 0 bXProp: 38 Bins: 405090 BRemL: 2007 BRemN: 177 P: 200.0M T: 16.65
483.69/483.70 c Cleaning up after failed var search: 0.00 s
484.01/484.08 c Replacing 453 vars Replaced 60118 lits Time: 0.36 s
484.19/484.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
484.49/484.57 c bin-w-bin subsume rem 13227 bins time: 0.36 s
488.09/488.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.55 s
490.99/491.01 c Subs w/ non-existent bins: 0 l-rem: 8 v-fix: 66 done: 39587 time: 2.89 s
491.29/491.35 c Removed useless bin: 5591 fixed: 0 props: 20.00M time: 0.34 s
491.99/492.00 c lits-rem: 0 cl-subs: 4 v-elim: 3 v-fix: 0 time: 0.65 s
494.09/494.10 c subs with bin: 41 lits-rem: 197 v-fix: 0 time: 1.82 s
497.49/497.59 c lits-rem: 4544 cl-subs: 1783 v-elim: 0 v-fix: 0 time: 3.44 s
497.89/497.91 c vivif2 -- cl tried 134218 cl shrink 5 lits rem 7 time: 0.31
499.50/499.59 c vivif2 -- cl tried 48976 cl shrink 12895 lits rem 1611964 time: 1.68
500.20/500.28 c asymm cl-useful: 85/543/134216 lits-rem:131 time: 0.69
501.90/501.93 c calculated reachability. Time: 1.56
501.90/501.93 c N dy 637 158505 192776 134216 4625107 48634 6478354 5881232 7.86 no data
506.90/506.90 c Finding binary XORs T: 4.96 s found: 317
526.19/526.23 c N dy 687 168642 192756 134216 4625222 37838 6478354 4664533 7.84 8.46
544.89/544.96 c N dy 730 179440 192723 134216 4625314 48413 6478354 6037674 7.82 9.86
565.90/565.97 c N dy 792 190974 192717 134216 4625385 59698 6478354 7799523 7.82 9.89
586.69/586.78 c N dy 855 203210 192708 134216 4625460 49952 6478354 5737797 7.84 13.58
608.90/608.97 c N dy 917 216185 192704 134216 4625514 62693 6478354 7362841 7.83 10.81
631.30/631.32 c N dy 988 229987 192693 134216 4625561 53445 6478354 5656420 7.83 11.16
645.00/645.06 c S st 1028 237760 191399 134216 4625602 61068 6478354 6725734 7.83 no data
646.50/646.51 c S st 1028 238262 191399 134216 4625625 61537 6478354 6802726 7.83 no data
646.60/646.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12
662.89/662.97 c Flit: 461 Blit: 845 bXBeca: 0 bXProp: 47 Bins: 489448 BRemL: 1295 BRemN: 815 P: 200.0M T: 16.26
662.99/663.07 c Cleaning up after failed var search: 0.10 s
663.20/663.31 c Replacing 364 vars Replaced 72596 lits Time: 0.22 s
663.40/663.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
663.80/663.81 c bin-w-bin subsume rem 6793 bins time: 0.38 s
667.39/667.48 c subs with bin: 1 lits-rem: 1 v-fix: 0 time: 3.67 s
670.10/670.18 c Subs w/ non-existent bins: 0 l-rem: 57 v-fix: 183 done: 21686 time: 2.69 s
670.50/670.53 c Removed useless bin: 3271 fixed: 188 props: 20.00M time: 0.34 s
671.20/671.20 c lits-rem: 0 cl-subs: 0 v-elim: 3 v-fix: 0 time: 0.67 s
672.90/672.91 c subs with bin: 313 lits-rem: 525 v-fix: 0 time: 1.50 s
676.10/676.15 c lits-rem: 7225 cl-subs: 3074 v-elim: 0 v-fix: 0 time: 3.18 s
676.40/676.49 c vivif2 -- cl tried 130371 cl shrink 2 lits rem 2 time: 0.34
678.30/678.39 c vivif2 -- cl tried 56277 cl shrink 13579 lits rem 962502 time: 1.90
678.99/679.09 c asymm cl-useful: 109/612/130371 lits-rem:221 time: 0.70
680.80/680.86 c calculated reachability. Time: 1.68
680.80/680.87 c N dy 1028 238262 188058 130370 4804581 55845 6272898 5960291 7.83 no data
686.41/686.42 c Finding binary XORs T: 5.48 s found: 985
713.30/713.38 c N dy 1112 253609 188031 130369 4804631 70798 6272879 7631766 7.85 8.28
741.60/741.63 c N dy 1180 269792 182720 126373 4431965 57351 6007321 6039062 7.83 8.30
748.10/748.12 c E dy 1194 273023 174360 120606 4225045 54376 5620999 5837926 7.83 4.49
748.10/748.12 c num threads : 1
748.10/748.12 c restarts : 1194
748.10/748.12 c dynamic restarts : 1176
748.10/748.12 c static restarts : 18
748.10/748.12 c full restarts : 2
748.10/748.12 c total simplify time : 24.82
748.10/748.12 c learnts DL2 : 0
748.10/748.12 c learnts size 2 : 10252505
748.10/748.12 c learnts size 1 : 314097 (64.14 % of vars)
748.10/748.12 c filedLit time : 109.69 (14.69 % time)
748.10/748.12 c v-elim SatELite : 21 (0.00 % vars)
748.10/748.12 c SatELite time : 33.85 (4.53 % time)
748.10/748.12 c v-elim xor : 0 (0.00 % vars)
748.10/748.12 c xor elim time : 0.66 (0.09 % time)
748.10/748.12 c num binary xor trees : 6890
748.10/748.12 c binxor trees' crown : 7680 (1.11 leafs/tree)
748.10/748.12 c bin xor find time : 24.22
748.10/748.12 c OTF clause improved : 2849 (0.01 clauses/conflict)
748.10/748.12 c OTF impr. size diff : 7370 (2.59 lits/clause)
748.10/748.12 c OTF cl watch-shrink : 180255 (0.66 clauses/conflict)
748.10/748.12 c OTF cl watch-sh-lit : 3649033 (20.24 lits/clause)
748.10/748.12 c tried to recurMin cls : 176168 (64.52 % of conflicts)
748.10/748.12 c updated cache : 137270 (0.78 lits/tried recurMin)
748.10/748.12 c clauses over max glue : 0 (0.00 % of all clauses)
748.10/748.12 c conflicts : 273023 (365.61 / sec)
748.10/748.12 c decisions : 746608 (1.02 % random)
748.10/748.12 c bogo-props : 11728581172 (15705905.93 / sec)
748.10/748.12 c conflict literals : 58675872 (42.01 % deleted)
748.10/748.12 c Memory used : 4371.68 MB
748.10/748.12 c CPU time : 746.76 s
748.10/748.12 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368416-1305380466/watcher-3368416-1305380466 -o /tmp/evaluation-result-3368416-1305380466/solver-3368416-1305380466 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3368416-1305380466.cnf
running on 2 cores: 1,3
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: 4.00 3.96 3.01 5/307 404
/proc/meminfo: memFree=13791876/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=11796 CPUtime=0 cores=1,3
/proc/404/stat : 404 (runsolver) R 402 404 32685 0 -1 4202560 40 0 0 0 0 0 0 0 22 0 1 0 105656472 12079104 50 33554432000 4194304 5432360 140737052029632 18446744073709551615 4881623 0 2147483391 4096 24578 0 0 0 17 3 0 0 0
/proc/404/statm: 2949 50 30 303 0 2643 0
[startup+0.0657869 s]
/proc/loadavg: 4.00 3.96 3.01 5/307 404
/proc/meminfo: memFree=13791876/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=37612 CPUtime=0.04 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 2974 0 0 0 4 0 0 0 22 0 1 0 105656472 38514688 2415 33554432000 4194304 4580011 140736017355680 18446744073709551615 4511106 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 9403 2415 325 95 0 4385 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 37612
[startup+0.100793 s]
/proc/loadavg: 4.00 3.96 3.01 5/307 404
/proc/meminfo: memFree=13791876/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=43604 CPUtime=0.08 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 4553 0 0 0 8 0 0 0 22 0 1 0 105656472 44650496 3460 33554432000 4194304 4580011 140736017355680 18446744073709551615 4354816 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 10901 3460 325 95 0 5883 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 43604
[startup+0.300744 s]
/proc/loadavg: 4.00 3.96 3.01 5/307 404
/proc/meminfo: memFree=13791876/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=77124 CPUtime=0.27 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 13915 0 0 0 26 1 0 0 23 0 1 0 105656472 78974976 11680 33554432000 4194304 4580011 140736017355680 18446744073709551615 218880225989 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 19281 11681 325 95 0 14263 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 77124
[startup+0.700669 s]
/proc/loadavg: 4.00 3.96 3.01 5/307 404
/proc/meminfo: memFree=13791876/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=158584 CPUtime=0.68 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 35678 0 0 0 64 4 0 0 25 0 1 0 105656472 162390016 31182 33554432000 4194304 4580011 140736017355680 18446744073709551615 4309698 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 39646 31182 325 95 0 34628 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 158584
[startup+1.50053 s]
/proc/loadavg: 4.00 3.96 3.01 5/308 405
/proc/meminfo: memFree=13539900/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=327424 CPUtime=1.48 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 73919 0 0 0 137 11 0 0 25 0 1 0 105656472 335282176 64906 33554432000 4194304 4580011 140736017355680 18446744073709551615 218880225989 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 81856 64909 325 95 0 76838 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 327424
[startup+3.10024 s]
/proc/loadavg: 4.00 3.96 3.01 5/308 405
/proc/meminfo: memFree=13309312/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=434592 CPUtime=3.08 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 98742 0 0 0 294 14 0 0 25 0 1 0 105656472 445022208 89603 33554432000 4194304 4580011 140736017355680 18446744073709551615 4292990 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 108648 89603 341 95 0 103630 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 434592
[startup+6.30067 s]
/proc/loadavg: 4.00 3.96 3.01 5/308 405
/proc/meminfo: memFree=12936320/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=657004 CPUtime=6.28 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 137750 0 0 0 609 19 0 0 25 0 1 0 105656472 672772096 128611 33554432000 4194304 4580011 140736017355680 18446744073709551615 4294428 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 164251 128611 341 95 0 159233 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 657004
[startup+12.7005 s]
/proc/loadavg: 3.92 3.95 3.01 5/308 433
/proc/meminfo: memFree=13730536/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=1039464 CPUtime=12.68 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 203810 0 0 0 1240 28 0 0 25 0 1 0 105656472 1064411136 194671 33554432000 4194304 4580011 140736017355680 18446744073709551615 4412536 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 259866 194671 353 95 0 254848 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1039464
[startup+25.5002 s]
/proc/loadavg: 3.86 3.93 3.02 5/308 471
/proc/meminfo: memFree=13410328/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=1091040 CPUtime=25.48 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 217837 0 0 0 2518 30 0 0 25 0 1 0 105656472 1117224960 208698 33554432000 4194304 4580011 140736017355680 18446744073709551615 4293260 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 272760 208698 366 95 0 267742 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1091040
[startup+51.1006 s]
/proc/loadavg: 3.91 3.94 3.05 5/308 472
/proc/meminfo: memFree=13303840/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=1091040 CPUtime=51.08 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 222831 0 0 0 5076 32 0 0 25 0 1 0 105656472 1117224960 213692 33554432000 4194304 4580011 140736017355680 18446744073709551615 4293219 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 272760 213692 366 95 0 267742 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1091040
[startup+102.311 s]
/proc/loadavg: 3.96 3.94 3.10 5/308 500
/proc/meminfo: memFree=13245520/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=1404260 CPUtime=102.29 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 283789 0 0 0 10189 40 0 0 25 0 1 0 105656472 1437962240 263200 33554432000 4194304 4580011 140736017355680 18446744073709551615 4293936 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 351065 263200 368 95 0 346047 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1404260
[startup+162.301 s]
/proc/loadavg: 4.03 3.97 3.15 5/308 502
/proc/meminfo: memFree=11025592/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=2041796 CPUtime=162.28 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 431559 0 0 0 16168 60 0 0 25 0 1 0 105656472 2090799104 398432 33554432000 4194304 4580011 140736017355680 18446744073709551615 4293076 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 510449 398432 368 95 0 505431 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 2041796
[startup+222.301 s]
/proc/loadavg: 4.07 4.00 3.22 5/308 504
/proc/meminfo: memFree=6999208/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=2678620 CPUtime=222.28 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 541892 0 0 0 22150 78 0 0 25 0 1 0 105656472 2742906880 508765 33554432000 4194304 4580011 140736017355680 18446744073709551615 4305943 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 669655 508765 368 95 0 664637 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 2678620
[startup+282.3 s]
/proc/loadavg: 4.03 4.00 3.26 5/308 534
/proc/meminfo: memFree=12841680/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=3210028 CPUtime=282.29 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 647548 0 0 0 28135 94 0 0 25 0 1 0 105656472 3287068672 605291 33554432000 4194304 4580011 140736017355680 18446744073709551615 4292906 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 802507 605291 368 95 0 797489 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 3210028
[startup+342.301 s]
/proc/loadavg: 4.04 4.01 3.31 6/308 535
/proc/meminfo: memFree=12710812/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=3344220 CPUtime=342.29 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 678754 0 0 0 34131 98 0 0 25 0 1 0 105656472 3424481280 633123 33554432000 4194304 4580011 140736017355680 18446744073709551615 218880227796 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 836055 633132 368 95 0 831037 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 3344220
[startup+402.301 s]
/proc/loadavg: 4.16 4.04 3.36 6/308 536
/proc/meminfo: memFree=12410408/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=3650748 CPUtime=402.29 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 749333 0 0 0 40121 108 0 0 25 0 1 0 105656472 3738365952 698770 33554432000 4194304 4580011 140736017355680 18446744073709551615 4293197 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 912687 698770 368 95 0 907669 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 3650748
[startup+462.301 s]
/proc/loadavg: 4.06 4.03 3.40 6/308 538
/proc/meminfo: memFree=12344360/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=3740672 CPUtime=462.29 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 757164 0 0 0 46118 111 0 0 25 0 1 0 105656472 3830448128 705131 33554432000 4194304 4580011 140736017355680 18446744073709551615 4293197 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 935168 705131 368 95 0 930150 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 3740672
[startup+522.3 s]
/proc/loadavg: 4.02 4.02 3.43 6/308 540
/proc/meminfo: memFree=11981792/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=4129284 CPUtime=522.29 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 846520 0 0 0 52106 123 0 0 25 0 1 0 105656472 4228386816 790892 33554432000 4194304 4580011 140736017355680 18446744073709551615 4293197 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 1032321 790892 368 95 0 1027303 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 4129284
[startup+582.301 s]
/proc/loadavg: 4.00 4.02 3.46 6/308 542
/proc/meminfo: memFree=11969752/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=4146596 CPUtime=582.29 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 850745 0 0 0 58105 124 0 0 25 0 1 0 105656472 4246114304 793799 33554432000 4194304 4580011 140736017355680 18446744073709551615 4292906 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 1036649 793799 368 95 0 1031631 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 4146596
[startup+642.301 s]
/proc/loadavg: 4.00 4.01 3.50 6/308 543
/proc/meminfo: memFree=11940772/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=4165484 CPUtime=642.3 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 857535 0 0 0 64103 127 0 0 25 0 1 0 105656472 4265455616 799570 33554432000 4194304 4580011 140736017355680 18446744073709551615 4293197 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 1041371 799570 368 95 0 1036353 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 4165484
[startup+702.3 s]
/proc/loadavg: 4.12 4.04 3.53 6/308 544
/proc/meminfo: memFree=11662244/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=4552152 CPUtime=702.3 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 921842 0 0 0 70094 136 0 0 25 0 1 0 105656472 4661403648 863877 33554432000 4194304 4580011 140736017355680 18446744073709551615 4292906 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 1138038 863877 368 95 0 1133020 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 4552152
Solver just ended. Dumping a history of the last processes samples
[startup+716.701 s]
/proc/loadavg: 4.10 4.03 3.54 6/308 545
/proc/meminfo: memFree=11686452/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=4476600 CPUtime=716.7 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 922532 0 0 0 71534 136 0 0 25 0 1 0 105656472 4584038400 861830 33554432000 4194304 4580011 140736017355680 18446744073709551615 4293197 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 1119150 861830 368 95 0 1114132 0
Current children cumulated CPU time (s) 716.7
Current children cumulated vsize (KiB) 4476600
[startup+729.5 s]
/proc/loadavg: 4.07 4.03 3.55 6/308 546
/proc/meminfo: memFree=11694016/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=4476600 CPUtime=729.5 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 922532 0 0 0 72814 136 0 0 25 0 1 0 105656472 4584038400 861830 33554432000 4194304 4580011 140736017355680 18446744073709551615 4292906 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 1119150 861830 368 95 0 1114132 0
Current children cumulated CPU time (s) 729.5
Current children cumulated vsize (KiB) 4476600
[startup+735.912 s]
/proc/loadavg: 4.07 4.03 3.55 6/308 546
/proc/meminfo: memFree=11681116/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=4476600 CPUtime=735.91 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 922532 0 0 0 73455 136 0 0 25 0 1 0 105656472 4584038400 861830 33554432000 4194304 4580011 140736017355680 18446744073709551615 4294280 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 1119150 861830 368 95 0 1114132 0
Current children cumulated CPU time (s) 735.91
Current children cumulated vsize (KiB) 4476600
[startup+742.3 s]
/proc/loadavg: 4.06 4.03 3.55 6/308 546
/proc/meminfo: memFree=11672188/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=4476600 CPUtime=742.3 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 922534 0 0 0 74094 136 0 0 25 0 1 0 105656472 4584038400 861832 33554432000 4194304 4580011 140736017355680 18446744073709551615 4292934 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 1119150 861832 368 95 0 1114132 0
Current children cumulated CPU time (s) 742.3
Current children cumulated vsize (KiB) 4476600
[startup+745.501 s]
/proc/loadavg: 4.06 4.03 3.55 6/308 546
/proc/meminfo: memFree=11686324/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=4476600 CPUtime=745.5 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 922534 0 0 0 74414 136 0 0 25 0 1 0 105656472 4584038400 861832 33554432000 4194304 4580011 140736017355680 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 1119150 861832 368 95 0 1114132 0
Current children cumulated CPU time (s) 745.5
Current children cumulated vsize (KiB) 4476600
[startup+747.1 s]
/proc/loadavg: 4.06 4.03 3.55 6/308 546
/proc/meminfo: memFree=11694372/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=4476600 CPUtime=747.1 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 922536 0 0 0 74574 136 0 0 25 0 1 0 105656472 4584038400 861834 33554432000 4194304 4580011 140736017355680 18446744073709551615 4294475 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 1119150 861834 368 95 0 1114132 0
Current children cumulated CPU time (s) 747.1
Current children cumulated vsize (KiB) 4476600
[startup+747.9 s]
/proc/loadavg: 4.05 4.03 3.56 5/308 546
/proc/meminfo: memFree=11692140/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=4476600 CPUtime=747.9 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 922536 0 0 0 74654 136 0 0 25 0 1 0 105656472 4584038400 861834 33554432000 4194304 4580011 140736017355680 18446744073709551615 4293197 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 1119150 861834 368 95 0 1114132 0
Current children cumulated CPU time (s) 747.9
Current children cumulated vsize (KiB) 4476600
[startup+748.1 s]
/proc/loadavg: 4.05 4.03 3.56 5/308 546
/proc/meminfo: memFree=11692140/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=4476600 CPUtime=748.1 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202496 922536 0 0 0 74674 136 0 0 25 0 1 0 105656472 4584038400 861834 33554432000 4194304 4580011 140736017355680 18446744073709551615 4293197 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/404/statm: 1119150 861834 368 95 0 1114132 0
Current children cumulated CPU time (s) 748.1
Current children cumulated vsize (KiB) 4476600
[startup+748.2 s]
/proc/loadavg: 4.05 4.03 3.56 5/308 546
/proc/meminfo: memFree=11692140/32950928 swapFree=67111364/67111528
[pid=404] ppid=402 vsize=0 CPUtime=748.2 cores=1,3
/proc/404/stat : 404 (strangenight2-s) R 402 404 32685 0 -1 4202500 922547 0 0 0 74676 144 0 0 25 0 1 0 105656472 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/404/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 748.2
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 748.258
CPU time (s): 748.264
CPU user time (s): 746.763
CPU system time (s): 1.50177
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 4552152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 746.762
system time used= 1.50177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 922547
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= 8
involuntary context switches= 626
runsolver used 2.11768 second user time and 5.22621 second system time
The end
Begin job on node112 at 2011-05-14 15:41:11
IDJOB=3368416
IDBENCH=82371
IDSOLVER=1845
FILE ID=node112/3368416-1305380466
RUNJOBID= node112-1305379155-32705
PBS_JOBID= 13324390
Free space on /tmp= 73248 MiB
SOLVER NAME= CryptoMiniSat Strange-Night2-st (fixed)
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-3368416-1305380466/watcher-3368416-1305380466 -o /tmp/evaluation-result-3368416-1305380466/solver-3368416-1305380466 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3368416-1305380466.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 8d94c04f870c828c80bd9a45ae3dedff
RANDOM SEED=1028029946
node112.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.847
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.69
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.847
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 : 5180.45
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.847
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.76
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.847
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.82
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.847
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.61
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.847
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.83
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.847
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.74
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.847
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 13792528 kB
Buffers: 274496 kB
Cached: 2990100 kB
SwapCached: 0 kB
Active: 17232440 kB
Inactive: 1671568 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 13792528 kB
SwapTotal: 67111528 kB
SwapFree: 67111364 kB
Dirty: 267928 kB
Writeback: 0 kB
AnonPages: 15639028 kB
Mapped: 22392 kB
Slab: 145376 kB
PageTables: 46660 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 37071176 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= 73368 MiB
End job on node112 at 2011-05-14 15:53:39