0.00/0.01 c Outputting solution to console
0.00/0.01 c This is CryptoMiniSat 2.9.0
0.00/0.01 c compiled with gcc version 4.4.5
0.00/0.01 c Using 1 thread(s)
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c Reading file 'HOME/instance-3284917-1303764469.cnf'
0.00/0.01 c -- header says num vars: 945406
0.00/0.01 c -- header says num clauses: 5079060
1.85/2.76 c -- clauses added: 0 learnts, 5079060 normals, 0 xors
1.85/2.76 c -- vars added 945406
1.85/2.76 c Parsing time: 2.51 s
1.85/2.76 c N st 0 0 945406 36605 4310032 0 10296298 0 no data no data --
1.85/15.67 c asymm cl-useful: 0/170/35099 lits-rem:0 time: 0.17
1.85/15.67 c Flit: 72 Blit: 25688 bXBeca: 0 bXProp: 111 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 8.13
1.85/15.67 c Cleaning up after failed var search: 0.09 s
1.85/15.67 c Calc non-exist non-lernt bins v-fix: 0 done: 8560 time: 1.61 s
1.85/15.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.01
1.85/15.67 c Subs w/ non-existent bins: 0 time: 0.03 s
1.85/15.67 c Replacing 112 vars Replaced 1806 lits Time: 0.15 s
1.85/15.67 c bin-w-bin subsume rem 135 bins time: 0.39 s
1.85/15.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.39 s
1.85/15.67 c Removed useless bin: 474 fixed: 0 bprops: 10.01M time: 0.15 s
1.85/16.01 c lits-rem: 0 cl-subs: 4 v-elim: 271079 v-fix: 0 time: 0.79 s
1.85/16.01 c learnt bin added due to v-elim: 0
1.85/16.12 c Finding binary XORs T: 0.10 s found: 7
1.85/16.26 c Replacing 7 vars Replaced 1275 lits Time: 0.15 s
1.85/16.47 c Finding non-binary XORs: 0.08 s (found: 0, avg size: nan)
1.85/16.47 c Calc default polars - time: 0.06 s pos: 18559 undec: 556204 neg: 370643
1.85/16.47 c =========================================================================================
1.85/16.47 c types(t): F = full restart, N = normal restart
1.85/16.47 c types(t): S = simplification begin/end, E = solution found
1.85/16.47 c restart types(rt): st = static, dy = dynamic
1.85/16.47 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG
1.85/16.47 c B st 0 0 542153 44556 3603814 0 8748147 0 no data no data --
29.89/30.06 c Decided on dynamic restart strategy
38.40/38.45 c N dy 20 4056 542148 44556 3603828 3708 8748147 5952399 2544.15 118.50 --
53.28/53.30 c N dy 49 8168 542144 44556 3603840 4765 8748147 3388463 1641.79 94.18 --
76.13/76.30 c N dy 77 12191 542142 44556 3603845 8519 8748147 9356717 1972.99 98.35 --
89.73/89.87 c N dy 105 16220 542141 44556 3603859 7597 8748147 4528300 1080.20 89.42 --
107.23/107.32 c N dy 133 20337 542138 44556 3603866 11399 8748147 9452835 1353.13 87.09 --
120.73/120.83 c N dy 162 24431 542135 44556 3603882 9120 8748146 4085362 1100.89 80.89 --
134.43/134.52 c N dy 191 28547 542098 44556 3603895 13033 8748146 8768168 1543.41 81.26 --
141.03/141.15 c S st 201 30000 542098 44556 3603896 14404 8748146 10466467 1403.88 79.71 --
143.83/143.91 c S st 201 30501 542086 44556 3603903 7486 8748146 709521 1403.88 79.71 --
143.93/144.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.15
180.13/180.27 c Flit: 322 Blit: 5079 bXBeca: 0 bXProp: 1 Bin: 26345 BRemL: 32 BRemN: 35268 CBin: 0 P: 60.0M T: 36.15
180.23/180.38 c Cleaning up after failed var search: 0.09 s
182.43/182.55 c Calc non-exist non-lernt bins v-fix: 0 done: 4444 time: 2.09 s
182.43/182.57 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.01
182.53/182.61 c Subs w/ non-existent bins: 593 time: 0.04 s
182.63/182.78 c Replacing 1 vars Replaced 66 lits Time: 0.15 s
183.23/183.35 c bin-w-bin subsume rem 12 bins time: 0.36 s
184.63/184.77 c subs with bin: 815 lits-rem: 796 v-fix: 0 time: 1.43 s
184.83/184.94 c Removed useless bin: 1276 fixed: 0 bprops: 10.01M time: 0.16 s
189.03/189.17 c lits-rem: 164 cl-subs: 1223 v-elim: 68706 v-fix: 0 time: 4.23 s
189.03/189.17 c learnt bin added due to v-elim: 0
189.23/189.32 c asymm cl-useful: 0/217/43822 lits-rem:0 time: 0.15
189.33/189.42 c N dy 201 30501 484883 43822 3518821 5822 8499334 596841 1403.88 79.71 --
189.33/189.42 c F st 201 30501 484883 43822 3518821 5822 8499334 596841 1403.88 79.71 --
195.93/196.08 c Decided on dynamic restart strategy
207.53/207.68 c N dy 221 34552 484866 43822 3518829 9554 8499334 6482331 2201.11 78.89 --
212.93/213.05 c Finding binary XORs T: 0.11 s found: 0
221.73/221.86 c N dy 249 38577 484852 43820 3518539 13365 8498612 11309224 1632.74 79.22 --
235.73/235.81 c N dy 278 42664 484811 43820 3518554 8873 8498612 1863030 1931.14 79.87 --
245.43/245.55 c S st 300 45751 484805 43820 3518565 11795 8498612 4742729 992.68 80.20 --
247.63/247.70 c S st 300 46255 484786 43820 3518568 12267 8498612 4889322 992.68 80.20 --
247.73/247.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.16
286.43/286.52 c Flit: 231 Blit: 2710 bXBeca: 0 bXProp: 0 Bin: 19315 BRemL: 343 BRemN: 28206 CBin: 0 P: 60.0M T: 38.66
286.43/286.55 c Cleaning up after failed var search: 0.00 s
288.43/288.50 c Calc non-exist non-lernt bins v-fix: 0 done: 8850 time: 1.86 s
288.43/288.52 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.02
288.53/288.61 c Subs w/ non-existent bins: 423 time: 0.09 s
289.33/289.48 c bin-w-bin subsume rem 2 bins time: 0.34 s
291.43/291.54 c subs with bin: 319 lits-rem: 7457 v-fix: 0 time: 2.06 s
291.63/291.70 c Removed useless bin: 632 fixed: 0 bprops: 10.03M time: 0.15 s
293.63/293.70 c lits-rem: 85 cl-subs: 1289 v-elim: 413 v-fix: 0 time: 2.00 s
293.63/293.70 c learnt bin added due to v-elim: 0
293.73/293.89 c asymm cl-useful: 16/185/43357 lits-rem:19 time: 0.19
293.83/293.99 c N dy 300 46255 480458 43357 3470629 10702 8347450 3717791 992.68 80.20 --
304.93/305.01 c N dy 329 50345 480417 43357 3470636 14598 8347450 7562104 681.11 78.91 --
318.03/318.17 c N dy 358 54484 480410 43357 3470645 18527 8347450 11729050 1153.20 77.39 --
328.03/328.10 c N dy 386 58535 480399 43357 3470653 12919 8347450 4790719 1149.48 76.94 --
340.63/340.76 c N dy 414 62585 480373 43357 3470660 16753 8347450 10033503 1525.14 76.33 --
354.74/354.81 c N dy 443 66588 480344 43357 3470667 20610 8347450 15556862 2065.88 75.06 --
363.63/363.71 c S st 463 69382 480344 43357 3470671 12807 8347450 3210599 1189.92 73.97 --
365.53/365.64 c S st 463 69883 480336 43357 3470678 13288 8347450 3531212 1189.92 73.97 --
365.64/365.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.16
423.33/423.48 c Flit: 22 Blit: 3976 bXBeca: 0 bXProp: 0 Bin: 22197 BRemL: 150 BRemN: 24868 CBin: 0 P: 60.0M T: 57.68
423.43/423.51 c Cleaning up after failed var search: 0.00 s
425.53/425.61 c Calc non-exist non-lernt bins v-fix: 0 done: 6486 time: 2.02 s
425.53/425.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.02
425.63/425.71 c Subs w/ non-existent bins: 247 time: 0.08 s
426.33/426.46 c bin-w-bin subsume rem 2 bins time: 0.34 s
428.14/428.21 c subs with bin: 381 lits-rem: 6022 v-fix: 0 time: 1.75 s
428.23/428.38 c Removed useless bin: 821 fixed: 0 bprops: 10.01M time: 0.17 s
431.93/432.09 c ORs : 0 avg-s: nan cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.04
454.93/455.00 c Added 0 vars tried: 80000 time: 22.92
454.93/455.00 c ORs : 0 avg-s: nan cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 22.92
455.03/455.14 c lits-rem: 246 cl-subs: 1402 v-elim: 1917 v-fix: 0 time: 26.76 s
455.03/455.14 c learnt bin added due to v-elim: 0
455.23/455.30 c asymm cl-useful: 0/190/42880 lits-rem:0 time: 0.16
455.23/455.39 c N dy 463 69883 474419 42880 3424761 11592 8194161 2885431 1189.92 73.97 --
455.23/455.39 c F st 463 69883 474419 42880 3424761 11592 8194161 2885431 1189.92 73.97 --
459.43/459.54 c Decided on static restart strategy
466.44/466.52 c N dy 486 74408 474408 42880 3424771 15771 8194161 8349829 1477.23 83.91 --
478.33/478.42 c N dy 519 79222 474371 42880 3424784 20224 8194161 12898623 1057.91 86.14 --
491.23/491.30 c N dy 554 84287 474297 42880 3424801 13675 8194161 3450725 650.11 88.26 --
504.63/504.74 c N dy 590 89682 474279 42880 3424816 18730 8194161 10607295 631.50 90.97 --
520.93/521.03 c N dy 630 95435 474225 42880 3424828 24118 8194161 16695741 1128.12 93.80 --
537.53/537.64 c N dy 672 101639 474205 42880 3424848 17522 8194161 8086938 907.32 96.19 --
547.43/547.55 c S st 695 104824 474185 42880 3424855 20489 8194160 11896245 1305.55 96.72 --
549.44/549.54 c S st 695 105325 474181 42880 3424859 20966 8194160 12045697 1305.55 96.72 --
549.63/549.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.17
588.64/588.78 c Flit: 15 Blit: 3995 bXBeca: 0 bXProp: 0 Bin: 20286 BRemL: 103 BRemN: 10575 CBin: 0 P: 60.1M T: 39.07
588.74/588.80 c Cleaning up after failed var search: 0.00 s
590.54/590.61 c Calc non-exist non-lernt bins v-fix: 0 done: 11370 time: 1.72 s
590.54/590.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.02
590.73/590.81 c Subs w/ non-existent bins: 85 time: 0.17 s
592.03/592.11 c bin-w-bin subsume rem 7 bins time: 0.33 s
593.83/593.96 c subs with bin: 1545 lits-rem: 16891 v-fix: 0 time: 1.84 s
594.04/594.12 c Removed useless bin: 1101 fixed: 0 bprops: 10.02M time: 0.16 s
602.33/602.45 c ORs : 0 avg-s: nan cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.01
612.14/612.25 c Added 1 vars tried: 80000 time: 9.81
612.14/612.25 c ORs : 1 avg-s: 0.0 cl-sh: 119 l-rem: 119 b-add: 2 v-rep: 0 cl-rem: 0 avg s: nan T: 9.81
612.33/612.45 c lits-rem: 65 cl-subs: 3109 v-elim: 2606 v-fix: 0 time: 18.32 s
612.33/612.45 c learnt bin added due to v-elim: 0
612.53/612.69 c asymm cl-useful: 17/351/42045 lits-rem:19 time: 0.24
612.63/612.78 c N dy 695 105325 467558 42045 3387123 17478 8060430 8096288 1305.55 96.72 --
625.83/625.98 c Finding binary XORs T: 0.11 s found: 5
630.44/630.51 c N dy 742 112178 467436 42039 3386433 23698 8058696 15147251 1027.81 96.99 --
650.84/650.93 c N dy 792 119445 467347 42039 3386450 17572 8058696 7111722 1852.98 97.73 --
672.04/672.12 c N dy 845 127155 467296 42039 3386456 24750 8058696 16323369 2197.12 98.29 --
692.54/692.66 c N dy 901 135329 467269 42039 3386474 18302 8058696 6381044 1341.48 99.36 --
715.84/715.93 c N dy 960 143995 467198 42039 3386493 26336 8058696 17135531 1573.01 100.79 --
745.03/745.13 c N dy 1025 153292 467133 42039 3386525 20131 8058696 8902088 1281.49 99.69 --
765.43/765.51 c S st 1058 157991 467115 42039 3386537 24545 8058696 17516032 1875.80 101.70 --
768.13/768.25 c S st 1058 158493 467105 42039 3386541 25018 8058696 17752671 1875.80 101.70 --
768.34/768.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.17
830.54/830.65 c Flit: 19 Blit: 1462 bXBeca: 0 bXProp: 0 Bin: 27360 BRemL: 116 BRemN: 8576 CBin: 0 P: 60.0M T: 62.21
830.54/830.67 c Cleaning up after failed var search: 0.00 s
832.84/832.91 c Calc non-exist non-lernt bins v-fix: 0 done: 4477 time: 2.15 s
832.84/832.94 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.02
833.04/833.17 c Subs w/ non-existent bins: 176 time: 0.23 s
833.44/833.50 c Replacing 5 vars Replaced 265 lits Time: 0.32 s
835.04/835.12 c bin-w-bin subsume rem 52 bins time: 0.33 s
837.24/837.32 c subs with bin: 165 lits-rem: 9741 v-fix: 0 time: 2.19 s
837.34/837.48 c Removed useless bin: 628 fixed: 0 bprops: 10.02M time: 0.17 s
856.84/856.97 c ORs : 0 avg-s: nan cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.03
862.14/862.28 c Added 0 vars tried: 80000 time: 5.32
862.14/862.28 c ORs : 0 avg-s: nan cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 5.32
862.44/862.53 c lits-rem: 62 cl-subs: 2897 v-elim: 2972 v-fix: 0 time: 25.05 s
862.44/862.53 c learnt bin added due to v-elim: 0
862.74/862.85 c asymm cl-useful: 1/653/41845 lits-rem:1 time: 0.32
862.85/862.94 c N dy 1058 158493 462635 41845 3383314 21948 7990741 13154405 1875.80 101.70 --
892.34/892.45 c N dy 1129 168697 462495 41845 3383353 31436 7990741 24339248 646.80 101.73 --
921.04/921.19 c N dy 1205 179549 462372 41845 3383380 25773 7990735 13253099 1058.44 101.07 --
949.94/950.04 c N dy 1286 191016 462230 41845 3383408 19705 7990734 4101042 792.84 99.64 --
984.34/984.44 c N dy 1372 203291 462123 41845 3383446 31214 7990734 18282134 2145.46 98.40 --
993.04/993.11 c Finding binary XORs T: 0.11 s found: 2
1022.74/1022.80 c N dy 1463 216281 461953 41803 3377814 25502 7977581 11953733 1363.31 97.67 --
1068.55/1068.61 c N dy 1559 230187 461792 41803 3377841 19710 7977581 2287907 838.60 99.45 --
1091.04/1091.15 c S st 1611 237739 461656 41803 3377864 26705 7977581 11594308 1242.65 99.13 --
1093.54/1093.64 c S st 1611 238240 461647 41803 3377868 27177 7977581 11790466 1242.65 99.13 --
1093.74/1093.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.17
1128.24/1128.35 c Flit: 9 Blit: 485 bXBeca: 0 bXProp: 0 Bin: 14671 BRemL: 109 BRemN: 3340 CBin: 0 P: 60.0M T: 34.53
1128.24/1128.37 c Cleaning up after failed var search: 0.00 s
1130.15/1130.28 c Calc non-exist non-lernt bins v-fix: 0 done: 8756 time: 1.83 s
1130.25/1130.31 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.03
1130.44/1130.50 c Subs w/ non-existent bins: 101 time: 0.19 s
1130.74/1130.82 c Replacing 2 vars Replaced 269 lits Time: 0.31 s
1131.95/1132.09 c bin-w-bin subsume rem 3 bins time: 0.34 s
1133.85/1133.94 c subs with bin: 195 lits-rem: 1735 v-fix: 0 time: 1.85 s
1134.05/1134.10 c Removed useless bin: 2830 fixed: 0 bprops: 10.02M time: 0.16 s
1146.05/1146.14 c ORs : 140 avg-s: 141.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.35
1153.35/1153.49 c Added 7 vars tried: 80000 time: 7.35
1153.44/1153.50 c ORs : 7 avg-s: 0.0 cl-sh: 593 l-rem: 593 b-add: 14 v-rep: 0 cl-rem: 12 avg s: 7.3 T: 7.37
1153.64/1153.71 c lits-rem: 44 cl-subs: 2812 v-elim: 799 v-fix: 0 time: 19.60 s
1153.64/1153.71 c learnt bin added due to v-elim: 0
1153.84/1153.95 c asymm cl-useful: 2/676/41635 lits-rem:8 time: 0.25
1153.94/1154.05 c N dy 1611 238240 460289 41635 3374930 24229 7938269 8338716 1242.65 99.13 --
1198.35/1198.44 c N dy 1717 253519 460099 41635 3374964 38393 7938269 26829593 1179.83 98.93 --
1242.85/1242.94 c N dy 1830 269732 459898 41635 3375009 33934 7938269 18808600 841.58 99.34 --
1290.15/1290.20 c N dy 1950 286953 459793 41635 3375035 29518 7938269 12585379 1352.59 98.10 --
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-3284917-1303764469/watcher-3284917-1303764469 -o /tmp/evaluation-result-3284917-1303764469/solver-3284917-1303764469 -C 2400 -W 1300 -M 7680 ./techdemo --threads=1 HOME/instance-3284917-1303764469.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.17 1.25 2.14 4/184 15028
/proc/meminfo: memFree=18135788/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=24492 CPUtime=0 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 1536 0 0 0 0 0 0 0 23 0 1 0 488046860 25079808 1328 33554432000 4194304 4797429 140734301262720 18446744073709551615 4367910 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 6123 1333 347 148 0 1052 0
[startup+0.106179 s]
/proc/loadavg: 1.17 1.25 2.14 4/184 15028
/proc/meminfo: memFree=18135788/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=54964 CPUtime=0.1 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 8624 0 0 0 9 1 0 0 24 0 1 0 488046860 56283136 6820 33554432000 4194304 4797429 140734301262720 18446744073709551615 4664686 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 13741 6820 350 148 0 8670 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 54964
[startup+0.20116 s]
/proc/loadavg: 1.17 1.25 2.14 4/184 15028
/proc/meminfo: memFree=18135788/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=73248 CPUtime=0.19 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 13695 0 0 0 18 1 0 0 25 0 1 0 488046860 75005952 10036 33554432000 4194304 4797429 140734301262720 18446744073709551615 210646801416 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 18312 10036 350 148 0 13241 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 73248
[startup+0.301149 s]
/proc/loadavg: 1.17 1.25 2.14 4/184 15028
/proc/meminfo: memFree=18135788/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=114200 CPUtime=0.29 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 24016 0 0 0 26 3 0 0 25 0 1 0 488046860 116940800 16647 33554432000 4194304 4797429 140734301262720 18446744073709551615 4431562 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 28550 16647 350 148 0 23479 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 114200
[startup+0.701052 s]
/proc/loadavg: 1.17 1.25 2.14 4/184 15028
/proc/meminfo: memFree=18135788/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=185456 CPUtime=0.69 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 44809 0 0 0 64 5 0 0 25 0 1 0 488046860 189906944 30016 33554432000 4194304 4797429 140734301262720 18446744073709551615 4356880 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 46364 30016 350 148 0 41293 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 185456
[startup+1.72853 s]
/proc/loadavg: 1.17 1.25 2.14 5/185 15030
/proc/meminfo: memFree=17888648/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=379812 CPUtime=1.85 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 103271 0 0 0 170 15 0 0 25 0 1 0 488046860 388927488 73365 33554432000 4194304 4797429 140734301262720 18446744073709551615 210646843028 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 95415 75780 350 148 0 90344 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 379812
[startup+17.8652 s]
/proc/loadavg: 1.17 1.25 2.14 5/185 15030
/proc/meminfo: memFree=17888648/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=880148 CPUtime=17.85 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 205595 0 0 0 1756 29 0 0 25 0 1 0 488046860 901271552 173374 33554432000 4194304 4797429 140734301262720 18446744073709551615 4341181 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 220037 173374 410 148 0 214966 0
Current children cumulated CPU time (s) 17.85
Current children cumulated vsize (KiB) 880148
[startup+17.9012 s]
/proc/loadavg: 1.17 1.25 2.14 5/185 15030
/proc/meminfo: memFree=17888648/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=880148 CPUtime=17.89 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 205613 0 0 0 1760 29 0 0 25 0 1 0 488046860 901271552 173392 33554432000 4194304 4797429 140734301262720 18446744073709551615 4341480 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 220037 173392 410 148 0 214966 0
Current children cumulated CPU time (s) 17.89
Current children cumulated vsize (KiB) 880148
[startup+18.0012 s]
/proc/loadavg: 1.17 1.25 2.14 5/185 15030
/proc/meminfo: memFree=17888648/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=880148 CPUtime=17.99 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 205648 0 0 0 1770 29 0 0 25 0 1 0 488046860 901271552 173427 33554432000 4194304 4797429 140734301262720 18446744073709551615 4341170 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 220037 173427 410 148 0 214966 0
Current children cumulated CPU time (s) 17.99
Current children cumulated vsize (KiB) 880148
[startup+25.5009 s]
/proc/loadavg: 4.55 2.04 2.38 6/188 15036
/proc/meminfo: memFree=16183800/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=881308 CPUtime=25.49 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 207574 0 0 0 2519 30 0 0 25 0 1 0 488046860 902459392 175352 33554432000 4194304 4797429 140734301262720 18446744073709551615 4341223 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 220327 175352 410 148 0 215256 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 881308
[startup+51.1006 s]
/proc/loadavg: 6.06 2.60 2.56 7/188 15037
/proc/meminfo: memFree=16120344/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=887016 CPUtime=51.09 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 217829 0 0 0 5073 36 0 0 25 0 1 0 488046860 908304384 176195 33554432000 4194304 4797429 140734301262720 18446744073709551615 4413351 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 221754 176195 411 148 0 216683 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 887016
[startup+102.307 s]
/proc/loadavg: 7.08 3.44 2.84 6/186 15038
/proc/meminfo: memFree=16464840/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=888792 CPUtime=102.24 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 236003 0 0 0 10173 51 0 0 25 0 1 0 488046860 910123008 182487 33554432000 4194304 4797429 140734301262720 18446744073709551615 4488440 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 222198 182487 411 148 0 217127 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 888792
[startup+162.448 s]
/proc/loadavg: 8.60 4.48 3.23 7/187 15066
/proc/meminfo: memFree=15280952/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=919600 CPUtime=162.38 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 259812 0 0 0 16173 65 0 0 25 0 1 0 488046860 941670400 182585 33554432000 4194304 4797429 140734301262720 18446744073709551615 4236524 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 229900 182585 414 148 0 224829 0
Current children cumulated CPU time (s) 162.38
Current children cumulated vsize (KiB) 919600
[startup+222.301 s]
/proc/loadavg: 6.34 4.64 3.37 5/188 15095
/proc/meminfo: memFree=15834784/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=1192628 CPUtime=222.23 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 328402 0 0 0 22148 75 0 0 25 0 1 0 488046860 1221251072 251166 33554432000 4194304 4797429 140734301262720 18446744073709551615 4423700 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 298157 251166 415 148 0 293086 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1192628
[startup+282.301 s]
/proc/loadavg: 5.00 4.58 3.43 5/188 15097
/proc/meminfo: memFree=15463792/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=1198420 CPUtime=282.23 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 339981 0 0 0 28145 78 0 0 25 0 1 0 488046860 1227182080 245822 33554432000 4194304 4797429 140734301262720 18446744073709551615 4236528 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 299605 245822 415 148 0 294534 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1198420
[startup+342.301 s]
/proc/loadavg: 4.37 4.47 3.46 5/188 15098
/proc/meminfo: memFree=14590548/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=1426080 CPUtime=342.23 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 408974 0 0 0 34134 89 0 0 25 0 1 0 488046860 1460305920 300242 33554432000 4194304 4797429 140734301262720 18446744073709551615 4424987 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 356520 300242 415 148 0 351449 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1426080
[startup+402.3 s]
/proc/loadavg: 4.13 4.38 3.49 5/188 15100
/proc/meminfo: memFree=14175372/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=1435964 CPUtime=402.23 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 422664 0 0 0 40131 92 0 0 25 0 1 0 488046860 1470427136 296452 33554432000 4194304 4797429 140734301262720 18446744073709551615 4259081 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 358991 296452 415 148 0 353920 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1435964
[startup+462.3 s]
/proc/loadavg: 4.05 4.31 3.52 5/188 15102
/proc/meminfo: memFree=13388812/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=1666544 CPUtime=462.23 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 475086 0 0 0 46125 98 0 0 25 0 1 0 488046860 1706541056 348866 33554432000 4194304 4797429 140734301262720 18446744073709551615 4341424 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 416636 348866 418 148 0 411565 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 1666544
[startup+522.3 s]
/proc/loadavg: 4.08 4.27 3.55 5/188 15103
/proc/meminfo: memFree=13249320/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=1666720 CPUtime=522.23 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 505470 0 0 0 52120 103 0 0 25 0 1 0 488046860 1706721280 343692 33554432000 4194304 4797429 140734301262720 18446744073709551615 4341226 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 416680 343692 418 148 0 411609 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 1666720
[startup+582.301 s]
/proc/loadavg: 4.10 4.23 3.58 5/188 15105
/proc/meminfo: memFree=13050372/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=1676600 CPUtime=582.24 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 518531 0 0 0 58118 106 0 0 25 0 1 0 488046860 1716838400 356747 33554432000 4194304 4797429 140734301262720 18446744073709551615 4259072 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 419150 356747 418 148 0 414079 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 1676600
[startup+642.301 s]
/proc/loadavg: 4.04 4.19 3.61 5/188 15106
/proc/meminfo: memFree=12592392/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=1898520 CPUtime=642.23 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 581806 0 0 0 64107 116 0 0 25 0 1 0 488046860 1944084480 396029 33554432000 4194304 4797429 140734301262720 18446744073709551615 4341150 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 474630 396029 418 148 0 469559 0
Current children cumulated CPU time (s) 642.23
Current children cumulated vsize (KiB) 1898520
[startup+702.301 s]
/proc/loadavg: 4.01 4.15 3.63 5/188 15108
/proc/meminfo: memFree=12516308/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=1897848 CPUtime=702.24 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 609625 0 0 0 70102 122 0 0 25 0 1 0 488046860 1943396352 403379 33554432000 4194304 4797429 140734301262720 18446744073709551615 4341212 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 474462 403379 418 148 0 469391 0
Current children cumulated CPU time (s) 702.24
Current children cumulated vsize (KiB) 1897848
[startup+762.301 s]
/proc/loadavg: 4.00 4.12 3.65 5/188 15110
/proc/meminfo: memFree=12396544/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=1898580 CPUtime=762.23 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 637593 0 0 0 76097 126 0 0 25 0 1 0 488046860 1944145920 409733 33554432000 4194304 4797429 140734301262720 18446744073709551615 4341286 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 474645 409733 418 148 0 469574 0
Current children cumulated CPU time (s) 762.23
Current children cumulated vsize (KiB) 1898580
[startup+822.307 s]
/proc/loadavg: 4.11 4.13 3.68 5/188 15120
/proc/meminfo: memFree=12161544/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=1911432 CPUtime=822.24 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 641675 0 0 0 82097 127 0 0 25 0 1 0 488046860 1957306368 413815 33554432000 4194304 4797429 140734301262720 18446744073709551615 4259265 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 477858 413815 418 148 0 472787 0
Current children cumulated CPU time (s) 822.24
Current children cumulated vsize (KiB) 1911432
[startup+882.301 s]
/proc/loadavg: 4.04 4.10 3.70 5/188 15122
/proc/meminfo: memFree=11792820/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=2197556 CPUtime=882.24 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 711745 0 0 0 88087 137 0 0 25 0 1 0 488046860 2250297344 483874 33554432000 4194304 4797429 140734301262720 18446744073709551615 4424977 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 549389 483874 418 148 0 544318 0
Current children cumulated CPU time (s) 882.24
Current children cumulated vsize (KiB) 2197556
[startup+942.3 s]
/proc/loadavg: 4.01 4.08 3.71 5/188 15123
/proc/meminfo: memFree=11856392/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=2198396 CPUtime=942.24 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 736538 0 0 0 94083 141 0 0 25 0 1 0 488046860 2251157504 478905 33554432000 4194304 4797429 140734301262720 18446744073709551615 4423712 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 549599 478905 418 148 0 544528 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 2198396
[startup+1002.3 s]
/proc/loadavg: 4.00 4.06 3.73 5/188 15125
/proc/meminfo: memFree=11837012/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=2198104 CPUtime=1002.24 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 765199 0 0 0 100077 147 0 0 25 0 1 0 488046860 2250858496 461857 33554432000 4194304 4797429 140734301262720 18446744073709551615 4424170 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 549526 461857 418 148 0 544455 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 2198104
[startup+1062.3 s]
/proc/loadavg: 4.00 4.05 3.74 5/188 15129
/proc/meminfo: memFree=11695964/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=2198104 CPUtime=1062.24 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 788053 0 0 0 106072 152 0 0 25 0 1 0 488046860 2250858496 484700 33554432000 4194304 4797429 140734301262720 18446744073709551615 4354725 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 549526 484700 418 148 0 544455 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 2198104
[startup+1122.3 s]
/proc/loadavg: 4.00 4.04 3.75 5/188 15131
/proc/meminfo: memFree=11616040/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=2210212 CPUtime=1122.24 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 805435 0 0 0 112069 155 0 0 25 0 1 0 488046860 2263257088 473249 33554432000 4194304 4797429 140734301262720 18446744073709551615 4259081 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 552553 473249 418 148 0 547482 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 2210212
[startup+1182.3 s]
/proc/loadavg: 4.00 4.03 3.76 5/188 15133
/proc/meminfo: memFree=11385620/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=2412248 CPUtime=1182.24 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 859812 0 0 0 118061 163 0 0 25 0 1 0 488046860 2470141952 527617 33554432000 4194304 4797429 140734301262720 18446744073709551615 4389840 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 603062 527617 418 148 0 597991 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 2412248
[startup+1242.3 s]
/proc/loadavg: 4.00 4.02 3.78 5/188 15134
/proc/meminfo: memFree=11374588/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=2412544 CPUtime=1242.25 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 886596 0 0 0 124057 168 0 0 25 0 1 0 488046860 2470445056 522894 33554432000 4194304 4797429 140734301262720 18446744073709551615 4341181 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 603136 522894 418 148 0 598065 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 2412544
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.92 4.00 3.78 4/183 15154
/proc/meminfo: memFree=12870644/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=2412508 CPUtime=1299.95 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 911595 0 0 0 129823 172 0 0 25 0 1 0 488046860 2470408192 519908 33554432000 4194304 4797429 140734301262720 18446744073709551615 210646843503 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 603127 519908 418 148 0 598056 0
Current children cumulated CPU time (s) 1299.95
Current children cumulated vsize (KiB) 2412508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300 s]
/proc/loadavg: 3.92 4.00 3.78 4/183 15154
/proc/meminfo: memFree=12870644/32951132 swapFree=67111524/67111528
[pid=15028] ppid=15026 vsize=2412508 CPUtime=1299.95 cores=0,2
/proc/15028/stat : 15028 (techdemo) R 15026 15028 14002 0 -1 4202496 911595 0 0 0 129823 172 0 0 25 0 1 0 488046860 2470408192 519908 33554432000 4194304 4797429 140734301262720 18446744073709551615 210646843503 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15028/statm: 603127 519908 418 148 0 598056 0
Current children cumulated CPU time (s) 1299.95
Current children cumulated vsize (KiB) 2412508
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.1
CPU time (s): 1300.05
CPU user time (s): 1298.23
CPU system time (s): 1.81972
CPU usage (%): 99.9964
Max. virtual memory (cumulated for all children) (KiB): 2597172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.23
system time used= 1.81972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 911596
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= 4818
runsolver used 2.81957 second user time and 7.37488 second system time
The end
Begin job on node129 at 2011-04-25 22:47:52
IDJOB=3284917
IDBENCH=82367
IDSOLVER=1585
FILE ID=node129/3284917-1303764469
RUNJOBID= node129-1303764469-14992
PBS_JOBID= 13157128
Free space on /tmp= 66032 MiB
SOLVER NAME= CryptoMiniSat TechDemo-Alpha-st
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
COMMAND LINE= ./techdemo --threads=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3284917-1303764469/watcher-3284917-1303764469 -o /tmp/evaluation-result-3284917-1303764469/solver-3284917-1303764469 -C 2400 -W 1300 -M 7680 ./techdemo --threads=1 HOME/instance-3284917-1303764469.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= fce318b20c1a474ab81b77594d3f6f99
RANDOM SEED=1773484684
node129.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.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
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.83
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.831
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.831
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.831
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.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
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.831
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: 32951132 kB
MemFree: 18136076 kB
Buffers: 1238808 kB
Cached: 12602876 kB
SwapCached: 4 kB
Active: 2419600 kB
Inactive: 11726236 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 18136076 kB
SwapTotal: 67111528 kB
SwapFree: 67111524 kB
Dirty: 285216 kB
Writeback: 0 kB
AnonPages: 303856 kB
Mapped: 16072 kB
Slab: 607164 kB
PageTables: 5820 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 736532 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66016 MiB
End job on node129 at 2011-04-25 23:09:34