0.00/0.00 c Outputting solution to console
0.00/0.00 c This is CryptoMiniSat 2.9.0
0.00/0.00 c compiled with gcc version 4.4.5
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3288095-1303772545.cnf'
0.00/0.00 c -- header says num vars: 156058
0.00/0.00 c -- header says num clauses: 466691
0.09/0.17 c -- clauses added: 0 learnts, 466691 normals, 0 xors
0.09/0.17 c -- vars added 156058
0.09/0.17 c Parsing time: 0.15 s
0.09/0.17 c N st 0 0 156058 155563 311126 0 1088941 0 no data no data --
0.49/0.53 c asymm cl-useful: 0/94614/155562 lits-rem:0 time: 0.35
4.30/4.30 c Flit: 818 Blit: 6635 bXBeca: 0 bXProp: 13749 Bins: 0 BRemL: 0 BRemN: 0 P: 50.5M T: 3.74
4.30/4.32 c Cleaning up after failed var search: 0.02 s
4.30/4.37 c Replacing 13749 vars Replaced 225247 lits Time: 0.05 s
4.40/4.44 c bin-w-bin subsume rem 1810 bins time: 0.02 s
4.40/4.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.05 s
4.59/4.65 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 120783 time: 0.16 s
4.69/4.78 c Removed useless bin: 5710 fixed: 0 props: 18.26M time: 0.13 s
5.09/5.18 c lits-rem: 258 cl-subs: 8639 v-elim: 44852 v-fix: 0 time: 0.39 s
5.29/5.30 c Finding binary XORs T: 0.12 s found: 4521
5.29/5.33 c Replacing 4521 vars Replaced 37932 lits Time: 0.03 s
5.39/5.42 c Finding non-binary XORs: 0.06 s (found: 1, avg size: 3.0)
5.39/5.42 c calculated reachability. Time: 0.02
5.39/5.44 c Calc default polars - time: 0.01 s pos: 6834 undec: 73567 neg: 75657
5.39/5.44 c =========================================================================================
5.39/5.44 c types(t): F = full restart, N = normal restart
5.39/5.44 c types(t): S = simplification begin/end, E = solution found
5.39/5.44 c restart types(rt): st = static, dy = dynamic
5.39/5.44 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
5.39/5.44 c B st 0 0 85183 142762 164931 0 799137 0 no data no data --
6.69/6.72 c N dy 17 4035 85109 142762 165491 3419 799111 26616 3.82 4.02 --
7.69/7.75 c N dy 41 8218 85019 142762 165940 7104 799086 59756 4.01 4.45 --
8.69/8.80 c N dy 72 12313 84974 142762 166338 10752 799060 97414 4.15 4.38 --
9.79/9.90 c N dy 101 16328 84950 142762 166659 14402 799047 139044 4.30 4.72 --
11.09/11.10 c N dy 131 20367 84940 142762 166968 9267 799030 57274 4.40 4.65 --
12.39/12.49 c N dy 159 24726 84910 142762 167290 13256 799006 105800 4.45 4.71 --
12.49/12.57 c F st 162 25000 84910 142762 167304 13514 799005 109062 4.46 no data --
14.39/14.46 c N dy 168 30001 84910 142058 166891 18193 795552 191898 4.46 no data --
14.39/14.46 c S st 168 30001 84910 142058 166891 18193 795552 191898 4.46 no data --
14.59/14.65 c S st 168 30502 84910 142058 167066 18496 795552 194324 4.46 no data --
14.59/14.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
14.59/14.69 c Cache BProp: 72 Set: 5 BXProp: 10 T: 0.01
25.99/26.08 c Flit: 140 Blit: 993 bXBeca: 0 bXProp: 3988 Bins: 60751 BRemL: 6141 BRemN: 1119 P: 83.5M T: 11.37
26.09/26.10 c Cleaning up after failed var search: 0.02 s
26.09/26.15 c Replacing 3998 vars Replaced 107264 lits Time: 0.04 s
26.19/26.23 c bin-w-bin subsume rem 6578 bins time: 0.02 s
26.30/26.32 c subs with bin: 3564 lits-rem: 15584 v-fix: 0 time: 0.09 s
26.40/26.45 c Subs w/ non-existent bins: 1667 l-rem: 7384 v-fix: 0 done: 39658 time: 0.13 s
26.49/26.55 c Removed useless bin: 3245 fixed: 0 props: 7.00M time: 0.09 s
27.50/27.58 c lits-rem: 19344 cl-subs: 37490 v-elim: 45426 v-fix: 0 time: 1.01 s
27.50/27.58 c Added XOR as norm:1
27.79/27.88 c asymm cl-useful: 35/24953/119567 lits-rem:105 time: 0.30
27.89/27.92 c calculated reachability. Time: 0.02
27.89/27.92 c N dy 168 30502 33675 119532 76165 4838 546241 58184 4.46 no data --
27.99/28.04 c Finding binary XORs T: 0.13 s found: 48
28.69/28.74 c N dy 190 34510 33667 119532 76430 8547 546236 95901 4.45 4.84 --
29.49/29.51 c N dy 211 38555 33654 119532 76704 12271 546232 133527 4.45 4.81 --
30.19/30.28 c N dy 241 42624 33645 119532 76922 16077 546227 180730 4.49 4.76 --
30.80/30.83 c S st 264 45753 33636 119532 77101 19005 546223 214615 4.52 no data --
30.89/30.97 c S st 264 46254 33636 119532 77174 19432 546223 218600 4.52 no data --
30.89/30.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
30.99/31.00 c Cache BProp: 6 Set: 6 BXProp: 0 T: 0.01
34.09/34.16 c Flit: 45 Blit: 41 bXBeca: 0 bXProp: 368 Bins: 40402 BRemL: 8467 BRemN: 650 P: 23.8M T: 3.16
34.19/34.21 c Replacing 416 vars Replaced 15628 lits Time: 0.04 s
34.19/34.27 c bin-w-bin subsume rem 760 bins time: 0.02 s
34.29/34.36 c subs with bin: 7019 lits-rem: 13626 v-fix: 0 time: 0.08 s
34.40/34.43 c Subs w/ non-existent bins: 2498 l-rem: 8631 v-fix: 0 done: 18386 time: 0.07 s
34.40/34.47 c Removed useless bin: 865 fixed: 0 props: 1.66M time: 0.03 s
34.90/34.93 c lits-rem: 1946 cl-subs: 4779 v-elim: 1536 v-fix: 0 time: 0.46 s
34.90/34.98 c vivif2 -- cl tried 106775 cl shrink 5858 lits rem 6619 time: 0.04
35.00/35.00 c vivif2 -- cl tried 16843 cl shrink 4814 lits rem 11663 time: 0.02
35.40/35.41 c asymm cl-useful: 793/6423/104993 lits-rem:891 time: 0.41
35.40/35.44 c calculated reachability. Time: 0.02
35.40/35.44 c N dy 264 46254 31540 104992 103641 16629 483724 215079 4.52 no data --
35.50/35.52 c Finding binary XORs T: 0.08 s found: 6
36.30/36.35 c N dy 291 50352 31529 104992 103835 20495 483722 264873 4.54 4.83 --
37.10/37.10 c N dy 315 54429 31518 104992 103957 24411 483721 314565 4.57 5.01 --
38.00/38.00 c N dy 346 58565 31503 104992 104126 15452 483720 180836 4.60 4.87 --
38.70/38.78 c N dy 370 62642 31493 104992 104295 19326 483718 236139 4.63 4.96 --
39.60/39.69 c N dy 401 66953 31473 104992 104458 23430 483717 300048 4.66 4.98 --
40.09/40.19 c S st 419 69381 31448 104992 104543 25755 483717 340124 4.68 no data --
40.29/40.36 c S st 419 69882 31448 104992 104601 26195 483717 345134 4.68 no data --
40.29/40.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
40.29/40.39 c Cache BProp: 1 Set: 1 BXProp: 1 T: 0.01
43.69/43.70 c Flit: 47 Blit: 23 bXBeca: 0 bXProp: 274 Bins: 22287 BRemL: 9429 BRemN: 297 P: 31.8M T: 3.31
43.69/43.75 c Replacing 281 vars Replaced 10511 lits Time: 0.04 s
43.79/43.81 c bin-w-bin subsume rem 1198 bins time: 0.02 s
43.90/43.92 c subs with bin: 1761 lits-rem: 2702 v-fix: 0 time: 0.11 s
43.90/43.97 c Subs w/ non-existent bins: 74 l-rem: 2220 v-fix: 0 done: 4513 time: 0.05 s
43.90/44.00 c Removed useless bin: 343 fixed: 0 props: 1.49M time: 0.03 s
44.59/44.60 c lits-rem: 939 cl-subs: 3518 v-elim: 861 v-fix: 0 time: 0.60 s
44.59/44.65 c vivif2 -- cl tried 101592 cl shrink 703 lits rem 751 time: 0.04
44.59/44.69 c vivif2 -- cl tried 22981 cl shrink 3832 lits rem 14599 time: 0.04
45.10/45.10 c asymm cl-useful: 997/13799/101424 lits-rem:1442 time: 0.42
45.10/45.13 c calculated reachability. Time: 0.02
45.10/45.13 c N dy 419 69882 30185 101285 109931 22898 463930 287542 4.68 no data --
45.19/45.22 c Finding binary XORs T: 0.08 s found: 25
46.10/46.12 c N dy 452 74383 30161 101285 110084 27194 463928 361505 4.70 6.02 --
47.20/47.22 c N dy 488 79137 30145 101285 110244 31740 463925 431774 4.74 6.21 --
48.19/48.24 c N dy 520 84282 30140 101285 110424 23819 463922 259748 4.76 5.07 --
48.89/48.99 c F st 549 87501 30130 101285 110543 26896 463922 305227 4.78 no data --
48.99/49.03 c Replacing 25 vars Replaced 1686 lits Time: 0.02 s
49.69/49.73 c N st 554 90799 30104 101006 110176 29973 462556 424566 4.78 no data --
51.00/51.02 c N dy 585 96674 30103 101006 110333 35637 462555 526229 4.83 7.08 --
52.40/52.49 c N dy 634 102942 30098 101006 110510 41662 462553 635173 4.89 5.22 --
52.89/52.98 c S st 652 104823 30091 101006 110546 28410 462553 273648 4.92 no data --
53.09/53.15 c S st 652 105324 30091 101006 110608 28847 462553 278198 4.92 no data --
53.09/53.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
53.09/53.18 c Cache BProp: 6 Set: 0 BXProp: 0 T: 0.01
56.59/56.62 c Flit: 46 Blit: 22 bXBeca: 0 bXProp: 231 Bins: 17860 BRemL: 7126 BRemN: 88 P: 36.5M T: 3.44
56.59/56.66 c Replacing 231 vars Replaced 8735 lits Time: 0.04 s
56.69/56.72 c bin-w-bin subsume rem 427 bins time: 0.02 s
56.69/56.78 c subs with bin: 979 lits-rem: 1226 v-fix: 0 time: 0.06 s
56.79/56.86 c Subs w/ non-existent bins: 139 l-rem: 1025 v-fix: 0 done: 26921 time: 0.08 s
56.79/56.89 c Removed useless bin: 285 fixed: 0 props: 1.39M time: 0.03 s
57.20/57.25 c lits-rem: 558 cl-subs: 1771 v-elim: 341 v-fix: 0 time: 0.36 s
57.29/57.30 c vivif2 -- cl tried 99350 cl shrink 436 lits rem 458 time: 0.05
57.29/57.33 c vivif2 -- cl tried 26864 cl shrink 1215 lits rem 3307 time: 0.03
57.69/57.77 c asymm cl-useful: 792/15641/99192 lits-rem:1336 time: 0.44
57.79/57.80 c calculated reachability. Time: 0.02
57.79/57.80 c N dy 652 105324 29433 98989 118225 26801 451736 274862 4.92 no data --
57.79/57.89 c Finding binary XORs T: 0.09 s found: 33
59.40/59.41 c N dy 707 112055 29422 98989 118388 33319 451734 402878 4.98 7.89 --
61.09/61.17 c N dy 765 119208 29418 98989 118565 40235 451733 554570 5.04 7.32 --
63.09/63.15 c N dy 827 126915 29399 98989 118746 47693 451733 723346 5.11 6.69 --
65.29/65.30 c N dy 889 135069 29394 98989 118901 39009 451730 425612 5.17 7.95 --
67.59/67.62 c N dy 959 143852 29373 98989 119102 47528 451728 631157 5.24 5.55 --
70.20/70.20 c N dy 1034 153083 29327 98989 119302 56473 451726 878541 5.33 7.33 --
71.40/71.49 c S st 1070 157986 29326 98989 119396 43784 451726 430235 5.36 no data --
71.60/71.69 c S st 1070 158487 29326 98989 119435 44245 451725 436554 5.36 no data --
71.70/71.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
71.70/71.72 c Cache BProp: 4 Set: 3 BXProp: 2 T: 0.01
75.30/75.31 c Flit: 45 Blit: 19 bXBeca: 0 bXProp: 232 Bins: 10401 BRemL: 5434 BRemN: 98 P: 43.4M T: 3.59
75.30/75.36 c Replacing 267 vars Replaced 8849 lits Time: 0.04 s
75.40/75.42 c bin-w-bin subsume rem 434 bins time: 0.02 s
75.50/75.53 c subs with bin: 993 lits-rem: 1873 v-fix: 0 time: 0.10 s
75.50/75.58 c Subs w/ non-existent bins: 16 l-rem: 1575 v-fix: 0 done: 4600 time: 0.05 s
75.59/75.60 c Removed useless bin: 307 fixed: 0 props: 1.33M time: 0.03 s
76.19/76.27 c lits-rem: 923 cl-subs: 2107 v-elim: 281 v-fix: 0 time: 0.66 s
76.29/76.32 c vivif2 -- cl tried 96918 cl shrink 406 lits rem 438 time: 0.05
76.29/76.37 c vivif2 -- cl tried 41031 cl shrink 2414 lits rem 8010 time: 0.06
76.70/76.78 c asymm cl-useful: 204/4566/96756 lits-rem:612 time: 0.41
76.80/76.81 c calculated reachability. Time: 0.02
76.80/76.81 c N dy 1070 158487 28690 96552 121000 40952 440459 388487 5.36 no data --
76.90/76.90 c Finding binary XORs T: 0.09 s found: 27
79.39/79.48 c N dy 1142 168673 28681 96552 121199 50857 440457 627520 5.42 5.74 --
82.20/82.27 c N dy 1225 179529 28677 96552 121396 61440 440457 894839 5.49 6.21 --
85.39/85.47 c N dy 1313 191019 28668 96552 121602 53556 440457 580722 5.54 7.59 --
88.89/88.92 c N dy 1413 203469 28629 96552 121808 65690 440457 911616 5.62 6.01 --
92.49/92.51 c N dy 1515 216520 28590 96552 122040 58788 440457 639811 5.71 6.05 --
94.19/94.27 c Finding binary XORs T: 0.09 s found: 45
96.59/96.69 c N dy 1626 230375 28583 96065 121983 71136 438411 1031998 5.80 8.94 --
98.79/98.84 c S st 1681 237730 28568 96065 122072 78343 438411 1269140 5.85 no data --
99.09/99.16 c S st 1681 238231 28568 96065 122094 58158 438411 488803 5.85 no data --
99.09/99.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
99.09/99.19 c Cache BProp: 5 Set: 4 BXProp: 3 T: 0.01
102.99/103.03 c Flit: 53 Blit: 13 bXBeca: 0 bXProp: 181 Bins: 10736 BRemL: 5764 BRemN: 129 P: 48.9M T: 3.84
102.99/103.08 c Replacing 255 vars Replaced 9984 lits Time: 0.05 s
103.09/103.15 c bin-w-bin subsume rem 502 bins time: 0.02 s
103.19/103.23 c subs with bin: 1293 lits-rem: 2080 v-fix: 0 time: 0.08 s
103.19/103.29 c Subs w/ non-existent bins: 90 l-rem: 871 v-fix: 0 done: 9689 time: 0.06 s
103.30/103.32 c Removed useless bin: 264 fixed: 0 props: 1.30M time: 0.03 s
103.89/103.93 c lits-rem: 1246 cl-subs: 2191 v-elim: 325 v-fix: 0 time: 0.61 s
103.89/103.99 c vivif2 -- cl tried 94591 cl shrink 499 lits rem 530 time: 0.06
103.99/104.07 c vivif2 -- cl tried 54953 cl shrink 1897 lits rem 4052 time: 0.08
104.50/104.50 c asymm cl-useful: 234/3808/94384 lits-rem:702 time: 0.43
104.50/104.54 c calculated reachability. Time: 0.02
104.50/104.54 c N dy 1681 238231 27895 94150 124176 54846 429236 464291 5.85 no data --
104.59/104.64 c Finding binary XORs T: 0.10 s found: 37
109.19/109.22 c N dy 1806 253491 27868 94150 124354 69801 429236 903527 5.94 11.92 --
114.20/114.20 c N dy 1933 269746 27846 94150 124520 61867 429235 523869 6.05 6.89 --
119.50/119.53 c N dy 2078 287159 27833 94150 124691 78958 429234 1059368 6.15 6.51 --
125.60/125.68 c N dy 2226 305587 27819 94150 124858 73584 429232 766025 6.26 13.79 --
125.80/125.87 c F st 2231 306253 27819 94150 124863 74234 429232 782109 6.26 no data --
125.90/125.92 c Replacing 37 vars Replaced 1574 lits Time: 0.03 s
126.20/126.23 c Finding binary XORs T: 0.10 s found: 34
131.90/131.93 c N dy 2349 325106 27774 93773 124717 91969 427492 1501408 6.35 11.00 --
138.10/138.14 c N dy 2498 345169 27761 93773 124905 87090 427491 1110205 6.44 6.90 --
142.20/142.24 c S st 2604 357347 27722 93773 125016 99073 427491 1611615 6.53 no data --
142.50/142.54 c S st 2604 357852 27722 93773 125045 99545 427491 1618603 6.53 no data --
142.50/142.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
142.50/142.57 c Cache BProp: 13 Set: 11 BXProp: 0 T: 0.01
146.70/146.77 c Flit: 70 Blit: 39 bXBeca: 0 bXProp: 252 Bins: 9422 BRemL: 5702 BRemN: 87 P: 65.6M T: 4.19
146.70/146.77 c Cleaning up after failed var search: 0.00 s
146.80/146.85 c Replacing 286 vars Replaced 16967 lits Time: 0.07 s
146.90/146.97 c bin-w-bin subsume rem 617 bins time: 0.02 s
148.00/148.04 c subs with bin: 1869 lits-rem: 14870 v-fix: 0 time: 1.07 s
148.10/148.10 c Subs w/ non-existent bins: 98 l-rem: 1092 v-fix: 0 done: 7899 time: 0.05 s
148.10/148.13 c Removed useless bin: 369 fixed: 0 props: 1.25M time: 0.02 s
151.19/151.27 c lits-rem: 5139 cl-subs: 8654 v-elim: 405 v-fix: 0 time: 3.14 s
151.29/151.33 c vivif2 -- cl tried 91386 cl shrink 818 lits rem 850 time: 0.06
151.49/151.51 c vivif2 -- cl tried 87183 cl shrink 13063 lits rem 75112 time: 0.18
151.89/151.91 c asymm cl-useful: 188/3625/91154 lits-rem:564 time: 0.39
151.89/151.94 c calculated reachability. Time: 0.02
151.89/151.94 c N dy 2604 357852 26861 90966 123962 86906 413566 1028556 6.53 no data --
151.99/152.05 c Finding binary XORs T: 0.10 s found: 58
158.40/158.42 c N dy 2757 377940 26812 90966 124182 79560 413565 774970 6.61 7.03 --
164.30/164.35 c N dy 2914 397992 26753 90966 124397 99249 413563 1468296 6.69 8.04 --
170.19/170.30 c N dy 3067 418019 26734 90966 124588 92738 413563 1057685 6.77 10.14 --
172.40/172.46 c E dy 3122 425457 26536 89402 115990 94548 403749 1151614 6.79 5.22 --
172.40/172.46 c num threads : 1
172.40/172.46 c restarts : 3122
172.40/172.46 c dynamic restarts : 3098
172.40/172.46 c static restarts : 24
172.40/172.46 c full restarts : 3
172.40/172.46 c total simplify time : 1.09
172.40/172.46 c learnts DL2 : 0
172.40/172.46 c learnts size 2 : 539272
172.40/172.46 c learnts size 1 : 12622 (8.09 % of vars)
172.40/172.46 c filedLit time : 36.70 (21.29 % time)
172.40/172.46 c v-elim SatELite : 94027 (60.25 % vars)
172.40/172.46 c SatELite time : 7.23 (4.20 % time)
172.40/172.46 c v-elim xor : 0 (0.00 % vars)
172.40/172.46 c xor elim time : 0.15 (0.09 % time)
172.40/172.46 c num binary xor trees : 12167
172.40/172.46 c binxor trees' crown : 24124 (1.98 leafs/tree)
172.40/172.46 c bin xor find time : 0.98
172.40/172.46 c OTF clause improved : 3400 (0.01 clauses/conflict)
172.40/172.46 c OTF impr. size diff : 4375 (1.29 lits/clause)
172.40/172.46 c OTF cl watch-shrink : 316296 (0.74 clauses/conflict)
172.40/172.46 c OTF cl watch-sh-lit : 1340686 (4.24 lits/clause)
172.40/172.46 c tried to recurMin cls : 220394 (51.80 % of conflicts)
172.40/172.46 c updated cache : 0 (0.00 lits/tried recurMin)
172.40/172.46 c clauses over max glue : 0 (0.00 % of all clauses)
172.40/172.46 c conflicts : 425457 (2468.95 / sec)
172.40/172.46 c decisions : 1233254 (3.64 % random)
172.40/172.46 c bogo-props : 5568927556 (32316834.98 / sec)
172.40/172.46 c conflict literals : 11268210 (35.83 % deleted)
172.40/172.46 c Memory used : 377.05 MB
172.40/172.46 c CPU time : 172.32 s
172.40/172.46 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-3288095-1303772545/watcher-3288095-1303772545 -o /tmp/evaluation-result-3288095-1303772545/solver-3288095-1303772545 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3288095-1303772545.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: 3.98 3.95 3.92 5/189 6526
/proc/meminfo: memFree=12495720/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=31140 CPUtime=0 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 1085 0 0 0 0 0 0 0 25 0 1 0 567485202 31887360 991 33554432000 4194304 4650387 140734694974016 18446744073709551615 251367243887 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 7785 991 327 112 0 2750 0
[startup+0.041366 s]
/proc/loadavg: 3.98 3.95 3.92 5/189 6526
/proc/meminfo: memFree=12495720/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=45308 CPUtime=0.03 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 5054 0 0 0 3 0 0 0 25 0 1 0 567485202 46395392 3947 33554432000 4194304 4650387 140734694974016 18446744073709551615 4319131 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 11327 3948 328 112 0 6292 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 45308
[startup+0.100358 s]
/proc/loadavg: 3.98 3.95 3.92 5/189 6526
/proc/meminfo: memFree=12495720/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=63364 CPUtime=0.09 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 10842 0 0 0 8 1 0 0 25 0 1 0 567485202 64884736 8604 33554432000 4194304 4650387 140734694974016 18446744073709551615 251367207621 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 15841 8608 328 112 0 10806 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63364
[startup+0.300316 s]
/proc/loadavg: 3.98 3.95 3.92 5/189 6526
/proc/meminfo: memFree=12495720/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=101436 CPUtime=0.29 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 19923 0 0 0 27 2 0 0 25 0 1 0 567485202 103870464 15511 33554432000 4194304 4650387 140734694974016 18446744073709551615 4369182 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 25359 15511 347 112 0 20324 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 101436
[startup+0.700242 s]
/proc/loadavg: 3.98 3.95 3.92 5/189 6526
/proc/meminfo: memFree=12495720/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=115628 CPUtime=0.69 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 23054 0 0 0 67 2 0 0 25 0 1 0 567485202 118403072 17729 33554432000 4194304 4650387 140734694974016 18446744073709551615 251367207621 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 28907 17729 353 112 0 23872 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 115628
[startup+1.50109 s]
/proc/loadavg: 3.98 3.95 3.92 5/190 6527
/proc/meminfo: memFree=12411020/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=148572 CPUtime=1.49 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 31052 0 0 0 146 3 0 0 25 0 1 0 567485202 152137728 25727 33554432000 4194304 4650387 140734694974016 18446744073709551615 251367207621 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 37143 25728 353 112 0 32108 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 148572
[startup+3.10079 s]
/proc/loadavg: 3.98 3.95 3.92 5/190 6527
/proc/meminfo: memFree=12368120/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=186324 CPUtime=3.09 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 40504 0 0 0 305 4 0 0 25 0 1 0 567485202 190795776 35179 33554432000 4194304 4650387 140734694974016 18446744073709551615 4370254 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 46581 35179 353 112 0 41546 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 186324
[startup+6.3012 s]
/proc/loadavg: 3.98 3.95 3.92 5/190 6527
/proc/meminfo: memFree=12295928/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=240572 CPUtime=6.29 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 54408 0 0 0 625 4 0 0 25 0 1 0 567485202 246345728 49083 33554432000 4194304 4650387 140734694974016 18446744073709551615 4363426 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 60143 49083 377 112 0 55108 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 240572
[startup+12.701 s]
/proc/loadavg: 3.99 3.95 3.92 5/190 6527
/proc/meminfo: memFree=12300324/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=242780 CPUtime=12.69 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 56043 0 0 0 1265 4 0 0 25 0 1 0 567485202 248606720 48481 33554432000 4194304 4650387 140734694974016 18446744073709551615 4258543 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 60695 48481 380 112 0 55660 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 242780
[startup+25.5006 s]
/proc/loadavg: 3.99 3.95 3.92 6/190 6527
/proc/meminfo: memFree=12235100/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=292936 CPUtime=25.49 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 68260 0 0 0 2542 7 0 0 25 0 1 0 567485202 299966464 60698 33554432000 4194304 4650387 140734694974016 18446744073709551615 4369182 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 73234 60698 381 112 0 68199 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 292936
[startup+51.1009 s]
/proc/loadavg: 3.99 3.96 3.92 5/190 6528
/proc/meminfo: memFree=12182460/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=338996 CPUtime=51.1 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 84346 0 0 0 5100 10 0 0 25 0 1 0 567485202 347131904 72503 33554432000 4194304 4650387 140734694974016 18446744073709551615 4303957 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 84749 72503 381 112 0 79714 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 338996
[startup+102.306 s]
/proc/loadavg: 4.07 3.98 3.92 5/190 6529
/proc/meminfo: memFree=12122672/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=365520 CPUtime=102.3 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 90619 0 0 0 10219 11 0 0 25 0 1 0 567485202 374292480 78776 33554432000 4194304 4650387 140734694974016 18446744073709551615 4369344 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 91380 78776 381 112 0 86345 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 365520
[startup+162.3 s]
/proc/loadavg: 4.03 3.98 3.92 5/190 6558
/proc/meminfo: memFree=12011144/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=386016 CPUtime=162.3 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 101600 0 0 0 16216 14 0 0 25 0 1 0 567485202 395280384 84094 33554432000 4194304 4650387 140734694974016 18446744073709551615 4364764 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 96504 84094 381 112 0 91469 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 386016
Solver just ended. Dumping a history of the last processes samples
[startup+166.301 s]
/proc/loadavg: 4.02 3.98 3.92 6/190 6558
/proc/meminfo: memFree=11992168/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=386016 CPUtime=166.29 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 102118 0 0 0 16615 14 0 0 25 0 1 0 567485202 395280384 84612 33554432000 4194304 4650387 140734694974016 18446744073709551615 4368089 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 96504 84612 381 112 0 91469 0
Current children cumulated CPU time (s) 166.29
Current children cumulated vsize (KiB) 386016
[startup+169.501 s]
/proc/loadavg: 4.02 3.98 3.92 5/190 6558
/proc/meminfo: memFree=11991672/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=386096 CPUtime=169.49 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 103868 0 0 0 16935 14 0 0 25 0 1 0 567485202 395362304 83846 33554432000 4194304 4650387 140734694974016 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 96524 83846 381 112 0 91489 0
Current children cumulated CPU time (s) 169.49
Current children cumulated vsize (KiB) 386096
[startup+171.101 s]
/proc/loadavg: 4.02 3.98 3.92 5/190 6558
/proc/meminfo: memFree=11986704/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=386096 CPUtime=171.09 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 104070 0 0 0 17095 14 0 0 25 0 1 0 567485202 395362304 84048 33554432000 4194304 4650387 140734694974016 18446744073709551615 4331285 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 96524 84048 381 112 0 91489 0
Current children cumulated CPU time (s) 171.09
Current children cumulated vsize (KiB) 386096
[startup+171.901 s]
/proc/loadavg: 4.02 3.98 3.92 5/190 6558
/proc/meminfo: memFree=11984472/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=386096 CPUtime=171.89 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 104151 0 0 0 17175 14 0 0 25 0 1 0 567485202 395362304 84129 33554432000 4194304 4650387 140734694974016 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 96524 84129 381 112 0 91489 0
Current children cumulated CPU time (s) 171.89
Current children cumulated vsize (KiB) 386096
[startup+172.3 s]
/proc/loadavg: 4.02 3.98 3.92 5/190 6558
/proc/meminfo: memFree=11984472/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=386096 CPUtime=172.29 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 104187 0 0 0 17215 14 0 0 25 0 1 0 567485202 395362304 84165 33554432000 4194304 4650387 140734694974016 18446744073709551615 4368256 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 96524 84165 381 112 0 91489 0
Current children cumulated CPU time (s) 172.29
Current children cumulated vsize (KiB) 386096
[startup+172.5 s]
/proc/loadavg: 4.02 3.98 3.92 5/190 6558
/proc/meminfo: memFree=11984472/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=386096 CPUtime=172.5 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 104212 0 0 0 17235 15 0 0 25 0 1 0 567485202 395362304 84189 33554432000 4194304 4650387 140734694974016 18446744073709551615 4359020 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 96524 84189 392 112 0 91489 0
Current children cumulated CPU time (s) 172.5
Current children cumulated vsize (KiB) 386096
[startup+172.6 s]
/proc/loadavg: 4.02 3.98 3.92 5/190 6558
/proc/meminfo: memFree=11983232/32950928 swapFree=67111528/67111528
[pid=6526] ppid=6524 vsize=386096 CPUtime=172.61 cores=4,6
/proc/6526/stat : 6526 (strangenight1-s) R 6524 6526 4899 0 -1 4202496 104212 0 0 0 17246 15 0 0 25 0 1 0 567485202 395362304 84189 33554432000 4194304 4650387 140734694974016 18446744073709551615 251367196040 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6526/statm: 96524 84189 392 112 0 91489 0
Current children cumulated CPU time (s) 172.61
Current children cumulated vsize (KiB) 386096
Child status: 20
Real time (s): 172.7
CPU time (s): 172.705
CPU user time (s): 172.54
CPU system time (s): 0.164974
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 400624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 172.54
system time used= 0.164974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104213
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= 11
involuntary context switches= 195
runsolver used 0.303953 second user time and 0.6539 second system time
The end
Begin job on node113 at 2011-04-26 01:02:25
IDJOB=3288095
IDBENCH=82488
IDSOLVER=1589
FILE ID=node113/3288095-1303772545
RUNJOBID= node113-1303772383-6228
PBS_JOBID= 13157152
Free space on /tmp= 70940 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3288095-1303772545/watcher-3288095-1303772545 -o /tmp/evaluation-result-3288095-1303772545/solver-3288095-1303772545 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3288095-1303772545.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= a4c7dbdc89378b1335eea4904f9f5cb5
RANDOM SEED=772463620
node113.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.846
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.846
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.76
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.846
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.846
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.846
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.74
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.846
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.75
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.846
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.83
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.846
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 12495876 kB
Buffers: 1853616 kB
Cached: 16897836 kB
SwapCached: 0 kB
Active: 11617168 kB
Inactive: 8245580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 12495876 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 14428 kB
Writeback: 0 kB
AnonPages: 1110432 kB
Mapped: 16320 kB
Slab: 525552 kB
PageTables: 7536 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1372780 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= 70932 MiB
End job on node113 at 2011-04-26 01:05:18