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-3266644-1303581736.cnf'
0.00/0.00 c -- header says num vars: 1106
0.00/0.00 c -- header says num clauses: 129272
0.06/0.07 c -- clauses added: 0 learnts, 129272 normals, 0 xors
0.06/0.07 c -- vars added 1106
0.06/0.07 c Parsing time: 0.02 s
0.06/0.07 c N st 0 0 1106 35 129237 0 259580 0 no data no data
0.06/0.07 c asymm cl-useful: 0/35/35 lits-rem:0 time: 0.00
0.06/0.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.02
0.06/0.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
0.06/0.07 c bin-w-bin subsume rem 0 bins time: 0.02 s
0.06/0.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
0.06/0.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1106 time: 0.01 s
0.09/0.10 c Removed useless bin: 0 fixed: 0 props: 0.65M time: 0.01 s
0.09/0.17 c lits-rem: 1725 cl-subs: 0 v-elim: 35 v-fix: 0 time: 0.07 s
0.09/0.17 c Finding binary XORs T: 0.00 s found: 0
0.09/0.18 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
0.09/0.18 c calculated reachability. Time: 0.00
0.09/0.18 c Calc default polars - time: 0.00 s pos: 0 undec: 35 neg: 1071
0.09/0.18 c =========================================================================================
0.09/0.18 c types(t): F = full restart, N = normal restart
0.09/0.18 c types(t): S = simplification begin/end, E = solution found
0.09/0.18 c restart types(rt): st = static, dy = dynamic
0.09/0.18 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
0.09/0.18 c B st 0 0 1071 3670 124496 0 379357 0 no data no data
0.49/0.50 c N dy 17 4099 1071 3670 124496 3991 379357 385655 8.52 9.00
0.79/0.89 c N dy 39 8380 1071 3670 124496 5707 379354 536866 8.91 9.42
1.29/1.34 c N dy 61 12438 1071 3670 124498 5509 379353 433384 9.16 14.21
1.79/1.81 c N dy 83 16472 1071 3670 124500 9433 379350 843264 9.55 14.59
2.29/2.34 c N dy 99 21090 1071 3670 124502 8454 379347 608402 9.60 10.11
2.79/2.82 c F st 110 25000 1071 3670 124502 12289 379347 828932 9.41 7.61
2.79/2.87 c N st 111 25251 1071 3670 124502 12537 379347 847983 9.41 no data
3.38/3.44 c N dy 116 30000 1071 3670 124503 10523 379346 754475 9.41 no data
3.38/3.44 c S st 116 30000 1071 3670 124503 10523 379346 754475 9.41 no data
3.48/3.51 c S st 116 30500 1071 3670 124503 11018 379346 785611 9.41 no data
3.48/3.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
3.68/3.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 14.2M T: 0.28
3.78/3.80 c blocked clauses removed: 0 vars: 0 tried: 1071 T: 0.00 s
3.78/3.82 c bin-w-bin subsume rem 0 bins time: 0.02 s
5.18/5.22 c subs with bin: 0 lits-rem: 30202 v-fix: 0 time: 1.40 s
5.18/5.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1071 time: 0.01 s
5.18/5.24 c Removed useless bin: 0 fixed: 0 props: 0.62M time: 0.01 s
5.18/5.26 c lits-rem: 223 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
6.59/6.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.36 s
7.59/7.70 c lits-rem: 1714 cl-subs: 819 v-elim: 0 v-fix: 0 time: 1.05 s
7.78/7.89 c asymm cl-useful: 0/1610/3670 lits-rem:0 time: 0.20
7.88/7.90 c calculated reachability. Time: 0.00
7.88/7.90 c N dy 116 30500 1071 3670 124503 10199 348921 753403 9.41 no data
8.48/8.50 c N dy 138 34647 1071 3670 124503 14235 348921 1158079 9.59 10.26
8.98/9.05 c N dy 163 38719 1071 3670 124503 10514 348921 741173 9.80 13.36
9.68/9.72 c N dy 186 43373 1071 3670 124503 15048 348921 1143134 9.92 10.47
10.08/10.14 c S st 198 45751 1071 3670 124503 17353 348921 1333858 9.91 no data
10.18/10.21 c S st 198 46251 1071 3670 124503 9144 348921 503672 9.91 no data
10.18/10.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
10.38/10.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 12.0M T: 0.23
10.38/10.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
10.38/10.47 c bin-w-bin subsume rem 0 bins time: 0.02 s
11.48/11.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.04 s
11.48/11.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1071 time: 0.01 s
11.48/11.52 c Removed useless bin: 0 fixed: 0 props: 0.63M time: 0.01 s
11.48/11.53 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
12.78/12.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.34 s
12.98/13.00 c lits-rem: 117 cl-subs: 135 v-elim: 0 v-fix: 0 time: 0.12 s
12.98/13.01 c vivif2 -- cl tried 3670 cl shrink 0 lits rem 0 time: 0.00
12.98/13.02 c vivif2 -- cl tried 9009 cl shrink 50 lits rem 63 time: 0.01
13.18/13.21 c asymm cl-useful: 0/1456/3670 lits-rem:0 time: 0.19
13.18/13.21 c calculated reachability. Time: 0.00
13.18/13.21 c N dy 198 46251 1071 3670 124503 9009 348921 500398 9.91 no data
13.67/13.73 c N dy 216 50296 1071 3670 124504 12960 348921 875571 10.02 10.59
14.28/14.39 c N dy 239 54344 1071 3670 124504 16883 348921 1183815 10.12 10.79
14.97/15.07 c N dy 263 58402 1071 3670 124505 11096 348921 618505 10.36 12.50
15.67/15.70 c N dy 281 62929 1071 3670 124505 15465 348921 962946 10.39 11.01
16.28/16.36 c N dy 307 66945 1071 3670 124505 19354 348921 1294777 10.55 11.19
16.68/16.78 c S st 316 69378 1071 3670 124505 11064 348921 555668 10.51 10.44
16.78/16.83 c S st 316 69880 1071 3670 124505 11566 348921 589617 10.51 no data
16.78/16.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
16.98/17.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 13.3M T: 0.26
16.98/17.09 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
17.08/17.11 c bin-w-bin subsume rem 0 bins time: 0.02 s
18.08/18.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.04 s
18.08/18.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1071 time: 0.01 s
18.08/18.17 c Removed useless bin: 0 fixed: 0 props: 0.62M time: 0.01 s
18.08/18.17 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
19.48/19.51 c subs with bin: 8 lits-rem: 3 v-fix: 0 time: 1.32 s
19.58/19.69 c lits-rem: 197 cl-subs: 205 v-elim: 0 v-fix: 0 time: 0.18 s
19.58/19.69 c vivif2 -- cl tried 3670 cl shrink 0 lits rem 0 time: 0.00
19.68/19.71 c vivif2 -- cl tried 11353 cl shrink 7 lits rem 7 time: 0.01
19.68/19.80 c asymm cl-useful: 0/569/3670 lits-rem:0 time: 0.09
19.68/19.80 c calculated reachability. Time: 0.00
19.68/19.80 c N dy 316 69880 1071 3670 124505 11353 348921 584722 10.51 no data
20.38/20.43 c N dy 346 74355 1071 3670 124505 15702 348921 942158 10.67 20.43
21.08/21.19 c N dy 360 79141 1071 3670 124505 20318 348921 1304747 10.60 11.20
22.08/22.14 c N dy 377 84492 1071 3670 124510 13833 348921 696461 10.53 11.15
22.47/22.59 c F st 384 87501 1071 3670 124511 16750 348921 956931 10.48 no data
23.09/23.16 c N st 389 90798 1071 3670 124511 19908 348921 1188657 10.48 no data
24.38/24.42 c N dy 405 96923 1071 3670 124514 13255 348921 627622 10.43 10.99
25.18/25.29 c N dy 431 103160 1071 3670 124516 19216 348921 1030107 10.42 13.67
25.48/25.54 c S st 436 104820 1071 3670 124516 20771 348921 1130641 10.41 8.04
25.58/25.63 c S st 436 105322 1071 3670 124516 21270 348921 1164657 10.41 no data
25.58/25.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
26.08/26.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 19.5M T: 0.47
26.08/26.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
26.08/26.13 c bin-w-bin subsume rem 0 bins time: 0.02 s
27.08/27.18 c subs with bin: 0 lits-rem: 3 v-fix: 0 time: 1.05 s
27.08/27.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1071 time: 0.01 s
27.18/27.21 c Removed useless bin: 0 fixed: 0 props: 0.62M time: 0.01 s
27.18/27.22 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
28.68/28.74 c subs with bin: 85 lits-rem: 39 v-fix: 0 time: 1.48 s
30.38/30.43 c lits-rem: 1859 cl-subs: 1019 v-elim: 0 v-fix: 0 time: 1.69 s
30.38/30.44 c vivif2 -- cl tried 3670 cl shrink 0 lits rem 0 time: 0.00
30.38/30.46 c vivif2 -- cl tried 20166 cl shrink 302 lits rem 317 time: 0.03
30.58/30.67 c asymm cl-useful: 0/1353/3670 lits-rem:0 time: 0.21
30.58/30.67 c calculated reachability. Time: 0.00
30.58/30.67 c N dy 436 105322 1071 3670 124516 20166 348918 1139178 10.41 no data
31.89/31.95 c N dy 461 112274 1071 3670 124517 13442 348918 619536 10.38 11.01
32.88/33.00 c N dy 496 119726 1071 3670 124518 20657 348918 1096028 10.39 10.94
34.27/34.39 c N dy 519 127464 1071 3670 124518 28063 348918 1566782 10.33 10.92
35.57/35.68 c N dy 561 135797 1071 3670 124520 21678 348918 1143166 10.35 10.91
37.47/37.51 c N dy 610 144513 1071 3670 124523 30036 348918 1674495 10.42 15.75
38.98/39.02 c N dy 653 153907 1071 3670 124528 23700 348918 1243665 10.41 11.02
39.68/39.74 c S st 668 157983 1071 3670 124530 27633 348918 1519942 10.39 8.14
39.78/39.85 c S st 668 158484 1071 3670 124530 28133 348918 1548483 10.39 no data
39.78/39.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
40.28/40.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 22.7M T: 0.45
40.28/40.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
40.28/40.32 c bin-w-bin subsume rem 0 bins time: 0.02 s
41.28/41.36 c subs with bin: 0 lits-rem: 4 v-fix: 0 time: 1.04 s
41.28/41.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1071 time: 0.01 s
41.28/41.38 c Removed useless bin: 0 fixed: 0 props: 0.62M time: 0.01 s
41.38/41.40 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
42.78/42.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.39 s
45.98/46.07 c lits-rem: 2884 cl-subs: 1771 v-elim: 0 v-fix: 0 time: 3.23 s
45.98/46.07 c vivif2 -- cl tried 3670 cl shrink 0 lits rem 0 time: 0.00
46.08/46.11 c vivif2 -- cl tried 26362 cl shrink 600 lits rem 676 time: 0.04
46.27/46.33 c asymm cl-useful: 0/734/3670 lits-rem:0 time: 0.22
46.27/46.33 c calculated reachability. Time: 0.00
46.27/46.33 c N dy 668 158484 1071 3670 124531 26361 348914 1508708 10.39 no data
48.28/48.30 c N dy 705 168966 1071 3670 124532 20136 348914 1026477 10.36 11.12
50.37/50.41 c N dy 756 179864 1071 3670 124536 30628 348914 1726861 10.40 11.13
52.47/52.53 c N dy 804 191564 1071 3670 124536 24606 348914 1292165 10.40 11.19
55.37/55.45 c N dy 873 204065 1071 3670 124536 18307 348914 853333 10.47 11.62
57.88/57.93 c N dy 931 217258 1071 3670 124545 30954 348914 1683186 10.47 11.04
60.77/60.81 c N dy 994 231125 1071 3670 124548 25005 348914 1129469 10.50 12.88
62.07/62.16 c S st 1034 237727 1071 3670 124550 31287 348914 1494694 10.52 8.61
62.17/62.25 c S st 1034 238230 1071 3670 124550 31790 348914 1537404 10.52 no data
62.17/62.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
62.68/62.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 25.5M T: 0.48
62.68/62.74 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
62.68/62.76 c bin-w-bin subsume rem 1 bins time: 0.02 s
63.68/63.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.04 s
63.78/63.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1071 time: 0.01 s
63.78/63.82 c Removed useless bin: 0 fixed: 0 props: 0.62M time: 0.01 s
63.78/63.84 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
65.27/65.31 c subs with bin: 17 lits-rem: 0 v-fix: 0 time: 1.44 s
68.57/68.66 c lits-rem: 4801 cl-subs: 2143 v-elim: 0 v-fix: 0 time: 3.35 s
68.57/68.66 c vivif2 -- cl tried 3670 cl shrink 0 lits rem 0 time: 0.00
68.67/68.70 c vivif2 -- cl tried 29630 cl shrink 763 lits rem 873 time: 0.04
68.87/68.94 c asymm cl-useful: 0/580/3670 lits-rem:0 time: 0.24
68.87/68.94 c calculated reachability. Time: 0.00
68.87/68.94 c N dy 1034 238230 1071 3670 124551 29628 348914 1493333 10.52 no data
72.28/72.35 c N dy 1085 253679 1071 3670 124559 24332 348914 1072681 10.48 11.45
75.88/75.91 c N dy 1151 269949 1071 3670 124568 39812 348914 2048814 10.47 11.56
79.18/79.25 c N dy 1214 288141 1070 3670 124591 36125 348914 1681030 10.44 11.26
82.68/82.77 c F st 1279 306251 1070 3670 124605 31441 348914 1239634 10.40 no data
82.78/82.89 c N st 1281 306876 1070 3670 124229 29383 348165 1245288 10.40 no data
86.47/86.58 c N dy 1345 326668 1069 3670 124244 26798 348165 1118152 10.43 11.01
90.57/90.65 c N dy 1440 346763 1068 3670 124255 46120 348165 2334766 10.48 11.17
92.17/92.29 c S st 1491 357346 1068 3670 124255 33082 348165 1497168 10.50 no data
92.27/92.38 c S st 1491 357846 1068 3670 124255 33579 348165 1533839 10.50 no data
92.27/92.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
92.77/92.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 26.0M T: 0.50
92.77/92.89 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
92.87/92.91 c bin-w-bin subsume rem 1 bins time: 0.02 s
93.87/93.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.03 s
93.87/93.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1068 time: 0.01 s
93.87/93.96 c Removed useless bin: 0 fixed: 0 props: 0.62M time: 0.01 s
93.87/93.98 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
95.27/95.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.35 s
97.17/97.27 c lits-rem: 1317 cl-subs: 960 v-elim: 0 v-fix: 0 time: 1.90 s
97.17/97.27 c vivif2 -- cl tried 3670 cl shrink 0 lits rem 0 time: 0.00
97.27/97.30 c vivif2 -- cl tried 27163 cl shrink 54 lits rem 55 time: 0.03
97.37/97.49 c asymm cl-useful: 0/768/3670 lits-rem:0 time: 0.19
97.37/97.49 c calculated reachability. Time: 0.00
97.37/97.49 c N dy 1491 357846 1068 3670 123554 27163 346713 1426339 10.50 no data
102.28/102.32 c N dy 1573 377943 1068 3670 123558 24588 346713 1089326 10.48 11.17
102.57/102.69 c E dy 1581 379783 0 3670 123558 26342 346713 1198513 10.48 8.59
102.57/102.69 c Verified 3670 clauses.
102.57/102.69 c Solution needs extension. Extending.
102.57/102.69 c Verified 3670 clauses.
102.57/102.69 c num threads : 1
102.57/102.69 c restarts : 1581
102.57/102.69 c dynamic restarts : 1557
102.57/102.69 c static restarts : 24
102.57/102.69 c full restarts : 3
102.57/102.69 c total simplify time : 0.00
102.57/102.69 c learnts DL2 : 0
102.57/102.69 c learnts size 2 : 129377
102.57/102.69 c learnts size 1 : 3 (0.27 % of vars)
102.57/102.69 c filedLit time : 2.70 (2.63 % time)
102.57/102.69 c v-elim SatELite : 35 (3.16 % vars)
102.57/102.69 c SatELite time : 11.74 (11.45 % time)
102.57/102.69 c v-elim xor : 0 (0.00 % vars)
102.57/102.69 c xor elim time : 0.03 (0.03 % time)
102.57/102.69 c num binary xor trees : 0
102.57/102.69 c binxor trees' crown : 0 (nan leafs/tree)
102.57/102.69 c bin xor find time : 0.00
102.57/102.69 c OTF clause improved : 14598 (0.04 clauses/conflict)
102.57/102.69 c OTF impr. size diff : 16683 (1.14 lits/clause)
102.57/102.69 c OTF cl watch-shrink : 305576 (0.80 clauses/conflict)
102.57/102.69 c OTF cl watch-sh-lit : 6936657 (22.70 lits/clause)
102.57/102.69 c tried to recurMin cls : 101620 (26.76 % of conflicts)
102.57/102.69 c updated cache : 0 (0.00 lits/tried recurMin)
102.57/102.69 c clauses over max glue : 0 (0.00 % of all clauses)
102.57/102.69 c conflicts : 379783 (3702.51 / sec)
102.57/102.69 c decisions : 568897 (0.31 % random)
102.57/102.69 c bogo-props : 6507495757 (63441710.37 / sec)
102.57/102.69 c conflict literals : 25877260 (44.29 % deleted)
102.57/102.69 c Memory used : 120.01 MB
102.57/102.69 c CPU time : 102.57 s
102.57/102.69 s SATISFIABLE
102.57/102.69 v 1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 -1104 -1105 1106 0
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-3266644-1303581736/watcher-3266644-1303581736 -o /tmp/evaluation-result-3266644-1303581736/solver-3266644-1303581736 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3266644-1303581736.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.64 3.11 3.66 5/189 13252
/proc/meminfo: memFree=14197888/32950940 swapFree=67111528/67111528
[pid=13252] ppid=13250 vsize=30200 CPUtime=0 cores=4,6
/proc/13252/stat : 13252 (strangenight2-s) R 13250 13252 12364 0 -1 4202496 834 0 0 0 0 0 0 0 25 0 1 0 548404347 30924800 773 33554432000 4194304 4627331 140733610372192 18446744073709551615 215988253381 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13252/statm: 7550 774 320 106 0 2521 0
[startup+0.072606 s]
/proc/loadavg: 1.64 3.11 3.66 5/189 13252
/proc/meminfo: memFree=14197888/32950940 swapFree=67111528/67111528
[pid=13252] ppid=13250 vsize=34156 CPUtime=0.06 cores=4,6
/proc/13252/stat : 13252 (strangenight2-s) R 13250 13252 12364 0 -1 4202496 1835 0 0 0 6 0 0 0 25 0 1 0 548404347 34975744 1774 33554432000 4194304 4627331 140733610372192 18446744073709551615 4424897 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13252/statm: 8539 1774 351 106 0 3510 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 34156
[startup+0.100542 s]
/proc/loadavg: 1.64 3.11 3.66 5/189 13252
/proc/meminfo: memFree=14197888/32950940 swapFree=67111528/67111528
[pid=13252] ppid=13250 vsize=35344 CPUtime=0.09 cores=4,6
/proc/13252/stat : 13252 (strangenight2-s) R 13250 13252 12364 0 -1 4202496 2143 0 0 0 9 0 0 0 25 0 1 0 548404347 36192256 2082 33554432000 4194304 4627331 140733610372192 18446744073709551615 4300632 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13252/statm: 8836 2082 354 106 0 3807 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35344
[startup+0.300508 s]
/proc/loadavg: 1.64 3.11 3.66 5/189 13252
/proc/meminfo: memFree=14197888/32950940 swapFree=67111528/67111528
[pid=13252] ppid=13250 vsize=37460 CPUtime=0.29 cores=4,6
/proc/13252/stat : 13252 (strangenight2-s) R 13250 13252 12364 0 -1 4202496 3059 0 0 0 29 0 0 0 25 0 1 0 548404347 38359040 2940 33554432000 4194304 4627331 140733610372192 18446744073709551615 4305421 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13252/statm: 9365 2940 371 106 0 4336 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37460
[startup+0.700496 s]
/proc/loadavg: 1.64 3.11 3.66 5/189 13252
/proc/meminfo: memFree=14197888/32950940 swapFree=67111528/67111528
[pid=13252] ppid=13250 vsize=39576 CPUtime=0.69 cores=4,6
/proc/13252/stat : 13252 (strangenight2-s) R 13250 13252 12364 0 -1 4202496 3975 0 0 0 69 0 0 0 25 0 1 0 548404347 40525824 3230 33554432000 4194304 4627331 140733610372192 18446744073709551615 4309364 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13252/statm: 9894 3230 372 106 0 4865 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39576
[startup+1.50036 s]
/proc/loadavg: 1.83 3.12 3.66 5/190 13280
/proc/meminfo: memFree=14135396/32950940 swapFree=67111528/67111528
[pid=13252] ppid=13250 vsize=40676 CPUtime=1.49 cores=4,6
/proc/13252/stat : 13252 (strangenight2-s) R 13250 13252 12364 0 -1 4202496 5298 0 0 0 149 0 0 0 25 0 1 0 548404347 41652224 3623 33554432000 4194304 4627331 140733610372192 18446744073709551615 4309536 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13252/statm: 10169 3623 372 106 0 5140 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40676
[startup+3.10102 s]
/proc/loadavg: 1.83 3.12 3.66 5/186 13296
/proc/meminfo: memFree=14108472/32950940 swapFree=67111528/67111528
[pid=13252] ppid=13250 vsize=42260 CPUtime=3.09 cores=4,6
/proc/13252/stat : 13252 (strangenight2-s) R 13250 13252 12364 0 -1 4202496 7661 0 0 0 308 1 0 0 25 0 1 0 548404347 43274240 3775 33554432000 4194304 4627331 140733610372192 18446744073709551615 4309536 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13252/statm: 10565 3775 373 106 0 5536 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42260
[startup+6.30051 s]
/proc/loadavg: 1.83 3.12 3.66 5/190 13307
/proc/meminfo: memFree=14028760/32950940 swapFree=67111528/67111528
[pid=13252] ppid=13250 vsize=56672 CPUtime=6.28 cores=4,6
/proc/13252/stat : 13252 (strangenight2-s) R 13250 13252 12364 0 -1 4202496 11436 0 0 0 626 2 0 0 25 0 1 0 548404347 58032128 7549 33554432000 4194304 4627331 140733610372192 18446744073709551615 4424902 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13252/statm: 14168 7549 377 106 0 9139 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56672
[startup+12.7003 s]
/proc/loadavg: 2.16 3.15 3.66 5/190 13307
/proc/meminfo: memFree=14015280/32950940 swapFree=67111528/67111528
[pid=13252] ppid=13250 vsize=59164 CPUtime=12.68 cores=4,6
/proc/13252/stat : 13252 (strangenight2-s) R 13250 13252 12364 0 -1 4202496 14610 0 0 0 1266 2 0 0 25 0 1 0 548404347 60583936 7808 33554432000 4194304 4627331 140733610372192 18446744073709551615 4424902 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13252/statm: 14791 7808 377 106 0 9762 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 59164
[startup+25.5012 s]
/proc/loadavg: 2.45 3.18 3.67 5/190 13307
/proc/meminfo: memFree=13947704/32950940 swapFree=67111528/67111528
[pid=13252] ppid=13250 vsize=70960 CPUtime=25.48 cores=4,6
/proc/13252/stat : 13252 (strangenight2-s) R 13250 13252 12364 0 -1 4202496 21671 0 0 0 2544 4 0 0 25 0 1 0 548404347 72663040 10078 33554432000 4194304 4627331 140733610372192 18446744073709551615 4309212 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13252/statm: 17740 10078 377 106 0 12711 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 70960
[startup+51.1006 s]
/proc/loadavg: 2.97 3.24 3.67 5/190 13308
/proc/meminfo: memFree=13880524/32950940 swapFree=67111528/67111528
[pid=13252] ppid=13250 vsize=82128 CPUtime=51.07 cores=4,6
/proc/13252/stat : 13252 (strangenight2-s) R 13250 13252 12364 0 -1 4202496 33549 0 0 0 5101 6 0 0 25 0 1 0 548404347 84099072 14411 33554432000 4194304 4627331 140733610372192 18446744073709551615 4309315 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13252/statm: 20532 14411 377 106 0 15503 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 82128
[startup+102.307 s]
/proc/loadavg: 3.63 3.38 3.69 5/190 13309
/proc/meminfo: memFree=13760376/32950940 swapFree=67111528/67111528
[pid=13252] ppid=13250 vsize=122884 CPUtime=102.28 cores=4,6
/proc/13252/stat : 13252 (strangenight2-s) R 13250 13252 12364 0 -1 4202496 48909 0 0 0 10218 10 0 0 25 0 1 0 548404347 125833216 23090 33554432000 4194304 4627331 140733610372192 18446744073709551615 4309536 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13252/statm: 30721 23090 377 106 0 25692 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 122884
Solver just ended. Dumping a history of the last processes samples
[startup+102.701 s]
/proc/loadavg: 3.63 3.38 3.69 5/190 13309
/proc/meminfo: memFree=13760376/32950940 swapFree=67111528/67111528
[pid=13252] ppid=13250 vsize=0 CPUtime=102.67 cores=4,6
/proc/13252/stat : 13252 (strangenight2-s) R 13250 13252 12364 0 -1 4202500 48926 0 0 0 10257 10 0 0 25 0 1 0 548404347 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13252/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.67
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 102.704
CPU time (s): 102.684
CPU user time (s): 102.575
CPU system time (s): 0.108983
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 122884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 102.575
system time used= 0.108983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48926
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= 1152
runsolver used 0.160975 second user time and 0.407937 second system time
The end
Begin job on node117 at 2011-04-23 20:02:16
IDJOB=3266644
IDBENCH=88202
IDSOLVER=1587
FILE ID=node117/3266644-1303581736
RUNJOBID= node117-1303581734-13184
PBS_JOBID= 13150333
Free space on /tmp= 71444 MiB
SOLVER NAME= CryptoMiniSat Strange-Night2-st
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266644-1303581736/watcher-3266644-1303581736 -o /tmp/evaluation-result-3266644-1303581736/solver-3266644-1303581736 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3266644-1303581736.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 4b4e8a8187c1b8536d6b504b16289d38
RANDOM SEED=549633532
node117.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.849
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.849
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 : 5332.75
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.849
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.74
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.849
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.75
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.849
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.849
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.849
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.849
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 : 5267.44
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950940 kB
MemFree: 14198168 kB
Buffers: 2313276 kB
Cached: 15797168 kB
SwapCached: 0 kB
Active: 10510316 kB
Inactive: 7685184 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950940 kB
LowFree: 14198168 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 24548 kB
Writeback: 0 kB
AnonPages: 84112 kB
Mapped: 16208 kB
Slab: 492540 kB
PageTables: 4932 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586996 kB
Committed_AS: 324836 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= 71416 MiB
End job on node117 at 2011-04-23 20:03:59