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 Using 1 thread(s)
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3281329-1303752115.cnf'
0.00/0.00 c -- header says num vars: 306095
0.00/0.00 c -- header says num clauses: 6069108
2.79/2.83 c -- clauses added: 0 learnts, 6069108 normals, 0 xors
2.79/2.83 c -- vars added 306095
2.79/2.83 c Parsing time: 2.69 s
2.79/2.83 c N st 0 0 306095 323996 5745111 0 17675753 0 no data no data --
2.99/3.06 c asymm cl-useful: 20/23/323988 lits-rem:759 time: 0.19
6.69/6.75 c Flit: 0 Blit: 75612 bXBeca: 0 bXProp: 6 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 3.60
6.99/7.03 c Cleaning up after failed var search: 0.27 s
8.39/8.44 c Calc non-exist non-lernt bins v-fix: 0 done: 14915 time: 1.37 s
8.39/8.45 c Cache BProp: 0 Set: 0 BXProp: 28 T: 0.00
8.49/8.51 c Subs w/ non-existent bins: 0 time: 0.06 s
8.89/8.90 c Replacing 34 vars Replaced 166886 lits Time: 0.39 s
9.80/9.85 c bin-w-bin subsume rem 6 bins time: 0.63 s
11.29/11.31 c subs with bin: 5507 lits-rem: 56143 v-fix: 0 time: 1.46 s
11.39/11.49 c Removed useless bin: 565 fixed: 0 bprops: 10.01M time: 0.18 s
15.29/15.36 c lits-rem: 2 cl-subs: 24337 v-elim: 13080 v-fix: 0 time: 3.86 s
15.29/15.36 c learnt bin added due to v-elim: 0
15.39/15.44 c Finding binary XORs T: 0.08 s found: 215
15.59/15.62 c Replacing 215 vars Replaced 1817 lits Time: 0.18 s
16.09/16.13 c Finding non-binary XORs: 0.34 s (found: 0, avg size: nan)
16.09/16.13 c Calc default polars - time: 0.08 s pos: 35467 undec: 89072 neg: 181556
16.09/16.13 c =========================================================================================
16.09/16.13 c types(t): F = full restart, N = normal restart
16.09/16.13 c types(t): S = simplification begin/end, E = solution found
16.09/16.13 c restart types(rt): st = static, dy = dynamic
16.09/16.13 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG
16.09/16.13 c B st 0 0 217145 224129 4230558 0 12930393 0 no data no data --
19.19/19.29 c Decided on dynamic restart strategy
22.39/22.46 c N dy 20 4022 217145 224129 4230624 3864 12930387 201519 53.76 20.19 --
28.79/28.82 c N dy 48 8120 217145 224129 4230664 7806 12930379 370484 43.13 20.64 --
34.10/34.18 c N dy 75 12169 217145 224129 4230707 11682 12930369 550090 47.06 20.80 --
40.19/40.26 c N dy 103 16241 217145 224129 4230753 15590 12930362 727473 42.92 21.23 --
45.79/45.88 c N dy 131 20291 217145 224129 4230804 9871 12930360 272342 49.20 21.70 --
50.89/50.90 c N dy 159 24384 217145 224129 4230837 13841 12930357 457226 55.09 21.78 --
55.60/55.65 c N dy 187 28392 217145 224129 4230871 17713 12930351 644647 40.11 21.63 --
58.20/58.22 c S st 199 30000 217145 224129 4230890 19277 12930351 727447 61.14 21.81 --
59.59/59.63 c S st 199 30501 217139 224129 4230963 19698 12930351 732220 61.14 21.81 --
59.69/59.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.15
160.20/160.24 c Flit: 387 Blit: 4672 bXBeca: 0 bXProp: 196 Bin: 30270 BRemL: 183 BRemN: 3218 CBin: 0 P: 60.0M T: 100.45
160.30/160.38 c Cleaning up after failed var search: 0.13 s
161.50/161.53 c Calc non-exist non-lernt bins v-fix: 78 done: 17222 time: 1.12 s
161.50/161.53 c Cache BProp: 0 Set: 0 BXProp: 24 T: 0.00
161.60/161.61 c Subs w/ non-existent bins: 206 time: 0.08 s
162.00/162.03 c Replacing 220 vars Replaced 202320 lits Time: 0.42 s
162.90/162.91 c bin-w-bin subsume rem 2819 bins time: 0.60 s
164.30/164.31 c subs with bin: 1427 lits-rem: 46412 v-fix: 0 time: 1.40 s
164.50/164.51 c Removed useless bin: 933 fixed: 0 bprops: 10.00M time: 0.20 s
172.29/172.37 c lits-rem: 2833 cl-subs: 12031 v-elim: 86843 v-fix: 0 time: 7.84 s
172.29/172.37 c learnt bin added due to v-elim: 0
172.49/172.56 c asymm cl-useful: 57/73/336663 lits-rem:2417 time: 0.19
172.60/172.65 c N dy 199 30501 152494 336663 3150977 9676 11023158 380199 61.14 21.81 --
172.60/172.65 c F st 199 30501 152494 336663 3150977 9676 11023158 380199 61.14 21.81 --
174.99/175.02 c Decided on dynamic restart strategy
177.29/177.32 c N dy 219 34590 152494 336663 3151005 13580 11023149 550297 36.62 21.87 --
181.50/181.52 c N dy 246 38597 152494 336663 3151030 17453 11023104 737857 38.05 22.24 --
184.19/184.21 c N dy 273 42701 152494 336663 3151052 21366 11023086 939428 59.04 22.06 --
187.89/187.93 c S st 295 45752 152493 336663 3151064 24316 11023082 1093713 49.87 22.32 --
189.20/189.28 c S st 295 46252 152480 336663 3151116 24750 11023082 1105032 49.87 22.32 --
189.39/189.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.13
388.10/388.18 c Flit: 17 Blit: 2928 bXBeca: 0 bXProp: 125 Bin: 26663 BRemL: 217 BRemN: 4027 CBin: 0 P: 60.0M T: 198.76
388.21/388.29 c Cleaning up after failed var search: 0.11 s
389.90/389.97 c Calc non-exist non-lernt bins v-fix: 10 done: 11730 time: 1.64 s
389.90/389.98 c Cache BProp: 0 Set: 0 BXProp: 48 T: 0.00
390.10/390.12 c Subs w/ non-existent bins: 285 time: 0.14 s
390.51/390.51 c Replacing 173 vars Replaced 123985 lits Time: 0.39 s
391.20/391.25 c bin-w-bin subsume rem 7319 bins time: 0.47 s
392.50/392.56 c subs with bin: 3761 lits-rem: 58727 v-fix: 0 time: 1.31 s
392.71/392.73 c Removed useless bin: 610 fixed: 0 bprops: 10.00M time: 0.17 s
396.80/396.81 c lits-rem: 8104 cl-subs: 8204 v-elim: 18130 v-fix: 0 time: 4.08 s
396.80/396.81 c learnt bin added due to v-elim: 0
397.01/397.01 c asymm cl-useful: 40/166/302401 lits-rem:2139 time: 0.20
397.01/397.09 c N dy 295 46252 132624 302400 2821901 21970 9848768 1030774 49.87 22.32 --
400.61/400.69 c N dy 322 50283 132623 302400 2821919 25856 9848765 1225519 47.09 22.48 --
404.20/404.26 c N dy 350 54403 132623 302400 2821940 15198 9848727 470723 51.43 22.46 --
407.40/407.40 c N dy 377 58423 132623 302400 2821945 19100 9848723 662215 44.23 22.59 --
410.20/410.27 c N dy 406 62497 132623 302400 2821989 22908 9848717 842678 49.98 22.45 --
412.00/412.03 c Finding binary XORs T: 0.06 s found: 323
412.40/412.45 c N dy 434 66529 132622 302400 2822006 26645 9848581 984093 33.22 22.25 --
414.21/414.26 c S st 455 69379 132622 302400 2822019 29329 9848581 1077456 39.85 22.11 --
415.20/415.29 c S st 455 69879 132542 302400 2822080 29751 9848581 1082670 39.85 22.11 --
415.40/415.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
555.01/555.08 c Flit: 85 Blit: 103 bXBeca: 0 bXProp: 32 Bin: 75044 BRemL: 661 BRemN: 1889 CBin: 0 P: 60.1M T: 139.68
555.11/555.20 c Cleaning up after failed var search: 0.11 s
556.91/556.98 c Calc non-exist non-lernt bins v-fix: 0 done: 5955 time: 1.72 s
556.91/556.99 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00
557.10/557.16 c Subs w/ non-existent bins: 337 time: 0.17 s
557.30/557.33 c Replacing 356 vars Replaced 22040 lits Time: 0.16 s
558.00/558.00 c bin-w-bin subsume rem 2016 bins time: 0.44 s
559.21/559.28 c subs with bin: 10007 lits-rem: 59874 v-fix: 0 time: 1.27 s
559.41/559.46 c Removed useless bin: 1902 fixed: 0 bprops: 10.06M time: 0.19 s
563.01/563.06 c ORs : 134 avg-s: 3.0 cl-sh: 18 l-rem: 145 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.07
567.31/567.35 c Added 51 vars tried: 80000 time: 4.29
567.41/567.46 c ORs : 51 avg-s: 0.0 cl-sh: 18508 l-rem: 18508 b-add: 102 v-rep: 0 cl-rem: 30 avg s: 14.4 T: 4.39
567.51/567.60 c lits-rem: 41396 cl-subs: 22308 v-elim: 19838 v-fix: 0 time: 8.13 s
567.51/567.60 c learnt bin added due to v-elim: 0
567.71/567.78 c asymm cl-useful: 28/206/258708 lits-rem:619 time: 0.18
567.81/567.85 c N dy 455 69879 120526 258708 2644971 25309 8899588 1033197 39.85 22.11 --
567.81/567.85 c F st 455 69879 120526 258708 2644971 25309 8899588 1033197 39.85 22.11 --
569.30/569.37 c Decided on dynamic restart strategy
571.11/571.17 c N dy 478 74458 120525 258708 2644991 29710 8899553 1264284 45.89 22.16 --
573.70/573.79 c N dy 513 79240 120525 258708 2645045 34154 8899549 1396035 23.38 21.83 --
576.31/576.37 c N dy 551 84381 120525 258708 2645086 21342 8899549 671505 20.08 21.40 --
579.90/579.90 c N dy 590 89785 120520 258708 2645136 26388 8899536 866363 38.52 21.24 --
583.60/583.68 c N dy 630 95568 120520 258708 2645174 31890 8899521 1132506 49.07 21.26 --
588.30/588.32 c N dy 673 101751 120520 258708 2645218 37789 8899491 1398967 36.55 21.31 --
590.80/590.86 c S st 694 104820 120520 258708 2645245 21096 8899480 619755 53.16 21.38 --
591.90/591.90 c S st 694 105320 120518 258708 2645311 21526 8899480 624191 53.16 21.38 --
592.00/592.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
721.51/721.55 c Flit: 73 Blit: 153 bXBeca: 0 bXProp: 28 Bin: 65350 BRemL: 3302 BRemN: 6634 CBin: 0 P: 60.0M T: 129.55
721.51/721.55 c Cleaning up after failed var search: 0.00 s
723.51/723.50 c Calc non-exist non-lernt bins v-fix: 0 done: 5278 time: 1.89 s
723.51/723.50 c Cache BProp: 0 Set: 0 BXProp: 5 T: 0.00
723.71/723.75 c Subs w/ non-existent bins: 1222 time: 0.24 s
724.01/724.06 c Replacing 34 vars Replaced 82199 lits Time: 0.31 s
724.61/724.68 c bin-w-bin subsume rem 2057 bins time: 0.41 s
725.91/725.97 c subs with bin: 7345 lits-rem: 17381 v-fix: 0 time: 1.29 s
726.11/726.15 c Removed useless bin: 2556 fixed: 0 bprops: 10.00M time: 0.18 s
729.21/729.27 c ORs : 130 avg-s: 2.1 cl-sh: 36 l-rem: 108 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.07
738.71/738.79 c Added 15 vars tried: 80000 time: 9.52
738.81/738.81 c ORs : 15 avg-s: 0.0 cl-sh: 2945 l-rem: 2945 b-add: 30 v-rep: 0 cl-rem: 17 avg s: 12.3 T: 9.54
738.91/738.93 c lits-rem: 8692 cl-subs: 8632 v-elim: 62945 v-fix: 0 time: 12.78 s
738.91/738.93 c learnt bin added due to v-elim: 0
739.11/739.13 c asymm cl-useful: 22/166/242402 lits-rem:445 time: 0.19
739.11/739.20 c N dy 694 105320 115022 242402 2572958 16749 8481499 638839 53.16 21.38 --
744.61/744.67 c N dy 739 112164 115022 242402 2572979 23405 8481494 991687 64.02 21.63 --
749.51/749.51 c Finding binary XORs T: 0.06 s found: 50
749.81/749.86 c N dy 788 119417 115016 242402 2573030 30364 8481492 1346131 41.12 21.87 --
755.31/755.38 c N dy 839 127054 115015 242402 2573052 37784 8481490 1775357 48.30 22.32 --
761.01/761.08 c N dy 893 135161 115015 242402 2573083 24309 8481487 831118 58.58 22.68 --
767.11/767.11 c N dy 951 143803 115014 242402 2573108 32679 8481480 1290786 55.30 22.89 --
773.81/773.84 c N dy 1013 153123 115006 242402 2573150 41593 8481465 1817900 58.00 23.24 --
777.61/777.61 c S st 1047 157980 114999 242402 2573166 23577 8481461 709564 41.41 23.34 --
778.20/778.28 c S st 1047 158481 114997 242402 2573203 24025 8481459 723036 41.41 23.34 --
778.30/778.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
940.31/940.31 c Flit: 69 Blit: 3819 bXBeca: 0 bXProp: 27 Bin: 28767 BRemL: 192 BRemN: 484 CBin: 0 P: 60.0M T: 161.93
940.42/940.41 c Cleaning up after failed var search: 0.09 s
941.81/941.85 c Calc non-exist non-lernt bins v-fix: 0 done: 13313 time: 1.42 s
941.81/941.86 c Cache BProp: 0 Set: 0 BXProp: 1 T: 0.00
942.11/942.11 c Subs w/ non-existent bins: 335 time: 0.26 s
942.31/942.36 c Replacing 78 vars Replaced 90767 lits Time: 0.24 s
942.91/942.91 c bin-w-bin subsume rem 8380 bins time: 0.37 s
944.11/944.16 c subs with bin: 3568 lits-rem: 130581 v-fix: 0 time: 1.25 s
944.41/944.44 c Removed useless bin: 20099 fixed: 0 bprops: 10.01M time: 0.28 s
947.91/947.90 c ORs : 210 avg-s: 5.8 cl-sh: 282 l-rem: 351 b-add: 2 v-rep: 1 cl-rem: 0 avg s: nan T: 0.10
959.81/959.81 c Added 8 vars tried: 80000 time: 11.92
959.81/959.82 c ORs : 8 avg-s: 0.0 cl-sh: 1142 l-rem: 1142 b-add: 17 v-rep: 0 cl-rem: 188 avg s: 30.7 T: 11.93
959.91/959.94 c lits-rem: 5867 cl-subs: 13695 v-elim: 59733 v-fix: 0 time: 15.50 s
959.91/959.94 c learnt bin added due to v-elim: 0
960.11/960.10 c asymm cl-useful: 32/203/228642 lits-rem:283 time: 0.16
960.11/960.16 c N dy 1047 158481 106538 228642 2276886 18352 7727951 404799 41.41 23.34 --
967.01/967.06 c N dy 1116 168724 106538 228642 2276918 28232 7727865 941003 49.74 23.38 --
972.72/972.76 c N dy 1190 179578 106538 228642 2276969 38465 7727829 1401343 29.42 23.17 --
980.92/980.97 c N dy 1271 191143 106538 228642 2277039 25923 7727687 612977 46.84 23.02 --
989.41/989.43 c N dy 1354 203417 106538 228642 2277077 37758 7727635 1294538 59.54 23.27 --
999.22/999.21 c N dy 1442 216538 106536 228642 2277108 25647 7727626 522851 45.51 23.50 --
1007.91/1007.99 c N dy 1535 230466 106535 228642 2277147 39098 7727592 1285320 39.31 23.59 --
1013.41/1013.46 c S st 1584 237721 106534 228642 2277175 46073 7727587 1645220 58.20 23.61 --
1014.51/1014.58 c S st 1584 238222 106530 228642 2277230 46515 7727587 1652484 58.20 23.61 --
1014.61/1014.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
1085.22/1085.24 c Flit: 43 Blit: 121 bXBeca: 0 bXProp: 44 Bin: 20628 BRemL: 1601 BRemN: 874 CBin: 0 P: 60.0M T: 70.56
1085.22/1085.24 c Cleaning up after failed var search: 0.00 s
1087.02/1087.02 c Calc non-exist non-lernt bins v-fix: 1 done: 11279 time: 1.76 s
1087.02/1087.03 c Cache BProp: 4 Set: 4 BXProp: 4 T: 0.00
1089.21/1089.21 c Subs w/ non-existent bins: 11307 time: 2.18 s
1089.51/1089.56 c Replacing 49 vars Replaced 63068 lits Time: 0.34 s
1090.12/1090.13 c bin-w-bin subsume rem 901 bins time: 0.35 s
1091.41/1091.41 c subs with bin: 1971 lits-rem: 109257 v-fix: 0 time: 1.28 s
1091.61/1091.62 c Removed useless bin: 22463 fixed: 10 bprops: 10.00M time: 0.21 s
1095.41/1095.45 c ORs : 2148 avg-s: 4.6 cl-sh: 44050 l-rem: 63400 b-add: 96 v-rep: 17 cl-rem: 3373 avg s: 5.9 T: 0.85
1109.41/1109.41 c Added 7 vars tried: 80000 time: 13.95
1109.41/1109.41 c ORs : 7 avg-s: 0.0 cl-sh: 904 l-rem: 904 b-add: 15 v-rep: 0 cl-rem: 2 avg s: 13.0 T: 13.96
1109.51/1109.55 c lits-rem: 5442 cl-subs: 7007 v-elim: 43452 v-fix: 1 time: 17.93 s
1109.51/1109.55 c learnt bin added due to v-elim: 0
1109.71/1109.77 c asymm cl-useful: 74/293/213907 lits-rem:321 time: 0.20
1109.82/1109.83 c N dy 1584 238222 105163 213907 2257219 39902 7371971 1420701 58.20 23.61 --
1118.41/1118.48 c N dy 1686 253481 105163 213907 2257277 29079 7371970 720972 57.64 23.65 --
1126.43/1126.42 c Finding binary XORs T: 0.05 s found: 37
1127.92/1127.94 c N dy 1797 269751 105163 213907 2257360 44667 7371959 1563008 27.90 23.60 --
1139.22/1139.29 c N dy 1913 287117 105163 213907 2257448 34785 7371935 1064291 62.43 23.76 --
1151.02/1151.08 c N dy 2036 305504 105163 213907 2257523 52485 7371919 2032737 45.27 23.87 --
1163.32/1163.33 c N dy 2173 325038 105163 213907 2257639 43386 7371910 1282138 57.92 23.68 --
1175.82/1175.88 c N dy 2311 345074 105163 213907 2257701 33935 7371849 809738 67.57 23.66 --
1184.52/1184.57 c S st 2393 357333 105163 213907 2257751 45737 7371823 1500179 50.31 23.77 --
1185.32/1185.38 c S st 2393 357836 105161 213907 2257803 46183 7371818 1508845 50.31 23.77 --
1185.42/1185.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
1288.32/1288.38 c Flit: 80 Blit: 568 bXBeca: 0 bXProp: 55 Bin: 28875 BRemL: 243 BRemN: 1038 CBin: 0 P: 60.1M T: 102.89
1288.32/1288.38 c Cleaning up after failed var search: 0.00 s
1289.83/1289.90 c Calc non-exist non-lernt bins v-fix: 0 done: 17366 time: 1.49 s
1289.92/1289.90 c Cache BProp: 2 Set: 1 BXProp: 0 T: 0.00
1291.62/1291.69 c Subs w/ non-existent bins: 2649 time: 1.78 s
1292.02/1292.06 c Replacing 109 vars Replaced 116170 lits Time: 0.37 s
1292.62/1292.65 c bin-w-bin subsume rem 3354 bins time: 0.37 s
1293.92/1293.98 c subs with bin: 1202 lits-rem: 28315 v-fix: 0 time: 1.33 s
1294.22/1294.20 c Removed useless bin: 16196 fixed: 0 bprops: 10.00M time: 0.22 s
1297.72/1297.74 c ORs : 3009 avg-s: 4.0 cl-sh: 4712 l-rem: 6547 b-add: 31 v-rep: 13 cl-rem: 184 avg s: 8.7 T: 0.69
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-3281329-1303752115/watcher-3281329-1303752115 -o /tmp/evaluation-result-3281329-1303752115/solver-3281329-1303752115 -C 2400 -W 1300 -M 7680 ./techdemo --threads=1 HOME/instance-3281329-1303752115.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: 3.71 3.94 3.89 4/186 19191
/proc/meminfo: memFree=15246424/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=29404 CPUtime=0 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 903 0 0 0 0 0 0 0 21 0 1 0 486811689 30109696 840 33554432000 4194304 4797429 140737452007168 18446744073709551615 4367789 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 7351 840 348 148 0 2280 0
[startup+0.0509781 s]
/proc/loadavg: 3.71 3.94 3.89 4/186 19191
/proc/meminfo: memFree=15246424/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=35696 CPUtime=0.04 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 2685 0 0 0 4 0 0 0 21 0 1 0 486811689 36552704 2233 33554432000 4194304 4797429 140737452007168 18446744073709551615 4365731 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 8924 2233 349 148 0 3853 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 35696
[startup+0.100968 s]
/proc/loadavg: 3.71 3.94 3.89 4/186 19191
/proc/meminfo: memFree=15246424/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=42452 CPUtime=0.09 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 4616 0 0 0 9 0 0 0 21 0 1 0 486811689 43470848 3694 33554432000 4194304 4797429 140737452007168 18446744073709551615 4367912 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 10613 3694 349 148 0 5542 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42452
[startup+0.300933 s]
/proc/loadavg: 3.71 3.94 3.89 4/186 19191
/proc/meminfo: memFree=15246424/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=63612 CPUtime=0.29 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 10729 0 0 0 28 1 0 0 22 0 1 0 486811689 65138688 8820 33554432000 4194304 4797429 140737452007168 18446744073709551615 4366925 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 15903 8820 349 148 0 10832 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 63612
[startup+0.700862 s]
/proc/loadavg: 3.71 3.94 3.89 4/186 19191
/proc/meminfo: memFree=15246424/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=101196 CPUtime=0.69 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 22590 0 0 0 66 3 0 0 24 0 1 0 486811689 103624704 18751 33554432000 4194304 4797429 140737452007168 18446744073709551615 4365579 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 25299 18751 349 148 0 20228 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101196
[startup+1.50072 s]
/proc/loadavg: 3.71 3.94 3.89 5/187 19192
/proc/meminfo: memFree=15104332/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=201484 CPUtime=1.49 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 43393 0 0 0 142 7 0 0 25 0 1 0 486811689 206319616 35733 33554432000 4194304 4797429 140737452007168 18446744073709551615 4660016 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 50371 35733 349 148 0 45300 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 201484
[startup+3.10044 s]
/proc/loadavg: 3.71 3.94 3.89 5/187 19192
/proc/meminfo: memFree=14958708/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=499228 CPUtime=3.09 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 87927 0 0 0 293 16 0 0 25 0 1 0 486811689 511209472 72725 33554432000 4194304 4797429 140737452007168 18446744073709551615 4619464 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 124807 72725 376 148 0 119736 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 499228
[startup+6.30087 s]
/proc/loadavg: 3.98 3.99 3.91 5/185 19192
/proc/meminfo: memFree=14642360/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=467760 CPUtime=6.29 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 89350 0 0 0 613 16 0 0 25 0 1 0 486811689 478986240 67470 33554432000 4194304 4797429 140737452007168 18446744073709551615 4241772 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 116940 67470 381 148 0 111869 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 467760
[startup+12.7007 s]
/proc/loadavg: 3.98 3.99 3.91 5/190 19199
/proc/meminfo: memFree=13828908/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=678364 CPUtime=12.69 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 133207 0 0 0 1247 22 0 0 25 0 1 0 486811689 694644736 111327 33554432000 4194304 4797429 140737452007168 18446744073709551615 4506622 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 169591 111327 399 148 0 164520 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 678364
[startup+25.5005 s]
/proc/loadavg: 3.98 3.99 3.91 5/190 19199
/proc/meminfo: memFree=13097556/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=699236 CPUtime=25.49 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 138527 0 0 0 2526 23 0 0 25 0 1 0 486811689 716017664 116629 33554432000 4194304 4797429 140737452007168 18446744073709551615 4422912 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 174809 116629 411 148 0 169738 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 699236
[startup+51.1009 s]
/proc/loadavg: 3.99 3.99 3.91 5/190 19200
/proc/meminfo: memFree=12990108/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=701500 CPUtime=51.09 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 139945 0 0 0 5086 23 0 0 25 0 1 0 486811689 718336000 118024 33554432000 4194304 4797429 140737452007168 18446744073709551615 4377547 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 175375 118024 411 148 0 170304 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 701500
[startup+102.307 s]
/proc/loadavg: 3.99 3.99 3.91 5/190 19201
/proc/meminfo: memFree=12917452/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=730852 CPUtime=102.3 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 147549 0 0 0 10205 25 0 0 25 0 1 0 486811689 748392448 125625 33554432000 4194304 4797429 140737452007168 18446744073709551615 4259081 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 182713 125625 414 148 0 177642 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 730852
[startup+162.3 s]
/proc/loadavg: 3.99 3.99 3.91 5/190 19203
/proc/meminfo: memFree=12779140/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=871748 CPUtime=162.3 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 174843 0 0 0 16203 27 0 0 25 0 1 0 486811689 892669952 152919 33554432000 4194304 4797429 140737452007168 18446744073709551615 4655579 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 217937 152919 414 148 0 212866 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 871748
[startup+222.301 s]
/proc/loadavg: 3.99 3.99 3.91 5/190 19204
/proc/meminfo: memFree=12676496/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=927436 CPUtime=222.29 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 192924 0 0 0 22200 29 0 0 25 0 1 0 486811689 949694464 170674 33554432000 4194304 4797429 140737452007168 18446744073709551615 4259664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 231859 170674 415 148 0 226788 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 927436
[startup+282.301 s]
/proc/loadavg: 3.99 3.99 3.91 5/190 19206
/proc/meminfo: memFree=12647324/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=927436 CPUtime=282.3 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 192937 0 0 0 28200 30 0 0 25 0 1 0 486811689 949694464 170687 33554432000 4194304 4797429 140737452007168 18446744073709551615 4259680 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 231859 170687 415 148 0 226788 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 927436
[startup+342.3 s]
/proc/loadavg: 3.99 3.99 3.91 5/190 19207
/proc/meminfo: memFree=12641584/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=927436 CPUtime=342.3 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 192941 0 0 0 34200 30 0 0 25 0 1 0 486811689 949694464 170691 33554432000 4194304 4797429 140737452007168 18446744073709551615 4259265 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 231859 170691 415 148 0 226788 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 927436
[startup+402.301 s]
/proc/loadavg: 4.15 4.04 3.93 5/190 19236
/proc/meminfo: memFree=11345472/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=1097912 CPUtime=402.3 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 229527 0 0 0 40194 36 0 0 25 0 1 0 486811689 1124261888 207256 33554432000 4194304 4797429 140737452007168 18446744073709551615 4424383 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 274478 207256 415 148 0 269407 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1097912
[startup+462.3 s]
/proc/loadavg: 4.05 4.03 3.93 5/190 19238
/proc/meminfo: memFree=11347400/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=1101668 CPUtime=462.31 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 236883 0 0 0 46193 38 0 0 25 0 1 0 486811689 1128108032 202432 33554432000 4194304 4797429 140737452007168 18446744073709551615 4259149 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 275417 202432 415 148 0 270346 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1101668
[startup+522.301 s]
/proc/loadavg: 4.02 4.02 3.93 5/190 19239
/proc/meminfo: memFree=11335436/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=1105116 CPUtime=522.31 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 237425 0 0 0 52193 38 0 0 25 0 1 0 486811689 1131638784 202974 33554432000 4194304 4797429 140737452007168 18446744073709551615 4259664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 276279 202974 415 148 0 271208 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1105116
[startup+582.301 s]
/proc/loadavg: 4.06 4.03 3.93 5/190 19241
/proc/meminfo: memFree=11125476/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=1339112 CPUtime=582.3 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 285922 0 0 0 58185 45 0 0 25 0 1 0 486811689 1371250688 251444 33554432000 4194304 4797429 140737452007168 18446744073709551615 4354716 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 334778 251444 418 148 0 329707 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1339112
[startup+642.3 s]
/proc/loadavg: 4.02 4.02 3.93 5/190 19242
/proc/meminfo: memFree=11098288/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=1303560 CPUtime=642.31 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 292378 0 0 0 64185 46 0 0 25 0 1 0 486811689 1334845440 250550 33554432000 4194304 4797429 140737452007168 18446744073709551615 4259135 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 325890 250550 418 148 0 320819 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1303560
[startup+702.301 s]
/proc/loadavg: 4.00 4.02 3.93 5/190 19244
/proc/meminfo: memFree=11096272/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=1303560 CPUtime=702.3 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 292468 0 0 0 70184 46 0 0 25 0 1 0 486811689 1334845440 250640 33554432000 4194304 4797429 140737452007168 18446744073709551615 4259135 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 325890 250640 418 148 0 320819 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 1303560
[startup+762.307 s]
/proc/loadavg: 4.00 4.01 3.93 5/190 19246
/proc/meminfo: memFree=10941088/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=1492412 CPUtime=762.32 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 331009 0 0 0 76180 52 0 0 25 0 1 0 486811689 1528229888 289146 33554432000 4194304 4797429 140737452007168 18446744073709551615 4424194 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 373103 289146 418 148 0 368032 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 1492412
[startup+822.301 s]
/proc/loadavg: 4.00 4.01 3.93 5/190 19247
/proc/meminfo: memFree=10923204/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=1504184 CPUtime=822.31 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 339872 0 0 0 82178 53 0 0 25 0 1 0 486811689 1540284416 290373 33554432000 4194304 4797429 140737452007168 18446744073709551615 4259135 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 376046 290373 418 148 0 370975 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1504184
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/190 19249
/proc/meminfo: memFree=10686348/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=1504184 CPUtime=882.31 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 339882 0 0 0 88178 53 0 0 25 0 1 0 486811689 1540284416 290383 33554432000 4194304 4797429 140737452007168 18446744073709551615 4259680 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 376046 290383 418 148 0 370975 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1504184
[startup+942.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/190 19250
/proc/meminfo: memFree=10645900/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=1588552 CPUtime=942.31 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 358860 0 0 0 94176 55 0 0 25 0 1 0 486811689 1626677248 309361 33554432000 4194304 4797429 140737452007168 18446744073709551615 4345222 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 397138 309361 418 148 0 392067 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1588552
[startup+1002.3 s]
/proc/loadavg: 4.03 4.01 3.94 5/190 19252
/proc/meminfo: memFree=10542560/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=1592172 CPUtime=1002.32 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 368127 0 0 0 100174 58 0 0 25 0 1 0 486811689 1630384128 312343 33554432000 4194304 4797429 140737452007168 18446744073709551615 4425966 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 398043 312343 418 148 0 392972 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1592172
[startup+1062.3 s]
/proc/loadavg: 4.01 4.01 3.94 5/190 19254
/proc/meminfo: memFree=10498128/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=1593024 CPUtime=1062.32 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 370816 0 0 0 106173 59 0 0 25 0 1 0 486811689 1631256576 315016 33554432000 4194304 4797429 140737452007168 18446744073709551615 4259112 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 398256 315016 418 148 0 393185 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1593024
[startup+1122.3 s]
/proc/loadavg: 4.12 4.03 3.95 5/190 19255
/proc/meminfo: memFree=10242312/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=1674624 CPUtime=1122.32 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 394965 0 0 0 112170 62 0 0 25 0 1 0 486811689 1714814976 331636 33554432000 4194304 4797429 140737452007168 18446744073709551615 4422912 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 418656 331636 418 148 0 413585 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1674624
[startup+1182.3 s]
/proc/loadavg: 4.04 4.02 3.95 5/190 19257
/proc/meminfo: memFree=10049064/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=1674736 CPUtime=1182.32 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 403985 0 0 0 118168 64 0 0 25 0 1 0 486811689 1714929664 333594 33554432000 4194304 4797429 140737452007168 18446744073709551615 4341181 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 418684 333594 418 148 0 413613 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1674736
[startup+1242.3 s]
/proc/loadavg: 4.01 4.02 3.95 5/190 19258
/proc/meminfo: memFree=9992500/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=1699812 CPUtime=1242.32 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 410533 0 0 0 124167 65 0 0 25 0 1 0 486811689 1740607488 340135 33554432000 4194304 4797429 140737452007168 18446744073709551615 4259288 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 424953 340135 418 148 0 419882 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1699812
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.92 4.00 3.94 4/185 19278
/proc/meminfo: memFree=10193668/32950928 swapFree=67111528/67111528
[pid=19191] ppid=19189 vsize=1798960 CPUtime=1300.02 cores=1,3
/proc/19191/stat : 19191 (techdemo) R 19189 19191 18216 0 -1 4202496 431401 0 0 0 129935 67 0 0 25 0 1 0 486811689 1842135040 361000 33554432000 4194304 4797429 140737452007168 18446744073709551615 4510040 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19191/statm: 449740 361000 418 148 0 444669 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 1798960
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.07
CPU time (s): 1300.1
CPU user time (s): 1299.36
CPU system time (s): 0.743886
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1799144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.36
system time used= 0.743886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431401
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= 6
involuntary context switches= 1505
runsolver used 2.10568 second user time and 4.98524 second system time
The end
Begin job on node123 at 2011-04-25 19:21:59
IDJOB=3281329
IDBENCH=20580
IDSOLVER=1585
FILE ID=node123/3281329-1303752115
RUNJOBID= node123-1303752115-19157
PBS_JOBID= 13154039
Free space on /tmp= 72468 MiB
SOLVER NAME= CryptoMiniSat TechDemo-Alpha-st
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf
COMMAND LINE= ./techdemo --threads=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281329-1303752115/watcher-3281329-1303752115 -o /tmp/evaluation-result-3281329-1303752115/solver-3281329-1303752115 -C 2400 -W 1300 -M 7680 ./techdemo --threads=1 HOME/instance-3281329-1303752115.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED=854319510
node123.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.838
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.67
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.838
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
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.838
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
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.838
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.838
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.80
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.838
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.838
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: 15246580 kB
Buffers: 2143360 kB
Cached: 14796860 kB
SwapCached: 0 kB
Active: 8198560 kB
Inactive: 8962416 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 15246580 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 314156 kB
Writeback: 0 kB
AnonPages: 219500 kB
Mapped: 15864 kB
Slab: 478660 kB
PageTables: 5680 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 624108 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= 72016 MiB
End job on node123 at 2011-04-25 19:43:41